Inference of Message Sequence Charts (2003)

Cached

Download Links

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

Active Bibliography

unknown title – unknown authors
83 Synthesizing State-Based Object Systems from LSC Specifications – David Harel, Hillel Kugler - 2000
Formalisms and Tools for Design and Specification of Network Protocols – Jindrich Babica, Vojtech Rehak, Petr Slovák, Pavel Troubil, Martin Zavadil - 2007
1 Detecting Races in Ensembles of Message Sequence Charts – Edith Elkind, Blaise Genest, Doron Peled - 2007
7 An Execution Semantics for MSC-2000 – Bengt Jonsson, Gerardo Padilla - 2001
15 Safety-Liveness Semantics for UML 2.0 Sequence Diagrams – Radu Grosu, Scott A. Smolka - 2005
22 Regular Collections of Message Sequence Charts (Extended Abstract) – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan - 2000
8 Detecting implied scenarios analyzing non-local branching choices – Henry Muccini - 2003
124 Model checking of message sequence charts – Rajeev Alur, Mihalis Yannakakis - 1999
6 Shared variable interaction diagrams – Rajeev Alur - 2001
24 On message sequence graphs and finitely generated regular MSC languages – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar - 2000
2 An Executable Specification Language Based on Message Sequence Charts – Abhik Roychoudhury, P. S. Thiagarajan - 2002
46 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
8 Message sequence charts – Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang - 2003
53 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
Software—Concepts and Tools © Springer-Verlag 1996 An Analyzer for Message Sequence Charts – Rajeev Alur, Gerard J. Holzmann, Doron Peled
1 Quantifying the Discord: Order Discrepancies in Message Sequence Charts ⋆ – Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini