Mark-Oliver Stehr

62 papers A* 1A 1B 1C 5Misc 1Journal 16Unranked 34

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