Javier Cámara

Towards Scalable Multi-robot Systems by Partitioning the Task Domain.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022

Security Countermeasure Selection for Component-Based Software-Intensive Systems.

[BibT_eX]

[DOI]

Charilaos Skandylas

Narges Khakpour

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.

[BibT_eX]

[DOI]

Gricel Vázquez

Radu Calinescu

Proceedings of the Towards Autonomous Robotic Systems - 22nd Annual Conference, 2021

A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Hey! Preparing Humans to do Tasks in Self-adaptive Systems.

[BibT_eX]

[DOI]

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

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Towards Self-Adaptive Disaster Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 15th European Conference, 2021

2020

The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153).

[BibT_eX]

[DOI]

Kenji Tei

Nir Piterman

NII Shonan Meet. Rep., 2020

Software architecture and task plan co-adaptation for mobile service robots.

[BibT_eX]

[DOI]

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Towards bridging the gap between control and self-adaptive system properties.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees.

[BibT_eX]

[DOI]

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Model-Based Analysis of Microservice Resiliency Patterns.

[BibT_eX]

[DOI]

Nabor C. Mendonça

Carlos Mendes Aderaldo

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems.

[BibT_eX]

[DOI]

Henry Muccini

Karthik Vaidhyanathan

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Voyager: Software Architecture Trade-off Explorer.

[BibT_eX]

[DOI]

Jason Mashinchi

Proceedings of the Software Architecture - 14th European Conference, 2020

Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

2019

Building Long-Lived Adaptive Systems.

[BibT_eX]

[DOI]

Greg Eakman

IEEE Softw., 2019

Model-Based Adaptation for Robotics Software.

[BibT_eX]

[DOI]

Anahita Mohseni-Kabir

Ivan Ruchkin

Selva Samuel

Christopher Steven Timperley

IEEE Softw., 2019

Synthesizing tradeoff spaces with quantitative guarantees for families of software systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots.

[BibT_eX]

[DOI]

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

Socio-cyber-physical systems: models, opportunities, open challenges.

[BibT_eX]

[DOI]

Radu Calinescu

Colin Paterson

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

2018

Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2018

Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2018

Uncertainty reduction in self-adaptive systems.

[BibT_eX]

[DOI]

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

Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices.

[BibT_eX]

[DOI]

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2017

Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

[BibT_eX]

[DOI]

Bashar Nuseibeh

Alessandro Vittorio Papadopoulos

Dagstuhl Artifacts Ser., 2017

Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks.

[BibT_eX]

[DOI]

Gautham Nayak Seetanadi

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Towards a Formal Framework for Hybrid Planning in Self-Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA.

[BibT_eX]

[DOI]

Gabriel A. Moreno

Konstantinos Angelopoulos

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 11th European Conference, 2017

Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, 2017

The Notion of Self-aware Computing.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Related Concepts and Research Areas.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Synthesis and Verification of Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Open Challenges and Future Research Directions.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2016

Special section on Foundations of Coordination Languages and Software Architectures.

[BibT_eX]

[DOI]

Natallia Kokash

Sci. Comput. Program., 2016

Adaptation impact and environment models for architecture-based self-adaptive systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Incorporating architecture-based self-adaptation into an adaptive industrial software system.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Hybrid Planning for Decision Making in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Big Data in Cloud Computing: Features and Issues.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet of Things and Big Data, 2016

Multiscale time abstractions for long-range planning under uncertainty.

[BibT_eX]

[DOI]

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

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster].

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

A model-based approach to anomaly detection in software architectures.

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Architecture Modeling and Analysis of Security in Android Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

Proactive self-adaptation under uncertainty: a probabilistic model checking approach.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Optimal planning for architecture-based self-adaptation via model checking of stochastic games.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Reasoning about Human Participation in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Gabriel A. Moreno

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014

Testing the robustness of controllers for self-adaptive systems.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Empirical resilience evaluation of an architecture-based self-adaptive software system.

[BibT_eX]

[DOI]

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Stochastic game analysis and latency awareness for proactive self-adaptation.

[BibT_eX]

[DOI]

Gabriel A. Moreno

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

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.

[BibT_eX]

[DOI]

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Impact Models for Architecture-Based Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Architecture-based resilience evaluation for self-adaptive systems.

[BibT_eX]

[DOI]

Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.

[BibT_eX]

[DOI]

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

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Analyzing Self-Adaptation Via Model Checking of Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Structural reconfiguration of systems under behavioral adaptation.

[BibT_eX]

[DOI]

Clarissa Cassales Marquezan

Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.

[BibT_eX]

[DOI]

Annapaola Marconi

Antonio Bucchiarone

Konstantinos Bratanis

Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Evaluation of resilience in self-adaptive systems using probabilistic model-checking.

[BibT_eX]

[DOI]

Rogério de Lemos

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

2011

Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

VADER 2011 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Renaud Pawlak

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions.

[BibT_eX]

[DOI]

Antoine Girard

Gregor Gößler

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Safety controller synthesis for switched systems using multi-scale symbolic models.

[BibT_eX]

[DOI]

Antoine Girard

Gregor Gößler

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Semi-Automatic Specification of Behavioural Service Adaptation Contracts.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

AVYTAT'10 - PC Co-chairs Message.

[BibT_eX]

[DOI]

Howard Foster

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing.

[BibT_eX]

[DOI]

Nikolay Vasilev

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.).

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

A Case Study in Model-Based Adaptation of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines.

[BibT_eX]

[DOI]

Alfred Kobsa

Trans. Large Scale Data Knowl. Centered Syst., 2009

Interactive Specification and Verification of Behavioural Adaptation Contracts.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Autonomic and SELF-adaptive Systems (WASELF, 2ª edición).

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Facilitating Controlled Tests of Website Design Changes: A Systematic Approach.

[BibT_eX]

[DOI]

Alfred Kobsa

Proceedings of the Web Engineering, 9th International Conference, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Behavioural self-adaptation of services in ubiquitous computing environments.

[BibT_eX]

[DOI]

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

2008

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Clint: A Composition Language Interpreter (Tool Paper).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Run-time Composition and Adaptation of Mismatching Behavioural Transactions.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Enabling <i>Adaptivity</i> in User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Conference, 2007

Context-Based Adaptation of Component Behavioural Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Dynamic Contextual Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

2005

Formalizing WSBPEL Business Processes Using Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

2003

Theorem Proving for Product Line Model Verification.

[BibT_eX]

[DOI]

Mike Mannion