| |
FM 2009: Formal Methods (2009), pp. 89-105.
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
Computer Methods and Programs in Biomedicine (28 July 2009)
|
| |
25 Years of Model Checking (2008), pp. 27-45.
|
| |
Computer Aided Verification (2004), pp. 466-469.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 142-151.
|
| |
Formal Methods in System Design, Vol. 15, No. 1. (1 July 1999), pp. 49-74.
|
| |
Electronic Notes in Theoretical Computer Science In Workshop on Software Model Checking (in connection with CAV '01), Vol. 55, No. 3. (October 2001), pp. 357-369.
|
| |
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2008), pp. 182-182.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 307-322.
|
| |
|
| |
In ECBS '07: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (2007), pp. 495-502.
|
| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 23-30.
|
| |
LNCS In ABZ, Vol. 5238 (2008), pp. 112-124.
|
| |
|
| |
Formal Methods and Software Engineering (2008), pp. 66-85.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 313-328.
|
| |
Objects, Components, Models and Patterns (2008), pp. 141-160.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 766-781.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 37-52.
|
| |
High Confidence Software Reuse in Large Systems (2008), pp. 278-281.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 Oct 2008), pp. 293-300.
|
| |
qsic, Vol. 0 (2007), pp. 356-362.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vol. 211 (28 April 2008), pp. 133-145.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 33, No. 9. (2007), pp. 592-607.
|
| |
Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International In Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International (2007), pp. 459-459.
|
| |
Theory and Practice of Model Transformations (2008), pp. 107-121.
|
| |
Theory and Practice of Model Transformations (2008), pp. 214-228.
|
| |
Theory and Practice of Model Transformations (2008), pp. 168-182.
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 337-346.
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 347-353.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 84-97.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 275-289.
|
| |
Models in Software Engineering (2007), pp. 42-51.
|
| |
|
| |
Algebraic Methodology and Software Technology (2004), pp. 87-101.
|
| |
|
| |
In SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002), pp. 217-224.
|
| |
Concurrency, Graphs and Models (2008), pp. 114-132.
|
| |
In JIISIC (2007), pp. 237-246.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Vol. 213, No. 1. (5 May 2008), pp. 3-21.
|
| |
Design Automation for Embedded Systems (2008)
|
| |
Testing of Software and Communicating Systems (2008), pp. 153-168.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Vol. 213, No. 1. (5 May 2008), pp. 55-74.
|
| |
Formal Methods in Computer-Aided Design (2002), pp. 33-51.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 74-91.
|
| |
Model-Based Software and Data Integration (2008), pp. 113-124.
|
| |
Software Architecture (2004), pp. 219-224.
|
CiteULike
leonardo's CiteULike
Search
Export
