Mark-Oliver Stehr

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 9

Top Venues

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Mark-Oliver Stehr, Minyoung Kim
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings. CoRR (2023)
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. 124 (2022)
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR (2019)
Mark-Oliver Stehr, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky, Akos Vertes
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. CoRR (2019)
Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky
Transcriptional Response of SK-N-AS Cells to Methamidophos. CoRR (2019)
Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). CMSB (2019)
Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Hang Li, Peter Nemes, Lida Parvin, Sylwia Stopka, Sunil Hwang, Ziad J. Sahab, Linwen Zhang, Deborah I. Bunin, Merrill Knapp, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Sean R. Dinn, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. CMSB (2018)
Sathiya Prabhu Kumar, Sylvain Lefebvre, Minyoung Kim, Mark-Oliver Stehr
Priority register: Application-defined replacement orderings for ad hoc reconciliation. IEEE BigData (2015)
Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. Logic, Rewriting, and Concurrency (2015)
Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops (2014)
Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
Tailoring consistency in group membership for mobile networks. Future Gener. Comput. Syst. 31 (2014)
Mark-Oliver Stehr, Minyoung Kim, Tim McCarthy
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems. Computing with New Resources (2014)
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software (2014)
Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM (2014)
Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves
ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge. MILCOM (2013)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. 78 (12) (2013)
Jong-Seok Choi, Tim McCarthy, Minyoung Kim, Mark-Oliver Stehr
Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. MobiQuitous (2013)
Minyoung Kim, Ashish Gehani, Je-Min Kim, Dawood Tariq, Mark-Oliver Stehr, Jin-Soo Kim
Maximizing availability of content in disruptive environments by cross-layer optimization. SAC (2013)
Joshua Joy, Yu-Ting Yu, Mario Gerla, Samuel B. Wood, James Mathewson, Mark-Oliver Stehr
Network coding for content-based intermittently connected emergency networks. MobiCom (2013)
Grit Denker, Nikil D. Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian
Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. 3 (1) (2012)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. J. Parallel Distributed Comput. 72 (4) (2012)
Françoise Sailhan, Mark-Oliver Stehr
Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem. GreenCom (2012)
Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr
Tailoring group membership consistency for mobile networks. CTS (2011)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
A Distributed Logic for Networked Cyber-Physical Systems. FSEN (2011)
Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC (2011)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha
An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. EUC (2010)
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC (2010)
Mark-Oliver Stehr
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. Fundam. Informaticae 82 (4) (2008)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE (2008)
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
Formal specification of agent-object oriented programs. CTS (2008)
Daniel Elenius, Grit Denker, Mark-Oliver Stehr
A Semantic Web Reasoner for Rules, Equations and Constraints. RR (2008)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS (2007)
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)
David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott
Policy-Based Cognitive Radios. IEEE Wirel. Commun. 14 (4) (2007)
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)
Iliano Cervesato, Mark-Oliver Stehr
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. High. Order Symb. Comput. 20 (1-2) (2007)
Mark-Oliver Stehr
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. Electron. Notes Theor. Comput. Sci. 159 (2006)
Carsten Schürmann, Mark-Oliver Stehr
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR (2006)
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)
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. Informaticae 68 (3) (2005)
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
Formal prototyping in early stages of protocol design. WITS (2005)
Mark-Oliver Stehr, Carolyn L. Talcott
Practical Techniques for Language Design and Prototyping. Foundations of Global Computing (2005)
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. Informaticae 68 (1-2) (2005)
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)
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)
Iliano Cervesato, Mark-Oliver Stehr
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. WRLA (2004)
Amin Coja-Oghlan, Mark-Oliver Stehr
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. Fundam. Informaticae 54 (2-3) (2003)
Mark-Oliver Stehr, Carolyn L. Talcott
Plan in Maude: Specifying an Active Network Programming Language. Electron. Notes Theor. Comput. Sci. 71 (2002)
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)
Mark-Oliver Stehr
Programmierung, Spezifikation und Interaktives Beweisen. Ausgezeichnete Informatikdissertationen (2002)
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets (2001)
Pavel Naumov, Mark-Oliver Stehr, José Meseguer
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs (2001)
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Mark-Oliver Stehr
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. WRLA (2000)
Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
Maude as a Formal Meta-tool. World Congress on Formal Methods (1999)
Mark-Oliver Stehr
Thinking in Cycles. ICATPN (1998)
Olaf Kummer, Mark-Oliver Stehr
Petri's Axioms of Concurrency- A Selection of Recent Results. ICATPN (1997)

Mark-Oliver Stehr.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark-Oliver Stehr