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