Nuno Amálio

Lionel C. Briand

Empir. Softw. Eng., 2020

2016

Behavioural Models for FMI Co-simulations.

[BibT_eX]

[DOI]

Ana Cavalcanti

Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Checking SysML Models for Co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

2015

A tool for visual and formal modelling of software designs.

[BibT_eX]

[DOI]

Christian Glodt

Sci. Comput. Program., 2015

Fragmenta: A theory of fragmentation for MDE.

[BibT_eX]

[DOI]

Juan de Lara

Esther Guerra

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

2013

Relaxing Behavioural Inheritance

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2012

Suitability of visual modelling languages for modelling tangible user interface applications.

[BibT_eX]

[DOI]

Eric Tobias

Eric Ras

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Modelling a cardiac pacemaker visually and formally.

[BibT_eX]

[DOI]

Jérôme Leemans

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

2011

Platform-Variant Applications from Platform-Independent Models via Templates.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Generative Technologies, 2011

Building VCL Models and Automatically Generating Z Specifications from Them.

[BibT_eX]

[DOI]

Christian Glodt

Proceedings of the FM 2011: Formal Methods, 2011

Aspect-Oriented Model Development at Different Levels of Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Using VCL as an Aspect-Oriented Approach to Requirements Modelling.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2010

Modular Design by Contract Visually and Formally Using VCL.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

VCL, a Visual Language for Modelling Software Systems Formally.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.

[BibT_eX]

[DOI]

Qin Ma

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2010

2009

Suspicion-Driven Formal Analysis of Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Emerging Security Information, 2009

From platform-independent to platform-specific models using democles.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

From Monitoring Templates to Security Monitoring and Threat Detection.

[BibT_eX]

[DOI]

George Spanoudakis

Proceedings of the Second International Conference on Emerging Security Information, 2008

Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.

[BibT_eX]

[DOI]

Jing Zhang

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

A Formal Template Language Enabling Metaproof.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2005

Frameworks Based on Templates for Rigorous Model-driven Development.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

An Object-Oriented Structuring for Z Based on Views.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Formal Proof from UML Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.

[BibT_eX]

[DOI]