Mark-Oliver Stehr

	2008
28		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		Daniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
26		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		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		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		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		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		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		Carsten Schürmann, Mark-Oliver Stehr: An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR 2006: 150-166
19		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		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		Mark-Oliver Stehr, Carolyn L. Talcott: Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005
16		Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80
15		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		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		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		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		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		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		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		Mark-Oliver Stehr, Carolyn L. Talcott: Plan in Maude: Specifying an Active Network Programming Language. Electr. Notes Theor. Comput. Sci. 71: (2002)
	2001
7		Pavel Naumov, Mark-Oliver Stehr, José Meseguer: The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
6		Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
5		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		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		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		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

Coauthor Index

1	Christiano Braga (Christiano de O. Braga)	[25]
2	Iliano Cervesato	[15] [21]
3	Manuel Clavel	[3] [25]
4	Amin Coja-Oghlan	[10]
5	Grit Denker	[22] [27]
6	Francisco Durán	[3] [25]
7	Nikil D. Dutt (Nikil Dutt)	[23] [24] [28]
8	Steven Eker	[3] [25]
9	Daniel Elenius	[22] [27]
10	Azadeh Farzan	[25]
11	Alwyn Goodloe	[16]
12	Carl A. Gunter	[16]
13	Sebastian Gutierrez-Nolasco	[12] [19]
14	Joe Hendrix	[25]
15	Minyoung Kim	[23] [24] [28]
16	Olaf Kummer	[1]
17	Patrick Lincoln	[25]
18	Narciso Martí-Oliet	[25]
19	José Meseguer	[3] [5] [6] [7] [9] [11] [25]
20	Pavel Naumov	[7]
21	Peter Csaba Ölveczky	[5] [6] [9] [25]
22	Miguel Palomino	[25]
23	Ralf Sasse	[25]
24	Carsten Schürmann	[20]
25	Rukman Senanayake	[22]
26	Carolyn L. Talcott	[8] [9] [12] [17] [19] [22] [23] [24] [25] [28]
27	Nalini Venkatasubramanian	[12] [19] [23] [24] [28]
28	Alberto Verdejo	[25]
29	David Wilkins	[22]

Colors in the list of coauthors