Model checking of message sequence charts (1999)

Cached

Download Links

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

Active Bibliography

77 Model checking of hierarchical state machines – Rajeev Alur
36 Communicating Hierarchical State Machines – Rajeev Alur, Sampath Kannan, Mihalis Yannakakis - 1999
6 Shared variable interaction diagrams – Rajeev Alur - 2001
22 Efficient reachability analysis of hierarchical reactive machines – R. Alur, R. Grosu, M. Mcdougall - 2000
23 Modular Refinement of Hierarchic Reactive Machines – Rajeev Alur , Radu Grosu - 2000
181 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
unknown title – unknown authors
53 Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios – Sebastian Uchitel, Jeff Kramer, Jeff Magee - 2004
22 Regular Collections of Message Sequence Charts (Extended Abstract) – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan - 2000
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
69 Realizability and Verification of MSC-Graphs – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2002
24 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
52 Deciding Properties for Message Sequence Charts – Anca Muscholl, Doron Peled, Zhendong Su - 1998
26 Hierarchical Hybrid Modeling of Embedded Systems – R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, O. Sokolsky - 2001
3 Race conditions in message sequence charts – Chien-an Chen, Sara Kalvala, Jane Sinclair - 2005