Mark-Oliver Stehr

发表

A Semantic Framework for Reconfiguration of Instrumented Cyber Physical Spaces

Daniel Massaguer, S. Mehrotra, N. Venkatasubramanian, 2007 .

Rules and Computation on the Semantic Web

Mark-Oliver Stehr, D. Elenius, 2007 .

A Formal Methods Approach to Adaptive Secure Group Communication

N. Venkatasubramanian, Sebastian Gutierrez-Nolasco, Mark-Oliver Stehr, 2004 .

Some Tools

Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.

Higher-Order Rewriting via Conditional First-Order Rewriting in the Open Calculus of Constructions

Mark-Oliver Stehr, 2004 .

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

Carolyn L. Talcott, Patrick Lincoln, Mark-Oliver Stehr, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data pdf

Carolyn L. Talcott, Mark-Oliver Stehr, Merrill Knapp, 2019, ArXiv.

Pervasive Sensing and Monitoring for Situational Awareness

Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr, 2012 .

xTune: A formal methodology for cross-layer tuning of mobile embedded systems

Nikil D. Dutt, Nalini Venkatasubramanian, Carolyn L. Talcott, 2012, TECS.

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing

Soonhoi Ha, Mark-Oliver Stehr, Hyunok Oh, 2012, J. Parallel Distributed Comput..

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Soonhoi Ha, Mark-Oliver Stehr, Minyoung Kim, 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems

Mark-Oliver Stehr, Minyoung Kim, Timothy McCarthy, 2014, Computing with New Resources.

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

Mark-Oliver Stehr, Amin Coja-Oghlan, A. Coja-Oghlan, 2002, Fundam. Informaticae.

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, UNIGRA.

Rewriting Logic as a Unifying Framework for Petri Nets

Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, Unifying Petri Nets.

Thinking in Cycles

Mark-Oliver Stehr, Mark-Oliver Stehr, 1998, ICATPN.

Petri's Axioms of Concurrency- A Selection of Recent Results

Mark-Oliver Stehr, Olaf Kummer, Mark-Oliver Stehr, 1997, ICATPN.

A probabilistic approximate logic for neuro-symbolic learning and reasoning

Carolyn L. Talcott, Mark-Oliver Stehr, Minyoung Kim, 2022, J. Log. Algebraic Methods Program..

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine pdf

Carolyn L. Talcott, Mark-Oliver Stehr, Merrill Knapp, 2019, ArXiv.

Maude as a wide-spectrum framework for formal modeling and analysis of active networks

Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2002, Proceedings DARPA Active Networks Conference and Exposition.

A Semantic Web Reasoner for Rules, Equations and Constraints

Daniel Elenius, Grit Denker, Mark-Oliver Stehr, 2008, RR.

Toward Distributed Declarative Control of Networked Cyber-Physical Systems

Carolyn L. Talcott, Mark-Oliver Stehr, Minyoung Kim, 2010, UIC.

Transcriptional Response of SK-N-AS Cells to Methamidophos pdf

Carolyn L. Talcott, Mark-Oliver Stehr, Merrill Knapp, 2019, CMSB.

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing

Carolyn L. Talcott, Mark-Oliver Stehr, Minyoung Kim, 2014, Specification, Algebra, and Software.

Plan in Maude: Specifying an Active Network Programming Language

Carolyn L. Talcott, Mark-Oliver Stehr, C. Talcott, 2004, WRLA.

Policy-Based Cognitive Radios

Carolyn L. Talcott, Daniel Elenius, Grit Denker, 2007, IEEE Wireless Communications.

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation

Nalini Venkatasubramanian, Carolyn L. Talcott, Sebastian Gutierrez-Nolasco, 2006, 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).

Exploring adaptability of secure group communication using formal prototyping techniques

Nalini Venkatasubramanian, Carolyn L. Talcott, Sebastian Gutierrez-Nolasco, 2004, Adaptive and Reflective Middleware.

Formal prototyping in early stages of protocol design

Mark-Oliver Stehr, Carl A. Gunter, Alwyn E. Goodloe, 2005, WITS '05.

Maude as a Formal Meta-tool

Francisco Durán, José Meseguer, Mark-Oliver Stehr, 1999, World Congress on Formal Methods.

Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data

Hang Li, Carolyn L. Talcott, Mark-Oliver Stehr, 2018, CMSB.

Priority register: Application-defined replacement orderings for ad hoc reconciliation

Mark-Oliver Stehr, Minyoung Kim, Sylvain Lefebvre, 2015, 2015 IEEE International Conference on Big Data (Big Data).

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Mark-Oliver Stehr, Mark-Oliver Stehr, 2005, Fundam. Informaticae.

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)

José Meseguer, Mark-Oliver Stehr, Pavel Naumov, 2001, TPHOLs.

CINNI – A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and π-Calculi

Mark-Oliver Stehr, Mark-Oliver Stehr, 2005 .

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

José Meseguer, Mark-Oliver Stehr, J. Meseguer, 2004, Essays in Memory of Ole-Johan Dahl.

CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi

Mark-Oliver Stehr, Mark-Oliver Stehr, 2000, WRLA.

Plan in Maude: Specifying an Active Network Programming Language

C. Talcott, Mark-Oliver Stehr, 2004, WRLA.

Practical Techniques for Language Design and Prototyping

Carolyn L. Talcott, Mark-Oliver Stehr, C. Talcott, 2005, Foundations of Global Computing.

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

Nikil D. Dutt, Nalini Venkatasubramanian, Carolyn L. Talcott, 2007, FMOODS.

A distributed logic for Networked Cyber-Physical Systems

Carolyn L. Talcott, Mark-Oliver Stehr, Minyoung Kim, 2011, Sci. Comput. Program..

Tailoring consistency in group membership for mobile networks

Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr, 2014, Future Gener. Comput. Syst..

ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge

Hamid R. Sadjadpour, Mario Gerla, J. J. Garcia-Luna-Aceves, 2013, MILCOM 2013 - 2013 IEEE Military Communications Conference.

Tailoring group membership consistency for mobile networks

Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr, 2011, 2011 International Conference on Collaboration Technologies and Systems (CTS).