Paola Spoletini

Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli: Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42

Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli: Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. REFSQ 2013: 315-330

Amir Molzam Sharifloo, Paola Spoletini: LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS 2012: 170-187

Carlo A. Furia, Paola Spoletini: Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME 2012: 89-96

Achille Frigeri, Liliana Pasquale, Paola Spoletini: Fuzzy Time in LTL. CoRR abs/1203.6278 (2012)

Liliana Pasquale, Paola Spoletini: Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. RESS 2011: 63-69

Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic. TIME 2011: 72-79

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010)

Luciano Baresi, Liliana Pasquale, Paola Spoletini: Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134

Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini: A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 (2010)

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)

Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini: Towards automated verification of layered graph transformation specifications. IET Software 3(4): 276-291 (2009)

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)

Simone Corbetta, Massimo Morandi, Marco Novati, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini: Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. IEEE Trans. VLSI Syst. 17(11): 1650-1654 (2009)

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

Carlo A. Furia, Paola Spoletini: Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. EPTCS 12, 2009

Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic. CoRR abs/0906.4711 (2009)

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)

Paola Spoletini, Mario Verdicchio: An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI 2008: 172-187

Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417

Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140

Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)

Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007)

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393

Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262

Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395

Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62

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

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670

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

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20

Alessandro Campi, Paola Spoletini: History Checking of XML Data Streams. DEXA Workshops 2006: 542-546

Alessandro Campi, Sam Guinea, Paola Spoletini: A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221

Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320

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

Alessandro Campi, Paola Spoletini: A framework for XML data streams history checking and monitoring. WWW 2006: 983-984

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

Enzo Colombo, John Mylopoulos, Paola Spoletini: Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213

Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561