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
2691988
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
1792008
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
1382012
Rule Systems for Run-Time Monitoring: From Eagle to RuleR
H Barringer, D Rydeheard, K Havelund
International Workshop on Runtime Verification, 111-125, 2007
992007
MarQ: monitoring at runtime with QEA
G Reger, HC Cruz, D Rydeheard
International Conference on Tools and Algorithms for the Construction and …, 2015
822015
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
821987
A categorical unification algorithm
DE Rydeheard, RM Burstall
Category Theory and Computer Programming, 493-505, 1986
751986
Rule systems for runtime verification: A short tutorial
H Barringer, K Havelund, D Rydeheard, A Groce
International Workshop on Runtime Verification, 1-24, 2009
412009
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
272013
Category theory and computer programming: tutorial and workshop, Guildford, UK, September 16-20, 1985: proceedings
D Pitt, S Abramsky, A Poigné, D Rydeheard
Springer, 1986
231986
From runtime verification to evolvable systems
H Barringer, D Gabbay, D Rydeheard
International Workshop on Runtime Verification, 97-110, 2007
212007
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification, 216-232, 2015
192015
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
DH Pitt, DE Rydeheard, P Dybjer, AM Pitts, A Poigné
Springer Berlin Heidelberg, 1989
19*1989
Computational category theory
RM Burstall, DE Rydeheard
Prentice-Hall Press, 1988
181988
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
162016
Automata-based Pattern Mining from Imperfect Traces
G Reger, H Barringer, D Rydeheard
2nd International Workshop on Software Mining, 2013
132013
Adjunctions
DE Rydeheard
Category Theory and Computer Programming, 51-57, 1986
121986
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
112007
A first order modal logic and its sheaf models
B Hilken, D Rydeheard
FLoC Satellite Workshop on Intuitionistic Modal Logics and Applications …, 1999
111999
Towards a categorical semantics of type classes
BP Hilken, DE Rydeheard
International Symposium on Mathematical Foundations of Computer Science, 191-201, 1991
111991
The system can't perform the operation now. Try again later.
Articles 1–20