Search the dblp DataBase

Publications of Author

1. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
   Formal Modelling and Verification of an Asynchronous Extension of SOAP. [Citation Graph (0, 0)][DBLP]
   ECOWS, 2006, pp:287-296 [Conf]
   
2. Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
   A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP]
   FM-Trends, 1998, pp:228-242 [Conf]
   
3. Stefania Gnesi, Franco Mazzanti
   On the Fly Verification of Network of Automata. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1999, pp:1040-1046 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:1-33 [Conf]
   
5. Paola Inverardi, Franco Mazzanti
   Experimenting with Dynamic Linking with Ada. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1993, v:23, n:1, pp:1-14 [Journal]
   
6. 
   A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal verification of an automotive scenario in service-oriented computing. [Citation Graph (, )][DBLP]
   
   
9. 
   SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]
   
   
10. 
    CMC-UMC: a framework for the verification of abstract service-oriented properties. [Citation Graph (, )][DBLP]
    
    
11. 
    An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP]