| 2018 | VEHITS | Stability Analysis for Adaptive Behavior - (Position Paper). | Emil Vassev, Mike Hinchey |
| 2017 | VEHITS | Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). | Emil Vassev, Mike Hinchey |
| 2016 | ISoLA | Integration and Promotion of Autonomy with the ARE Framework. | Emil Vassev, Mike Hinchey |
| 2015 | APSEC | Evolving Critical Systems. | Mike Hinchey |
| 2015 | ICECCS | Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. | David Sann, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey |
| 2015 | ICSE | Requirement-centric Reactive Testing for Safety-Related Automotive Software. | Anila Mjeda, Mike Hinchey |
| 2014 | EDBT | Implementing Iterative Algorithms with SPARQL. | Robert W. Techentin, Barry K. Gilbert, Adam Lugowski, Kevin Deweese, John R. Gilbert, Eric Dull, Mike Hinchey, Steven P. Reinhardt |
| 2014 | ISoLA | Evolving Critical Systems - Track Introduction. | Mike Hinchey, Tiziana Margaria |
| 2014 | ISoLA | Formalizing Self-adaptive Clouds with KnowLang. | Emil Vassev, Mike Hinchey, Philip Mayer |
| 2014 | SPLC | 8 | Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid |
| 2013 | IRI | Autonomy requirements engineering. | Emil Vassev, Mike Hinchey |
| 2013 | ISORC | On the autonomy requirements for space missions. | Emil Vassev, Mike Hinchey |
| 2013 | SAFECOMP | CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. | Anila Mjeda, Mike Hinchey |
| 2013 | SPLC | 7 | Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Hoh Peter In, Klaus Schmid |
| 2012 | ISORC | Knowledge Representation for Cognitive Robotic Systems. | Emil Vassev, Mike Hinchey |
| 2012 | SPLC | 6 | Svein O. Hallsteinsen, Sooyong Park, Mike Hinchey, Klaus Schmid |
| 2012 | SPLC | Runtime variability for dynamic reconfiguration in wireless sensor network product lines. | scar Ortiz, Ana Beln Garca, Rafael Capilla, Jan Bosch, Mike Hinchey |
| 2011 | FedCSIS | Self-Healing Approach in the FastFix Project. | Benoit Gaudin, Mike Hinchey |
| 2011 | ISoLA | Representing Knowledge in Robotic Systems with KnowLang. | Emil Vassev, Mike Hinchey |
| 2011 | ISORC | Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. | Emil Vassev, Mike Hinchey |
| 2011 | SEFM | Developing Model-Checking Mechanisms for ASSL: An Experience Report. | Emil Vassev, Mike Hinchey |
| 2011 | SEW | An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. | Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson |
| 2011 | SPLC | Fifth International Workshop on Dynamic Software Product Lines (DSPL 2011). | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
| 2011 | SPLC | Families (of Products) in Space. | Mike Hinchey |
| 2010 | ICSE | Developing intelligent sensor networks: a technological convergence approach. | Emil Vassev, Mike Hinchey, Paddy Nixon |
| 2010 | ISORC | Developing Self-Managing Embedded Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2010 | SPLC | 4th International Workshop on Dynamic Software Product Lines (DSPL 2010). | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
| 2010 | SPLC | Formally Specifying Families of Space Exploration Missions. | Mike Hinchey |
| 2010 | TASE | The Art of Developing Autonomic Systems - The ASSL Approach. | Mike Hinchey, Emil Vassev |
| 2010 | TASE | Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. | Emil Vassev, Mike Hinchey, Paddy Nixon |
| 2009 | ICSoft | A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
| 2009 | ICSoft | Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
| 2009 | ISORC | Organic Computing and Model-Driven Engineering in Embedded Systems. | Mike Hinchey, Roy Sterritt |
| 2009 | ISSRE | A Complexity Reliability Model. | Norman F. Schneidewind, Mike Hinchey |
| 2009 | SAC | A consumer/producer approach to risk-driven software reliability and testing. | Norman F. Schneidewind, Mike Hinchey |
| 2009 | SEW | Complexity Reduction in Developing Autonomic Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2009 | SPLC | 3 | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |
| 2008 | ATC | An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. | Mike Hinchey, Emil Vassev |
| 2008 | ICECCS | Why Predicting Outliers in Software is a Good Thing to Do! | Norman F. Schneidewind, Mike Hinchey |
| 2008 | SAC | Towards an ASSL specification model for NASA swarm-based exploration missions. | Emil Vassev, Mike Hinchey, Joey Paquet |
| 2008 | SPLC | 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. | Svein O. Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid |