Volgen
Mark-Oliver Stehr
Mark-Oliver Stehr
Geverifieerd e-mailadres voor csl.sri.com
Titel
Geciteerd door
Geciteerd door
Jaar
Maude as a formal meta-tool
M Clavel, F Durán, S Eker, J Meseguer, MO Stehr
Lecture notes in computer science, 1684-1703, 1999
1191999
Rewriting logic as a unifying framework for Petri nets
MO Stehr, J Meseguer, PC Ölveczky
Unifying Petri Nets: Advances in Petri Nets, 250-303, 2001
1102001
Policy-based cognitive radios
D Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C Talcott
IEEE Wireless Communications 14 (4), 41-46, 2007
792007
CINNI-A Generic Calculus of Explicit Substitutions and its Application to λ-ς-and π-Calculi
MO Stehr
Electronic Notes in Theoretical Computer Science 36, 70-92, 2000
712000
The HOL/NuPRL proof translator: A practical approach to formal interoperability
P Naumov, MO Stehr, J Meseguer
Theorem Proving in Higher Order Logics: 14th International Conference …, 2001
602001
Resilient dependable cyber-physical systems: a middleware perspective
G Denker, N Dutt, S Mehrotra, MO Stehr, C Talcott, ...
Journal of Internet Services and Applications 3 (1), 41-49, 2012
562012
An application framework for loosely coupled networked cyber-physical systems
M Kim, MO Stehr, J Kim, S Ha
2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2010
512010
CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies
D Elenius, G Denker, MO Stehr, R Senanayake, C Talcott, D Wilkins
Eighth IEEE International Workshop on Policies for Distributed Systems and …, 2007
492007
A policy engine for spectrum sharing
G Denker, D Elenius, R Senanayake, MO Stehr, D Wilkins
2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum …, 2007
472007
Plan in Maude specifying an active network programming language
MO Stehr, CL Talcott
Electronic notes in theoretical computer science 71, 240-260, 2004
452004
Programming, specification, and interactive theorem proving: Towards a unified language based on equational logic, rewriting logic, and type theory
MO Stehr
Staats-und Universitätsbibliothek Hamburg Carl von Ossietzky, 2002
382002
Pure type systems in rewriting logic
MO Stehr, J Meseguer
Proc. of LFM 99, 1999
381999
Formal prototyping in early stages of protocol design
A Goodloe, CA Gunter, MO Stehr
Proceedings of the 2005 Workshop on Issues in the Theory of Security, 67-80, 2005
352005
Toward distributed declarative control of networked cyber-physical systems
MO Stehr, M Kim, C Talcott
Ubiquitous Intelligence and Computing: 7th International Conference, UIC …, 2010
342010
xtune: A formal methodology for cross-layer tuning of mobile embedded systems
M Kim, MO Stehr, C Talcott, N Dutt, N Venkatasubramanian
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013
322013
Fractionated software for networked cyber-physical systems: Research directions and long-term vision
MO Stehr, C Talcott, J Rushby, P Lincoln, M Kim, S Cheung, A Poggio
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
302011
An executable formalization of the HOL/Nuprl connection in the metalogical framework Twelf
C Schürmann, MO Stehr
Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006
292006
ICEMAN: A system for efficient, robust and secure situational awareness at the network edge
S Wood, J Mathewson, J Joy, MO Stehr, M Kim, A Gehani, M Gerla, ...
MILCOM 2013-2013 IEEE Military Communications Conference, 1512-1517, 2013
252013
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing
J Kim, M Kim, MO Stehr, H Oh, S Ha
Journal of Parallel and Distributed Computing 72 (4), 564-578, 2012
252012
A distributed logic for networked cyber-physical systems
M Kim, MO Stehr, C Talcott
Science of Computer Programming 78 (12), 2453-2467, 2013
242013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20