David Garlan

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

Defining Utility Functions for Multi-stakeholder Self-adaptive Systems.

[BibT_eX]

[DOI]

Rebekka Wohlrab

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

Engineering Secure Self-Adaptive Systems with Bayesian Games.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Self-adaptive Machine Learning Systems: Research Challenges and Opportunities.

[BibT_eX]

[DOI]

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

Self-Adaptation for Machine Learning Based Systems.

[BibT_eX]

[DOI]

Proceedings of the ECSA 2021 Companion Volume, 2021

Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach.

[BibT_eX]

[DOI]

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

A Probabilistic Model for Effective Explainability Based on Personality Traits.

[BibT_eX]

[DOI]

Mohammed N. Alharbi

Shihong Huang

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

A Probabilistic Model for Personality Trait Focused Explainability.

[BibT_eX]

[DOI]

Mohammed N. Alharbi

Shihong Huang

Proceedings of the ECSA 2021 Companion Volume, 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

2020

A behavioral notion of robustness for software systems.

[BibT_eX]

[DOI]

Changjian Zhang

Eunsuk Kang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Tradeoff-Focused Contrastive Explanation for MDP Planning.

[BibT_eX]

[DOI]

Roykrong Sukkerd

Reid G. Simmons

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling.

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Modeling, 2020

How do you architect your robots?: state of the practice and guidelines for ROS-based systems.

[BibT_eX]

[DOI]

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Explanations for human-on-the-loop: a probabilistic model checking approach.

