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
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
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
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
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
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

Selection of 8 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