Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Elvinia Riccobene

> Home > Persons

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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BraghinLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BraghinLR23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BonfantiRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BonfantiRS23
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198: 111605 (2023)
2022
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/BombardaBGGPRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/BombardaBGGPRW22
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)
2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ArcainiMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ArcainiMRS20
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020)
2019
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019)
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiBGMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiBGMR18
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)
2017
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ArcainiGRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ArcainiGRV17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArcainiGR17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/ArcainiRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/ArcainiRS17
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)
2016
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArcainiHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArcainiHR16
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)
2015
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/ArcainiGR15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArcainiGR15
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)
2014
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ArcainiGR14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/RiccobeneS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/RiccobeneS14
Elvinia Riccobene, Patrizia Scandurra:
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6): 1077-1113 (2014)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MirandolaPRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MirandolaPRS14
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
A reliability model for Service Component Architectures. J. Syst. Softw. 89: 109-127 (2014)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RiccobeneR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RiccobeneR14
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)
2012
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/RiccobeneS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/RiccobeneS12
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)
2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/ArcainiGRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/ArcainiGRS11
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)
2009
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/GargantiniRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/GargantiniRS09
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/RiccobeneS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/RiccobeneS09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/RiccobeneSBRLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/RiccobeneSBRLM09
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)
2008
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GargantiniRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GargantiniRS08
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)
2004
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/BorgerCR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/BorgerCR04
Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
On formalizing UML state machines using ASM. Inf. Softw. Technol. 46(5): 287-292 (2004)
[j5]
- view
  - electronic edition @ complexica.net
  - no references & citations available
- export record
  dblp key:
  - journals/siu/CavarraRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siu/CavarraRS04
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)
2002
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/ArcherHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/ArcherHR02
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GargantiniR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GargantiniR01
Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. Univers. Comput. Sci. 7(11): 1050-1067 (2001)
2000
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BorgerRS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BorgerRS00
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)
1997
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BellaR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BellaR97
Giampaolo Bella, Elvinia Riccobene:
Formal Analysis of the Kerberos Authentication System. J. Univers. Comput. Sci. 3(12): 1337-1381 (1997)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c96]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/modelsward/BraghinLRB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/BraghinLRB24
Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba:
Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD 2024: 62-73
2023
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BonfantiRSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BonfantiRSS23
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
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/BombardaBSGPRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/BombardaBSGPRS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BersaniBGMRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BersaniBGMRS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BonfantiGRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BonfantiGRS22
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/BersaniBCGGPMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/BersaniBCGGPMPR22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BraghinLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BraghinLR21
Chiara Braghin, Mario Lilli, Elvinia Riccobene:
Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ 2021: 17-33
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BombardaBGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BombardaBGR21
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. ABZ 2021: 105-111
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ArcainiBBGRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ArcainiBBGRS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BonfantiRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BonfantiRS21
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA 2021: 20-36
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/BombardaBGGPRW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/BombardaBGGPRW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/LilliBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/LilliBR21
Mario Lilli, Chiara Braghin, Elvinia Riccobene:
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT 2021: 198-209
[c84]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2111-08204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-08204
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
2020
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RiccobeneS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RiccobeneS20
Elvinia Riccobene, Patrizia Scandurra:
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ 2020: 244-247
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBGRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBGRS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/RiccobeneS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/RiccobeneS20
Elvinia Riccobene, Patrizia Scandurra:
Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion 2020: 395-410
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiMRS20
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/mstec/BraghinCDFRA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mstec/BraghinCDFRA20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ArcainiMRSABMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ArcainiMRSABMP20
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
2019
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/MirandolaRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/MirandolaRS19
Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Self-accounting in architecture-based self-adaptation. ECSA (Companion) 2019: 14-17
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/GaspariRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/GaspariRG19
Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini:
A formal design of the hybrid European rail traffic management system. ECSA (Companion) 2019: 156-162
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/BraghinCDFMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BraghinCDFMR19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ArcainiBGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ArcainiBGRS19
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/ArcainiMRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/ArcainiMRS19
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiR19
Paolo Arcaini, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops 2019: 1-10
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40
2018
[c70]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/ArcainiGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ArcainiGR18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/ArcainiMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/ArcainiMRS18
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ArcainiGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArcainiGR18
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16
[c67]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10816
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC 2018: 26-36
2017
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BonfantiCRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BonfantiCRS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR17a
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/nfm/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArcainiGR17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18
2016
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBDGMRRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBDGMRRSS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBGR16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ArcainiGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ArcainiGR16
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/ArcainiBGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/ArcainiBGR16
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178
2015
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ArcainiRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArcainiRS15
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGRV15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ArcainiBGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ArcainiBGMR15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/RiccobeneS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/RiccobeneS15
Elvinia Riccobene, Patrizia Scandurra:
Formal modeling self-adaptive service-oriented applications. SAC 2015: 1704-1710
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ArcainiGR15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ArcainiHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ArcainiHR15
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM 2015: 51-66
2014
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RiccobeneS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RiccobeneS14
Elvinia Riccobene, Patrizia Scandurra:
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ 2014: 204-209
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52
2013
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ArcainiGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ArcainiGR13
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR13
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
2012
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/RiccobenePS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/RiccobenePS12
Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra:
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132
2011
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/RiccobeneSA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/RiccobeneSA11
Elvinia Riccobene, Patrizia Scandurra, Fabio Albani:
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BrugaliGRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BrugaliGRS11
Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra:
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238
2010
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RiccobeneS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RiccobeneS10
Elvinia Riccobene, Patrizia Scandurra:
An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/bmfa/RiccobeneS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bmfa/RiccobeneS10
Elvinia Riccobene, Patrizia Scandurra:
An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA 2010: 5
[c38]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/RiccobeneS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/RiccobeneS10
Elvinia Riccobene, Patrizia Scandurra:
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41
[c37]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/ArcainiGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArcainiGR10
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13
2009
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GargantiniRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GargantiniRS09
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/GargantiniRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/GargantiniRS09
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92
2008
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/CarioniGRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/CarioniGRS08
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GargantiniRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GargantiniRS08
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/CarioniGRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/CarioniGRS08
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven System Validation by Scenarios. FDL (Selected Papers) 2008: 57-69
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/GargantiniRSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GargantiniRSC08
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni:
Scenario-based Validation of Embedded Systems. FDL 2008: 191-196
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/GargantiniRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/GargantiniRS08
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/GargantiniRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/GargantiniRS08
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244
2007
[c28]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/BocchioRRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/BocchioRRS07
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/RiccobeneSRB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/RiccobeneSRB07
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/BocchioRRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/BocchioRRS07
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281
2006
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/RiccobeneSRB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/RiccobeneSRB06
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A model-driven design environment for embedded systems. DAC 2006: 915-918
[c24]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/RiccobeneSBR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/RiccobeneSBR06
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/MuellerRBRSDV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/MuellerRBRSDV06
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]
- view
  - electronic edition @ univ-paris12.fr
  - no references & citations available
