A Genetic Algorithm for Shortest Path Motion Problem in Three Dimensions. - Marzio Pennisi; Francesco Pappalardo 001; Alfredo Motta; Alessandro Cincotti (ICIC (2), 2007)

Agent Based Modeling of Atherosclerosis: A Concrete Help in Personalized Treatments. - Francesco Pappalardo 001; Alessandro Cincotti; Alfredo Motta; Marzio Pennisi (ICIC (2), 2009)

Towards the UML-Based Formal Verification of Timed Systems. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (FMCO, 2010)

From Interaction Overview Diagrams to Temporal Logic. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (MoDELS (Workshops), 2010)

QoS Driven Dynamic Binding in-the-many. - Carlo Ghezzi; Alfredo Motta; Valerio Panzica La Manna; Giordano Tamburrelli (QoSA, 2010)

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. - Alek Radjenovic; Nikolas Drivalos Matragkas; Richard F. Paige; Matteo Rossi 001; Alfredo Motta; Luciano Baresi; Dimitrios S. Kolovos (ECMFA, 2012)

Towards the verification of multi-diagram UML models. - Alfredo Motta (ICSE, 2012)

A logic-based semantics for the verification of multi-diagram UML models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Lightweight analysis of software design models at the whiteboard. - Alfredo Motta; Nicolas Mangano; André van der Hoek (MiSE, 2013)

Logic-based verification of multi-diagram UML models for timed systems. - Alfredo Motta (2013)

Performance-driven dynamic service selection. - Carlo Ghezzi; Valerio Panzica La Manna; Alfredo Motta; Giordano Tamburrelli (Concurr. Comput. Pract. Exp., 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 001 (Softw. Syst. Model., 2015)

A Logic-Based Approach for the Verification of UML Timed Models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ACM Trans. Softw. Eng. Methodol., 2017)