David E. Rydeheard

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 3

Top Venues

RAMiCS

J. Log. Algebraic Methods Program.

Advances in Modal Logic

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Giles Reger, David E. Rydeheard
From parametric trace slicing to rule systems. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Giles Reger, David E. Rydeheard
From Parametric Trace Slicing to Rule Systems. RV (2018)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. 85 (4) (2016)
Giles Reger, David E. Rydeheard
From First-order Temporal Logic to Parametric Trace Slicing. RV (2015)
Giles Reger, Howard Barringer, David E. Rydeheard
Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Giles Reger, Helena Cuenca Cruz, David E. Rydeheard
MarQ: Monitoring at Runtime with QEA. TACAS (2015)
Renate A. Schmidt, John G. Stell, David E. Rydeheard
Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic (2014)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS (2014)
Howard Barringer, David E. Rydeheard, Dov M. Gabbay
Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) (2014)
Giles Reger, Howard Barringer, David E. Rydeheard
A pattern-based approach to parametric specification mining. ASE (2013)
Yanti Rusmawati, David E. Rydeheard
Modelling and Reasoning about Dynamic Networks as Concurrent Systems. FSFMA (2013)
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM (2012)
Djihed Afifi, David E. Rydeheard, Howard Barringer
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV (2010)
Djihed Afifi, David E. Rydeheard, Howard Barringer
Automated Reasoning in the Simulation of Evolvable Systems. PAAR@IJCAR (2010)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20 (3) (2010)
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
Rule Systems for Runtime Verification: A Short Tutorial. RV (2009)
Howard Barringer, Dov M. Gabbay, David E. Rydeheard
Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL 17 (6) (2009)
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies. J. Log. Comput. 18 (3) (2008)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV (2007)
Howard Barringer, David E. Rydeheard, Dov M. Gabbay
A Logical Framework for Monitoring and Evolving Software Components. TASE (2007)
Howard Barringer, Dov M. Gabbay, David E. Rydeheard
From Runtime Verification to Evolvable Systems. RV (2007)
Howard Barringer, David E. Rydeheard
Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! (1) (2005)
David E. Rydeheard, Donald Sannella
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. Formal Aspects Comput. 13 (3-5) (2002)
Barney P. Hilken, David E. Rydeheard
A Theory of Classes: Proofs and Models. Math. Struct. Comput. Sci. 7 (2) (1997)
Esther Dennis-Jones, David E. Rydeheard
Categorical ML - Category-Theoretic Modular Programming. Formal Aspects Comput. 5 (4) (1993)
Barney P. Hilken, David E. Rydeheard
Towards a categorical semantics of type classes. Fundam. Informaticae 16 (1) (1992)
Barney P. Hilken, David E. Rydeheard
Towards a Categorical Semantics Type Classes. MFCS (1991)
David E. Rydeheard, John G. Stell
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. Category Theory and Computer Science (1987)
David E. Rydeheard, Rod M. Burstall
A Categorical Unification Algorithm. CTCS (1985)
David E. Rydeheard
Adjunction. CTCS (1985)
David E. Rydeheard
Functors and Natural Transformations. CTCS (1985)
David E. Rydeheard, Rod M. Burstall
Computing with Categories. CTCS (1985)

David E. Rydeheard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David E. Rydeheard