Pages that link to "Item:Q5946346"
From MaRDI portal
The following pages link to LSCs: Breathing life into message sequence charts (Q5946346):
Displaying 40 items.
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- Synthesis from scenario-based specifications (Q439960) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Implementation of the conformation of MSC and SDL diagrams in the REAL technology (Q2371555) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- SMT-based scenario verification for hybrid systems (Q2441772) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Improving translation of live sequence charts to temporal logic (Q2810977) (← links)
- Formal techniques for analysing scenarios using message sequence charts (Q2841314) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- Concurrency in biological modeling: behavior, execution and visualization (Q2870303) (← links)
- Signal transduction pathways as concurrent reactive systems: a modeling and simulation approach using LSCs and the Play-Engine (Q2870306) (← links)
- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation (Q2890325) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Modeling for Verification (Q3176361) (← links)
- Graph Transformation with Dependencies for the Specification of Interactive Systems (Q3184727) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Parametric Trace Slicing and Monitoring (Q3617763) (← links)
- Weaving Multiple Aspects in Sequence Diagrams (Q3634772) (← links)
- Oclets – Scenario-Based Modeling with Petri Nets (Q3636847) (← links)
- Integrating Model Information in UML Sequence Diagrams (Q4921555) (← links)
- Formal concepts for an integrated internal model of the UML (Q4923510) (← links)
- Revisiting Semantics of Interactions for Trace Validity Analysis (Q5039546) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Multiple Synchrony in MSC (Q5179361) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)
- Domain modelling: a foundation for software development (Q6535830) (← links)
- APML: an architecture proof modeling language (Q6535972) (← links)