dblp.uni-trier.dewww.uni-trier.de

Francesco Tiezzi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
11EEFederico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009)
2008
10EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
9EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
8EEAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
7EEMartin 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
6EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
5EEFrancesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi: TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)
2007
4EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
3EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
2EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
2006
1EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163

Coauthor Index

1Lucia Acciai [7]
2Federico Banti [7] [11]
3Francesco Calzolai [5]
4Allan Clark [7]
5Alessandro Fantechi [7] [8]
6Stephen Gilmore (Stephen T. Gilmore) [7]
7Stefania Gnesi [7] [8]
8László Gönczy [7]
9Matthias M. Hölzl [7]
10Nora Koch [7]
11Alessandro Lapadula [1] [2] [3] [4] [6] [7] [8] [9] [10] [11]
12Michele Loreti [5]
13Philip Mayer [7]
14Franco Mazzanti [7] [8]
15Rocco De Nicola [5]
16Rosario Pugliese [1] [2] [3] [4] [6] [7] [8] [9] [10] [11]
17Andreas Schroeder [7]
18Mirco Tribastone [7]
19Dániel Varró [7]
20Martin Wirsing [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)