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 | 119 | 1999 |
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 | 110 | 2001 |
Policy-based cognitive radios D Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C Talcott IEEE Wireless Communications 14 (4), 41-46, 2007 | 79 | 2007 |
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 | 71 | 2000 |
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 | 60 | 2001 |
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 | 56 | 2012 |
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 | 51 | 2010 |
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 | 49 | 2007 |
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 | 47 | 2007 |
Plan in Maude specifying an active network programming language MO Stehr, CL Talcott Electronic notes in theoretical computer science 71, 240-260, 2004 | 45 | 2004 |
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 | 38 | 2002 |
Pure type systems in rewriting logic MO Stehr, J Meseguer Proc. of LFM 99, 1999 | 38 | 1999 |
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 | 35 | 2005 |
Toward distributed declarative control of networked cyber-physical systems MO Stehr, M Kim, C Talcott Ubiquitous Intelligence and Computing: 7th International Conference, UIC …, 2010 | 34 | 2010 |
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 | 32 | 2013 |
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 | 30 | 2011 |
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 | 29 | 2006 |
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 | 25 | 2013 |
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 | 25 | 2012 |
A distributed logic for networked cyber-physical systems M Kim, MO Stehr, C Talcott Science of Computer Programming 78 (12), 2453-2467, 2013 | 24 | 2013 |