Elvinia Riccobene

147 papers A* 2A 4B 5C 26Misc 6Journal 39Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication. CoRR Roberto Metere, Mario Lilli, Luca Arnaboldi, Elvinia Riccobene
2025	J	`jnl`	A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Aspects Comput. Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2025	J	`jnl`	AProVer Front-End Modelling Language for Designing Security Protocols. SN Comput. Sci. Chiara Braghin, Mario Lilli, Elvinia Riccobene
2025	J	`jnl`	Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. Sci. Comput. Program. Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2025	J	`jnl`	SIMSPIRE: A Simulator of the Respiratory System. IEEE Access Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2025	C	`conf`	Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts. ABZ Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene, Simone Valentini
2024	C	`conf`	A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ Simone Valentini, Chiara Braghin, Elvinia Riccobene
2024	J	`jnl`	A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	—	`conf`	ASMETA Tool Set for Rigorous System Design. FM (2) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	C	`conf`	An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. SECRYPT Chiara Braghin, Elvinia Riccobene, Simone Valentini
2024	J	`jnl`	Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2024	C	`conf`	Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba
2024	Misc	`conf`	Modeling and verification of smart contracts with Abstract State Machines. SAC Chiara Braghin, Elvinia Riccobene, Simone Valentini
2024	C	`ed.`	Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ABZ Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
2023	J	`jnl`	A component framework for the runtime enforcement of safety properties. J. Syst. Softw. Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2023	J	`jnl`	A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Comput. Secur. Chiara Braghin, Mario Lilli, Elvinia Riccobene
2023	C	`conf`	Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
2022	—	`conf`	Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2022	—	`conf`	Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2022	J	`jnl`	Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2022	—	`conf`	Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
2022	—	`conf`	Towards an Evaluation Framework for Autonomous Systems. ACSOS-C Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2021	B	`conf`	A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2021	—	`conf`	Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	C	`conf`	Extending ASMETA with Time Features. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	C	`conf`	Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT Mario Lilli, Chiara Braghin, Elvinia Riccobene
2021	—	`ch.`	Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani
2021	A	`conf`	Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2021	—	`ed.`	Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Logic, Computation and Rigorous Methods Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
2021	—	`conf`	The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2021	C	`conf`	Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ Chiara Braghin, Mario Lilli, Elvinia Riccobene
2020	C	`conf`	Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ Elvinia Riccobene, Patrizia Scandurra
2020	J	`jnl`	MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020	—	`conf`	Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion Elvinia Riccobene, Patrizia Scandurra
2020	—	`conf`	Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020	C	`conf`	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020	Misc	`conf`	Smart home platform supporting decentralized adaptive automation control. SAC Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
2020	—	`conf`	Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. MSTEC Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh
2019	—	`conf`	A Model Driven Approach for Cyber Security Scenarios Deployment. IOSec/MSTEC/FINSEC@ESORICS Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene
2019	—	`conf`	A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2019	—	`conf`	A formal design of the hybrid European rail traffic management system. ECSA (Companion) Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini
2019	—	`conf`	Addressing Usability in a Formal Development Environment. FM Workshops (1) Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	—	`conf`	Automatic Refinement of ASM Abstract Test Cases. ICST Workshops Paolo Arcaini, Elvinia Riccobene
2019	J	`jnl`	Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	J	`jnl`	Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	C	`conf`	Regular Expression Learning with Evolutionary Testing and Repair. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	—	`conf`	Self-accounting in architecture-based self-adaptation. ECSA (Companion) Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018	B	`conf`	A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018	—	`conf`	AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
2018	—	`conf`	Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018	J	`jnl`	Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2018	C	`conf`	Interactive Testing and Repairing of Regular Expressions. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	J	`jnl`	A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2017	J	`jnl`	Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2017	—	`conf`	MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	A	`conf`	NuSeen: A Tool Framework for the NuSMV Model Checker. ICST Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	J	`jnl`	Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	—	`conf`	SMT for state-based formal methods: the ASM case study. AFM@NFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	—	`conf`	The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
2016	J	`jnl`	ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
2016	C	`conf`	How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2016	B	`conf`	SMT-Based Automatic Proof of ASM Model Refinement. SEFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2016	C	`conf`	Unified Syntax for Abstract State Machines. ABZ Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2016	—	`conf`	Visual Notation and Patterns for Abstract State Machines. STAF Workshops Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2015	—	`ch.`	Formal Reliability Models for Web Services. Correct Software in Web Applications and Web Services Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra
2015	Misc	`conf`	Formal modeling self-adaptive service-oriented applications. SAC Elvinia Riccobene, Patrizia Scandurra
2015	C	`conf`	Formal validation and verification of a medical software critical component. MEMOCODE Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2015	J	`jnl`	How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2015	—	`conf`	Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
2015	—	`conf`	Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2015	J	`jnl`	Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	J	`jnl`	A formal framework for service modeling and prototyping. Formal Aspects Comput. Elvinia Riccobene, Patrizia Scandurra
2014	J	`jnl`	A reliability model for Service Component Architectures. J. Syst. Softw. Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra
2014	—	`conf`	An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	J	`jnl`	Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. Elvinia Riccobene, Steve Reeves
2014	C	`conf`	Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ Elvinia Riccobene, Patrizia Scandurra
2014	J	`jnl`	Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2013	—	`conf`	Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2013	J	`jnl`	Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. CoRR Elvinia Riccobene
2013	J	`jnl`	Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene
2013	—	`conf`	Online Testing of LTL Properties for Java Code. Haifa Verification Conference Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	J	`jnl`	Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Des. Autom. Embed. Syst. Elvinia Riccobene, Patrizia Scandurra
2012	—	`conf`	Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra
2011	—	`conf`	A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA Elvinia Riccobene, Patrizia Scandurra, Fabio Albani
2011	J	`jnl`	A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	J	`jnl`	A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2011	B	`conf`	CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	—	`conf`	Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra
2011	A*	`conf`	Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA Elvinia Riccobene, Patrizia Scandurra
2010	—	`conf`	An Executable Semantics of the SystemC UML Profile. ASM Elvinia Riccobene, Patrizia Scandurra
2010	—	`conf`	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC Elvinia Riccobene, Patrizia Scandurra
2009	J	`jnl`	A semantic framework for metamodel-based languages. Autom. Softw. Eng. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009	C	`conf`	Integrating Formal Methods with Model-Driven Engineering. ICSEA Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009	J	`jnl`	Model transformations in the UPES/UPSoC development process for embedded systems. Innov. Syst. Softw. Eng. Elvinia Riccobene, Patrizia Scandurra
2009	J	`jnl`	SystemC/C-based model-driven design for embedded systems. ACM Trans. Embed. Comput. Syst. Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009	—	`conf`	Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	J	`jnl`	A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	A Scenario-Based Validation Language for ASMs. ABZ Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	—	`conf`	A model-driven validation & verification environment for embedded systems. SIES Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Model-Driven Language Engineering: The ASMETA Case Study. ICSEA Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	—	`conf`	Model-Driven System Validation by Scenarios. FDL (Selected Papers) Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008	C	`conf`	Scenario-based Validation of Embedded Systems. FDL Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
2007	C	`conf`	A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2007	—	`conf`	Designing a Unified Process for Embedded Systems. MOMPES Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2007	—	`conf`	Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2007	—	`conf`	Process State Machines for Behavioral Modeling of Embedded Systems. SIES Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2006	C	`conf`	A Model-driven Co-design Flow for Embedded Systems. FDL Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti
2006	A*	`conf`	A model-driven design environment for embedded systems. DAC Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2006	A	`conf`	UML for ESL design: basic principles, tools, and applications. ICCAD Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
2005	—	`conf`	A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
2005	A	`conf`	A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005	Misc	`conf`	A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005	C	`conf`	An HW/SW Co-design Environment based on UML and SystemC. FDL Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005	—	`conf`	ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis Angelo Gargantini, Elvinia Riccobene
2004	Misc	`conf`	A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
2004	J	`jnl`	Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
2004	—	`conf`	Modelling SystemC Process Behavior by the UML Method State Machines. RISE Elvinia Riccobene, Patrizia Scandurra
2004	J	`jnl`	On formalizing UML state machines using ASM. Inf. Softw. Technol. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2004	—	`conf`	Towards an Interchange Language for ASMs. Abstract State Machines Elvinia Riccobene, Patrizia Scandurra
2003	—	`ed.`	Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Abstract State Machines Egon Börger, Angelo Gargantini, Elvinia Riccobene
2003	B	`conf`	Automatic Model Driven Animation of SCR Specifications. FASE Angelo Gargantini, Elvinia Riccobene
2003	—	`conf`	Consistent Integration for Sequential Abstract State Machines. Abstract State Machines Marianna Nicolosi Asmundo, Elvinia Riccobene
2003	—	`conf`	Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
2003	Misc	`conf`	Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC Egon Börger, Elvinia Riccobene, Alessandra Cavarra
2003	—	`conf`	Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
2002	J	`jnl`	Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
2001	J	`jnl`	ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. Univers. Comput. Sci. Angelo Gargantini, Elvinia Riccobene
2000	—	`conf`	A Formal Model for the Parallel Semantics of P3L. SAC (2) Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella
2000	—	`conf`	An ASM Semantics for UML Activity Diagrams. AMAST Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2000	J	`jnl`	Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. Egon Börger, Elvinia Riccobene, Joachim Schmid
2000	—	`conf`	Encoding Abstract State Machines in PVS. Abstract State Machines Angelo Gargantini, Elvinia Riccobene
2000	—	`conf`	Modeling the Dynamics of UML State Machines. Abstract State Machines Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2000	—	`conf`	Using TAME to prove invariants of automata models: Two case studies. FMSP Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
1998	—	`conf`	A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines Giampaolo Bella, Elvinia Riccobene
1997	J	`jnl`	Formal Analysis of the Kerberos Authentication System. J. Univers. Comput. Sci. Giampaolo Bella, Elvinia Riccobene
1995	—	`conf`	Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
1991	—	`conf`	Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK Egon Börger, Elvinia Riccobene
1991	—	`conf`	Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP Egon Börger, Elvinia Riccobene