Publications


Journals

2017

"Topology Aware Access Control of Cyber-Physical Spaces" Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino, Tarik Hadzic, Bashar Nuseibeh. IEEE Computer, in press.   <PDF>

2016

"On the Interplay Between Cyber and Physical Spaces for Adaptive Security." Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, and Bashar Nuseibeh. IEEE Transactions on Dependable and Secure Computing, in press.   <PDF>

"Adaptive Evidence Collection in the Cloud Using Attack Scenarios." Liliana Pasquale, Sorren Hanvey, Mark Mcgloin, and Bashar Nuseibeh. Computers and Security Journal, Vol. 59, pp.236-254, 2016.   <PDF>

"User-centric Adaptation Analysis of Multi-tenant Services." Jesus Garcia-Galan, Liliana Pasquale, Pablo Trinidad, and Antonio Ruiz Cortes. ACM Transactions on Autonomous and Adaptive Systems, Vol. 10, No.4, 2016.   <PDF>

2015

"Automating Trade-Off Analysis of Security Requirements." Liliana Pasquale, Paola Spoletini, Mazeiar Salehie, Luca Cavallaro, Bashar Nuseibeh. Requirements Engineering Journal, Vol. 20, pp. 1-24, 2015.  <PDF>

2014

"Fuzzy Time in Linear Temporal Logic." Achille Frigeri, Liliana Pasquale, Paola Spoletini. ACM Transactions on Computational Logic, Vol. 15, No. 4, 2014.   <PDF>

2012

"Service-Oriented Dynamic Software Product Lines with DyBPEL." Luciano Baresi, Sam Guinea, Liliana Pasquale. IEEE Computer, Vol. 45, No. 10, 2012.   <PDF>

Conferences

2016

"Towards Adaptive Compliance." Jesus Garcia-Galan, Liliana Pasquale, George Grispos, Bashar Nuseibeh. To appear in Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (SEAMS 2016), Austin, Texas, USA, May 17-18.   <PDF>

2014

"Engineering Topology Aware Adaptive Security: Preventing Requirements Violations at Runtime." Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh. In Proceedings of the 22nd International Requirements Engineering Conference (RE 2014), Karlskrona, Sweden, August 25-29, pp. 203-212, IEEE Computer Society, 2014.   <PDF>

"User-centric Adaptation of Multi-tenant Services: Preference-based Analysis for Service Reconfiguration." Jesus Garcia-Galan, Liliana Pasquale, Pablo Trinidad, and Antonio Ruiz Cortes. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (SEAMS 2014), Hyderabad, India, June 2-3, pp. 65-74, ACM, 2014. Best Paper Award.   <PDF>

"Topology Aware Adaptive Security." Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (SEAMS 2014), Hyderabad, India, June 2-3, pp. 43-48, ACM, 2014.   <PDF>

2013

"Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements." Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, Bashar Nuseibeh. In Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, May 18-26, pp. 632-641, IEEE Computer Society, 2013.   <PDF>

"Requirements Engineering Meets Physioterapy: An Experience with Motion-Based Games." Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi, Tiziana Redaelli. In Proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2013), Essen, Germany, USA, April 8-11, pp. 315-330, Springer, 2013.   Nominated Best Paper.   <PDF>

2012

"Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime." Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, Bashar Nuseibeh. In Proceedings of the 20th International Requirements Engineering Conference (RE 2012), Chicago, IL, USA, May 24-28, pp. 111-120, IEEE Computer Society, 2012.   <PDF>

"Towards Automated Surgical Robotics: A Requirements Engineering Approach." Marcello Bonfe, Fabrizio Boriero, Riccardo Dodi, Paolo Fiorini, Angelica Morandi, Riccardo Muradore, Liliana Pasquale, Alberto Sanna, Christian Secchi. In Proceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics (BioRob), Rome, Italy, Jun 24-27, pp. 56-61, IEEE Computer Society, 2012.   <PDF>

