Design and validation of a C++ code generator from Abstract State Machines specifications

Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor

doi:10.1002/smr.2205

Design and validation of a C++ code generator from Abstract State Machines specifications

Journal of Software Evolution and Process ◽

10.1002/smr.2205 ◽

2019 ◽

Vol 32 (2) ◽

Cited By ~ 1

Author(s):

Silvia Bonfanti ◽

Angelo Gargantini ◽

Atif Mashkoor

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Code Generator

Download Full-text

Model Checking Abstract State Machines and Beyond

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_18 ◽

2000 ◽

pp. 323-340 ◽

Cited By ~ 3

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Download Full-text

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_7 ◽

2019 ◽

pp. 89-103

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini

Keyword(s):

Embedded Systems ◽

Medical Devices ◽

State Machines ◽

Abstract State Machines

Download Full-text

Model-Based Simulation at Runtime with Abstract State Machines

Communications in Computer and Information Science - Software Architecture ◽

10.1007/978-3-030-59155-7_29 ◽

2020 ◽

pp. 395-410

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Model Based

Download Full-text

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

Lecture Notes in Computer Science - The Semantic Web: Research and Applications ◽

10.1007/978-3-540-68234-9_48 ◽

2008 ◽

pp. 659-673 ◽

Cited By ~ 8

Author(s):

Dumitru Roman ◽

Michael Kifer ◽

Dieter Fensel

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Concurrent Transaction ◽

Transaction Logic

Download Full-text

The Hidden Computation Steps of Turbo Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_14 ◽

2003 ◽

pp. 244-262 ◽

Cited By ~ 7

Author(s):

Nicu G. Fruja ◽

Robert F. Stärk

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-70848-5_3 ◽

2017 ◽

pp. 15-32 ◽

Cited By ~ 2

Author(s):

Farah Al-Shareefi ◽

Alexei Lisitsa ◽

Clare Dixon

Keyword(s):

Process Analysis ◽

State Machines ◽

Critical Systems ◽

Abstract State Machines ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Quantum Computing and Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_18 ◽

2003 ◽

pp. 309-323 ◽

Cited By ~ 8

Author(s):

Erich Grädel ◽

Antje Nowack

Keyword(s):

Quantum Computing ◽

State Machines ◽

Abstract State Machines

Download Full-text

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_17 ◽

2007 ◽

pp. 242-256 ◽

Cited By ~ 1

Author(s):

Andreas Glausch ◽

Wolfgang Reisig

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Data Flow Analysis and Testing of Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_8 ◽

2008 ◽

pp. 85-97 ◽

Cited By ~ 6

Author(s):

Alessandra Cavarra

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Abstract State Machines ◽

Data Flow Analysis

Download Full-text

Stability of Real-Time Abstract State Machines under Desynchronization

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_29 ◽

2008 ◽

pp. 341-341

Author(s):

Joelle Cohen ◽

Anatol Slissenko

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Download Full-text