dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mark-Oliver Stehr (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian: Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Services and Applications 3(1): 41-49 (2012)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr: Tailoring group membership consistency for mobile networks. CTS 2011: 548-554
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott: A Distributed Logic for Networked Cyber-Physical Systems. FSEN 2011: 190-205
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio: Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 207-222
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott: Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC 2011: 310-325
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott: Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC 2010: 397-413
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott: Formal specification of agent-object oriented programs. CTS 2008: 127-134
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE 2008: 646-651
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian: A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS 2007: 285-300
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS 2007: 257-273
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins: CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY 2007: 261-265
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott: Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. PRDC 2006: 113-120
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark-Oliver Stehr, Carolyn L. Talcott: Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott: Exploring adaptability of secure group communication using formal prototyping techniques. Adaptive and Reflective Middleware 2004: 232-237
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott: Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark-Oliver Stehr, Carolyn L. Talcott: Plan in Maude: Specifying an Active Network Programming Language. Electr. Notes Theor. Comput. Sci. 71: 240-260 (2002)

Selection of 18 from 39 records - Mark-Oliver Stehr has 39 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page