Mark-Oliver Stehr

According to our database1, Mark-Oliver Stehr authored at least 54 papers between 1997 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018

2015
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Priority register: Application-defined replacement orderings for ad hoc reconciliation.
Proceedings of the 2015 IEEE International Conference on Big Data, 2015

2014
Tailoring consistency in group membership for mobile networks.
Future Generation Comp. Syst., 2014

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge.
Proceedings of the Posters, 2014

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.
Proceedings of the Specification, Algebra, and Software, 2014

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.
Proceedings of the Computing with New Resources, 2014

2013
Maximizing availability of content in disruptive environments by cross-layer optimization.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Network coding for content-based intermittently connected emergency networks.
Proceedings of the 19th Annual International Conference on Mobile Computing and Networking, 2013

ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge.
Proceedings of the 32th IEEE Military Communications Conference, 2013

2012
xTune: A formal methodology for cross-layer tuning of mobile embedded systems.
ACM Trans. Embedded Comput. Syst., 2012

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing.
J. Parallel Distrib. Comput., 2012

Resilient dependable cyber-physical systems: a middleware perspective.
J. Internet Services and Applications, 2012

Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

2011
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation.
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011

A Distributed Logic for Networked Cyber-Physical Systems.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Tailoring group membership consistency for mobile networks.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

A Formal Methodology for Compositional Cross-Layer Optimization.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Toward Distributed Declarative Control of Networked Cyber-Physical Systems.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2008
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.
Fundam. Inform., 2008

A Semantic Web Reasoner for Rules, Equations and Constraints.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.
Proceedings of the Design, Automation and Test in Europe, 2008

Formal specification of agent-object oriented programs.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007
Policy-Based Cognitive Radios.
IEEE Wireless Commun., 2007

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.
Higher-Order and Symbolic Computation, 2007

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007


Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.
Electr. Notes Theor. Comput. Sci., 2006

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.
Proceedings of the Logic for Programming, 2006

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

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

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.
Electr. Notes Theor. Comput. Sci., 2005

Formal prototyping in early stages of protocol design.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Practical Techniques for Language Design and Prototyping.
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2004
Exploring adaptability of secure group communication using formal prototyping techniques.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2003
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy.
Fundam. Inform., 2003

2002
Plan in Maude: Specifying an Active Network Programming Language.
Electr. Notes Theor. Comput. Sci., 2002

Programmierung, Spezifikation und Interaktives Beweisen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2002, 2002

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

Towards a unified language based on equational logic, rewriting logic, and type theory.
PhD thesis, 2002

2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Electr. Notes Theor. Comput. Sci., 2001

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability).
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Rewriting Logic as a Unifying Framework for Petri Nets.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.
Electr. Notes Theor. Comput. Sci., 2000

1999
Maude as a Formal Meta-tool.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Thinking in Cycles.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Petri's Axioms of Concurrency- A Selection of Recent Results.
Proceedings of the Application and Theory of Petri Nets 1997, 1997


  Loading...