Statecharts: A Visual Formalism For Complex Systems (1987)

by David Harel
Citations:2119 - 49 self

Active Bibliography

19 Extending Statecharts With Temporal Logic – A. Sowmya, S. Ramesh
542 On Visual Formalisms – David Harel - 1988
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1 ASSERT - Methodology Language and Tools for System Specification Development – Adi Sapir, Amiram Yehudai - 1992
67 A Specification Language for Direct Manipulation User Interfaces – Robert J. K. Jacob - 1986
2 User Interface Description Formalisms – Vipul Jain - 1994
4 Behavioral views for software requirements engineering – Ayaz Isazadeh - 1996
7 Formal Verification in Robotics: Why and How? – Espiau Kapellos, B. Espiau, K. Kapellos, M. Jourdan - 1995
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
4 Structure and Hierarchy in Real-Time Systems – M. Oliver Möller - 2002
51 Reactive C: An Extension of C to Program Reactive Systems – Frédéric Boussinot - 1991
Modeling Time in Computing: A Taxonomy . . . – Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi - 2008
3.2 Ordering vs. Metric.......................... 10 – Carlo A. Furia, Dino M, Angelo Morzenti, Matteo Rossi - 2007
MetateM in Intensive Care – M. Reynolds - 1997
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
136 Property preserving abstractions for the verification of concurrent systems – Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem - 1995
5 Interval Logics for Temporal Specification and Verification – Y. Srinivas Ramakrishna, Y. Srinivas Ramakrishna - 1993
16 System Specification and Refinement in Temporal Logic – Amir Pnueli - 1995
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996