| The ASSL Approach to Formal Specification of Self-managing Systems. | 0 | 0.34 | 2018 |
| Stability Analysis for Adaptive Behavior - (Position Paper). | 0 | 0.34 | 2018 |
| Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach | 0 | 0.34 | 2016 |
| Good Change and Bad Change: An Analysis Perspective on Software Evolution. | 2 | 0.37 | 2016 |
| Integration and Promotion of Autonomy with the ARE Framework. | 0 | 0.34 | 2016 |
| Value-Driven V-Model: From Requirements Analysis To Acceptance Testing | 0 | 0.34 | 2016 |
| KnowLang: Knowledge Representation for Self-Adaptive Systems | 1 | 0.36 | 2015 |
| Collaborative Context Features for Critical Systems | 5 | 0.40 | 2015 |
| The KnowLang Approach to Self-adaptation. | 0 | 0.34 | 2015 |
| Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code | 0 | 0.34 | 2015 |
| Dynamic Variability Meets Robotics | 5 | 0.43 | 2015 |
| Modeling Swarm Robotics with KnowLang | 0 | 0.34 | 2014 |
| Formalizing eMobility with KnowLang | 0 | 0.34 | 2014 |
| Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems | 1 | 0.34 | 2014 |
| Context Variability for Context-Aware Systems | 12 | 0.72 | 2014 |
| 8th International Workshop on Dynamic Software Product Lines (DSPL 2014) | 0 | 0.34 | 2014 |
| An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry | 34 | 1.15 | 2014 |
| Formalizing Self-adaptive Clouds with KnowLang | 1 | 0.39 | 2014 |
| Separation Kernel Verification: The Xtratum Case Study. | 3 | 0.40 | 2014 |
| Evolving Critical Systems - Track Introduction | 0 | 0.34 | 2014 |
| Autonomy Requirements Engineering for Self-Adaptive Science Clouds | 1 | 0.40 | 2014 |
| 7th International Workshop on Dynamic Software Product Lines (DSPL 2013) | 0 | 0.34 | 2013 |
| Sustainable Embedded Software Life-Cycle Planning | 1 | 0.40 | 2013 |
| Autonomy Requirements Engineering | 3 | 0.45 | 2013 |
| On the autonomy requirements for space missions | 8 | 1.06 | 2013 |
| Simplicity in IT: The Power of Less | 4 | 0.50 | 2013 |
| Dynamic Software Product Lines | 82 | 3.30 | 2013 |
| Efficient Space Exploration through Laziness. | 0 | 0.34 | 2012 |
| Building Dynamic Software Product Lines | 26 | 1.53 | 2012 |
| Verification of adaptive systems | 0 | 0.34 | 2012 |
| 6th International Workshop on Dynamic Software Product Lines (DSPL 2012) | 0 | 0.34 | 2012 |
| Knowledge Representation for Cognitive Robotic Systems | 6 | 0.76 | 2012 |
| Swarm Technology at NASA: Building Resilient Systems | 8 | 0.74 | 2012 |
| The ASSL approach to specifying self-managing embedded systems | 6 | 0.52 | 2012 |
| Runtime variability for dynamic reconfiguration in wireless sensor network product lines | 11 | 0.67 | 2012 |
| Efficient Reasoning with Ambient Trees for Space Exploration. | 0 | 0.34 | 2012 |
| The AdaptiV approach to verification of adaptive systems | 1 | 0.35 | 2012 |
| Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods | 8 | 0.55 | 2011 |
| Where Software Engineering Meets ... | 0 | 0.34 | 2011 |
| An ASSL Approach to Handling Uncertainty in Self-adaptive Systems | 0 | 0.34 | 2011 |
| Self-Awareness in Autonomous Nano-Technology Swarm Missions | 1 | 0.43 | 2011 |
| Knowledge Representation and Reasoning for Intelligent Software Systems | 4 | 0.67 | 2011 |
| Representing Knowledge in Robotic Systems with KnowLang. | 0 | 0.34 | 2011 |
| Developing model-checking mechanisms for ASSL: an experience report | 0 | 0.34 | 2011 |
| Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011) | 1 | 0.35 | 2011 |
| Fundamentals of Designing Complex Aerospace Software Systems. | 0 | 0.34 | 2011 |
| Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL | 2 | 0.51 | 2010 |
| 4th international workshop on dynamic software product lines (DSPL 2010) | 0 | 0.34 | 2010 |
| Guest Editors' Introduction: Evolving Critical Systems | 5 | 0.50 | 2010 |
| The Art of Developing Autonomic Systems - The ASSL Approach | 0 | 0.34 | 2010 |
