Alfredo Motta

According to our database, Alfredo Motta authored at least 13 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Logic-Based Approach for the Verification of UML Timed Models.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

ACM Trans. Softw. Eng. Methodol., 2017

2015

Formal verification and validation of embedded systems: the UML-based MADES approach.

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi

Softw. Syst. Model., 2015

Performance-driven dynamic service selection.

Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli

Concurr. Comput. Pract. Exp., 2015

2013

Logic-based verification of multi-diagram UML models for timed systems.

Alfredo Motta

PhD thesis, 2013

Lightweight analysis of software design models at the whiteboard.

Alfredo Motta, Nicolas Mangano, André van der Hoek

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

2012

A logic-based semantics for the verification of multi-diagram UML models.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

ACM SIGSOFT Softw. Eng. Notes, 2012

Towards the verification of multi-diagram UML models.

Alfredo Motta

Proceedings of the 34th International Conference on Software Engineering, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2010

QoS Driven Dynamic Binding in-the-many.

Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli

Proceedings of the Research into Practice, 2010

From Interaction Overview Diagrams to Temporal Logic.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

Proceedings of the Models in Software Engineering, 2010

Towards the UML-Based Formal Verification of Timed Systems.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Agent Based Modeling of Atherosclerosis: A Concrete Help in Personalized Treatments.

Francesco Pappalardo, Alessandro Cincotti, Alfredo Motta, Marzio Pennisi

Proceedings of the Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 2009

2007

A Genetic Algorithm for Shortest Path Motion Problem in Three Dimensions.

Marzio Pennisi, Francesco Pappalardo, Alfredo Motta, Alessandro Cincotti

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 2007