Search the dblp DataBase

Publications of Author

1. Olaf Kummer, Mark-Oliver Stehr
   Petri's Axioms of Concurrency- A Selection of Recent Results. [Citation Graph (0, 0)][DBLP]
   ICATPN, 1997, pp:195-214 [Conf]
   
2. Mark-Oliver Stehr
   Thinking in Cycles. [Citation Graph (0, 0)][DBLP]
   ICATPN, 1998, pp:205-225 [Conf]
   
3. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
   Rewriting Logic as a Unifying Framework for Petri Nets. [Citation Graph (0, 0)][DBLP]
   Unifying Petri Nets, 2001, pp:250-303 [Conf]
   
4. Mark-Oliver Stehr, José Meseguer
   Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. [Citation Graph (0, 0)][DBLP]
   Essays in Memory of Ole-Johan Dahl, 2004, pp:334-375 [Conf]
   
5. Mark-Oliver Stehr, Carolyn L. Talcott
   Practical Techniques for Language Design and Prototyping. [Citation Graph (0, 0)][DBLP]
   Foundations of Global Computing, 2005, pp:- [Conf]
   
6. José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
   Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. [Citation Graph (0, 0)][DBLP]
   DANCE, 2002, pp:494-510 [Conf]
   
7. Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
   Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1684-1703 [Conf]
   
8. Carsten Schürmann, Mark-Oliver Stehr
   An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:150-166 [Conf]
   
9. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
   Exploring adaptability of secure group communication using formal prototyping techniques. [Citation Graph (0, 0)][DBLP]
   Adaptive and Reflective Middleware, 2004, pp:232-237 [Conf]
   
10. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
    Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:113-120 [Conf]
    
11. Pavel Naumov, Mark-Oliver Stehr, José Meseguer
    The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:329-345 [Conf]
    
12. Iliano Cervesato, Mark-Oliver Stehr
    Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:183-207 [Journal]
    
13. Mark-Oliver Stehr, Carolyn L. Talcott
    Plan in Maude: Specifying an Active Network Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
14. Mark-Oliver Stehr
    CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
    
15. Mark-Oliver Stehr
    Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:299-323 [Journal]
    
16. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
    Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
    
17. Amin Coja-Oghlan, Mark-Oliver Stehr
    Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:151-164 [Journal]
    
18. Mark-Oliver Stehr
    The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:68, n:1-2, pp:131-174 [Journal]
    
19. Mark-Oliver Stehr
    The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:68, n:3, pp:249-288 [Journal]
    
20. Minyoung 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. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:285-300 [Conf]
    
21. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:257-273 [Conf]
    
22. Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins
    CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:261-265 [Conf]
    
23. Iliano Cervesato, Mark-Oliver Stehr
    Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:3-35 [Journal]
    
24. 
    Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. [Citation Graph (, )][DBLP]
    
    
25. 
    Formal prototyping in early stages of protocol design. [Citation Graph (, )][DBLP]
    
    
26. 
    A Semantic Web Reasoner for Rules, Equations and Constraints. [Citation Graph (, )][DBLP]
    
    
27. 
    Some Tools. [Citation Graph (, )][DBLP]