| 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 | 303 | 2015 |
| Component-based robotic engineering (part i)[tutorial] D Brugali, P Scandurra IEEE Robotics & Automation Magazine 16 (4), 84-96, 2009 | 252 | 2009 |
| 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 | 125 | 2005 |
| 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 | 103 | 2008 |
| 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 | 94 | 2011 |
| A semantic framework for metamodel-based languages A Gargantini, E Riccobene, P Scandurra Automated software engineering 16, 415-454, 2009 | 75 | 2009 |
| 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 | 75 | 2006 |
| 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 | 74 | 2017 |
| 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 | 74 | 2008 |
| 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 | 48 | 2006 |
| Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation: Applications for Design and Implementation L Gomes, J Fernandes IGI Global, 2009 | 45 | 2009 |
| Model-driven language engineering: The ASMETA case study A Gargantini, E Riccobene, P Scandurra 2008 The Third International Conference on Software Engineering Advances
, 2008 | 44 | 2008 |
| Adaptation space exploration for service-oriented applications R Mirandola, P Potena, P Scandurra Science of Computer Programming 80, 356-384, 2014 | 42 | 2014 |
| 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 | 42 | 2005 |
| 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), 1-37, 2009 | 40 | 2009 |
| Combining formal methods and MDE techniques for model-driven system design and analysis A Gargantini, E Riccobene, P Scandurra International journal on advances in software 3 (1), 2010 | 35 | 2010 |
| Designing a unified process for embedded systems E Riccobene, P Scandurra, A Rosti, S Bocchio Fourth International Workshop on Model-Based Methodologies for Pervasive and
, 2007 | 34 | 2007 |
| A formal framework for service modeling and prototyping E Riccobene, P Scandurra Formal Aspects of Computing 26, 1077-1113, 2014 | 32 | 2014 |
| Improving SoC design flow by means of MDA and UML profiles E Riccobene, A Rosti, P Scandurra 3rd Workshop in Software Model Engineering (WiSME 2004), 2004 | 32 | 2004 |
| Integrating formal methods with model-driven engineering A Gargantini, E Riccobene, P Scandurra 2009 Fourth International Conference on Software Engineering Advances, 86-92, 2009 | 31 | 2009 |
Elvinia RiccobeneProfessore, Università di Milano, ItalyPatvirtintas el. paštas unimi.it
