Paola Spoletini

2008
19	EE	Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
18	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
17	EE	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
16	EE	Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92
15	EE	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
14	EE	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
13	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
12	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
11	EE	Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
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] [15] [18]
2	Domenico Bianculli	[10] [11] [13] [14]
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	[17]
9	Chiara Francalanci	[3]
10	Carlo A. Furia	[19]
11	Blaise Genest	[17]
12	Carlo Ghezzi	[10] [11] [15]
13	Marco Giorgetta	[5]
14	Sam Guinea	[7] [11]
15	Fei He	[15]
16	Dino Mandrioli	[12]
17	Andrea Matta	[12]
18	Angelo Morzenti	[1] [13] [14]
19	John Mylopoulos	[2]
20	Doron Peled	[17]
21	Pierluigi San Pietro	[1] [13] [14]
22	Matteo Pradella	[1] [13] [14]
23	Vahid Rafe	[18]
24	Adel Torkaman Rahmani	[18]
25	Matteo Rossi	[12]
26	Marco D. Santambrogio	[5]
27	Donatella Sciuto	[5]
28	Quirico Semeraro	[12]
29	Tullio Tolio	[12]
30	Mario Verdicchio	[16]

Colors in the list of coauthors