Paola Spoletini

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

22EECarlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
21EECarlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
20EEDoron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
19EELuciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini: An Efficient Solution for Model Checking Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 213(1): 3-21 (2008)
18EEEdith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
17EEPaola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92
16EEFei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
15EEDomenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
14EEDomenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
13EEAndrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio: FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380
12EELuciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
11EEDomenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea: A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160
10EEDomenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
9EEDaniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007)
8EEAlessandro Campi, Paola Spoletini: History Checking of XML Data Streams. DEXA Workshops 2006: 542-546
7EEAlessandro Campi, Sam Guinea, Paola Spoletini: A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221
6EELuciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320
5EEMarco Giorgetta, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini: A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. VLSI-SoC 2006: 24-29
4EEAlessandro Campi, Paola Spoletini: A framework for XML data streams history checking and monitoring. WWW 2006: 983-984
3 Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini: A formal approach supporting the specification and verification of business conversation requirements. IADIS AC 2005: 467-478
2EEEnzo Colombo, John Mylopoulos, Paola Spoletini: Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213
1EEAngelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561

Coauthor Index

1Luciano Baresi [6] [11] [12] [16] [19]
2Domenico Bianculli [10] [11] [12] [14] [15]
3Daniele Braga [9]
4Alessandro Campi [4] [7] [8] [9]
5Stefano Ceri [9]
6Alessandra Cherubini [3]
7Enzo Colombo [2] [3]
8Edith Elkind [18]
9Chiara Francalanci [3]
10Carlo A. Furia [21] [22]
11Blaise Genest [18]
12Carlo Ghezzi [10] [11] [12] [16]
13Marco Giorgetta [5]
14Sam Guinea [7] [11] [12]
15Fei He [16]
16Dino Mandrioli [13]
17Andrea Matta [13]
18Angelo Morzenti [1] [14] [15]
19John Mylopoulos [2]
20Doron Peled [18] [20]
21Patrizio Pelliccione [20]
22Pierluigi San Pietro [1] [14] [15]
23Matteo Pradella [1] [14] [15]
24Vahid Rafe [19]
25Adel Torkaman Rahmani [19]
26Matteo Rossi [13]
27Marco D. Santambrogio [5]
28Donatella Sciuto [5]
29Quirico Semeraro [13]
30Tullio Tolio [13]
31Mario Verdicchio [17]

Colors in the list of coauthors

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