עקוב אחר
Elvinia Riccobene
Elvinia Riccobene
Professore, Università di Milano, Italy
כתובת אימייל מאומתת בדומיין unimi.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
3282015
An ASM semantics for UML activity diagrams‏
E Börger, A Cavarra, E Riccobene‏
International Conference on Algebraic Methodology and Software Technology …, 2000‏
1812000
Modeling the dynamics of UML state machines‏
E Börger, A Cavarra, E Riccobene‏
International Workshop on Abstract State Machines, 223-241, 2000‏
1542000
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‏
1252005
Asm-based testing: Coverage criteria and automatic test sequence generation‏
A Gargantini, E Riccobene‏
Journal of Universal Computer Science 7 (11), 1050-1067, 2001‏
1112001
Using Spin to generate tests from ASM specifications‏
A Gargantini, E Riccobene, S Rinzivillo‏
International Workshop on Abstract State Machines, 263-277, 2003‏
1092003
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‏
1072008
Formal Analysis of the Kerberos Authentication System.‏
G Bella, E Riccobene‏
J. Univers. Comput. Sci. 3 (12), 1337-1381, 1997‏
1001997
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‏
972011
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‏
902010
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‏
782017
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‏
762008
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‏
762006
A semantic framework for metamodel-based languages‏
A Gargantini, E Riccobene, P Scandurra‏
Automated software engineering 16, 415-454, 2009‏
752009
Proving invariants of I/O automata with TAME‏
M Archer, C Heitmeyer, E Riccobene‏
Automated Software Engineering 9, 201-232, 2002‏
742002
Encoding abstract state machines in PVS‏
A Gargantini, E Riccobene‏
International Workshop on Abstract State Machines, 303-322, 2000‏
662000
Capturing requirements by abstract state machines: The light control case study‏
E Riccobene, J Schmid‏
J. UCS 6 (7), 597-620, 2000‏
582000
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‏
522021
Model-driven language engineering: The ASMETA case study‏
A Gargantini, E Riccobene, P Scandurra‏
2008 The Third International Conference on Software Engineering Advances …, 2008‏
482008
CoMA: conformance monitoring of java programs by abstract state machines‏
P Arcaini, A Gargantini, E Riccobene‏
International Conference on Runtime Verification, 223-238, 2011‏
472011
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20