2017

Donati, B., Ferrari, A., Spoletini, P., Gnesi, S. (2017). Common Mistakes of Student Analysts in Requirements Elicitation Interviews. International Working Conference on Requirements Engineering: Foundation for Software Quality (pp. 148–164). Lecture Notes in Computer Science, Springer.

Bernasconi, A., Menghi, C., Spoletini, P., Zuck, L. D., Ghezzi, C. (2017). From model checking to a temporal proof for partial models: preliminary example. 15th International Conference on Software Engineering and Formal Methods. Lecture Notes in Computer Science, Springer.

Menghi, C., Spoletini, P., Ghezzi, C. (2017). Integrating Goal Model Analysis with Iterative Design. International Working Conference on Requirements Engineering: Foundation for Software Quality (pp. 112–128). Lecture Notes in Computer Science, Springer.

Ferrari, A., Spoletini, P., Donati, B., Zowghi, D., Gnesi, S. (2017). Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. IEEE 25th Requirements Engineering Conference - next! track. IEEE Computer Society.

Spoletini, P., Ferrari, A. (2017). Requirements Elicitation: A Look at the Future through the Lenses of the Past. IEEE 25th Requirements Engineering Conference - Silver Jubilee celebration. IEEE Computer Society.

Elrakaiby, Y., Ferrari, A., Spoletini, P., Gnesi, S., Nuseibeh, B. (2017). Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. IEEE 25th Requirements Engineering Conference - research track. IEEE Computer Society.

Furia, C. A., Spoletini, P. (2017). Bounded variability of metric temporal logic. Annals of Mathematics and Artificial Intelligence, Springer, 80(3-4), 283–316.

Menghi, C., Spoletini, P., Ghezzi, C. (2017). COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops.

Bhimani, A., Spoletini, P. (2017). Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality. Proceedings of the SouthEast Conference (pp. 268–270). ACM.

2016

Menghi, C., Spoletini, P., Ghezzi, C. (2016). Dealing with Incompleteness in Automata-Based Model Checking. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 21 (pp. 531–550). Lecture Notes in Computer Science, Springer.

Spoletini, P., Brock, C., Shahwar, R., Ferrari, A. (2016). Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. Requirements Engineering Conference (RE), 2016 IEEE 24th International (pp. 371–376). IEEE Computer Society.

Ferrari, A., Spoletini, P., Gnesi, S. (2016). Ambiguity Cues in Requirements Elicitation Interviews. 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE Computer Society. http://dx.doi.org/10.1109/re.2016.25

Ferrari, A., Spoletini, P., Gnesi, S. (2016). Ambiguity and tacit knowledge in requirements elicitation interviews. Requirements Engineering Journal, 21(3), 333–355.

Pasquale, L., Spoletini, P., Salehie, M., Cavallaro, L., Nuseibeh, B. (2016). Automating trade-off analysis of security requirements. Requirements Engineering Journal, 21(4), 481–504.

2015

Ferrari, A., Spoletini, P., Gnesi, S. (2015). Ambiguity as a resource to disclose tacit knowledge. Requirements Engineering Conference (RE), 2015 IEEE 23rd International (pp. 26–35). IEEE Computer Society.

Nacci, A. A., Balaji, B., Spoletini, P., Gupta, R., Sciuto, D., Agarwal, Y. (2015). Buildingrules: a trigger-action based system to manage complex commercial buildings. Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers (pp. 381–384).

2014

Campi, A., Guinea, S., Spoletini, P. (2014). An Operational Semantics for XML Fuzzy Queries. 7th International Conference on Fuzzy Computation Theory and Application (FCTA 2014).

Furia, C. A., Spoletini, P. (2014). Bounded variability of metric temporal logic. Temporal Representation and Reasoning (TIME), 2014 21st International Symposium on (pp. 155–163). IEEE Computer Society.

Frigeri, A., Pasquale, L., Spoletini, P. (2014). Fuzzy time in linear temporal logic. ACM Transactions on Computational Logic (TOCL), 15(4), 30.

Ghezzi, C., Menghi, C., Sharifloo, A. M., Spoletini, P. (2014). On requirement verification for evolving Statecharts specifications. Requirements Engineering, 19(3), 231–255.

Menghi, C., Spoletini, P., Ghezzi, C. (2016). Modeling, refining and analyzing Incomplete Buchi Automata. arXiv preprint arXiv:1609.00610.

Spoletini, P., Ferrari, A., Gnesi, S. (2014). Context transformations for goal models. Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International (pp. 17–26). IEEE Computer Society.

2013

Ghezzi, C., Pinto, L. S., Spoletini, P., Tamburrelli, G. (2013). Managing non-functional uncertainty via model-driven adaptivity. Proceedings of the 2013 International Conference on Software Engineering (pp. 33–42). IEEE/ACM.

Ghezzi, C., Menghi, C., Sharifloo, A. M., Spoletini, P. (2013). On requirements verification for model refinements. Requirements Engineering Conference (RE), 2013 21st IEEE International (pp. 62–71). IEEE Computer Society.

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]

2012