[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

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

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

Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Distributed Computing 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

Building Reusable Repertoires for Stochastic Self-* Planners.

[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

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

Managing safety and mission completion via collective run-time adaptation.

[BibT_eX]

[DOI]

J. Syst. Archit., 2019

An Automated Approach to Management of a Collection of Autonomic Systems.

[BibT_eX]

[DOI]

Thomas J. Glazier

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Modeling observability in adaptive systems to defend against advanced persistent threats.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems.

[BibT_eX]

[DOI]

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

Trade-off-oriented development: making quality attribute trade-offs first-class.

[BibT_eX]

[DOI]

Tobias Dürschmid

Eunsuk Kang

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 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

Half a Century of Software Engineering Education: The CMU Exemplar.

[BibT_eX]

[DOI]

Nancy R. Mead

IEEE Softw., 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

Towards explainable multi-objective probabilistic planning.

[BibT_eX]

[DOI]

Roykrong Sukkerd

Reid G. Simmons

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 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

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

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search.

[BibT_eX]

[DOI]

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

Quantitative underpinnings of secure, graceful degradation: poster.

[BibT_eX]

[DOI]

Ryan Wagner

Matt Fredrikson

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 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

The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10).

[BibT_eX]

[DOI]

Nicolás D'Ippolito

Kenji Tei

NII Shonan Meet. Rep., 2017

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

[BibT_eX]

[DOI]

Bashar Nuseibeh

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

Instance-Based Learning for Hybrid Planning.

[BibT_eX]

[DOI]

Ashutosh Pandey

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

What Ails End-User Composition: A Cross-Domain Qualitative Study.

[BibT_eX]

[DOI]

Vishal Dwivedi

James D. Herbsleb

Proceedings of the End-User Development - 6th International Symposium, 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

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

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

Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS.

[BibT_eX]

[DOI]

Ilias Gerostathopoulos

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

Task Planning of Cyber-Human Systems.

[BibT_eX]

[DOI]

Roykrong Sukkerd

Reid G. Simmons

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 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

Modeling Challenges for CPS Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

SASS: Self-Adaptation Using Stochastic Search.

[BibT_eX]

[DOI]

Zack Coker

Claire Le Goues

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

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

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 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

Architecture-Based Planning of Software Evolution.

[BibT_eX]

[DOI]

Sungwon Kang

Int. J. Softw. Eng. Knowl. Eng., 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

Software architecture: a travelogue.

[BibT_eX]

[DOI]

Proceedings of the on Future of Software Engineering, 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

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

Impact Models for Architecture-Based Self-adaptive Systems.

[BibT_eX]

[DOI]

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

Contract-based integration of cyber-physical analyses.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Architecture-based self-protecting software systems.

[BibT_eX]

[DOI]

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

Automated planning for software architecture evolution.

[BibT_eX]

[DOI]

Jeffrey M. Barnes

Ashutosh Pandey

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Resolving Data Mismatches in End-User Compositions.

[BibT_eX]

[DOI]

Perla Velasco Elizondo

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

A 10-year perspective on software engineering self-adaptive systems (keynote).

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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 developing a software architecture evolution tool as a plug-in.

[BibT_eX]

[DOI]

Jeffrey M. Barnes

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 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

Stitch: A language for architecture-based self-adaptation.

[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

Invited Talk - Engineering Self-Healing and Self-Improving Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Software architecture: reflections on an evolving discipline.

[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

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

Using parameters in architectural views to support heterogeneous design and verification.

[BibT_eX]

[DOI]

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

2010

Analyzing architectural styles.

[BibT_eX]

[DOI]

Jung Soo Kim

J. Syst. Softw., 2010

Software engineering in an uncertain world.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Architectural Mismatch: Why Reuse Is Still So Hard.

[BibT_eX]

[DOI]

IEEE Softw., 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

Invited Talk: Rainbow: Engineering Support for Self-Healing Systems.

[BibT_eX]

[DOI]

Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

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

[BibT_eX]

[DOI]

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

SEAMS 2009: Software engineering for adaptive and self-managing systems.

[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

Towards engineered architecture evolution.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Modeling in 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

Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Differencing and merging of architectural views.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

Steps toward activity-oriented computing.

[BibT_eX]

[DOI]

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

A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs.

[BibT_eX]

[DOI]

Mahadev Satyanarayanan

Proceedings of the Software and Data Technologies - Third International Conference, 2008

User Guidance of Resource-Adaptive Systems.

[BibT_eX]

Mahadev Satyanarayanan

Proceedings of the ICSOFT 2008, 2008

Software Architectures for Task-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

The Radar Architecture for Personal Cognitive Assistance.

[BibT_eX]

[DOI]

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

Program comprehension as fact finding.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Leveraging Resource Prediction for Anticipatory Dynamic Configuration.

[BibT_eX]

[DOI]

Vahe Poladian

Mahadev Satyanarayanan

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

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing 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

Developing adaptive systems with synchronized architectures.

[BibT_eX]

[DOI]

Tiberiu Seceleanu

J. Syst. Softw., 2006

An Architecture for Personal Cognitive Assistance.

[BibT_eX]

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

Design fragments make using frameworks easier.

[BibT_eX]

[DOI]

George Fairbanks

William L. Scherlis

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

Using framework interfaces with design fragments.

[BibT_eX]

[DOI]

George Fairbanks

William L. Scherlis

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

Analyzing architectural styles with alloy.

[BibT_eX]

[DOI]

Jung Soo Kim

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 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

Software engineering for adaptive and self-managing systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

DEAS 2005: workshop on the design and evolution of autonomic application software.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Improving system dependability by enforcing architectural intent.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Context is key.

[BibT_eX]

[DOI]

Commun. ACM, 2005

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.

[BibT_eX]

[DOI]

Massimo Tivoli

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

Software Architecture Evaluation and Analysis Session Report.

[BibT_eX]

[DOI]

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 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

Synchronized Architectures for Adaptive Systems.

[BibT_eX]

[DOI]

Tiberiu Seceleanu

Proceedings of the 29th Annual International Computer Software and Applications Conference, 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

Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 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

Dynamic Configuration of Resource-Aware Services.

[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

2003

Model Checking Publish-Subscribe Systems.

[BibT_eX]

[DOI]

Serge Khersonsky

Jung Soo Kim

Proceedings of the Model Checking Software, 2003

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Software Architectures, 2003

A Compositional Formalization of Connector Wrappers.

[BibT_eX]

[DOI]

Bridget Spitznagel

Proceedings of the 25th International Conference on Software Engineering, 2003

Documenting Software Architectures: Views and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Reconciling the needs of architectural description with object-modeling notations.

[BibT_eX]

[DOI]

Andrew Kompanek

Sci. Comput. Program., 2002

Project Aura: Toward Distraction-Free Pervasive Computing.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2002

Model-based adaptation for self-healing systems.

[BibT_eX]

[DOI]

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

Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17th World Computer Congress, 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 17th World Computer Congress, 2002

Software, Heal Thyself!

[BibT_eX]

[DOI]

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 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]

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Software Architecture-Based Adaptation for Grid Computing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11 2002), 2002

Bridging the HLA: Problems and Solutions.

[BibT_eX]

[DOI]

Jürgen Dingel

Craig Damon

Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

Software Architecture-Based Adaptation for Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Trends in Network and Pervasive Computing, 2002

2001

Guest Editors' Introduction: 1999 International Conference on Software Engineering.

[BibT_eX]

[DOI]

Jeff Kramer

David S. Rosenblum

IEEE Trans. Software Eng., 2001

Formal modeling of the Enterprise JavaBeans(TM) component integration framework.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

A Compositional Approach for Constructing Connectors.

[BibT_eX]

[DOI]

Bridget Spitznagel

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

Aura: Distraction-Free Ubiquitous Computing.

[BibT_eX]

[DOI]

Proceedings of the Engineering for Human-Computer Interaction, 2001

2000

Modeling of Architectures with UML (Panel).

[BibT_eX]

[DOI]

Thomas Weigert

John Knapman

Birger Møller-Pedersen

Bran Selic

Proceedings of the «UML» 2000, 2000

Reconciling the Needs of Architectural Description with Object-Modeling Notations.

[BibT_eX]

[DOI]

Andrew Kompanek

Proceedings of the «UML» 2000, 2000

Model Checking Implicit-Invocation Systems.

[BibT_eX]

[DOI]

Serge Khersonsky

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Software architecture: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Acme-Based Software Architecture Interchange.

[BibT_eX]

[DOI]

Zhenyu Wang

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Errata: A Formal Basis for Architectural Connection.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Reasoning about Implicit Invocation.

[BibT_eX]

[DOI]

Somesh Jha

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Formal Modeling and Analysis of the HLA Component Integration Standard.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Specifying and Analyzing Dynamic Software Architectures.

[BibT_eX]

[DOI]

Rémi Douence

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

A Formal Basis for Architectural Connection.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Architectural Styles, Design Patterns, And Objects.

[BibT_eX]

[DOI]

IEEE Softw., 1997

SIGSOFT'96 post mortem.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1997

Agents of Change: Educating Software Engineering Leaders.

[BibT_eX]

[DOI]

David P. Gluch

James E. Tomayko

Computer, 1997

Architectural unification.

[BibT_eX]

[DOI]

Ralph E. Melton

Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

Acme: an architecture description interchange language.

[BibT_eX]

[DOI]

Robert T. Monroe

David Wile

Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

1996

The Fourth Symposium on the Foundations of Software Engineering (FSE4).

[BibT_eX]

[DOI]

Mark Morieoni

ACM SIGSOFT Softw. Eng. Notes, 1996

Style-based refinement for software architecture.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

A Case Study in Architectural Modelling: The AEGIS System.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Style-based reuse for software architectures.

[BibT_eX]

[DOI]

Robert T. Monroe

Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

Software architecture - perspectives on an emerging discipline.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-182957-2, 1996

1995

Introduction to the Special Issue on Software Architecture.

[BibT_eX]

[DOI]

Dewayne E. Perry

IEEE Trans. Software Eng., 1995

Formalizing Style to Understand Descriptions of Software Architecture.

[BibT_eX]

[DOI]

Gregory D. Abowd

ACM Trans. Softw. Eng. Methodol., 1995

Architectural Mismatch: Why Reuse Is So Hard.

[BibT_eX]

[DOI]

IEEE Softw., 1995

Summary of the Dagstuhl workshop on software architecture.

[BibT_eX]

[DOI]

Walter F. Tichy

Frances Paulisch

ACM SIGSOFT Softw. Eng. Notes, 1995

First international workshop on architectures for software systems workshop summary.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1995

Making formal methods education effective for professional software engineers.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1995

Research Directions on Software Architecture.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1995

Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

The CMU Master of Software Engineering Core Curriculum.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

Formulations and Formalisms in Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

TransformGen: Automating the Maintenance of Structure-Oriented Environments.

[BibT_eX]

[DOI]

Charles W. Krueger

Barbara Staudt Lerner

ACM Trans. Program. Lang. Syst., 1994

Integrating Formal Methods into a Professional Master of Software Engineering Program.

[BibT_eX]

[DOI]

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Exploiting Style in Architectural Design Environments.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Using Refinement to Understand Architectural Connection.

[BibT_eX]

[DOI]

Proceedings of the 6th Refinement Workshop, 1994

The role of software architecture in requirements engineering.

[BibT_eX]

[DOI]

Howard B. Reubenstein

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

Beyond Definition/Use: Architectural Interconnection.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Interface Definition Languages, 1994

Nico Habermann's Research: A Brief Retrospective.

[BibT_eX]

[DOI]

J. Frits Habermann

Proceedings of the 16th International Conference on Software Engineering, 1994

Software Architecture: Practice, Potential, and Pitfalls.

[BibT_eX]

[DOI]

Dewayne E. Perry

Proceedings of the 16th International Conference on Software Engineering, 1994

Formalizing Architectural Connection.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Using Style to Understand Descriptions of Software Architecture.

[BibT_eX]

[DOI]

Gregory D. Abowd

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Should we specify systems or domain?

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Adding Implicit Invocation to Languages: Three Approaches.

[BibT_eX]

[DOI]

Proceedings of the Object Technologies for Advanced Software, 1993

Adding Implicit Invocation to Rraditional Programming Languages.

[BibT_eX]

[DOI]

Curtis M. Scott

Proceedings of the 15th International Conference on Software Engineering, 1993

Formal Approaches to Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Studies of Software Design, 1993

An Introduction to Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments.

[BibT_eX]

[DOI]

ACM SIGCHI Bull., 1992

Using Tool Abstraction to Compose Systems.

[BibT_eX]

[DOI]

Gail E. Kaiser

Computer, 1992

A transformational approach to generating application-specific environments.

[BibT_eX]

[DOI]

Linxi Cai

Robert L. Nord

Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

Development Environments for Software Architecture.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

A Formal Approach to Software Architectures.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

Experience with a Course on Architectures for Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

Formal Methods for Software Engineers: Tradeoffs in Curriculum Design.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1991

Preconditions for understanding.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Formalizing Design Spaces: Implicit Invocation Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1990

A Formal Specification of an Oscilloscope.

[BibT_eX]

[DOI]

Norman M. Delisle

IEEE Softw., 1990

Low-cost, adaptable tool integration policies for integrated environments.

[BibT_eX]

[DOI]

Ehsan Ilias

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

The role of formal reusable frameworks.

[BibT_eX]

[DOI]

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Formal Specifications as Reusable Frameworks.

[BibT_eX]

[DOI]

Norman M. Delisle

Proceedings of the VDM '90, 1990

1989

Formally specifying electronic instruments.

[BibT_eX]

[DOI]

Norman M. Delisle

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Emerging issues (session summary).

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

The role of formalized domain-specific software frameworks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1987

Melding Software Systems from Reusable Building Blocks.

[BibT_eX]

[DOI]

Gail E. Kaiser

IEEE Softw., 1987

Extending IDL to Support Concurrent Views.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1987

MELDing Data Flow and Object-Oriented Programming.

[BibT_eX]

[DOI]

Gail E. Kaiser

Proceedings of the Conference on Object-Oriented Programming Systems, 1987

1986

A structural approach to the maintenance of structure-oriented environments.

[BibT_eX]

[DOI]

Barbara J. Staudt

Charles W. Krueger

Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

Views for Tools in Integrated Environments.

[BibT_eX]

[DOI]

Proceedings of the Advanced Programming Environments, 1986

Integrated programming environments based on structure editing (panel session).

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984

GNOME: An Introductory Programming Environment Based on a Family of STructured Editors.

[BibT_eX]

[DOI]