- Realizability and verification of MSC graphs Rajeev Alur Kousha Etessami Mihalis Yannakakis Mon 15 September 2014
- A Further Step towards a Theory of Regular MSC Languages Dietrich Kuske Mon 11 March 2013
- Analyzing Message Sequence Charts Anca Muscholl Doron Peled Sat 02 March 2013
- An analyzer for message sequence charts Rajeev Alur Gerard Holzmann Doron Peled Fri 22 February 2013
- A Logical Characterisation of Event Clock Automata Deepak D'souza Fri 22 February 2013
- Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs P. Madhusudan Wed 03 October 2012
- Model checking time-constrained scenario-based specifications S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar Wed 19 September 2012
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs Blaise Genest Sat 02 June 2012
- Tutorial on Message Sequence Charts Ekkart Rudolph Peter Graubmann Jens Grabowski Sat 02 June 2012
- Message Sequence Charts: A Survey Blaise Genest Anca Muscholl Sat 02 June 2012
- Model Checking of Message Sequence Charts Rajeev Alur Mihalis Yannakakis Sat 02 June 2012
- On Message Sequence Graphs and Finitely Generated Regular MSC Languages Jesper G. Henriksen Madhavan Mukund K. Narayan Kumar P. S. Thiagarajan Sat 02 June 2012
- Message Sequence Charts Blaise Genest Anca Muscholl Doron Peled Sat 02 June 2012
- Extending Compositional Message Sequence Graphs Benedikt Bollig Martin Leucker Philipp Lucas Sat 02 June 2012
- Compositional Message Sequence Charts Elsa L. Gunter Anca Muscholl Doron Peled Sat 02 June 2012
- Matching scenarios with timing constraints Prakash Chandrasekaran Madhavan Mukund Fri 01 June 2012
- Automata and logics for timed message sequence charts S. Akshay Benedikt Bollig Paul Gastin Fri 01 June 2012
- Bounded MSC communication Markus Lohrey Anca Muscholl Thu 24 May 2012
- Infinite-State High-Level MSCs: Model-Checking and Realizability Blaise Genest Anca Muscholl Helmut Seidl Marc Zeitoun Thu 03 May 2012
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata Blaise Genest Dietrich Kuske Anca Muscholl Thu 03 May 2012
- Message Sequence Charts David Harel P.S. Thiagarajan Thu 03 May 2012
- Regular sets of infinite message sequence charts Dietrich Kuske Thu 03 May 2012
- A theory of regular MSC languages Jesper G. Henriksen Madhavan Mukund K. Narayan Kumar Milind Sohoni P. S. Thiagarajan Thu 03 May 2012
- Symbolically Bounding the Drift in Time-Constrained MSC Graphs S. Akshay Blaise Genest Loic Hélouet Shaofa Yang Mon 19 March 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
