Alfredo Motta
Alfredo Motta
Ph.D. Software Engineering
Verified email at - Homepage
Cited by
Cited by
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
From interaction overview diagrams to temporal logic
L Baresi, A Morzenti, A Motta, M Rossi
Models in Software Engineering, 90-104, 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
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
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
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
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
Poster on a simple pacemaker implementation
VP La Manna, AT Bonanno, A Motta
ACM, May, 163, 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
Logic based verification of multidiagram UML models for timed systems
A Motta
Italy, 2013
Towards the verification of multi-diagram UML models
A Motta
Proceedings of the 34th International Conference on Software Engineering …, 2012
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
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, ...
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
VP La Manna, AT Bonanno, A Motta
The system can't perform the operation now. Try again later.
Articles 1–15