|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian |
Resilient dependable cyber-physical systems: a middleware perspective.  |
J. Internet Services and Applications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Distrib. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott |
A Distributed Logic for Networked Cyber-Physical Systems. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian |
A Formal Methodology for Compositional Cross-Layer Optimization. |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott |
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. |
UIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha |
An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. |
EUC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott |
Toward Distributed Declarative Control of Networked Cyber-Physical Systems. |
UIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel Elenius, Grit Denker, Mark-Oliver Stehr |
A Semantic Web Reasoner for Rules, Equations and Constraints. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian |
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Multiset rewriting, Specification, Security protocol, Dependent types |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Probabilistic Formal Methods, Resource Management, Statistical Analysis, Cross-layer Optimization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling |
| 1 | Mark-Oliver Stehr |
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Mark-Oliver Stehr |
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr |
Formal prototyping in early stages of protocol design. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, Carolyn L. Talcott |
Practical Techniques for Language Design and Prototyping. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Coja-Oghlan, Mark-Oliver Stehr |
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, Carolyn L. Talcott |
Plan in Maude: Specifying an Active Network Programming Language. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr |
Towards a unified language based on equational logic, rewriting logic, and type theory. |
|
2002 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky |
Rewriting Logic as a Unifying Framework for Petri Nets. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Naumov, Mark-Oliver Stehr, José Meseguer |
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr |
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr |
Maude as a Formal Meta-tool. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr |
Thinking in Cycles. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
synchronization graphs, concurrency, causality, cyclic orders |
| 1 | Olaf Kummer, Mark-Oliver Stehr |
Petri's Axioms of Concurrency- A Selection of Recent Results. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Topics Axiomatic theory of concurrency/causality |
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")