Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Franco Mazzanti" ( http://dblp.L3S.de/Authors/Franco_Mazzanti )

  Author page on DBLP  Author page in RDF  Community of Franco Mazzanti in ASPL-2

Publication years (Num. hits)
1993-2011 (16)
Publication types (Num. hits)
article(3) incollection(2) inproceedings(11)
Venues (Conferences, Journals, ...)
Results of the SENSORIA Projec...(2) ECOWS(1) ERCIM News(1) FASE(1) FM+AM(1) FM-Trends(1) FMICS(1) FMOODS/FORTE(1) ICSE(1) ISoLA(1) PDPTA(1) SAC(1) Sci. Comput. Program.(1) Softw., Pract. Exper.(1) WADT(1)
Authors
Franco Mazzanti(16) Stefania Gnesi(13) Maurice H. ter Beek(7) Alessandro Fantechi(5) Rosario Pugliese(4) Alessandro Lapadula(3) Nora Koch(3) Francesco Tiezzi(2) José Luiz Fiadeiro(2) Martin Wirsing(2) Aldi Sulova(1) Allan Clark(1) Andrea Corradini(1) Andreas Schroeder(1) Andrzej Tarlecki(1) Antónia Lopes(1) More (+10 of total 51)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 3 keywords
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti A state/event-based model-checking approach for the analysis of abstract system properties. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Gnesi, Franco Mazzanti An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. Search on Bibsonomy Results of the SENSORIA Project The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino Tools and Verification. Search on Bibsonomy Results of the SENSORIA Project The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova An Experience on Formal Analysis of a High-Level Graphical SOA Design. Search on Bibsonomy FM+AM The full citation details ... 2010 DBLP  BibTeX  RDF
1João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi A Model-Checking Approach for Service Component Architectures. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi CMC-UMC: a framework for the verification of abstract service-oriented properties. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, service-oriented computing
1Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi A Model Checking Approach for Verifying COWS Specifications. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti Formal verification of an automotive scenario in service-oriented computing. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, service-oriented computing, automotive systems
1Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi Formal Modelling and Verification in Service-Oriented Computing. Search on Bibsonomy ERCIM News The full citation details ... 2007 DBLP  BibTeX  RDF
1Maurice 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. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso Formal Modelling and Verification of an Asynchronous Extension of SOAP. Search on Bibsonomy ECOWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luis 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. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefania Gnesi, Franco Mazzanti On the Fly Verification of Network of Automata. Search on Bibsonomy PDPTA The full citation details ... 1999 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci A Symbolic Model Checker for ACTL. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Franco Mazzanti Experimenting with Dynamic Linking with Ada. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.