Publications


Journals

2023

"Forensic Readiness of Industrial Control Systems under Stealthy Attacks" Mazen Azzam, Liliana Pasquale, Gregory Provan, Bashar Nuseibeh. Computers and Security,vol. 125,February 2023.   <PDF>

"Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks" Mazen Azzam, Liliana Pasquale, Gregory Provan, Bashar Nuseibeh. IEEE Transactions on Control Systems Technology,vol. 31, no. 2, 2023.   <PDF>

"A Vulnerability Assessment Approach for Transportation Networks Subjected to Cyber–Physical Attacks" Konstantinos Ntafloukas, Liliana Pasquale, Beatriz Martinez-Pastor, Daniel McCrum. Future Internet,vol. 15, no. 3, 2023.   <PDF>

2022

"Digital Age of Consent and Age Verification: Can They Protect Children?" Liliana Pasquale, Paola Zippo, Cliona Curley, Brian O'Neill, Marina Mongiello. IEEE Software, vol.39, no. 3, pp. 50-57, 2022.   <PDF>

"Grounds for Suspicion: Physics-based Early Warnings for Stealthy Attacks on Industrial Control Systems" Mazen Azzam, Liliana Pasquale, Gregory Provan, Bashar Nuseibeh. IEEE Transactions on Dependable and Secure Computing (TDSC), vol. 19, no. 6, pp. 3955-3970, 2022.   <PDF>

"Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems." Faeq Alrimawi, Liliana Pasquale, Nobukazu Yoshioka, Deepak Metha, and Bashar Nuseibeh. IEEE Transactions on Software Engineering, vol. 48, no.2, pp. 120-134, 2022.   <PDF>

2019

"On the Automated Management of Security Incidents in Smart Spaces." Faeq Alrimawi, Liliana Pasquale, and Bashar Nuseibeh. IEEE Access, Vol.7, pp. 111513-111527, 2019.   <PDF>

2018

"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, Vol. 15, no.3, pp.446-480, 2018.   <PDF>

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, Vol. 50, no. 7, pp. 54-63, 2017.   <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

2023

"Enhancing Ransomware Classification with Multi-Stage Feature Selection and Data Imbalance Correction" Faithful Chiagoziem Onwuegbuche, Anca Jurcut, Liliana Pasquale. In Proceedings of the 7th International Symposium on Security, Cryptography and Machine Learning (CSCML 2023), to appear, Springer, 2023.   <PDF>

2021

"Engineering Adaptive Authentication" Alzubair Hassan, Bashar Nuseibeh, Liliana Pasquale. In Proceedings of the 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021), pp. 275-280, IEEE, 2021.   <PDF>

"Threat models at run time: the case for reflective and adaptive threat management" Dimitri Van Landuyt, Liliana Pasquale, Laurens Sion, and Wouter Joosen. In Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), pp. 203-209, IEEE, 2021.   <PDF>

"On Adaptive Fairness in Software Systems" Ali Farahani, Amel Bennaceur, Thomas Welsh and Bashar Nuseibeh. In Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), pp. 97-103, IEEE, 2021.   <PDF>

2019

"Modelling and Analysing Resilient Cyber-Physical Systems." Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar et al.. In Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019), pp. 70-76, IEEE, 2019.   <PDF>

2018

""The Grace Period Has Ended": An Approach to Operationalize GDPR Requirements." Vanessa Ayala-Rivera, Liliana Pasquale. In Proceedings of the 26th International Requirements Engineering Conference (RE 2018), pp. 136-146, IEEE, 2018.   <PDF>

"Towards Forensic-ready Software Systems." Liliana Pasquale, Dalal Alrajeh, Claudia Peersman, Thein Than Tun, Bashar Nuseibeh, Awais Rashid. In Proceedings of the 40th International Conference on Software Engineering (ICSE) - New Ideas and Emerging Results Track (NIER), pp. 9-12, ACM, 2018.   <PDF>

"Compositional Verification of Self-adaptive Cyber-Physical Systems." Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh. In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018), Gothenburg, Sweden, May 28-29, ACM, 2018.   <PDF>

2017

"On Evidence Preservation Requirements for Forensic-ready Systems." Dalal Alrajeh, Liliana Pasquale, Bashar Nuseibeh. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, September 4-8, pp. 559--569, ACM, 2017.   <PDF>

"Are you ready? Towards the Engineering of Forensic-ready Systems" George Grispos, Jesus Garcia-Galan, Liliana Pasquale, Bashar Nuseibeh. To appear in Proceedings of the 11th Conference on Research Challenges in Information Science (RCIS 2017), Brighton, UK, May 10-12, pp. 328--333, IEEE Computer Society, 2017.   <PDF>

2016

"Towards Adaptive Compliance." Jesus Garcia-Galan, Liliana Pasquale, George Grispos, Bashar Nuseibeh. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016), Austin, Texas, USA, May 17-18, pp. 108--114, ACM, 2016.   <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

2019

"Towards Automated Logging for Forensic-Ready Software Systems." Fanny Rivera Ortiz, Liliana Pasquale. In Proceedings of the International Workshop on Evolving Privacy and Security Requirements (ESPRE@RE2019), Jeju, South Korea, Sep 223, pp.157-163, IEEE, 2019.   <PDF>

2018

"I've Seen This Before: Sharing Cyber-Physical Incident Knowledge." Faeq Alrimawi, Liliana Pasquale, Deepak Mehta, Bashar Nuseibeh. In Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment (SEAD@ICSE2018), Gothenburg, Sweden, May 27, pp.33-40, ACM, 2018.   <PDF>

2017

"Software Engineering Challenges For Investigating Cyber-Physical Incidents." Faeq Alrimawi, Liliana Pasquale, Bashar Nuseibeh. In Proceedings of the 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2016), Buenos Aires, Argentina, May 21, pp.34-40, IEEE Computer Society, 2017.   <PDF>

2016

"Adding Static and Dynamic Semantics to Building Information Models." Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale and Bashar Nuseibeh. In Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2016), Austin, Texas, May 17, pp. 1--7, ACM, 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>