 | 2010 |
|---|
| 5 |       | Luciano Baresi,
Angelo Morzenti,
Alfredo Motta,
Matteo Rossi:
Towards the UML-Based Formal Verification of Timed Systems.
FMCO 2010: 267-286 |
| 4 | | Luciano Baresi,
Angelo Morzenti,
Alfredo Motta,
Matteo Rossi:
From Interaction Overview Diagrams to Temporal Logic.
MoDELS Workshops 2010: 90-104 |
| 3 | | Carlo Ghezzi,
Alfredo Motta,
Valerio Panzica La Manna,
Giordano Tamburrelli:
QoS Driven Dynamic Binding in-the-many.
QoSA 2010: 68-83 |
| 2009 |
|---|
| 2 | | Francesco Pappalardo,
Alessandro Cincotti,
Alfredo Motta,
Marzio Pennisi:
Agent Based Modeling of Atherosclerosis: A Concrete Help in Personalized Treatments.
ICIC (2) 2009: 386-396 |
| 2007 |
|---|
| 1 | | Marzio Pennisi,
Francesco Pappalardo,
Alfredo Motta,
Alessandro Cincotti:
A Genetic Algorithm for Shortest Path Motion Problem in Three Dimensions.
ICIC (2) 2007: 534-542 |
Data released under the ODC-BY 1.0 license — See also our legal information page