


Остановите войну!
for scientists:
Elvinia Riccobene
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [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]