Shmuel Katz

2016

Developing and verifying response specifications in hierarchical event-based systems

Disenfeld, C. & Katz, S., 2016, Transactions on Modularity and Composition I. Sudholt, M., Ziarek, L., Chiba, S., Eugster, P. & Leavens, G. T. (eds.). p. 41-79 39 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9800 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2015

Proving mutual termination

Elenbogen, D., Katz, S. & Strichman, O., 29 Oct 2015, In: Formal Methods in System Design. 47, 2, p. 204-229 26 p.

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

2014

A tool-supported approach for modular design of energy-aware software

Te Brinke, S., Malakuti, S., Bockisch, C., Bergmans, L., Akşit, M. & Katz, S., 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. p. 1206-1212 7 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

2013

Proving mutual termination of programs

Elenbogen, D., Katz, S. & Strichman, O., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Specification and verification of event detectors and responses

Disenfeld, C. & Katz, S., 2013, AOSD 2013 - Proceedings of the 2013 ACM on Aspect-Oriented Software Development. p. 121-132 12 p. (AOSD 2013 - Proceedings of the 2013 ACM on Aspect-Oriented Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

7 Scopus citations

2012

A closer look at aspect interference and cooperation

Disenfeld, C. & Katz, S., 2012, AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development. p. 107-118 12 p. (AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

16 Scopus citations

Preface

Katz, S., Leavens, G. T. & Masuhara, H., 2012, In: FOAL'12 - Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages. p. iii

Research output: Contribution to journal › Editorial

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools

Jääskeläinen, A., Katara, M., Katz, S. & Virtanen, H., 1 Jul 2012, 6th International Workshop on Systems Software Verification, SSV 2011. Brauer, J., Roveri, M. & Tews, H. (eds.). p. 44-56 13 p. (OpenAccess Series in Informatics; vol. 24).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2011

Compositional verification of events and observers: (Summary)

Disenfeld, C. & Katz, S., 2011, Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011. p. 1-5 5 p. (Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Editorial

Katz, S. & Mezini, M., 2011, Transactions on Aspect-Oriented Software Development VIII. Katz, S., Mezini, M., Schwanninger, C. & Joosen, W. (eds.). p. VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6580).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Making aspects natural: Events and composition

Bockisch, C., Malakuti, S., Akşit, M. & Katz, S., 2011, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11. p. 285-299 15 p. (Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

19 Scopus citations

2010

MAVEN: Modular aspect verification and interference analysis

Goldman, M., Katz, E. & Katz, S., Nov 2010, In: Formal Methods in System Design. 37, 1, p. 61-92 32 p.

Research output: Contribution to journal › Article › peer-review

20 Scopus citations

User queries for specification refinement treating shared aspect join points

Katz, E. & Katz, S., 2010, Proceedings - Software Engineering and Formal Methods, SEFM 2010. p. 73-82 10 p. 5637410. (Proceedings - Software Engineering and Formal Methods, SEFM 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

7 Scopus citations

2009

Editorial for special section on dependencies and interactions with aspects

Chitchyan, R., Fabry, J., Katz, S. & Rensink, A., 2009, Transactions on Aspect-Oriented Software Development V. Rashid, A. & Ossher, H. (eds.). p. 133-134 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5490 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Open Access

7 Scopus citations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Editorial

Katz, S. & Ossher, H., 2009, Transactions on Aspect-Oriented Software Development VI - Special Issue on Aspects and Model-Driven Engineering. Katz, S., Ossher, H., France, R. & Jezequel, J-M. (eds.). p. VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5560 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Grumberg, O., Kaminski, M., Katz, S. & Wintner, S., 2009, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5533 LNCS, p. VII-VIII

Research output: Contribution to journal › Editorial

Modular verification of strongly invasive aspects: Summary

Katz, E. & Katz, S., 2009, Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09. p. 7-11 5 p. (Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Reusing semi-specified behavior models in systems analysis and design

Reinhartz-Berger, I., Dori, D. & Katz, S., 2009, In: Software and Systems Modeling. 8, 2, p. 221-234 14 p.

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

The HighspectJ framework

Mishali, O. & Katz, S., 2009, Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS '09, Co-located with the 8th Int. Conf. Aspect-Oriented Software Development, AOSD.09. p. 19-23 5 p. (Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS '09, Co-located with the 8th Int. Conf. Aspect-Oriented Software Development, AOSD.09).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

2008

Incremental analysis of interference among aspects

Katz, E. & Katz, S., 2008, FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development. p. 29-38 10 p. (FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

40 Scopus citations

Iterative analysis of interference among aspects

Katz, E. & Katz, S., 2008.

Research output: Contribution to conference › Other

The TDD-guide training and guidance tool for test-driven development

Mishali, O., Dubinsky, Y. & Katz, S., 2008, Agile Processes in Software Engineering and Extreme Programming - 9th International Conference, XP 2008, Proceedings. p. 63-72 10 p. (Lecture Notes in Business Information Processing; vol. 9 LNBIP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

2007

MAVEN: Modular aspect verification

Goldman, M. & Katz, S., 2007, Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Grumberg, O. & Huth, M. (eds.). p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4424 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

27 Scopus citations

VeriTech: A framework for translating among model description notations

Grumberg, O. & Katz, S., Mar 2007, In: International Journal on Software Tools for Technology Transfer. 9, 2, p. 119-132 14 p.

Research output: Contribution to journal › Review article › peer-review

4 Scopus citations

2006

A model curriculum for aspect-oriented software development

Brichau, J., Chitchyan, R., Garcia, A., Rashid, A., Clarke, S., D'Hondt, E., Haupt, M., Joosen, W., Katz, S., Noyé, J. & Südholt, M., Nov 2006, In: IEEE Software. 23, 6, p. 53-61 9 p.

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Aspect categories and classes of temporal properties

Katz, S., 2006, Transactions on Aspect-Oriented Software Development I. p. 106-134 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3880 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

59 Scopus citations

Using aspects to support the software process: XP over Eclipse

Mishali, O. & Katz, S., 2006, Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06. p. 169-179 11 p. (Proceedings of the 5th International Conference on Aspect-oriented Software Development 2006, AOSD'06; vol. 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

2005

Modelling code mobility and migration: An OPM/Web approach

Reinhartz-Berger, I., Dori, D. & Katz, S., 2005, In: International Journal of Web Engineering and Technology. 2, 1, p. 6-28 23 p.

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

2004

Aspect validation using model checking

Katz, S. & Sihman, M., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772, p. 373-394 22 p.

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

From aspectual requirements to proof obligations for aspect-oriented systems

Katz, S. & Rashid, A., 2004, Proceedings - 12th IEEE International Requirements Engineering Conference. RE 2004. p. 48-57 10 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

24 Scopus citations

2003

Exploiting independence for verification, refinement, and modularity

Katz, S., Jun 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 195-209

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

On translating models and properties

Katz, S., 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 209-225

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Superimpositions and aspect-oriented programming

Sihman, M. & Katz, S., 2003, In: Computer Journal. 46, 5, p. 529-541 13 p.

Research output: Contribution to journal › Article › peer-review

35 Scopus citations

2002

A Calculus of Superimpositions for Distributed Systems

Sihman, M. & Katz, S., 2002, 1st International Conference on Aspect-Oriented Software Development. Kinzales, G. (ed.). p. 28-40 13 p. (1st International Conference on Aspect-Oriented Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Open reuse of component designs in OPM/Web

Reinhartz-Berger, I., Dori, D. & Katz, S., 2002, In: Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. p. 19-24 6 p.

Research output: Contribution to journal › Conference article › peer-review

13 Scopus citations

OPM/Web - Object-process methodology for developing Web applications

Reinhartz-Berger, I., Dori, D. & Katz, S., 2002, In: Annals of Software Engineering. 13, 1-4, p. 141-161 21 p.

Research output: Contribution to journal › Article › peer-review

29 Scopus citations

Translations between textual transition systems and Petri nets

Korenblat, K., Grumberg, O. & Katz, S., 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2335. p. 339-359 21 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

4 Scopus citations

2001

Extending memory consistency of finite prefixes to infinite computations

Glusman, M. & Katz, S., 2001, Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Larsen, K. G. & Nielsen, M. (eds.). p. 411-425 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2154).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

1999

Mechanizing proofs of computation equivalence

Glusman, M. & Katz, S., 1999, Computer Aided Verification - 11th International Conference, CAV 1999, Proceedings. Halbwachs, N., Peled, D. & Peled, D. (eds.). p. 354-367 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1633).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

5 Scopus citations

1994

Global equivalence proofs for ISTL

Katz, S., 1994, Temporal Logic - 1st International Conference, ICTL 1994, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). p. 17-29 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 827 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

1993

A Superimposition Control Construct for Distributed Systems

Katz, S., 4 Jan 1993, In: ACM Transactions on Programming Languages and Systems. 15, 2, p. 337-356 20 p.

Research output: Contribution to journal › Article › peer-review

Open Access

112 Scopus citations

Self-stabilizing extensions for meassage-passing systems

Katz, S. & Perry, K. J., Nov 1993, In: Distributed Computing. 7, 1, p. 17-26 10 p.

Research output: Contribution to journal › Article › peer-review

110 Scopus citations

1992

Defining conditional independence using collapses

Katz, S. & Peled, D., 20 Jul 1992, In: Theoretical Computer Science. 101, 2, p. 337-359 23 p.

Research output: Contribution to journal › Article › peer-review

Open Access

75 Scopus citations

1991

Preserving liveness: Comments on "safety and liveness from a methodological point of view"

Abadi, M., Alpern, B., Apt, K. R., Francez, N., Katz, S., Lamport, L. & Schneider, F. B., 8 Nov 1991, In: Information Processing Letters. 40, 3, p. 141-142 2 p.

Research output: Contribution to journal › Article › peer-review

Open Access

8 Scopus citations

1990