| 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 | 118 | 2001 |
| Maude as a formal meta-tool M Clavel, F Durán, S Eker, J Meseguer, MO Stehr International Symposium on Formal Methods, 1684-1703, 1999 | 115 | 1999 |
| Policy-based cognitive radios D Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C Talcott IEEE Wireless Communications 14 (4), 41-46, 2007 | 81 | 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 | 74 | 2000 |
| The HOL/NuPRL proof translator: A practical approach to formal interoperability P Naumov, MO Stehr, J Meseguer International Conference on Theorem Proving in Higher Order Logics, 329-345, 2001 | 59 | 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 | 57 | 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 | 54 | 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 | 48 | 2007 |
| Plan in Maude specifying an active network programming language MO Stehr, CL Talcott Electronic notes in theoretical computer science 71, 240-260, 2004 | 43 | 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 |
| Toward distributed declarative control of networked cyber-physical systems MO Stehr, M Kim, C Talcott International Conference on Ubiquitous Intelligence and Computing, 397-413, 2010 | 34 | 2010 |
| 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 | 34 | 2005 |
| 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 | 33 | 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 | 31 | 2011 |
| An executable formalization of the HOL/Nuprl connection in the metalogical framework Twelf C Schürmann, MO Stehr International Conference on Logic for Programming Artificial Intelligence …, 2006 | 29 | 2006 |
| Network coding for content-based intermittently connected emergency networks J Joy, YT Yu, M Gerla, S Wood, J Mathewson, MO Stehr Proceedings of the 19th annual international conference on Mobile computing …, 2013 | 26 | 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 | 26 | 2012 |
| A distributed logic for networked cyber-physical systems M Kim, MO Stehr, C Talcott Science of Computer Programming 78 (12), 2453-2467, 2013 | 25 | 2013 |
