 | 2007 |
|---|
| 8 |       | Vieri Del Bianco,
Luigi Lavazza,
Marco Mauri,
Giuseppe Occorso:
Towards UML-based formal specifications of component-based real-time software.
STTT 9(2): 179-192 (2007) |
| 2006 |
|---|
| 7 | | Massimiliano Colombo,
Elisabetta Di Nitto,
Marco Mauri:
SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules.
ICSOC 2006: 191-202 |
| 6 | | Luigi Lavazza,
Marco Mauri:
Software Process Measurement in the Real World: Dealing with Operating Constraints.
SPW/ProSim 2006: 80-87 |
| 2005 |
|---|
| 5 | | Neyir Sevilmis,
André Stork,
Tim Smithers,
Jorge Posada,
Massimiliano Pianciamore,
Rui Castro,
Ivan Jimenez,
Gorka Marcos,
Marco Mauri,
Paolo Selvini,
Bruno Thelen,
Vincenzo Zecchino:
Knowledge Sharing by Information Retrieval in the Semantic Web.
ESWC 2005: 471-485 |
| 2004 |
|---|
| 4 |  | Tim Smithers,
Jorge Posada,
André Stork,
Massimiliano Pianciamore,
Nuno Ferreira,
Stephan Grimm,
Ivan Jimenez,
Sergio Di Marca,
Gorka Marcos,
Marco Mauri,
Paolo Selvini,
Neyir Sevilmis,
Bruno Thelen,
Vincenzo Zecchino:
Information Management and Knowledge Sharing in WIDE.
EWIMT 2004 |
| 2003 |
|---|
| 3 | | Vieri Del Bianco,
Luigi Lavazza,
Marco Mauri,
Giuseppe Occorso:
Towards UML-Based Formal Specifications of Component-Based Real-Time Software.
FASE 2003: 118-134 |
| 2002 |
|---|
| 2 | | Vieri Del Bianco,
Luigi Lavazza,
Marco Mauri:
Model Checking UML Specifications of Real Time Software.
ICECCS 2002: 203- |
| 1 | | Luciano Baresi,
Marco Mauri,
Mauro Pezzè:
PLCTools: Graph Transformation Meets PLC Design.
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
