Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel · Formal Methods in System Design · 2001 · 822 citations

Computing, Data Science, Data Analytics +4

Generating statechart designs from scenarios

Jon Whittle, Johann Schumann · 2000 · 360 citations

Computing, Computer Science, Design Automation +14

SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

David Harel, Hillel Kugler · International Journal of Foundations of Computer Science · 2002 · 190 citations

Engineering, Computer Science, Systems Engineering +14

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

Sebastián Uchitel, Jeff Kramer, Jeff Magee · ACM Transactions on Software Engineering and Methodology · 2004 · 178 citations

Engineering, Computer Systems, Systems Engineering +14