Paola Spoletini

	2009
26		Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini: Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE 2009: 26-40
25		Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic CoRR abs/0906.4711: (2009)
24		Alessandro Campi, Ernesto Damiani, Sam Guinea, Stefania Marrara, Gabriella Pasi, Paola Spoletini: A fuzzy extension of the XPath query language. J. Intell. Inf. Syst. 33(3): 285-305 (2009)
	2008
23		Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
22		Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
21		Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
20		Luciano 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)
	2007
19		Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
18		Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92
17		Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
16		Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
15		Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
14		Andrea 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
13		Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
12		Domenico 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
11		Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
10		Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
9		Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007)
	2006
8		Alessandro Campi, Paola Spoletini: History Checking of XML Data Streams. DEXA Workshops 2006: 542-546
7		Alessandro Campi, Sam Guinea, Paola Spoletini: A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221
6		Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320
5		Marco 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
4		Alessandro Campi, Paola Spoletini: A framework for XML data streams history checking and monitoring. WWW 2006: 983-984
	2005
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
2		Enzo Colombo, John Mylopoulos, Paola Spoletini: Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213
	2003
1		Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561

Coauthor Index

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

Colors in the list of coauthors