Alfredo Motta

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