Elvinia Riccobene
Elvinia Riccobene
Professore, Universitā di Milano, Italy
Verified email at unimi.it - Homepage
TitleCited byYear
An ASM semantics for UML activity diagrams
E Börger, A Cavarra, E Riccobene
International Conference on Algebraic Methodology and Software Technology …, 2000
1542000
Modeling the dynamics of UML state machines
E Börger, A Cavarra, E Riccobene
International Workshop on Abstract State Machines, 223-241, 2000
1392000
A SoC design methodology involving a UML 2.0 profile for SystemC
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
1232005
Using Spin to generate tests from ASM specifications
A Gargantini, E Riccobene, S Rinzivillo
International Workshop on Abstract State Machines, 263-277, 2003
922003
Modeling and analyzing MAPE-K feedback loops for self-adaptation
P Arcaini, E Riccobene, P Scandurra
Proceedings of the 10th international symposium on software engineering for …, 2015
902015
ASM-based testing: Coverage criteria and automatic test sequence generation
A Gargantini, E Riccobene
Journal of Universal Computer Science 7 (11), 1050-1067, 2001
902001
Formal analysis of the Kerberos authentication system
G Bella, E Riccobene
Journal of Universal Computer Science 3 (12), 1337-1381, 1997
841997
Proving invariants of I/O automata with TAME
M Archer, C Heitmeyer, E Riccobene
Automated Software Engineering 9 (3), 201-232, 2002
732002
A model-driven design environment for embedded systems
E Riccobene, P Scandurra, A Rosti, S Bocchio
2006 43rd ACM/IEEE Design Automation Conference, 915-918, 2006
692006
A metamodel-based language and a simulation engine for abstract state machines
AM Gargantini, E Riccobene, P Scandurra
Know-Center 14 (12), 1949-1983, 2008
672008
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16 (3-4), 415-454, 2009
652009
Encoding abstract state machines in PVS
A Gargantini, E Riccobene
International Workshop on Abstract State Machines, 303-322, 2000
642000
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
552011
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
P Arcaini, A Gargantini, E Riccobene
International Conference on Abstract State Machines, Alloy, B and Z, 61-74, 2010
552010
Capturing requirements by abstract state machines: The light control case study
E Riccobene, J Schmid
Journal of Universal Computer Science 6 (7), 597-620, 2000
552000
A scenario-based validation language for ASMs
A Carioni, A Gargantini, E Riccobene, P Scandurra
International Conference on Abstract State Machines, B and Z, 71-84, 2008
482008
UML for ESL design-basic principles, tools, and applications
W Mueller, A Rosti, S Bocchio, E Riccobene, P Scandurra, W Dehaene, ...
2006 IEEE/ACM International Conference on Computer Aided Design, 73-80, 2006
412006
A UML 2.0 profile for SystemC: toward high-level SoC design
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the 5th ACM international conference on Embedded software …, 2005
402005
Refining abstract machine specifications of the steam boiler control to well documented executable code
C Beierle, E Börger, I Đurđanović, U Glässer, E Riccobene
Formal Methods for Industrial Applications, 52-78, 1996
371996
SystemC/C-based model-driven design for embedded systems
E Riccobene, P Scandurra, S Bocchio, A Rosti, L Lavazza, L Mantellini
ACM Transactions on Embedded Computing Systems (TECS) 8 (4), 30, 2009
362009
The system can't perform the operation now. Try again later.
Articles 1–20