::Publications::

Check also my profile on DBLP, Google Scholar, Microsoft Academic Search, and Arnet Miner

Journals

  1. L. Pasquale, P.Spoletini, Mazeiar Salehie, Luca Cavallaro, Bashar Nuseibeh. Automating Trade-Off Analysis of Security Requirements. accepted for publication in International Journal of Requirements Engineering.
  2. A. Frigeri, L. Pasquale, P.Spoletini. Fuzzy Time in Linear Temporal Logic. ACM Transactions on Computational Logic 15(4): 30, 2014.
  3. C. Ghezzi, C. Menghi, A. M. Sharifloo, P.Spoletini. On Requirement Verification for Evolving Statechart Specifications. International Journal of Requirements Engineering (RE’13 special issue), published online in 2013, printed version 19(3): 231-255 (2014).
  4. Edith Elkind, Blaise Genest, Doron Peled, and Paola Spoletini. Quantifying the discord: order discrepancies in message sequence charts. International Journal of Foundations of Computer Science 21(2):211-233, February 2010.
  5. Simone Corbetta, Massimo Morandi, Marco Novati, Marco Domenico Santambrogio, Donatella Sciuto, and Paola Spoletini. Internal and external bitstream relocation for partial dynamic reconfiguration. IEEE Transaction on Very Large Scale Integration Systems 17(11):1650-1654, November 2009.
  6. Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, and Paola Spoletini. Towards automated verification of layered graph transformation specifications. IET Software 3(4):276-291, April 2009.
  7. Alessandro Campi, Sam Guinea, Ernesto Damiani, Stefania Marrara, Gabriella Pasi, and Paola Spoletini. A fuzzy extension of the XPath query language. Journal of Intelligent Information Systems, Springer, 33(2): 285-305, February 2009. [pdf]
  8. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. Validation of web service compositions. IET Software, 1(6):219-232, December 2007. [pdf]
  9. Daniele Braga, Alessandro Campi, Stefano Ceri, and Paola Spoletini. XQuery layers. ACM Sigmod Record, 36(1):2530, March 2007. [pdf]

Book Chapters

  1. Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonio Sabetta, and Paola Spoletini. Verification and Analysis of Autonomic Systems for Networked Enterprises. In Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, and Eugenio Zimeo, editors, Methodologies and Technologies for Networked Enterprises, volume 7200 of Lecture Notes in Computer Science, pp 143-169. Springer, 2012.
  2. Eugenio Zimeo, Valentina Mazza, Giorgio Orsi, Elisa Quintarelli, Antonio Romano, Paola Spoletini, Giancarlo Tretola, Alessandro Amirante, Alessio Botta, Luca Cavallaro, Domenico Consoli, Ester Giallonardo, Fabrizio Maria Maggi, and Gabriele Tiotto. Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. In Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, and Eugenio Zimeo, editors, Methodologies and Technologies for Networked Enterprises, volume 7200 of Lecture Notes in Computer Science, pp 415-452. Springer, 2012.
  3. Doron Peled, Patrizio Pelliccione, and Paola Spoletini. Model Checking. Wiley Encyclopedia of Computer Science and Engineering, pp 1904-1920. Wiley, March 2009.
  4. Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, and Sam Guinea. A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions. In Egon Börger and Antonio Cisternino, editors, Advances in Software Engineering, volume 5316 of Lecture Notes in Computer Science, pp 131-160. Springer, November 2008. [pdf]

