Petr nets, algebras, morphisms, and compositionality
Information and Computation
Statecharts: A visual formalism for complex systems
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Case for Electric Design of Real-Time Software
IEEE Transactions on Software Engineering
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generation of multi-formalism state-space analysis tools
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
A Front-End Generator for Verification Tools
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Customizable notations for kernel formalisms
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
A Model Checker for Statecharts
A Model Checker for Statecharts
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
IEEE Transactions on Software Engineering
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring Multi-Paradigm Modeling Techniques
Simulation
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Polyglot: systematic analysis for multiple statechart formalisms
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |