MOTTA, ALFREDO
MOTTA, ALFREDO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
A logic-based semantics for the verification of multi-diagram UML models
2012-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
Formal verification and validation of embedded systems: the UML-based MADES approach
2015-01-01 Baresi, Luciano; Gundula, Blohm; Dimitrios S., Kolovos; Nicholas, Matragkas; Motta, Alfredo; Richard F., Paige; Alek, Radjenovic; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2010-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
2012-01-01 Alek, Radjenovic; Nicholas, Matragkas; Richard F., Paige; Rossi, MATTEO GIOVANNI; Motta, Alfredo; Baresi, Luciano; Dimitrios S., Kolovos
QoS Driven Dynamic Binding in-the-many
2010-01-01 Ghezzi, Carlo; Motta, Alfredo; PANZICA LA MANNA, Valerio; Tamburrelli, Giordano
Towards the UML-Based Formal Verification of Timed Systems
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI