David Rydeheard
David Rydeheard
Department of Computer Science, University of Manchester
Dirección de correo verificada de manchester.ac.uk - Página principal
Citado por
Citado por
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
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
MarQ: monitoring at runtime with QEA
G Reger, HC Cruz, D Rydeheard
International Conference on Tools and Algorithms for the Construction and …, 2015
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
D Pitt, S Abramsky, A Poigné, D Rydeheard
Springer, 1986
From runtime verification to evolvable systems
H Barringer, D Gabbay, D Rydeheard
International Workshop on Runtime Verification, 97-110, 2007
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification, 216-232, 2015
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
Computational category theory
RM Burstall, DE Rydeheard
Prentice-Hall Press, 1988
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
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
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
Towards a categorical semantics of type classes
BP Hilken, DE Rydeheard
International Symposium on Mathematical Foundations of Computer Science, 191-201, 1991
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20