Paola Spoletini

2008
22	EE	Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
21	EE	Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
20	EE	Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
19	EE	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
18	EE	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
17	EE	Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92
16	EE	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
15	EE	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
14	EE	Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
13	EE	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
12	EE	Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
11	EE	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
10	EE	Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
9	EE	Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007)
2006
8	EE	Alessandro Campi, Paola Spoletini: History Checking of XML Data Streams. DEXA Workshops 2006: 542-546
7	EE	Alessandro Campi, Sam Guinea, Paola Spoletini: A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221
6	EE	Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320
5	EE	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	EE	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	EE	Enzo Colombo, John Mylopoulos, Paola Spoletini: Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213
2003
1	EE	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] [11] [12] [16] [19]
2	Domenico Bianculli	[10] [11] [12] [14] [15]
3	Daniele Braga	[9]
4	Alessandro Campi	[4] [7] [8] [9]
5	Stefano Ceri	[9]
6	Alessandra Cherubini	[3]
7	Enzo Colombo	[2] [3]
8	Edith Elkind	[18]
9	Chiara Francalanci	[3]
10	Carlo A. Furia	[21] [22]
11	Blaise Genest	[18]
12	Carlo Ghezzi	[10] [11] [12] [16]
13	Marco Giorgetta	[5]
14	Sam Guinea	[7] [11] [12]
15	Fei He	[16]
16	Dino Mandrioli	[13]
17	Andrea Matta	[13]
18	Angelo Morzenti	[1] [14] [15]
19	John Mylopoulos	[2]
20	Doron Peled	[18] [20]
21	Patrizio Pelliccione	[20]
22	Pierluigi San Pietro	[1] [14] [15]
23	Matteo Pradella	[1] [14] [15]
24	Vahid Rafe	[19]
25	Adel Torkaman Rahmani	[19]
26	Matteo Rossi	[13]
27	Marco D. Santambrogio	[5]
28	Donatella Sciuto	[5]
29	Quirico Semeraro	[13]
30	Tullio Tolio	[13]
31	Mario Verdicchio	[17]

Colors in the list of coauthors