Inference of Message Sequence Charts (2003)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:Software Concepts and Tools
Citations:169 - 11 self

Active Bibliography

1 Detecting Races in Ensembles of Message Sequence Charts – Edith Elkind, Blaise Genest, Doron Peled - 2007
Formalisms and Tools for Design and Specification of Network Protocols – Jindrich Babica, Vojtech Rehak, Petr Slovák, Pavel Troubil, Martin Zavadil - 2007
15 Safety-Liveness Semantics for UML 2.0 Sequence Diagrams – Radu Grosu, Scott A. Smolka - 2005
114 Model checking of message sequence charts – Rajeev Alur, Mihalis Yannakakis - 1999
6 Shared variable interaction diagrams – Rajeev Alur - 2001
80 Synthesizing State-Based Object Systems from LSC Specifications – David Harel, Hillel Kugler - 2000
49 Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios – Sebastian Uchitel, Jeff Kramer, Jeff Magee - 2004
1 Platform-based Design Methodologies for Communication Networks – Marco Sgroi, Marco Sgroi, Marco Sgroi - 2002
7 An Execution Semantics for MSC-2000 – Bengt Jonsson, Gerardo Padilla - 2001
21 Regular Collections of Message Sequence Charts (Extended Abstract) – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan - 2000
56 Realizability and Verification of MSC-Graphs – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2002
8 Detecting implied scenarios analyzing non-local branching choices – Henry Muccini - 2003
19 An evaluation of scenario notations for telecommunication systems development – Daniel Amyot, Armin Eberlein - 2001
23 On message sequence graphs and finitely generated regular MSC languages – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar - 2000
Race-free Scenarios of Message Sequence Charts – Chien-an Chen, Sara Kalvala, Jane Sinclair - 2005
3 Race conditions in message sequence charts – Chien-an Chen, Sara Kalvala, Jane Sinclair - 2005
2 An Executable Specification Language Based on Message Sequence Charts – Abhik Roychoudhury, P. S. Thiagarajan - 2002
42 Synthesis revisited: Generating statechart models from scenario-based requirements – David Harel, Hillel Kugler, Amir Pnueli - 2005
1 Synthesis of Concurrent Haskell Programs from Message Sequence Charts – Volker Stolz