Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Conjunction on processes: Full abstraction via ready-tree semantics
Theoretical Computer Science
On model checking multiple hybrid views
Theoretical Computer Science
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
EXPTIME-complete Decision Problems for Modal and Mixed Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal and mixed specifications: Key decision problems and their complexities
Mathematical Structures in Computer Science
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Modal event-clock specifications for timed component-based design
Science of Computer Programming
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |