Bradley R. Schmerl

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

Automated Planning for Supporting Knowledge-Intensive Processes.

[BibT_eX]

[DOI]

Sheila Katherine Venero

Cecília Mary Fischer Rubira

Leonardo Montecchi

Júlio Cesar dos Reis

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

REACT: A Model-Based Runtime Environment for Adapting Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 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

Automated Management of Collections of Autonomic Systems.

[BibT_eX]

[DOI]

Thomas J. Glazier

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

Hybrid Planning Using Learning and Model Checking for Autonomous Systems.

[BibT_eX]

[DOI]

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

2019

Model-Based Adaptation for Robotics Software.

[BibT_eX]

[DOI]

Anahita Mohseni-Kabir

Ivan Ruchkin

Selva Samuel

Christopher Steven Timperley

IEEE Softw., 2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 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

Kubow: an architecture-based self-adaptation service for cloud native applications.

[BibT_eX]

[DOI]

Proceedings of the 13th European Conference on Software Architecture, 2019

2018

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2018

Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 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

SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications.

[BibT_eX]

[DOI]

Gabriel A. Moreno

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

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 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

Introduction to the Special Section on Best Papers from SEAMS 2015.

[BibT_eX]

[DOI]

Paola Inverardi

ACM Trans. Auton. Adapt. Syst., 2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.

[BibT_eX]

[DOI]

Ilias Gerostathopoulos

ACM SIGSOFT Softw. Eng. Notes, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Instance-Based Learning for Hybrid Planning.

[BibT_eX]

[DOI]

Ashutosh Pandey

Alessandro Vittorio Papadopoulos

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 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

SEsCPS 2017 Workshop Summary.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical 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

2016

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2016

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Improving self-adaptation planning through software architecture-based stochastic modeling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Challenges in physical modeling for adaptation of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE World Forum on Internet of Things, 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

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

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Ivan Ruchkin

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

An architecture style for Android security analysis: poster.

[BibT_eX]

[DOI]

Jeffrey Gennari

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

Detecting insider threats in software systems using graph models of behavioral paths.

[BibT_eX]

[DOI]

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

RADIANCE 2015 Keynote: Challenges in Engineering Dependable Self-Adaptive System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Architectural Abstractions for Hybrid Programs.

[BibT_eX]

[DOI]

Ivan Ruchkin

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

Supporting Heterogeneity in Cyber-Physical Systems Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Evolution styles: foundations and models for software architecture evolution.

[BibT_eX]

[DOI]

Jeffrey M. Barnes

Softw. Syst. Model., 2014

Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Diagnosing unobserved components in self-adaptive systems.

[BibT_eX]

[DOI]

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

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 self-protecting software systems.

[BibT_eX]

[DOI]

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Resolving Data Mismatches in End-User Compositions.

[BibT_eX]

[DOI]

Perla Velasco Elizondo

Proceedings of the End-User Development - 4th International Symposium, 2013

Diagnosing architectural run-time failures.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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

Challenges in Composing and Decomposing 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

Introduction to the special issue on state of the art in engineering self-adaptive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Foundations and Tools for End-User Architecting.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

SORASCS: a case study in soa-based platform design for socio-cultural analysis.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

View Consistency in Architectures for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

An Architectural Approach to End User Orchestrations.

[BibT_eX]

[DOI]

Vishal Dwivedi

Perla Velasco Elizondo

José Maria Fernandes

Proceedings of the Software Architecture - 5th European Conference, 2011

Architecture-Based Run-Time Fault Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

2010

Agent-assisted task management that reduces email overload.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Intelligent User Interfaces, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Improving Architecture-Based Self-adaptation Using Preemption.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Evolution styles: Foundations and tool support for software architecture evolution.

[BibT_eX]

[DOI]

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Using Service-oriented Architectures for Socio-Cultural Analysis.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Ævol: A tool for defining and planning architecture evolution.

[BibT_eX]

[DOI]

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

Evaluating the effectiveness of the Rainbow self-adaptive system.

[BibT_eX]

[DOI]

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

RAIDE for engineering architecture-based self-adaptive systems.

[BibT_eX]

[DOI]

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

Improving Architecture-Based Self-Adaptation through Resource Prediction.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Software Architecture-Based Self-Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Computing and Networking, 2009

2008

Differencing and merging of architectural views.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

Steps toward activity-oriented computing.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

The Radar Architecture for Personal Cognitive Assistance.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2007

Leveraging Resource Prediction for Anticipatory Dynamic Configuration.

[BibT_eX]

[DOI]

Vahe Poladian

Mary Shaw

Mahadev Satyanarayanan

João Pedro Sousa

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

2006

Task-based adaptation for ubiquitous computing.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2006

Discovering Architectures from Running Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

An Architecture for Personal Cognitive Assistance.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Architecture-based self-adaptation in the presence of multiple objectives.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

2005

Improving system dependability by enforcing architectural intent.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.

[BibT_eX]

[DOI]

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Dynamically discovering architectures with DiscoTect.

[BibT_eX]

[DOI]

Hong Yan

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Bridging the Gap between Systems Design.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Modeling and implementing software architecture with acme and archJava.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation.

[BibT_eX]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Making Self-Adaptation an Engineering Reality.

[BibT_eX]

[DOI]

Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004

Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.

[BibT_eX]

[DOI]

Computer, 2004

Task-based self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Understanding Tradeoffs among Different Architectural Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

An Architecture for Coordinating Multiple Self-Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Modeling and implementing software architecture with acme and archJava.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

DiscoTect: A System for Discovering Architectures from Running Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

AcmeStudio: Supporting Style-Centered Architecture Development.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Using Architectural Models at Runtime: Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Workshop, 2004

2002

Toward Automated Support for Transparent Interoperable Queries.

[BibT_eX]

[DOI]

Alan Kaplan

Rajesh Veeraraghavan

Inf. Technol. Manag., 2002

Model-based adaptation for self-healing systems.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Self-Healing Systems, 2002

Using Architectural Style as a Basis for System Self-repair.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17<sup>th</sup> World Computer Congress, 2002

Exploiting architectural design knowledge to support self-repairing systems.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Increasing System Dependability through Architecture-Based Self-Repair.

[BibT_eX]

[DOI]