Paola Spoletini Vis

*	2009
25	EE	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
24	EE	Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic CoRR abs/0906.4711: (2009)
	2008
23	EE	Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
22	EE	Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
21	EE	Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
20	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
19	EE	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
18	EE	Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92
17	EE	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
16	EE	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
15	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
14	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
13	EE	Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
12	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
11	EE	Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
10	EE	Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
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] [10] [12] [13] [17] [20] [25]
2	Domenico Bianculli	[10] [11] [12] [13] [15] [16] [25]
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	[19]
9	Chiara Francalanci	[3]
10	Carlo A. Furia	[22] [23] [24]
11	Blaise Genest	[19]
12	Carlo Ghezzi	[10] [11] [12] [13] [17]
13	Marco Giorgetta	[5]
14	Sam Guinea	[7] [10] [12] [13] [25]
15	Fei He	[17]
16	Dino Mandrioli	[14]
17	Andrea Matta	[14]
18	Angelo Morzenti	[1] [15] [16]
19	John Mylopoulos	[2]
20	Doron Peled	[19] [21]
21	Patrizio Pelliccione	[21]
22	Pierluigi San Pietro	[1] [15] [16]
23	Matteo Pradella	[1] [15] [16]
24	Vahid Rafe	[20]
25	Adel Torkaman Rahmani	[20]
26	Matteo Rossi	[14]
27	Marco D. Santambrogio	[5]
28	Donatella Sciuto	[5]
29	Quirico Semeraro	[14]
30	Tullio Tolio	[14]
31	Mario Verdicchio	[18]

Colors in the list of coauthors