| 2009 |
|---|
| 10 | EE | Maurice H. ter Beek,
Franco Mazzanti,
Stefania Gnesi:
CMC-UMC: a framework for the verification of abstract service-oriented properties.
SAC 2009: 2111-2117 |
| 2008 |
|---|
| 9 | EE | Alessandro Fantechi,
Stefania Gnesi,
Alessandro Lapadula,
Franco Mazzanti,
Rosario Pugliese,
Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications.
FASE 2008: 230-245 |
| 8 | EE | Maurice H. ter Beek,
Stefania Gnesi,
Nora Koch,
Franco Mazzanti:
Formal verification of an automotive scenario in service-oriented computing.
ICSE 2008: 613-622 |
| 7 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 2007 |
|---|
| 6 | EE | Maurice H. ter Beek,
Alessandro Fantechi,
Stefania Gnesi,
Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
FMICS 2007: 133-148 |
| 2006 |
|---|
| 5 | EE | Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
Corrado Moiso:
Formal Modelling and Verification of an Asynchronous Extension of SOAP.
ECOWS 2006: 287-296 |
| 2002 |
|---|
| 4 | EE | Luis Filipe Andrade,
Paolo Baldan,
Hubert Baumeister,
Roberto Bruni,
Andrea Corradini,
Rocco De Nicola,
José Luiz Fiadeiro,
Fabio Gadducci,
Stefania Gnesi,
Piotr Hoffman,
Nora Koch,
Piotr Kosiuczenko,
Alessandro Lapadula,
Diego Latella,
Antónia Lopes,
Michele Loreti,
Mieke Massink,
Franco Mazzanti,
Ugo Montanari,
Cristóvão Oliveira,
Rosario Pugliese,
Andrzej Tarlecki,
Michel Wermelinger,
Martin Wirsing,
Artur Zawlocki:
AGILE: Software Architecture for Mobility.
WADT 2002: 1-33 |
| 1999 |
|---|
| 3 | | Stefania Gnesi,
Franco Mazzanti:
On the Fly Verification of Network of Automata.
PDPTA 1999: 1040-1046 |
| 1998 |
|---|
| 2 | | Alessandro Fantechi,
Stefania Gnesi,
Franco Mazzanti,
Rosario Pugliese,
Enrico Tronci:
A Symbolic Model Checker for ACTL.
FM-Trends 1998: 228-242 |
| 1993 |
|---|
| 1 | | Paola Inverardi,
Franco Mazzanti:
Experimenting with Dynamic Linking with Ada.
Softw., Pract. Exper. 23(1): 1-14 (1993) |
