Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paola Spoletini
2010 – today
- 2013
[c29]Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli: Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42- [c28]Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli: Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. REFSQ 2013: 315-330
- [i4]Carlo A. Furia, Paola Spoletini: Bounded Variability of Metric Temporal Logic. CoRR abs/1306.2141 (2013)
- 2012
- [c27]Amir Molzam Sharifloo, Paola Spoletini: LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS 2012: 170-187
- [c26]Carlo A. Furia, Paola Spoletini: Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME 2012: 89-96
- [i3]
- 2011
- [c25]Liliana Pasquale, Paola Spoletini: Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. RESS 2011: 63-69
- [c24]Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic. TIME 2011: 72-79
- 2010
- [j8]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)
- [c23]Luciano Baresi, Liliana Pasquale, Paola Spoletini: Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134
- [i2]Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini: A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 (2010)
2000 – 2009
- 2009
- [j7]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. Electr. Notes Theor. Comput. Sci. 229(3): 1-2 (2009)
- [j6]Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini: Towards automated verification of layered graph transformation specifications. IET Software 3(4): 276-291 (2009)
- [j5]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)
- [j4]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)
- [c22]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
- [c21]Carlo A. Furia, Paola Spoletini: Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124
- [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. EPTCS 12, 2009
- [i1]Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic. CoRR abs/0906.4711 (2009)
- 2008
- [j3]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)
- [c20]Paola Spoletini, Mario Verdicchio: An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI 2008: 172-187
- [c19]Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
- [c18]Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
- [p1]Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
- 2007
- [j2]Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
- [j1]Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini: XQuery layers. SIGMOD Record 36(1): 25-30 (2007)
- [c17]Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
- [c16]
- [c15]Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
- [c14]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
- [c13]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
- [c12]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
- [c11]Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
- [c10]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
- [c9]Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
- 2006
- [c8]Alessandro Campi, Paola Spoletini: History Checking of XML Data Streams. DEXA Workshops 2006: 542-546
- [c7]Alessandro Campi, Sam Guinea, Paola Spoletini: A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221
- [c6]Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320
- [c5]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
- [c4]Alessandro Campi, Paola Spoletini: A framework for XML data streams history checking and monitoring. WWW 2006: 983-984
- 2005
- [c3]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
- [c2]Enzo Colombo, John Mylopoulos, Paola Spoletini: Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213
- 2003
- [c1]Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team