Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
On the development of reactive systems
Logics and models of concurrent systems
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Information and Software Technology
Perpetual development: A model of the Linux kernel life cycle
Journal of Systems and Software
3D architecture viewpoints on service automation
Journal of Systems and Software
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.