David Rydeheard
David Rydeheard
Department of Computer Science, University of Manchester
Verified email at manchester.ac.uk - Homepage
Cited by
Cited by
Computational category theory
DE Rydeheard, RM Burstall
Prentice Hall, 1988
Rule Systems for Run-time Monitoring: from Eagle to RuleR
H Barringer, D Rydeheard, K Havelund
Journal of Logic and Computation 20 (3), 675-706, 2008
Quantified event automata: Towards expressive and efficient runtime monitors
H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard
International Symposium on Formal Methods, 68-84, 2012
MarQ: monitoring at runtime with QEA
G Reger, HC Cruz, D Rydeheard
International Conference on Tools and Algorithms for the Construction and …, 2015
Rule Systems for Run-Time Monitoring: From Eagle to RuleR
H Barringer, D Rydeheard, K Havelund
International Workshop on Runtime Verification, 111-125, 2007
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
DE Rydeheard, JG Stell
Category Theory and Computer Science, 114-139, 1987
A categorical unification algorithm
DE Rydeheard, RM Burstall
Category Theory and Computer Programming, 493-505, 1986
Rule systems for runtime verification: A short tutorial
H Barringer, K Havelund, D Rydeheard, A Groce
International Workshop on Runtime Verification, 1-24, 2009
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings
DH Pitt, S Abramsky, A Poigné, DE Rydeheard
CTCS, 1986
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification, 216-232, 2015
From runtime verification to evolvable systems
H Barringer, D Gabbay, D Rydeheard
International Workshop on Runtime Verification, 97-110, 2007
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
DH Pitt, PL Curien, S Abramsky, A Pitts, A Poigne, DE Rydeheard
Springer Science & Business Media, 1991
A bi-intuitionistic modal logic: Foundations and automation
JG Stell, RA Schmidt, D Rydeheard
Journal of Logical and Algebraic Methods in Programming 85 (4), 500-519, 2016
Computational category theory
RM Burstall, DE Rydeheard
Prentice-Hall Press, 1988
Automata-based Pattern Mining from Imperfect Traces
G Reger, H Barringer, D Rydeheard
2nd International Workshop on Software Mining, 2013
DE Rydeheard
Category Theory and Computer Programming, 51-57, 1986
Towards a categorical semantics of type classes
BP Hilken, DE Rydeheard
International Symposium on Mathematical Foundations of Computer Science, 191-201, 1991
A logical framework for monitoring and evolving software components
H Barringer, D Rydeheard, D Gabbay
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
A first order modal logic and its sheaf models
B Hilken, D Rydeheard
FLoC Satellite Workshop on Intuitionistic Modal Logics and Applications …, 1999
The system can't perform the operation now. Try again later.
Articles 1–20