Conferences

  1. A. Campi, S. Guinea, P. Spoletini. An Operational Sematics for XML Fuzzy Queries. In Proceedings of the 7th International Conference on Fuzzy Computation Theory and Application (FCTA 2014),Rome, Italy, 22-24 October 2014.
  2. C.A. Furia C. A., P. Spoletini. Bounded Variability of Metric Temporal Logic. In Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME 2014)., Verona, Italy, 8-10 September 2014. IEEE Computer Society, 2014, pp 155-163.
  3. P. Spoletini, A. Ferrari, S. Gnesi. Context Transformations for Goal Models. In Proceedings of the 4th International Model-Driven Requirements Engineering Workshop (MoDRE 2014) Karlskrona, Sweden, 25 August 2014, IEEE Computer Society, 2014, pp 17-26.
  4. Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo and Paola Spoletini. On Requirements Verification for Model Refinements. In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE2013), Rio de Janeiro, Brasil, 2013. IEEE Computer Society, 2014, pp 62-71.
  5. Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi and Tiziana Redaelli. Requirements Engineering Meets Physioterapy: An Experience with Motion-Based Games. In Proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2013), 2013. Lecture Notes in Computer Science 7830, Springer 2013, pp 315-330. Springer 2013.[pdf]
  6. Carlo Ghezzi, Leandro Sales, Paola Spoletini and Giordano Tamburerlli. Managing Non-Functional Uncertainty via Model-Driven Adaptivity. In Proceedings of the 35th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2013), 2013. IEEE/ACM 2013, pp 33-42.
  7. Amir Molzam Sharifloo and Paola Spoletini. LOVER: Light-weight Formal Verification of adaptivE systems at Run time. In Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS'12), Mountain View, CA, USA. Lecture Notes in Computer Science 7684, Springer 2013, pp 170-187. [pdf]
  8. Carlo Alberto Furia and Paola Spoletini. Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. In Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, pp 89-96. IEEE Computer Society Press, September 2012. [pdf]
  9. Carlo Alberto Furia and Paola Spoletini. On Relaxing Metric Information in Linear Temporal Logic. In Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011), Lübeck , Germany, pp 72-79. IEEE Computer Society Press, September 2011. [pdf]
  10. Luciano Baresi, Liliana Pasquale and Paola Spoletini. Fuzzy Goals for Requirements-Driven Adaptation. In Proceedings of the 18th IEEE International Requirements Engineering Conference (RE2010), Sydney, New South Wales, Australia, pp 125-134. IEEE Computer Society Press, October 2010. [pdf]
  11. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. In Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon Portugal, volume 5522 of Lecture Notes in Computer Science, pp 26-40. Springer, June 2009. [pdf]
  12. Carlo Alberto Furia and Paola Spoletini. Practical Efficient Modular Linear-Time Model-Checking. In Proceedings of 6th International Symposium on Automated Technology for Verification and Analysis (ATVA 2008), Seoul, Korea, volume 5311 of Lecture Notes in Computer Science, pp 20-23. Springer, October 2008. [pdf]
  13. Carlo Alberto Furia and Paola Spoletini. Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. In Proceedings of 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Istanbul, Turkey, volume 5160 of Lecture Notes in Computer Science, pp 126-140. [pdf] Springer, September 2008.
  14. Carlo Alberto Furia, Marco Mazzucchelli, Paola Spoletini, and Mara Tanelli. Towards the exhaustive verification of real-time aspects in controller implementation. In Proceedings of IEEE International Symposium on Computer-Aided Control System Design, San Antonio, Texas, USA, pp 1265-1270. IEEE ComputerSociety Press, 2008. [pdf]
  15. Edith Elkind, Blaise Genest, Doron Peled, and Paola Spoletini. Quantifying the discord: order discrepancies in message sequence charts. In Proceedings of 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan, volume 4762 of Lecture Notes in Computer Science, pp 378-393. Springer, October 2007.
  16. Paola Spoletini and Mario Verdicchio. Commitment monitoring in a multiagent system. In Proceedings of 5th International Central and Eastern European Conference on Multi-Agent Systems, Leipzig, Germany, volume 4696 of Lecture Notes in Computer Science, pp 83-92. Springer, September 2007. [pdf]
  17. Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, and Tullio Tolio. FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. In Proceedings of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macau, China, volume 4711 of Lecture Notes in Computer Science, pp 366-380. Springer, September 2007. [pdf]
  18. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. A timed extension of WSCoL. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, USA, pp 663-670. IEEE Computer Society Press, July 2007. [pdf]
  19. Fei He, Luciano Baresi, Carlo Ghezzi, and Paola Spoletini. Formal analysis of Publish-Subscribe systems by probabilistic timed automata. In Proceedings of 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2007), Tallin, Estonia, volume 4574 of Lecture Notes in Computer Science, pp 247-262. Springer, June 2007. [pdf]
  20. Domenico Bianculli, Carlo Ghezzi, and Paola Spoletini. A model checking approach to verify BPEL4WS workflows. In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), Newport Beach, USA, pp 13-20. IEEE Computer Society Press, June 2007. [pdf]
  21. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, and Pierluigi San Pietro. Model checking temporal metric specification with Trio2Promela. In Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007), Teheran, Iran, volume 4767 of Lecture Notes in Computer Science, pp 388-395. Springer, April 2007. [pdf]
  22. Marco Giorgetta, Marco Domenico Santambrogio, Donatella Sciuto, and Paola Spoletini. A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. In Proceedings of IFIP WG 10.5 International Conference on Very large Scale Integration on System-on-chip, Nice, France, pp 24-29. IEEE Computer Society Press, October 2006.
  23. Luciano Baresi and Paola Spoletini. On the use of Alloy to analyze graph transformation systems. In Proceedings of the 3rd International Conference on Graph Transformations (ICGT 2006), Natal, Brasil, volume 4178 of Lecture Notes in Computer Science, pp 306-320. Springer, September 2006. [pdf]
  24. Alessandro Campi, Sam Guinea, and Paola Spoletini. A Fuzzy Extension for the XPath Query Language. In Proceedings of the 7th International Conference on Flexible Query Answering Systems (FQAS 2006), Milan, Italy, volume 4027 of Lecture Notes in Computer Science, pp 210-221. Springer, June 2006. [pdf]
  25. Paola Spoletini, Maurizio Tomassella, Andrea Matta, and Matteo Rossi. Formal verification of production systems performance: a new approach to the detailed system design phase. In Proceedings of the 5th CIRP International Seminar on Intelligent Computation in Manufacturing Engineering, Ischia, Italy, 2006.
  26. Alessandro Campi, Sam Guinea, and Paola Spoletini. Fuzzy querying of semistructured data. In Proceedings of IADIS International Conference on Applied Computing, San Sebastian, Spain, pp 241-248, 2006.
  27. Enzo Colombo, John Mylopoulos, and Paola Spoletini. Modeling and analyzing context-aware composition of services. In Proceedings of the 3rd International Conference on Service-Oriented Computing, Amsterdam, Holland, volume 3826 of Lecture Notes in Computer Science, pp 198-213. Springer, 2005.
  28. Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, and Paola Spoletini. A formal approach supporting the specification and verification of business conversation requirements. In Proceedings of IADIS International Conference on Applied Computing, Algarve, Portugal, pp 467-478(2), 2005.
  29. Matteo Pradella, Pierluigi San Pietro, Paola Spoletini, and Angelo Morzenti. Practical Model Checking of LTL with Past. In Proceedings of the 1st International Symposium on Automated Technology for Verification and Analysis (ATVA 2003), Taipei, Taiwan, 2003. [pdf]
  30. Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, and Paola Spoletini. Model-Checking TRIO specifications in SPIN. In Proceedings of the International Symposium on Formal Methods (FM 2003), Pisa, Italy, volume 2805 of Lecture Notes in Computer Science, pp 542-561. Springer, 2003. [pdf]