Furia, C. A., Spoletini, P. (2012). Automata-based verification of linear temporal logic models with bounded variability. Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (pp. 89–96). IEEE Computer Society. [pdf]

Sharifloo, A. M., Spoletini, P. (2012). LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time. International Workshop on Formal Aspects of Component Software (pp. 170–187). Lecture Notes in Computer Science 7684, Springer. [pdf]

Fiorentini, N., Frigeri, A., Pasquale, L., Spoletini, P. (2012). Time modalities over many-valued logics. Proceedings of the 13th Italian Conference on Theoretical Computer Science (ICTCS’12). [pdf]

Zimeo, E., Mazza, V., Orsi, G., Quintarelli, E., Romano, A., Spoletini, P., Tretola, G., Amirante, A., Botta, A., Cavallaro, L., others (2012). Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. Methodologies and Technologies for Networked Enterprises (pp. 415–452). LNCS 7200, Springer.

Bertolino, A., De Angelis, G., Di Giandomenico, F., Marchetti, E., Sabetta, A., Spoletini, P. (2012). Verification and Analysis of Autonomic Systems for Networked Enterprises. Methodologies and Technologies for Networked Enterprises (pp. 143–169). LNCS 7200, Springer.

Di Nitto, E., Ardagna, D., Baresi, L., Bianculli, D., Binder, w., Guinea, S., Mirandola, R., Spoletini, P. (2012). Service-Oriented Software . . . and Carlo’s Services. Matinée with Carlo Ghezzi: from Programming Languages to Software Engineering. CreateSpace.

2011

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, pages 72-79. IEEE Computer Society Press, September 2011. [pdf]

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, pages 63-69. IEEE Computer Society Press, August 2011. [pdf]

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, pages 29-35.ACM Press, May 2011.

Dino Mandrioli and Paola Spoletini. Informatica Teorica. Città Studi, 2011.

2010

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.

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, pages 125-134. IEEE Computer Society Press, October 2010. [pdf]

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

Dino Mandrioli and Paola Spoletini. Mathematical logic for computer science. Esculapio, 2010.

2009

Simone Corbetta, Massimo Morandi, Marco Novati, Marco Domenico Santambrogio, Donatella Sciuto, and Paola Spoletini. Internal and external bitstream relocation for partial dynamic reconfiguration.IEEE Transaction on Very Large Scale Integration Systems 17(11):1650-1654, November 2009.

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. 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]

Doron Peled, Patrizio Pelliccione, and Paola Spoletini. Model Checking. Wiley Encyclopedia of Computer Science and Engineering, pages 1904-1920. Wiley, March 2009.

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, pages 26-40. Springer, June 2009. [pdf]

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, pages 172-187. Springer, 2009.

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, pages 221-224, 2009.

Alessandro Campi, Elisabetta Di Nitto, Daniele Loiacono, Angelo Morzenti, and Paola Spoletini. Introduzione alla programmazione in Matlab . Esculapio, 2009.

2008

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, pages 131-160. Springer, November 2008. [pdf]

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, pages 20-23. Springer, October 2008. [pdf]

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, pages 126-140. Springer, September 2008. [pdf]

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,pages 1265-1270. IEEE ComputerSociety Press, 2008. [pdf]

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, pages 3-21. 2008.

2007

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]

Daniele Braga, Alessandro Campi, Stefano Ceri, and Paola Spoletini. XQuery layers. ACM Sigmod Record, 36(1):2530, March 2007. [pdf]

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, pages 378-393. Springer, October 2007.

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, pages 83-92. Springer, September 2007. [pdf]

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, pages 366-380. Springer, September 2007. [pdf]

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, pages 663-670. IEEE Computer Society Press, July 2007. [pdf]

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, pages 247-262. Springer, June 2007. [pdf]

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, pages 13-20. IEEE Computer Society Press, June 2007. [pdf]

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, pages 388-395. Springer, April 2007. [pdf]

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, pages 61-62. IEEE Computer Society Press, May 2007. Informal Research Demo. [pdf]

2006

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, pages 24-29. IEEE Computer Society Press, October 2006.

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, pages 306-320. Springer, September 2006. [pdf]

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, pages 210-221. Springer, June 2006. [pdf]

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.

Alessandro Campi, Sam Guinea, and Paola Spoletini. Fuzzy querying of semistructured data. In Proceedings of IADIS International Conference on Applied Computing, San Sebastian, Spain, pages 241-248, 2006.

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]

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, pages 983-984. ACM Press, 2006.

2005

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, pages 198-213. Springer, 2005.

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, pages 467-478(2), 2005.

Dino Mandrioli, Luigi Lavazza, Angelo Morzenti, Pierluigi San Pietro, and Paola Spoletini. Esercizi di Informatica Teorica - terza edizione. Esculapio, 2005.

Paola Spoletini. Verfication of temporal logic specification via model checking. PhD Thesis in Information Engineering, Politecnico di Milano, May 2005. Advisor: Professor P. San Pietro. [pdf]

2003

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]

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, pages 542-561. Springer, 2003. [pdf]

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.

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.