2007 |
8 | EE | 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 | EE | Massimiliano Colombo,
Elisabetta Di Nitto,
Marco Mauri:
SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules.
ICSOC 2006: 191-202 |
6 | EE | Luigi Lavazza,
Marco Mauri:
Software Process Measurement in the Real World: Dealing with Operating Constraints.
SPW/ProSim 2006: 80-87 |
2005 |
5 | EE | 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 | EE | 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 | EE | Vieri Del Bianco,
Luigi Lavazza,
Marco Mauri:
Model Checking UML Specifications of Real Time Software.
ICECCS 2002: 203- |
1 | EE | Luciano Baresi,
Marco Mauri,
Mauro Pezzè:
PLCTools: Graph Transformation Meets PLC Design.
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |