1998

• Constructing The User Interface With Statecharts
  Ian Horrocks
  Addison Wesley - 1998

• Implementing Statecharts in Promela/SPIN
  Erich Mikk, Y. Lakhnech, M Siegel, Holzmann
  (WIFT'98) - 1998

• Modeling Reactive Systems with Statecharts: The STATEMATE Approach
  David Harel, Michal Politi
  McGraw-Hill - 1998

• Extending Statecharts with Temporal Logic
  Sowmya, S. Ramesh
  IEEE Transactions on Software Engineering, Vol. 24, No. 3, March 1998 - 1998

• A Pattern Language for Statecharts
  Sherif Yacoub, Hany H. Ammar
  Pattern Languages of Programs - 1998

1997

• Synthesis of Digital Circuits from Hierarchical State Machines
  Jan Philipps, Peter Scholz
  5th GI/ITG/GMM Workshop, Linz - 1997

• Communication Concepts for Statecharts: A Semantic Foundation
  Peter Scholz, Dieter Nazareth
  ARTS'97 - 1997

• Formal Verification of Statecharts With Instantaneous Chain Reactions
  Jan Philipps, Peter Scholz
  TACAS'97 - 1997

• A Timed Semantics for the STATEMATE Implementation os Statcharts
  Carsta Petersohn, Luis Urbina
  Formal Methods Europe'97 - 1997

• Compositional Specification of Embedded Systems with Statecharts
  Jan Philipps, Peter Scholz
  TAPSOFT'97 - 1997

• Verification of Temporal and Real-Time Properties of Statecharts
  Francesca Levi
  PhD Thesis, Dipartimento di Informatica, Università di Pisa - 1997

• Compositional Verification of Timed Statecharts
  Francesca Levi
  Proceedings of ICTL'97 - 1997

• Projectable Semantics of Statecharts
  A. Maggiolo-Schettini, S. Tini
  Università di Pisa - 1997

• Hierarchical Automata as model for Statecharts
  Erich Mikk, Y. Lakhnech, M Siegel
  Asian Computing Science Conference (ASIAN'97) - 1997

• On Formal Semantics of Statecharts as supported by STATEMATE
  Erich Mikk, Y. Lakhnech, Carsta Petersohn, M Siegel
  2nd BCS-FACS Northern Formal Methods Workshop - 1997

• Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-Time Extension
  Carsta Petersohn
  Christian-Albrechts-Universitat zu Kiel - 1997

1996

• The STATEMATE Semantics of Statecharts
  David Harel, A. Naamad
  ACM TOSEM, 5(4), 293-333 - 1996

• Extending Statecharts with Duration
  K.R.P.H. Leung, Daniel K.C. Chan
  20th Annual International Computer Software and Application Conference, Seoul, Korea - 1996

• A Light-Weight Formalism for the Specification of Reactive Systems
  Peter Scholz
  SOFSEM'96, Milovy, Czech Republic - 1996

• Equivalences of Statecharts
  A. Maggiolo-Schettini, A. Peron, S. Tini
  7th International Conference on Concurrency Theory, Pisa, Italy, August 26 - 29 - 1996

• Retiming Techniques for Statecharts
  A. Maggiolo-Schettini, A. Peron
  Università di Pisa - 1996

• A Process Language for Statecharts
  Francesca Levi
  Proceedings of LOMAPS'96, LNCS - vol 1192, pp 388--403(1997) - 1996

• Priorities in Statecharts
  A. Maggiolo-Schettini, Massimo Merro
  Proceedings of LOMAPS'96, LNCS - vol 1192, pp 404--429(1997) - 1996

• Mini-Statecharts: A Compositional Way to Model Parallel Systems
  Peter Scholz, Dieter Nazareth, Franz Regensburger
  9th International Conference on Parallel and Distributed Computing Systems, Dijon, France - 1996

• An Extended Version of Mini-Statecharts
  Peter Scholz
  Technische Universität München - 1996

• Mini-Statecharts: A Lean Version of Statecharts
  Dieter Nazareth, Franz Regensburger, Peter Scholz
  Technische Universität München - 1996

• Specification and Analysis of Real-Time Systems in Statecharts
  Sung Deok Cha, Hyoung Seok Hong
  Second International Workshop on Object-oriented Real-time Dependable Systems (WORDS 96), Laguna Beach, California - 1996

• Executable Object Modeling with Statecharts
  David Harel, E. Gery
  18th ICSE, Berlin, March - 1996

• Completeness and Consistency in Hierarchical State-Based Requirements
  Mats P.E. Heimdahl, Nancy G. Leveson
  IEEE Transactions on Software Engineering, June - 1996

1995

• Formal Specification of Visual Languages
  David M. Gee
  University of Northumbria at Newcastle - 1995

• Statecharts, Transition Structures and Transformations
  A. Peron
  TAPSOFT: 6th International Joint Conference on Theory and Practice of Software Development - LNCS 915 - 1995

• Static Semantics and Priority Schemes for Statecharts
  Hyoung Seok Hong, Jeong Hyun Kim, Sung Deok Cha, Yong Rae Kwon
  Computer Software and Applications Conference (COMPSAC)'95, Dallas, Texas, USA, pp. 114-120 - 1995

1994

• A Compositional Semantics for Statecharts using Labeled Transition Systems
  Andrew Uselton, Scott Smolka
  State University of New York at Stony Brook - 1994

• A Comparison of Statecharts Variants
  M. von der Beeck
  Proc. of Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT' 94) LNCS 863 - 1994

• Specification Modeling Methodologies for Reactive System Design
  A. Sarkar, R. Waxman, J.P. Cohoon
  University of Virginia - 1994

• Using Statecharts in the design of occam 2 programs
  David M. Gee, B. Worrall, W. D. Henderson
  University of Northumbria at Newcastle
  A modified version of this paper appears in the December 1994 issue of Transputer Communications - 1994

• On the Power of Bounded Concurrency I: Finite Automata
  D. Drusinsky, David Harel
  Journal ACM, 41 - 517-539 - 1994

• A Graph Rewriting Framework for Statechart Semantics
  A. Maggiolo-Schettini, A. Peron
  5th International Workshop on Graph Grammars and their Application to Computer Science (GraGra'94) Williamsburg, Virginia, November 13--18 - 1994

• Transitions as Interrupts: A New Semantics for Timed Statecharts
  A. Peron, A. Maggiolo-Schettini
  LNCS 789 - 1994

• A Process Algebric Semantics for Statecharts via State Refinement
  Andrew Uselton, Scott Smolka
  State University of New York at Stony Brook - 1994

1993

• A Model Checker for Statecharts
  N. Day
  University of British Columbia - 1993

1992

• On Statecharts with Overlapping
  David Harel, H.-A. Kahana
  ACM TOSEM, 1:4, 399-421 - 1992

• Biting the Silver Bullet: Toward a Brighter Future for System Development
  David Harel
  Computer Jan, 8-20 - 1992

1991

• Introduction to design choices in the semantics of Statecharts
  C Huizing, Willem-Paul de Roever
  Inf. Proc. Lett., 37, 205-213 - 1991

• On the Semantics of Reactive Systems
  C Huizing, R. Gerth
  Eindoven University of Technology - 1991

• What is in a Step: On the Semantics of Statecharts
  Amir Pnueli, Shalev
  Proc. Symp. on Theor. Aspects of Computer Software, LNCS 526, 244-264 - 1991

1990

• STATEMATE: A Working Environment for the Development of Complex Reactive Systems
  David Harel, H. Lachover, A. Naamad, Amir Pnueli, Michal Politi, R. Sherman, A. Shtul-Trauring, M. Trakhtenbrot
  IEEE Transactions on Software Engineering, 16 - 1990

1989

• Using Statecharts for Hardware Description and Synthesis
  D. Drusinsky, David Harel
  IEEE Transactions of CAD of Integrated Circuits and Systems, 8 - 798-807 - 1989

1988

• On Visual Formalisms
  David Harel
  Communictions of ACM - 31:5 - 514-530 - 1988

1987

• On The Formal Semantics of Statecharts
  David Harel, Amir Pnueli, J. Schmidt, R. Sherman
  2nd IEEE Symp. on Logic in Computer Science - Ithaca - 1987

• Statecharts: A Visual Formalism for Complex Systems
  David Harel
  Science of Computer Programming, 8, 231-274 - 1987

1985

• On the Development of Reactive Systems
  David Harel, Amir Pnueli
  Logics and Models of Concurrent Sysytems - 1985