Elvinia Riccobene

J. Syst. Softw., April, 2023

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study.

[BibT_eX]

[DOI]

Chiara Braghin

Mario Lilli

Comput. Secur., April, 2023

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

Guidelines for the development of a critical software under emergency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Compositional Simulation of Abstract State Machines for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Towards an Evaluation Framework for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Formal Proof of a Vulnerability in Z-Wave IoT Protocol.

[BibT_eX]

[DOI]

Mario Lilli

Chiara Braghin

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

A Runtime Safety Enforcement Approach by Monitoring and Adaptation.

[BibT_eX]

[DOI]

Silvia Bonfanti

Proceedings of the Software Architecture - 15th European Conference, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Towards ASM-Based Automated Formal Verification of Security Protocols.

[BibT_eX]

[DOI]

Chiara Braghin

Mario Lilli

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extending ASMETA with Time Features.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Integration and Orchestration of Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

MSL: A pattern language for engineering self-adaptive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Smart home platform supporting decentralized adaptive automation control.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Simulation and Training Environments for Cybersecurity, 2020

Model-Based Testing for MAPE-K adaptation control loops.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Model-Based Simulation at Runtime with Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Exploring the Concept of Abstract State Machines for System Runtime Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Decomposition-Based Approach for Model-Based Test Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Fault-based test generation for regular expressions by mutation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2019

Regular Expression Learning with Evolutionary Testing and Repair.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Automatic Refinement of ASM Abstract Test Cases.

[BibT_eX]

[DOI]

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

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Addressing Usability in a Formal Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A Model Driven Approach for Cyber Security Scenarios Deployment.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2019 International Workshops, 2019

Self-accounting in architecture-based self-adaptation.

[BibT_eX]

[DOI]

Raffaela Mirandola

Proceedings of the 13th European Conference on Software Architecture, 2019

A formal design of the hybrid European rail traffic management system.

[BibT_eX]

[DOI]

Paolo Gaspari

Proceedings of the 13th European Conference on Software Architecture, 2019

2018

Integrating formal methods into medical software development: The ASM approach.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

AsmetaF: A Flattener for the ASMETA Framework.

[BibT_eX]

[DOI]

Riccardo Melioli

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Interactive Testing and Repairing of Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

A DSL for MAPE Patterns Representation in Self-adapting Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 2018

Closing the gap between the specification and the implementation: the ASMETA way.

[BibT_eX]

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

2017

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2017

Rigorous development process of a safety-critical system: from ASM models to Java code.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

A novel use of equivalent mutants for static anomaly detection in software artifacts.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

SMT for state-based formal methods: the ASM case study.

[BibT_eX]

[DOI]

Proceedings of the Automated Formal Methods, 2017

NuSeen: A Tool Framework for the NuSMV Model Checker.

[BibT_eX]

[DOI]

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

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions.

[BibT_eX]

[DOI]

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

The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper).

[BibT_eX]

[DOI]

Proceedings of the 11th European Conference on Software Architecture, 2017

2016

ASM-based formal design of an adaptivity component for a Cloud system.

[BibT_eX]

[DOI]

Roxana-Maria Holom

Formal Aspects Comput., 2016

Visual Notation and Patterns for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

SMT-Based Automatic Proof of ASM Model Refinement.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.

[BibT_eX]

[DOI]

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

Using mutation to assess fault detection capability of model review.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.

[BibT_eX]

[DOI]

Comput. J., 2015

Modeling and Formal Analysis of a Client-Server Application for Cloud Services.

[BibT_eX]

[DOI]

Roxana-Maria Holom

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Improving model-based test generation by model decomposition.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Formal modeling self-adaptive service-oriented applications.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 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

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Formal Reliability Models for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.

[BibT_eX]

[DOI]

Steve Reeves

Sci. Comput. Program., 2014

A reliability model for Service Component Architectures.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

A formal framework for service modeling and prototyping.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Using SMT for dealing with nondeterminism in ASM-based runtime verification.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

An Abstraction Technique for Testing Decomposable Systems by Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Towards ASM-Based Formal Specification of Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module.

[BibT_eX]