"On the Role of Primary and Secondary Assets in Adaptive Security: An Application in Smart Grids." Liliana Pasquale, Mazeiar Salehie, Raian Ali, Inah Omoronyia, Bashar Nuseibeh. In Proceedings of 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), Zurich, Switzerland, Jun 4-5, pp. 165-170, ACM, 2012.   <PDF>

2010

"Fuzzy Goals for Requirements-driven Adaptation." Luciano Baresi, Liliana Pasquale, Paola Spoletini. In Proceedings of the 18th International Requirements Engineering Conference (RE 2010), Sydney, Australia, Sep 27 - Oct 1, pp. 125-134, IEEE Computer Society, 2010.   <PDF>

"Adaptive Goals for Self-Adaptive Service Compositions." Luciano Baresi, Liliana Pasquale. In Proceedings of the 8th International Conference on Web Services (ICWS 2010), Miami, FL, USA, Jul 5-10, pp. 353-360, IEEE Computer Society, 2010.   <PDF>

"Live Goals for Adaptive Service Compositions." Luciano Baresi, Liliana Pasquale. In Proceedings of the 5th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), Cape Town, South Africa, May 3-4, pp. 114-123, ACM, 2010.   <PDF>

2009

"Distributed Cross-Domain Configuration Management." Liliana Pasquale, Jim Laredo, Heiko Ludwig, Kamal Bhattacharya, Bruno Wassermann. In Proceedings of the 7th International Conference on Service Oriented Computing (ICSOC-ServiceWave 2009), Stockholm, Sweden, Nov 23-27, pp. 622-636, Springer Berlin Heidelberg, 2009.   <PDF>

"Distributed Cross-Domain Change Management." Bruno Wassermann, Heiko Ludwig, Jim Laredo, Kamal Bhattacharya, Liliana Pasquale. In Proceedings of the 7th International Conference on Web Services (ICWS 2009), Los Angeles, CA, USA, Jul 6-10, pp. 59-66, IEEE Computer Society, 2009. Best Student Paper Award   <PDF>

"From Goals to Service Compositions." Liliana Pasquale. PhD Symposium co-located with the 17th International Conference on Requirements Engineering (RE 2009), Atlanta, GE, USA, Aug 31, 2009.   <PDF>

"REST-based management of loosely coupled services." Heiko Ludwig, Jim Laredo, Kamal Bhattacharya, Liliana Pasquale, Bruno Wassermann. In Proceedings of the 18th International Conference on World Wide Web (WWW 2009), Madrid, Spain, April 20-24, pp. 931-943, ACM, 2009.   <PDF>

2008

"Integrated and Composable Supervision of BPEL Processes." Luciano Baresi, Sam Guinea, Liliana Pasquale. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia, Dec 1-5, pp. 614-619, Springer Berlin Heidelberg, 2008.   <PDF>

Tool Demos

2015

"Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems."Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh. In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 20-22, pp. 729-732, IEEE Computer Society, 2015.   <PDF>

2013

"IRET: Requirements Engineering for Service Platforms." Luciano Baresi, Gianluca Ripa, Liliana Pasquale. In Proceedings of the 21st International Requirements Engineering Conference (RE 2013), Rio de Janeiro, Brazil, Jul 15-19, pp. 336-337, IEEE Computer Society, 2013.   <PDF>

2012

"SecuriTAS: A Tool for Engineering Adaptive Security." Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia, Bashar Nuseibeh. In Proceedings of the 20th International Symposium on the Foundations of Software Engineering (FSE 2012), Cary, NC, USA, Nov 11-16, pp. 19-22, ACM, 2012.   <PDF>

"Caprice: A Tool for Engineering Adaptive Privacy." Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, Bashar Nuseibeh. In Proceedings of 27th International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, Sep 3-7, pp. 354-357, ACM, 2012.   <PDF>

Posters

