Liliana Pasquale

J. Syst. Softw., 2024

The Rocky Road to Sustainable Security.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2024

2023

Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., March, 2023

A Vulnerability Assessment Approach for Transportation Networks Subjected to Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Konstantinos Ntafloukas

Beatriz Martinez-Pastor

Daniel P. McCrum

Future Internet, March, 2023

Sustainable Adaptive Security.

[BibT_eX]

[DOI]

CoRR, 2023

Forensic readiness of industrial control systems under stealthy attacks.

[BibT_eX]

[DOI]

Comput. Secur., 2023

Identification of Vulnerable IoT Enabled Transportation Infrastructure into a Cyber-Physical Transportation Network.

[BibT_eX]

[DOI]

Konstantinos Ntafloukas

Faithful Chiagoziem Onwuegbuche

Beatriz Martinez-Pastor

Daniel P. McCrum

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Enhancing Ransomware Classification with Multi-stage Feature Selection and Data Imbalance Correction.

[BibT_eX]

[DOI]

Anca Delia Jurcut

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2023

2022

Incidents are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Digital Age of Consent and Age Verification: Can They Protect Children?

[BibT_eX]

[DOI]

IEEE Softw., 2022

2021

Requirements engineering: Foundation for software quality (REFSQ2020).

[BibT_eX]

[DOI]

Alessio Ferrari

Nazim H. Madhavji

Inf. Softw. Technol., 2021

Threat modeling at run time: the case for reflective and adaptive threat management (NIER track).

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

On Adaptive Fairness in Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Engineering Adaptive Authentication.

[BibT_eX]

[DOI]

Alzubair Hassan

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Software Engineering in Society.

[BibT_eX]

[DOI]

Rick Kazman

IEEE Softw., 2020

Automated modelling of security incidents to represent logging requirements in software systems.

[BibT_eX]

[DOI]

Fanny Rivera-Ortiz

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

Guest Editors Introduction: Special Issue on User Feedback and Software Quality in the Mobile Domain.

[BibT_eX]

[DOI]

Sebastiano Panichella

Inf. Softw. Technol., 2019

On the Automated Management of Security Incidents in Smart Spaces.

[BibT_eX]

[DOI]

Faeq Alrimawi

IEEE Access, 2019

Towards Automated Logging for Forensic-Ready Software Systems.

[BibT_eX]

[DOI]

Fanny Rivera-Ortiz

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

2018

On the Interplay Between Cyber and Physical Spaces for Adaptive Security.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2018

The Grace Period Has Ended: An Approach to Operationalize GDPR Requirements.

[BibT_eX]

[DOI]

Vanessa Ayala-Rivera

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Towards forensic-ready software systems.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Compositional verification of self-adaptive cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

I've seen this before: sharing cyber-physical incident knowledge.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment, 2018

2017

Topology-Aware Access Control of Smart Spaces.

[BibT_eX]

[DOI]

Blanca Florentino-Liaño

Tarik Hadzic

Computer, 2017

On evidence preservation requirements for forensic-ready systems.

[BibT_eX]

[DOI]

Dalal Alrajeh

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Are you ready? Towards the engineering of forensic-ready systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Keynote: Topology Aware Adaptive Security.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2017

Software Engineering Challenges for Investigating Cyber-Physical Incidents.

[BibT_eX]

[DOI]

Faeq Alrimawi

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

2016

User-Centric Adaptation Analysis of Multi-Tenant Services.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2016

Automating trade-off analysis of security requirements.

[BibT_eX]

[DOI]

Requir. Eng., 2016

Adaptive evidence collection in the cloud using attack scenarios.

[BibT_eX]

[DOI]

Comput. Secur., 2016

Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016).

[BibT_eX]

[DOI]

Dalal Alrajeh

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Adding static and dynamic semantics to building information models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Towards adaptive compliance.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

2015

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Fuzzy Time in Linear Temporal Logic.

[BibT_eX]

[DOI]

Achille Frigeri

ACM Trans. Comput. Log., 2014

Engineering Adaptive Digital Investigations using Forensics Requirements.

[BibT_eX]

[DOI]

CoRR, 2014

Engineering topology aware adaptive security: Preventing requirements violations at runtime.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Topology aware adaptive security.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2013

Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

Requirements-driven adaptive digital forensics.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

IRET: Requirements for service platforms.

[BibT_eX]

[DOI]

Gianluca Ripa

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Engineering adaptive privacy: on the role of privacy awareness requirements.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Fuzzy Time in LTL

[BibT_eX]

[DOI]

Achille Frigeri

CoRR, 2012

Service-Oriented Dynamic Software Product Lines.

[BibT_eX]

[DOI]

Computer, 2012

SecuriTAS: a tool for engineering adaptive security.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Requirements-driven adaptive security: Protecting variable assets at runtime.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Caprice: a tool for engineering adaptive privacy.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Adaptive security and privacy in smart grids: a software engineering vision.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, 2012

On the role of primary and secondary assets in adaptive security: An application in smart grids.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

2011

Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Systems, 2011

An introduction to the workshop on requirements for systems, services, and systems of systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Systems, 2011

Living with Uncertainty in the Age of Runtime Models.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Adaptation Goals for Adaptive Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

Fuzzy Goals for Requirements-Driven Adaptation.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Adaptive Goals for Self-Adaptive Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Live goals for adaptive service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

2009

REST-based management of loosely coupled services.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on World Wide Web, 2009

Distributed Cross-Domain Change Management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Distributed Cross-Domain Configuration Management.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Towards a unified framework for the monitoring and recovery of BPEL processes.

[BibT_eX]

[DOI]

Proceedings of the 2008 Workshop on Testing, 2008

Integrated and Composable Supervision of BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

2007

Self-healing BPEL processes with Dynamo and the JBoss rule engine.

[BibT_eX]

[DOI]