[DOI]

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.

[BibT_eX]

[DOI]

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community.

[BibT_eX]

[DOI]

CoRR, 2013

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Online Testing of LTL Properties for Java Code.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2012

Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model.

[BibT_eX]

[DOI]

Pasqualina Potena

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

A model-driven process for engineering a toolset for a formal method.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

A model advisor for NuSMV specifications.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2011

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications.

[BibT_eX]

[DOI]

Fabio Albani

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Automatic Review of Abstract State Machines by Meta Property Verification.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.

[BibT_eX]

Proceedings of the ACT4SOC 2010, 2010

An ASM-based executable formal model of service-oriented component interactions and orchestration.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

An Executable Semantics of the SystemC UML Profile.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

SystemC/C-based model-driven design for embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

Model transformations in the UPES/UPSoC development process for embedded systems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

A semantic framework for metamodel-based languages.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2009

Integrating Formal Methods with Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Ten Reasons to Metamodel ASMs.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

A Metamodel-based Language and a Simulation Engine for Abstract State Machines.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

A model-driven validation & verification environment for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Model-Driven Language Engineering: The ASMETA Case Study.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Scenario-based Validation of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Model-Driven System Validation by Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Exploiting the ASM Method for Validation & Verification of Embedded Systems.

[BibT_eX]

[DOI]

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

A Scenario-Based Validation Language for ASMs.

[BibT_eX]

[DOI]

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

2007

Process State Machines for Behavioral Modeling of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Designing a Unified Process for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

A complete SystemC UML profile with dynamic features for behavioral descriptions.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Exploiting the ASM method within the Model-driven Engineering paradigm.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

2006

UML for ESL design: basic principles, tools, and applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

A Model-driven Co-design Flow for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

A model-driven design environment for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

2005

ViBBA: A Toolbox for Automatic Model Driven Animation.

[BibT_eX]

Proceedings of the Simulation und Visualisierung 2005 (SimVis 2005), 2005

An HW/SW Co-design Environment based on UML and SystemC.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

A UML 2.0 profile for SystemC: toward high-level SoC design.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

A Concrete Syntax Derived From the Abstract State Machine Metamodel.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2004

On formalizing UML state machines using ASM.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2004

A framework to simulate UML models: moving from a semi-formal to a formal environment.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Modelling SystemC Process Behavior by the UML Method State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Towards an Interchange Language for ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Automatic Model Driven Animation of SCR Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Using Spin to Generate Testsfrom ASM Specifications.

[BibT_eX]

[DOI]

Salvatore Rinzivillo

Proceedings of the Abstract State Machines, 2003

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.

[BibT_eX]

[DOI]

Marianna Nicolosi Asmundo

Proceedings of the Abstract State Machines, 2003

Consistent Integration for Sequential Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

2002

Proving Invariants of I/O Automata with TAME.

[BibT_eX]

[DOI]

Myla Archer

Constance L. Heitmeyer

Autom. Softw. Eng., 2002

2001

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

2000

Capturing Requirements by Abstract State Machines: The Light Control Case Study.

[BibT_eX]

[DOI]

Joachim Schmid

J. Univers. Comput. Sci., 2000

A Formal Model for the Parallel Semantics of P3L.

[BibT_eX]

[DOI]

Andrea Zavanella

Proceedings of the Applied Computing 2000, 2000

Using TAME to prove invariants of automata models: Two case studies.

[BibT_eX]

[DOI]

Myla Archer

Constance L. Heitmeyer

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Encoding Abstract State Machines in PVS.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

Modeling the Dynamics of UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

An ASM Semantics for UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1998

A Realistic Environment for Crypto-Protocol Analyses by ASMs.

[BibT_eX]

Giampaolo Bella

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

Formal Analysis of the Kerberos Authentication System.

[BibT_eX]

[DOI]

Giampaolo Bella

J. Univers. Comput. Sci., 1997

1995

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995

1991

Logical Operational Semantics of Parlog, Part I: And-Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

Logical Operational Semantics of Parlog. Part II: Or-Parallelism.

[BibT_eX]

[DOI]