David Rydeheard
David Rydeheard
Department of Computer Science, University of Manchester
E-mail confirmado em manchester.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Computational category theory
DE Rydeheard, RM Burstall
Prentice Hall, 1988
2641988
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
1912008
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
1502012
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
972015
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
721986
Rule systems for runtime verification: A short tutorial
H Barringer, K Havelund, D Rydeheard, A Groce
International Workshop on Runtime Verification, 1-24, 2009
432009
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
302013
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification, 216-232, 2015
212015
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
211986
From runtime verification to evolvable systems
H Barringer, D Gabbay, D Rydeheard
International Workshop on Runtime Verification, 97-110, 2007
192007
Category Theory and Computer Science, LNCS 283
DH Pitt, S Abramsky, A Poigné, DE Rydeheard
Springer-Verlag, 1987
19*1987
Computational category theory
RM Burstall, DE Rydeheard
Prentice-Hall Press, 1988
171988
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
152013
Adjunctions
DE Rydeheard
Category Theory and Computer Programming, 51-57, 1986
121986
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20