Werner Damm and David Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45--80, 2001. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
Model Checking Live Sequence Charts - Jun Sun And (Correct)
Tool Demonstration Proposal: - Uml Validation Suite (Correct)
Relating LSC Specifications to UML models - Jochen Klose And (Correct)
Synthesis of Concurrent Haskell Programs from Message Sequence.. - Stolz (Correct)
Reliability and State Machines in an Advanced Network Testbed - Newbold (2004) (Correct)
Specification and Formal Verification Of Temporal.. - Flake, Mueller, Pape.. (2004) (Correct)
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
Test Vector Generation for UML Models with Abstractions - Votintseva (2002) (Correct)
Adapting and optimising untimed model checking tools to UML - Offis (Correct)
Tool Demonstration Proposal: UML Validation Suite - Lettrari, Klose, Brockmeyer (2001) (1 citation) (Correct)
Visual Temporal Logic as a Rapid Prototyping Tool - Fränzle, Lüth (2001) (1 citation) (Correct)
Http://www.artist-Embedded.org/ - Artist Ist- Real-Time (2003) (Correct)
Turning High-Level Live Sequence Charts into Automata - Bontemps, Heymans (2003) (Correct)
Automated Verification of State-based specifications against.. - Bontemps (2001) (Correct)
Synthesis of Concurrent Haskell Programs from Message Sequence.. - Stolz (Correct)
A Theory of Regular MSC Languages - Henriksen, Mukund, Kumar, Sohoni.. (2003) (1 citation) (Correct)
An Approach to Model and Validate Publish/Subscribe.. - Zanolin, Ghezzi, Baresi (2003) (1 citation) (Correct)
LSCs: That's the Name of the Game! A Specification Framework .. - Bontemps, Heymans (Correct)
Inference of Message Sequence Charts - Alur, Etessami, Yannakakis (2003) (24 citations) (Correct)
Realizing MSC based specifications - Vinod (2002) (Correct)
Smart Play-Out Extended: Time and Forbidden Elements - David Harel Hillel Self-citation (Harel) (Correct)
Combining State-based and Scenario-based Approaches in.. - Jasmin Fisher David Self-citation (Harel) (Correct)
Smart Play-Out Extended: Time and Forbidden Elements - David Harel Hillel Self-citation (Harel) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC