LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Observing timed systems by means of message sequence chart graphs
Proceedings of the 24th International Conference on Software Engineering
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis
UML for real
Specification and Timing Analysis of Real-Time Systems
Real-Time Systems
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A semantic and methodological essence of message sequence charts
Science of Computer Programming
TASS: Timing Analyzer of Scenario-Based Specifications
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Automata and logics for timed message sequence charts
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Efficient scenario verification for hybrid automata
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Scenario-Based timing consistency checking for time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Pattern synthesis from multiple scenarios for parameterized real-time UML models
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Proving and explaining the unfeasibility of message sequence charts for hybrid systems
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
A framework for pathologies of message sequence charts
Information and Software Technology
SMT-based scenario verification for hybrid systems
Formal Methods in System Design
Event clock message passing automata: a logical characterization and an emptiness checking algorithm
Formal Methods in System Design
| Hi-index | 0.00 |