- export record
  dblp key:
  - conf/asm/ScandurraGGGR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ScandurraGGGR05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RiccobeneSRB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RiccobeneSRB05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/RiccobeneSRB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/RiccobeneSRB05
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]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/RiccobeneSRB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/RiccobeneSRB05
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/simvis/GargantiniR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simvis/GargantiniR05
Angelo Gargantini, Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114
2004
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RiccobeneS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RiccobeneS04
Elvinia Riccobene, Patrizia Scandurra:
Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rise/RiccobeneS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rise/RiccobeneS04
Elvinia Riccobene, Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CavarraRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CavarraRS04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/CavarraRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/CavarraRS03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GargantiniRR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GargantiniRR03
Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AsmundoR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AsmundoR03
Marianna Nicolosi Asmundo, Elvinia Riccobene:
Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GargantiniR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GargantiniR03
Angelo Gargantini, Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BorgerRC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BorgerRC03
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
2000
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/BorgerCR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BorgerCR00
Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams. AMAST 2000: 293-308
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BorgerCR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BorgerCR00
Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
Modeling the Dynamics of UML State Machines. Abstract State Machines 2000: 223-241
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GargantiniR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GargantiniR00
Angelo Gargantini, Elvinia Riccobene:
Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/ArcherHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/ArcherHR00
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CavarraRZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CavarraRZ00
Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella:
A Formal Model for the Parallel Semantics of P3L. SAC (2) 2000: 804-812
1998
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/BellaR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BellaR98
Giampaolo Bella, Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines 1998: 127-138
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BeierleBDGR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeierleBDGR95
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BorgerR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BorgerR91
Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pdk/BorgerR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdk/BorgerR91
Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2021
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/HeinrichBKRRRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/HeinrichBKRRRS21
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
2015
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/MirandolaPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/MirandolaPRS15
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2021boerger
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2021boerger
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]
2012
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2012
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]
2003
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2003
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2013
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Riccobene13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Riccobene13
Elvinia Riccobene:
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. CoRR abs/1310.2464 (2013)
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/GlasserHLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/GlasserHLR13
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)
2007
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/GargantiniRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GargantiniRS07
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007

Coauthor Index

see FAQ

a service of

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.