The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franco Mazzanti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002