Formal verification and validation of embedded systems: the UML-based MADES approach L Baresi, G Blohm, DS Kolovos, N Matragkas, A Motta, RF Paige, ... Software & Systems Modeling 14 (1), 343-363, 2015 | 41 | 2015 |
A logic-based semantics for the verification of multi-diagram UML models L Baresi, A Morzenti, A Motta, M Rossi ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012 | 25 | 2012 |
From interaction overview diagrams to temporal logic L Baresi, A Morzenti, A Motta, M Rossi Models in Software Engineering, 90-104, 2010 | 23 | 2010 |
Qos driven dynamic binding in-the-many C Ghezzi, A Motta, VP La Manna, G Tamburrelli Research into Practice–Reality and Gaps, 68-83, 2010 | 22 | 2010 |
Performance‐driven dynamic service selection C Ghezzi, V Panzica La Manna, A Motta, G Tamburrelli Concurrency and Computation: Practice and Experience 27 (3), 633-650, 2015 | 21 | 2015 |
Towards the UML-based formal verification of timed systems L Baresi, A Morzenti, A Motta, M Rossi Formal Methods for Components and Objects, 267-286, 2010 | 13 | 2010 |
Agent based modeling of atherosclerosis: a concrete help in personalized treatments F Pappalardo, A Cincotti, A Motta, M Pennisi Emerging Intelligent Computing Technology and Applications. With Aspects of …, 2009 | 13 | 2009 |
Poster on a simple pacemaker implementation VP La Manna, AT Bonanno, A Motta ACM, May, 163, 2009 | 9 | 2009 |
Lightweight analysis of software design models at the whiteboard A Motta, N Mangano, A van der Hoek Proceedings of the 5th International Workshop on Modeling in Software …, 2013 | 7 | 2013 |
Towards the verification of multi-diagram UML models A Motta Proceedings of the 34th International Conference on Software Engineering …, 2012 | 4 | 2012 |
Logic based verification of multidiagram UML models for timed systems A Motta Italy, 2013 | 3 | 2013 |
Mades: A tool chain for automated verification of uml models of embedded systems A Radjenovic, N Matragkas, R Paige, M Rossi, A Motta, L Baresi, ... Modelling Foundations and Applications, 340-351, 2012 | 3 | 2012 |
A Genetic Algorithm for Shortest Path Motion Problem in Three Dimensions M Pennisi, F Pappalardo, A Motta, A Cincotti Advanced Intelligent Computing Theories and Applications. With Aspects of …, 2007 | 1 | 2007 |
The MoDeVVA workshop series brings together researchers and practitioners in-terested in combining MDE with validation and verification. The 10th edition took place on the 1st … P Ammann, M Balaban, E Bousse, J Derrick, F Fondement, B Legeard, ... | | 2013 |
ICSE 2009 SCORE PROJECT VP La Manna, AT Bonanno, A Motta | | |