Model checking of message sequence charts (1999)

Cached

Download Links

by Rajeev Alur , Mihalis Yannakakis
Citations:114 - 6 self

Active Bibliography

62 Model Checking of Hierarchical State Machines – Rajeev Alur, Mihalis Yannakakis - 1998
35 Communicating Hierarchical State Machines – Rajeev Alur, Sampath Kannan, Mihalis Yannakakis - 1999
6 Shared variable interaction diagrams – Rajeev Alur - 2001
22 Modular Refinement of Hierarchic Reactive Machines – Rajeev Alur , Radu Grosu - 2000
22 Efficient reachability analysis of hierarchical reactive machines – R. Alur, R. Grosu, M. Mcdougall - 2000
169 Inference of Message Sequence Charts – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2003
15 Safety-Liveness Semantics for UML 2.0 Sequence Diagrams – Radu Grosu, Scott A. Smolka - 2005
Testing Hierarchical Systems – Damon Mosk-Aoyama, Mihalis Yannakakis
21 Regular Collections of Message Sequence Charts (Extended Abstract) – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan - 2000
49 Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios – Sebastian Uchitel, Jeff Kramer, Jeff Magee - 2004
Formalisms and Tools for Design and Specification of Network Protocols – Jindrich Babica, Vojtech Rehak, Petr Slovák, Pavel Troubil, Martin Zavadil - 2007
Race-free Scenarios of Message Sequence Charts – Chien-an Chen, Sara Kalvala, Jane Sinclair - 2005
56 Realizability and Verification of MSC-Graphs – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2002
23 On message sequence graphs and finitely generated regular MSC languages – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar - 2000
1 Hierarchical and Recursive State Machines with Context-Dependent Properties ⋆ – Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
50 Deciding Properties for Message Sequence Charts – Anca Muscholl, Doron Peled, Zhendong Su - 1998
20 Hierarchical Hybrid Modeling of Embedded Systems – R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivan Cid, F. Ivancid, V. Kumar, I. Lee, G. Pappas, P. Mishra, O. Sokolsky - 2001
3 Race conditions in message sequence charts – Chien-an Chen, Sara Kalvala, Jane Sinclair - 2005
16 MESA: Support for Scenario-Based Design of Concurrent Systems – Hanêne Ben-Abdallah, Stefan Leue - 1997