"Requirements-Driven Adaptive Digital Forensics." Liliana Pasquale, Yijun Yu, Mazeiar Salehie, Luca Cavallaro, Thein Than Tun, Bashar Nuseibeh. In Proceedings of the 21st International Requirements Engineering Conference (RE 2013), Rio de Janeiro, Brazil, Jul 15-19, 2013.   <PDF>

Book Chapters

2014

"Living with Uncertainty in the Age of Runtime Models." Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Watzoldt, Siobhan Clarke. In Models@run.time: Foundations, Applications, and Roadmaps edited by Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Assmann, pp. 47-100, Springer, 2014.   <PDF>

2011

"The eGovernment Use Case Scenario." Giampaolo Armellin, Annamaria Chiasera, Ganna Frankova, Liliana Pasquale, Francesco Torelli, Gabriele Zacco. In Service Level Agreements for Cloud Computing edited by Philipp Wieder, Joe M. Butler, Wolfgang Theilmann, Ramin Yahyapour, pp. 343-357, Springer, 2011.   <PDF>

"A Generic Platform for Conducting SLA Negotiations." Edwin Yaqub, Philipp Wieder, Constantinos Kotsokalis, Valentina Mazza, Liliana Pasquale, Juan Lambea Rueda, Sergio Garcia Gomez, Augustin Escamez Chimeno. In Service Level Agreements for Cloud Computing edited by Philipp Wieder, Joe M. Butler, Wolfgang Theilmann, Ramin Yahyapour, pp. 187-206, Springer, 2011.   <PDF>

"Adaptation Goals for Adaptive Service-oriented Architectures." Luciano Baresi, Liliana Pasquale. In Relating Software Requirements and Architecture edited by P. Avgeriou, J. Grundy, J. G. Hall, P. Lago and I. Mistrik, pp. 161-181, Springer-Verlag, 2011.   <PDF>

Workshops

2016

"Adding Static and Dynamic Semantics to Building Information Models." Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale and Bashar Nuseibeh. To appear in Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2016), Austin, Texas, May 17, 2016.   <PDF>

2012

"Adaptive Security and Privacy in Smart Grids: A Software Engineering Vision." Mazeiar Salehie , Liliana Pasquale, Inah Omoronyia, Bashar Nuseibeh. In Proceedings of the 1st International Workshop on Software Engineering for the Smart Grid (SE4SG 2012), Zurich, Switzerland, Jun 3, 2012.   <PDF>

"Towards Self-protecting Smart Metering: Investigating Requirements links to Autonomic Architecture." Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Bashar Nuseibeh. In Proceedings of the 9th International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Novi Sad, Serbia, Apr 11-13, 2012.   <PDF>

2011

"Towards Adaptive Systems through Requirements@Runtime." Liliana Pasquale, Luciano Baresi, Bashar Nuseibeh. In Proceedings of the 6th International Workshop on MODELS@Runtime, Wellington, New Zealand, Oct 17, 2011.   <PDF>

"An Eclipse Plug-In to Model System Requirements and Adaptation Capabilities." Luciano Baresi, Liliana Pasquale. In Proceedings of the 6th Workshop of the Italian Eclipse Community (Eclipse-IT 2011), Milano, Italy, Sep 22-23, 2011.   <PDF>

"Monitoring Fuzzy Temporal Requirements for Service Compositions: Motivations, Challenges and Experimental Results." Liliana Pasquale, Paola Spoletini. In Proceedings of the Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems (RESS 2011), Trento, Italy, Aug 30, 2011.   <PDF>

2008

"Towards a Unified Framework for the Monitoring and Recovery of BPEL Processes." Luciano Baresi, Sam Guinea, Liliana Pasquale. In Proceedings of the 4th Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2008), Seattle, WA, USA, Jul 21, 2008.   <PDF>

2007

"Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine." Luciano Baresi, Sam Guinea, Liliana Pasquale. In Proceedings of the 4th International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007), Dubrovnik, Croatia, Sep 4, 2007.   <PDF>