Segui
Elvinia Riccobene
Elvinia Riccobene
Professore, Università di Milano, Italy
Email verificata su unimi.it - Home page
Titolo
Citata da
Citata da
Anno
Modeling and analyzing MAPE-K feedback loops for self-adaptation
P Arcaini, E Riccobene, P Scandurra
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
2862015
An ASM semantics for UML activity diagrams
E Börger, A Cavarra, E Riccobene
International Conference on Algebraic Methodology and Software Technology …, 2000
1782000
Modeling the dynamics of UML state machines
E Börger, A Cavarra, E Riccobene
International Workshop on Abstract State Machines, 223-241, 2000
1562000
A SoC design methodology involving a UML 2.0 profile for SystemC
E Riccobene, P Scandurra, A Rosti, S Bocchio
Design, Automation and test in Europe, 704-709, 2005
1262005
Asm-based testing: Coverage criteria and automatic test sequence generation
A Gargantini, E Riccobene
Journal of Universal Computer Science 7 (11), 1050-1067, 2001
1132001
Using Spin to generate tests from ASM specifications
A Gargantini, E Riccobene, S Rinzivillo
International Workshop on Abstract State Machines, 263-277, 2003
1072003
A metamodel-based language and a simulation engine for abstract state machines.
A Gargantini, E Riccobene, P Scandurra
J. Univers. Comput. Sci. 14 (12), 1949-1983, 2008
1002008
Formal Analysis of the Kerberos Authentication System.
G Bella, E Riccobene
J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997
981997
A model‐driven process for engineering a toolset for a formal method
P Arcaini, A Gargantini, E Riccobene, P Scandurra
Software: Practice and Experience 41 (2), 155-166, 2011
872011
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
P Arcaini, A Gargantini, E Riccobene
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
782010
Proving invariants of I/O automata with TAME
M Archer, C Heitmeyer, E Riccobene
Automated Software Engineering 9, 201-232, 2002
762002
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16, 415-454, 2009
752009
A model-driven design environment for embedded systems
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the 43rd annual Design Automation Conference, 915-918, 2006
742006
Formal design and verification of self-adaptive systems with decentralized control
P Arcaini, E Riccobene, P Scandurra
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-35, 2017
722017
A scenario-based validation language for ASMs
A Carioni, A Gargantini, E Riccobene, P Scandurra
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
702008
Encoding abstract state machines in PVS
A Gargantini, E Riccobene
International Workshop on Abstract State Machines, 303-322, 2000
642000
Capturing requirements by abstract state machines: The light control case study
E Riccobene, J Schmid
J. UCS 6 (7), 597-620, 2000
572000
UML for ESL design: basic principles, tools, and applications
W Mueller, A Rosti, S Bocchio, E Riccobene, P Scandurra, W Dehaene, ...
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided …, 2006
482006
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
A Abba, C Accorsi, P Agnes, E Alessi, P Amaudruz, A Annovi, ...
Physics of Fluids 33 (3), 2021
472021
CoMA: conformance monitoring of java programs by abstract state machines
P Arcaini, A Gargantini, E Riccobene
Runtime Verification: Second International Conference, RV 2011, San …, 2012
452012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20