Concepedia

Mark-Oliver Stehr

MS

19

Publications

479

Citations

14

H-Index

2001

Active since

Affiliations

SRI International(Current)

University of Illinois Urbana-Champaign

University of California, Irvine

Seoul National University

Mark-Oliver Stehr is an author at SRI International specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationMobile ComputingSystems EngineeringVerificationAutomated ReasoningFormal SpecificationEdge Computing

Publications per year

2001–2013

19

Publications

19

Policy-Based Cognitive Radios

David E. Wilkins, Grit Denker, Mark-Oliver Stehr et al. · IEEE Wireless Communications · 2007 · 61 citations

Dynamic Spectrum Management, Cognitive Radio Resource Management, Engineering +13

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra et al. · Journal of Internet Services and Applications · 2012 · 43 citations · Full text

Engineering, Middleware Perspective, Software Systems +19

CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Daniel Elenius, Grit Denker, Mark-Oliver Stehr et al. · 2007 · 42 citations

Engineering, Agent Decision-making, Communication +16

A Policy Engine for Spectrum Sharing

Grit Denker, Daniel Elenius, Rukman Senanayake et al. · 2007 · 40 citations

Dynamic Spectrum Management, Cognitive Radio Resource Management, Engineering +11

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim et al. · 2010 · 35 citations

Engineering, Ncps Applications, Networked Control +18

Rows per page

1–5 of 19