| An ASM semantics for UML activity diagrams E Börger, A Cavarra, E Riccobene International Conference on Algebraic Methodology and Software Technology …, 2000 | 154 | 2000 |
| Modeling the dynamics of UML state machines E Börger, A Cavarra, E Riccobene International Workshop on Abstract State Machines, 223-241, 2000 | 139 | 2000 |
| 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 | 123 | 2005 |
| Using Spin to generate tests from ASM specifications A Gargantini, E Riccobene, S Rinzivillo International Workshop on Abstract State Machines, 263-277, 2003 | 92 | 2003 |
| 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 | 90 | 2015 |
| ASM-based testing: Coverage criteria and automatic test sequence generation A Gargantini, E Riccobene Journal of Universal Computer Science 7 (11), 1050-1067, 2001 | 90 | 2001 |
| Formal analysis of the Kerberos authentication system G Bella, E Riccobene Journal of Universal Computer Science 3 (12), 1337-1381, 1997 | 84 | 1997 |
| Proving invariants of I/O automata with TAME M Archer, C Heitmeyer, E Riccobene Automated Software Engineering 9 (3), 201-232, 2002 | 73 | 2002 |
| 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 | 69 | 2006 |
| 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 | 67 | 2008 |
| A semantic framework for metamodel-based languages A Gargantini, E Riccobene, P Scandurra Automated software engineering 16 (3-4), 415-454, 2009 | 65 | 2009 |
| Encoding abstract state machines in PVS A Gargantini, E Riccobene International Workshop on Abstract State Machines, 303-322, 2000 | 64 | 2000 |
| 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 | 55 | 2011 |
| 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 | 55 | 2010 |
| 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 | 55 | 2000 |
| 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 | 48 | 2008 |
| 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 | 41 | 2006 |
| 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 | 40 | 2005 |
| 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 | 37 | 1996 |
| 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 | 36 | 2009 |
patrizia scandurraUniversity of Bergamo (Italy)Verified email at unibg.it
