Statecharts: A visual formalism for complex systems
Science of Computer Programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of multi-formalism state-space analysis tools
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Action Language: a specification language for model checking reactive systems
Proceedings of the 22nd international conference on Software engineering
Symbolic Model Checking
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Mapping Template Semantics to SMV
Proceedings of the 19th IEEE international conference on Automated software engineering
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Argos: an automaton-based synchronous language
Computer Languages
A multi-paradigm foundation for model transformation language engineering
A multi-paradigm foundation for model transformation language engineering
Hi-index | 0.00 |
Model Driven Engineering (MDE) is a progressive area that tries to fill the gap between problem definition and software development. There are many modeling languages proposed for use in MDE. A challenge is how to provide automatic analysis for these models without having to create new analyzers for each different language. In this research, we tackle this problem for a family of modeling languages using a semantically configurable model translation framework.