Follow
David Rydeheard
David Rydeheard
Department of Computer Science, University of Manchester
Verified email at manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
Computational category theory
DE Rydeheard, RM Burstall
Prentice Hall, 1988
3201988
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
2132008
Quantified event automata: Towards expressive and efficient runtime monitors
H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
2082012
MarQ: Monitoring at Runtime with QEA
G Reger, HC Cruz, D Rydeheard
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1492015
Rule Systems for Run-Time Monitoring: From Eagle to RuleR
H Barringer, D Rydeheard, K Havelund
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007
1162007
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
DE Rydeheard, JG Stell
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
852005
A categorical unification algorithm
DE Rydeheard, RM Burstall
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005
822005
Rule systems for runtime verification: A short tutorial
H Barringer, K Havelund, D Rydeheard, A Groce
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009
492009
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
412013
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
312015
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
302016
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
251986
From runtime verification to evolvable systems
H Barringer, D Gabbay, D Rydeheard
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007
202007
Computational category theory
RM Burstall, DE Rydeheard
To appear, 1988
201988
Category Theory and Computer Science, LNCS 283
DH Pitt, S Abramsky, A Poigne, DE Rydeheard
Springer-Verlag, 1987
19*1987
Automata-based Pattern Mining from Imperfect Traces
G Reger, H Barringer, D Rydeheard
2nd International Workshop on Software Mining, 2013
182013
Category Theory and Computer Science (Paris, 1991), volume 530 of Lecture Notes in Computer Science
D Pitt, PL Curien, S Abramsky, AM Pitts, A Poigné, DE Rydeheard
Springer-Verlag.(xv), 1991
161991
Adjunctions
DE Rydeheard
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005
142005
Towards a categorical semantics of type classes
BP Hilken, DE Rydeheard
International Symposium on Mathematical Foundations of Computer Science, 191-201, 1991
121991
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
102007
The system can't perform the operation now. Try again later.
Articles 1–20