Workshops

  1. Liliana Pasquale and Paola Spoletini. Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. In Proceedings of Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems (RESS 2011), co-located with RE 2011, Trento, Italy, pp 63-69. IEEE Computer Society Press, August 2011. [pdf]
  2. Sam Guinea and Paola Spoletini. Evaluating the compatibility of conversational service interactions. In Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2011), co-located with ICSE 2011, Honolulu, Hawaii, pp 29-35.ACM Press, May 2011.
  3. Paola Spoletini and Mario Verdicchio. An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. In Proceedings of Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshop (COIN@AAMAS2008), Estoril, Portugal, May 2008. COIN@AAAI 2008, Chicago, USA, July 2008. Revised Selected Papers, volume 5428 of Lecture Notes in Computer Science, pp 172-187. Springer, 2009.
  4. Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, and Paola Spoletini. An Efficient Solution for Model Checking Graph Transformation Systems. In Proceedings of 3rd Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Lisbona, Portogallo. , volume 213 of Electronic Notes in Theoretical Computer Science, pp 3-21. 2008.
  5. Alessandro Campi and Paola Spoletini. History checking of XML data streams. In Proceedings of the 17th Workshop on Database and Expert Systems Applications (DEXA 2006), Krakow, Poland., September 2006. [pdf]
  6. Sergio Cigoli, Philippe Leblanc, Salvatore Malaponti, Dino Mandrioli, Marco Mazzucchelli, Angelo Morzenti, and Paola Spoletini. An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application. In Proceedings of Workshop on Critical Systems Development with UML, San Francisco, USA., 2003.

