Alfredo Motta

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Service Selection

Automated Verification

Top Venues

ACM Trans. Softw. Eng. Methodol.

Concurr. Comput. Pract. Exp.

Softw. Syst. Model.

Publications

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26 (2) (2017)
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14 (1) (2015)
Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli
Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. 27 (3) (2015)
Alfredo Motta, Nicolas Mangano, André van der Hoek
Lightweight analysis of software design models at the whiteboard. MiSE (2013)
Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA (2012)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Alfredo Motta
Towards the verification of multi-diagram UML models. ICSE (2012)
Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli
QoS Driven Dynamic Binding in-the-many. QoSA (2010)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
Towards the UML-Based Formal Verification of Timed Systems. FMCO (2010)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) (2010)
Francesco Pappalardo, Alessandro Cincotti, Alfredo Motta, Marzio Pennisi
Agent Based Modeling of Atherosclerosis: A Concrete Help in Personalized Treatments. ICIC (2) (2009)
Marzio Pennisi, Francesco Pappalardo, Alfredo Motta, Alessandro Cincotti
A Genetic Algorithm for Shortest Path Motion Problem in Three Dimensions. ICIC (2) (2007)