default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElvinia Riccobene
Person information
- affiliation: Università degli Studi di Milano, Department of Computer Science, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j34]Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Aspects Comput. 37(2): 13:1-13:26 (2025)- [j33]Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. Sci. Comput. Program. 244: 103299 (2025) - 2024
- [j32]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26(3): 379-401 (2024) - [j31]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50(4): 995-1014 (2024) - [c100]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
ASMETA Tool Set for Rigorous System Design. FM (2) 2024: 492-517 - [c99]Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba:
Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD 2024: 62-73 - [c98]Chiara Braghin, Elvinia Riccobene, Simone Valentini:
Modeling and verification of smart contracts with Abstract State Machines. SAC 2024: 1425-1432 - [c97]Chiara Braghin, Elvinia Riccobene, Simone Valentini:
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. SECRYPT 2024: 334-344 - [c96]Simone Valentini, Chiara Braghin, Elvinia Riccobene:
A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ 2024: 201-207 - [e4]Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra:
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6 [contents] - 2023
- [j30]Chiara Braghin, Mario Lilli, Elvinia Riccobene:
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Comput. Secur. 127: 103037 (2023) - [j29]Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198: 111605 (2023) - [c95]Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra:
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ 2023: 107-115 - 2022
- [j28]Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada:
Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. 152: 107061 (2022) - [c94]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C 2022: 43-48 - [c93]Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) 2022: 467-482 - [c92]Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19 - [c91]Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99 - 2021
- [c90]Chiara Braghin, Mario Lilli, Elvinia Riccobene:
Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ 2021: 17-33 - [c89]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. ABZ 2021: 105-111 - [c88]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c87]Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA 2021: 20-36 - [c86]Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada:
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE 2021: 24-35 - [c85]Mario Lilli, Chiara Braghin, Elvinia Riccobene:
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT 2021: 198-209 - [c84]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM 2021: 13-29 - [p2]Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani:
Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools 2021: 71-95 - [e3]Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 [contents] - 2020
- [j27]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [c83]Elvinia Riccobene, Patrizia Scandurra:
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ 2020: 244-247 - [c82]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c81]Elvinia Riccobene, Patrizia Scandurra:
Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion 2020: 395-410 - [c80]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c79]Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh:
Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. MSTEC 2020: 79-91 - [c78]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini:
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900
2010 – 2019
- 2019
- [j26]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019) - [j25]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c77]Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Self-accounting in architecture-based self-adaptation. ECSA (Companion) 2019: 14-17 - [c76]Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini:
A formal design of the hybrid European rail traffic management system. ECSA (Companion) 2019: 156-162 - [c75]Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene:
A Model Driven Approach for Cyber Security Scenarios Deployment. IOSec/MSTEC/FINSEC@ESORICS 2019: 107-122 - [c74]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c73]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c72]Paolo Arcaini, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops 2019: 1-10 - [c71]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40 - 2018
- [j24]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018) - [c70]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 242-263 - [c69]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c68]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16 - [c67]Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC 2018: 26-36 - 2017
- [j23]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. 81: 52-64 (2017) - [j22]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 19(2): 247-269 (2017) - [j21]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. 11(4): 25:1-25:35 (2017) - [c66]Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra:
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) 2017: 12-15 - [c65]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96 - [c64]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - [c63]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18 - 2016
- [j20]Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28(4): 567-595 (2016) - [c62]Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c61]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ 2016: 344-359 - [c60]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269 - [c59]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178 - 2015
- [j19]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58(11): 2900-2920 (2015) - [j18]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. 25(5-7): 629-652 (2015) - [c58]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23 - [c57]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6 - [c56]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89 - [c55]Elvinia Riccobene, Patrizia Scandurra:
Formal modeling self-adaptive service-oriented applications. SAC 2015: 1704-1710 - [c54]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130 - [c53]Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM 2015: 51-66 - [p1]Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
Formal Reliability Models for Web Services. Correct Software in Web Applications and Web Services 2015: 229-256 - 2014
- [j17]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j16]Elvinia Riccobene, Patrizia Scandurra:
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6): 1077-1113 (2014) - [j15]Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
A reliability model for Service Component Architectures. J. Syst. Softw. 89: 109-127 (2014) - [j14]Elvinia Riccobene, Steve Reeves:
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. 94: 67-68 (2014) - [c52]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51 - [c51]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) 2014: 95-109 - [c50]Elvinia Riccobene, Patrizia Scandurra:
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ 2014: 204-209 - [c49]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52 - 2013
- [c48]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - [c47]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops 2013: 178-187 - [i3]Elvinia Riccobene:
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. CoRR abs/1310.2464 (2013) - [i2]Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene:
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports 3(9): 74-105 (2013) - 2012
- [j13]Elvinia Riccobene, Patrizia Scandurra:
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Des. Autom. Embed. Syst. 16(3): 53-91 (2012) - [c46]Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra:
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132 - [e2]John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents] - 2011
- [j12]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011) - [j11]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011) - [c45]Elvinia Riccobene, Patrizia Scandurra, Fabio Albani:
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11 - [c44]Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra:
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349 - [c43]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 - [c42]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 - 2010
- [c41]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74 - [c40]Elvinia Riccobene, Patrizia Scandurra:
An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90 - [c39]Elvinia Riccobene, Patrizia Scandurra:
An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA 2010: 5 - [c38]Elvinia Riccobene, Patrizia Scandurra:
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41 - [c37]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13
2000 – 2009
- 2009
- [j10]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) - [j9]Elvinia Riccobene, Patrizia Scandurra:
Model transformations in the UPES/UPSoC development process for embedded systems. Innov. Syst. Softw. Eng. 5(1): 35-47 (2009) - [j8]Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini:
SystemC/C-based model-driven design for embedded systems. ACM Trans. Embed. Comput. Syst. 8(4): 30:1-30:37 (2009) - [c36]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 - [c35]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 - 2008
- [j7]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. 14(12): 1949-1983 (2008) - [c34]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 - [c33]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 - [c32]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven System Validation by Scenarios. FDL (Selected Papers) 2008: 57-69 - [c31]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni:
Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 - [c30]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 - [c29]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 - 2007
- [c28]Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197 - [c27]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90 - [c26]Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281 - [i1]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [c25]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A model-driven design environment for embedded systems. DAC 2006: 915-918 - [c24]Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351 - [c23]Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren:
UML for ESL design: basic principles, tools, and applications. ICCAD 2006: 73-80 - 2005
- [c22]Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene:
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368 - [c21]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE 2005: 704-709 - [c20]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005: 138-141 - [c19]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519 - [c18]Angelo Gargantini, Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114 - 2004
- [j6]Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
On formalizing UML state machines using ASM. Inf. Softw. Technol. 46(5): 287-292 (2004) - [j5]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3(3): 367-398 (2004) - [c17]Elvinia Riccobene, Patrizia Scandurra:
Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126 - [c16]Elvinia Riccobene, Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121 - [c15]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC 2004: 1519-1523 - 2003
- [c14]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines 2003: 229-243 - [c13]Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277 - [c12]Marianna Nicolosi Asmundo, Elvinia Riccobene:
Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340 - [c11]Angelo Gargantini, Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309 - [c10]Egon Börger, Elvinia Riccobene, Alessandra Cavarra:
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC 2003: 1086-1091 - [e1]Egon Börger, Angelo Gargantini, Elvinia Riccobene:
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589, Springer 2003, ISBN 3-540-00624-9 [contents] - 2002
- [j4]Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9(3): 201-232 (2002) - 2001
- [j3]Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. Univers. Comput. Sci. 7(11): 1050-1067 (2001) - 2000
- [j2]Egon Börger, Elvinia Riccobene, Joachim Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. 6(7): 597-620 (2000) - [c9]Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams. AMAST 2000: 293-308 - [c8]Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
Modeling the Dynamics of UML State Machines. Abstract State Machines 2000: 223-241 - [c7]Angelo Gargantini, Elvinia Riccobene:
Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322 - [c6]Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36 - [c5]Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella:
A Formal Model for the Parallel Semantics of P3L. SAC (2) 2000: 804-812
1990 – 1999
- 1998
- [c4]Giampaolo Bella, Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines 1998: 127-138 - 1997
- [j1]Giampaolo Bella, Elvinia Riccobene:
Formal Analysis of the Kerberos Authentication System. J. Univers. Comput. Sci. 3(12): 1337-1381 (1997) - 1995
- [c3]Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene:
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78 - 1991
- [c2]Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34 - [c1]Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198
Coauthor Index
[j34] [j32] [j31] [c100] [e4] [j28] [c94] [c93] [c92] [c91] [c89] [c88] [c86] [c84] [c82] [j26] [j25] [c76] [c74] [c71] [j24] [c70] [c68] [j23] [j22] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [j19] [j18] [c57] [c56] [c54] [j17] [c52] [c51] [c49] [c48] [c47] [j12] [j11] [c43] [c42] [c41] [c37] [j10] [c36] [c35] [j7] [c34] [c33] [c32] [c31] [c30] [c29] [i1] [c22] [c18] [c13] [c11] [e1] [j3] [c7]
[j34] [j33] [j32] [j31] [c100] [e4] [j29] [c95] [c94] [c93] [c92] [c91] [c88] [c87] [j27] [c83] [c82] [c81] [c80] [c78] [c77] [c74] [c73] [c69] [j21] [c66] [c62] [c58] [c55] [p1] [j16] [j15] [c50] [j13] [c46] [j11] [c45] [c44] [c40] [c39] [c38] [j10] [j9] [j8] [c36] [c35] [j7] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [i1] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [j5] [c17] [c16] [c15] [c14]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-02 01:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