Demos, Posters and Extended Abstract

  1. Nicholas Fiorentini, Achille Frigeri, Liliana Pasquale, and Paola Spoletini. Time Modalities over Many-valued Logics. In Proceedings of the 13th Italian Conference on Theoretical Computer Science (ICTCS2012), Varese, Italy, 2012. [pdf]
  2. Carlo Alberto Furia and Paola Spoletini. Towards Relaxing Metric Information in Linear Temporal Logic. In Proceedings of the 11th Italian Conference on Theoretical Computer Science (ICTCS2009), Cremona, Italy, pp 221-224, 2009.
  3. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro and Paola Spoletini. Trio2Promela: a model checker for temporal metric specifications. In ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering, Minneapolis, USA, pp 61-62. IEEE Computer Society Press, May 2007. Informal Research Demo. [pdf]
  4. Alessandro Campi and Paola Spoletini. A framework for XML Data Streams History Checking and Monitoring. In Proceedings of the 15th International Conference on World Wide Web (ACM-WWW'06), Edimburgh, Scotland, Poster paper, pp 983-984. ACM Press, 2006.

Edited Proceedings

  1. Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto. Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions (ICE2009), EPTCS, 12, 2009.
  2. Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina and Emilio Tuosto. Proceedings 1st Interaction and Concurrency Experience: Structured Interactions (ICE2008), ENTCS, 229(3), July 2009.

Technical Reports

  1. Achille Frigeri, Liliana Pasquale, and Paola Spoletini. Fuzzy Time in LTL. CoRR abs/1203.6278, 2012.
  2. Carlo A. Furia, Alberto Leva, Martina Maggio, and Paola Spoletini. A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 2010.
  3. Luciano Baresi, Liliana Pasquale, and Paola Spoletini. A temporal semantics for fuzzy linear temporal logic. Technical Report, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2010.
  4. Carlo A. Furia and Paola Spoletini. On Relaxing Metric Information in Linear Temporal Logic. CoRR abs/0906.4711, 2009.
  5. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. Technical Report 2009.9, Politecnico di Milano - Dipartimento di Elettronica e Informazione, April 2009.
  6. Carlo A. Furia and Paola Spoletini. MTL satisfiability over integers. Technical Report 2008.2, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2008.
  7. Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, and Mara Tanelli. Towards the exhaustive verification pf real-time aspects in controller implementation. Technical Report 2008.1, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2008.
  8. Paola Spoletini. A methodology for dynamic reconfigurability in embedded system design. Technical Report 2005.3, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2005.
  9. Dino Mandrioli, Marco Mazzucchelli, Angelo Morzenti, and Paola Spoletini. Generating simulation traces for system with interval transitions. Technical Report 2003.29, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2003.
  10. Paola Spoletini. Formalizing aggregation in description logic. Technical Report 2003.12, Politecnico di Milano - Dipartimento di Elettronica e Informazione, 2003.
  11. Paola Spoletini, Preyas Hathi, Ashfaq Khokhar, and Rashid Ansari. Using non-repetitive segments for content-based indexing and retrieval of audio data. Department of Computer Science and Electrical Engineering, UIC, Chicago, Illinois, USA, Technical Report, 2003.

Textbooks

  1. Dino Mandrioli and Paola Spoletini. Informatica Teorica. Città Studi, 2011.
  2. Dino Mandrioli and Paola Spoletini. Mathematical logic for computer science. Esculapio, 2010.
  3. Alessandro Campi, Elisabetta Di Nitto, Daniele Loiacono, Angelo Morzenti, and Paola Spoletini. Introduzione alla programmazione in Matlab . Esculapio, 2009.
  4. Dino Mandrioli, Luigi Lavazza, Angelo Morzenti, Pierluigi San Pietro, and Paola Spoletini. Esercizi di Informatica Teorica - terza edizione. Esculapio, 2005.

Theses

  1. Paola Spoletini. Verfication of temporal logic specification via model checking. PhD Thesis in Information Engineering, Politecnico di Milano, 2005. Advisor: Professor P. San Pietro. [pdf]
  2. Paola Spoletini. Automatic event-based segmentation, indexing and retrieval of audio data: a content-based approach. Master Thesis in Computer Engineering, Politecnico di Milano, and Master Thesis in Electrical Engineering and Computer Science, University of Illinois Chicago, 2001. Advisors: Professor V. Piuri, and Professor A. Khokhar.

IEEE Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therin are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

ACM Copyright Notice

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.

Springer-Verlag LNCS Copyright Notice

The copyright of these contributions has been transferred to Springer-Verlag Berlin Heidelberg New York. The copyright transfer covers the exclusive right to reproduce and distribute the contribution, including reprints, translations, photographic reproductions, microform, electronic form (offline, online), or any other reproductions of similar nature.