| 2013 | MOBICOM | Network coding for content-based intermittently connected emergency networks. | Joshua Joy, Yu-Ting Yu, Mario Gerla, Samuel B. Wood, James Mathewson, Mark-Oliver Stehr |
| 2013 | Mobiquitous | Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. | Jong-Seok Choi, Tim McCarthy, Minyoung Kim, Mark-Oliver Stehr |
| 2013 | SAC | Maximizing availability of content in disruptive environments by cross-layer optimization. | Minyoung Kim, Ashish Gehani, Je-Min Kim, Dawood Tariq, Mark-Oliver Stehr, Jin-Soo Kim |
| 2011 | UIC | Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. | Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott |
| 2010 | EUC | An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. | Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha |
| 2010 | UIC | Toward Distributed Declarative Control of Networked Cyber-Physical Systems. | Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott |
| 2008 | DATE | Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian |
| 2006 | LPAR | An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. | Carsten Schrmann, Mark-Oliver Stehr |
| 2006 | PRDC | Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott |
| 2005 | POPL | Formal prototyping in early stages of protocol design. | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr |
| 2004 | Middleware | Exploring adaptability of secure group communication using formal prototyping techniques. | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott |
| 1999 | FM | Maude as a Formal Meta-tool. | Manuel Clavel, Francisco Durn, Steven Eker, Jos Meseguer, Mark-Oliver Stehr |