Atif Mashkoor

Alexander Egyed

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Validation of Transformation from Abstract State Machine Models to C++ Code.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Incremental Construction of Realizable Choreographies.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Handling Reparation in Incremental Construction of Realizable Conversation Protocols.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Generation of C++ Unit Tests from Abstract State Machines Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

The Role of Validation in Refinement-Based Formal Software Development.

[BibT_eX]

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models.

[BibT_eX]

Verena Geist

Felix Kossak

Christine Natschläger

Christa Illibauer

Thomas Ziebermayr

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Addressing Client Needs for Cloud Computing using Formal Foundations.

[BibT_eX]

Andreea Buga

Sorana Tania Nemes

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

AsmetaA: Animator for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Refinement-based Validation of Event-B Specifications.

[BibT_eX]

[DOI]

Faqing Yang

Softw. Syst. Model., 2017

Validation of formal specifications through transformation and animation.

[BibT_eX]

[DOI]

Requir. Eng., 2017

Build Software or Buy: A Study on Developing Large Scale Software.

[BibT_eX]

[DOI]

Basit Shahzad

Abdullatif M. Abdullatif

Naveed Ikram

IEEE Access, 2017

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Conceptual Modelling of Hybrid Systems - Structure and Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016

Model-driven development of high-assurance active medical devices.

[BibT_eX]

[DOI]

Softw. Qual. J., 2016

Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study.

[BibT_eX]

[DOI]

Miklós Biró

IEEE Embed. Syst. Lett., 2016

Rigorous modeling and analysis of interoperable medical devices.

[BibT_eX]

[DOI]

Johannes Sametinger

Proceedings of the Modeling and Simulation in Medicine Symposium, 2016

The Hemodialysis Machine Case Study.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

How to Select the Suitable Formal Method for an Industrial Application: A Survey.

[BibT_eX]

[DOI]

Felix Kossak

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the Software Quality. Software and Systems Quality in Distributed and Mobile Environments, 2015

Formal validation and verification of a medical software critical component.

[BibT_eX]

[DOI]

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Observation-Level-Driven Formal Modeling.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Improving the Understandability of Formal Specifications: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

2013

Using Probabilistic Analysis for the Certification of Machine Control Systems.

[BibT_eX]

[DOI]

Osman Hasan

Wolfgang Beer

Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012

Formal Probabilistic Analysis of Cyber-Physical Transportation Systems.

[BibT_eX]

[DOI]

Osman Hasan

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

2011

Formal Domain Engineering: From Specification to Validation. (Ingénierie Formelle de Domaine: Des Spécifications à la Validation).

[BibT_eX]

[DOI]

PhD thesis, 2011

Utilizing Event-B for domain engineering: a critical analysis.

[BibT_eX]

[DOI]

Requir. Eng., 2011

Guidelines for Formal Domain Modeling in Event-B.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Stepwise Validation of Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Domain Engineering with Event-B: Some Lessons We Learned.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Towards Validation of Requirements Models.

[BibT_eX]

[DOI]

Abderrahman Matoussi

Proceedings of the Abstract State Machines, 2010

2007

Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study.

[BibT_eX]

[DOI]