David Rydeheard

University of Manchester — United Kingdom

Computer Science · Physical Sciences

12h-index980citations53works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(26), Formal Methods in Verification(19), Logic, Reasoning, and Knowledge(18), Software Testing and Debugging Techniques(9), Semantic Web and Ontologies(8)

Publications53 total

Rod Burstall: In Memoriam
Formal Aspects of Computing·2025Open Access
From parametric trace slicing to rule systems
International Journal on Software Tools for Technology Transfer·2021· 1 citedOpen Access
From Parametric Trace Slicing to Rule Systems
EasyChair preprint·2018· 1 citedOpen Access
A note on first-order reasoning for minimum models
EPiC series in computing·2018Open Access
Automated Reasoning in the Simulation of Evolvable Systems
EPiC series in computing·2018· 2 citedOpen Access
From Parametric Trace Slicing to Rule Systems
Lecture notes in computer science·2018· 3 citedOpen Access
A bi-intuitionistic modal logic: Foundations and automation
Journal of Logical and Algebraic Methods in Programming·2015· 19 citedOpen Access
Automata-based Pattern Mining from Imperfect Traces
ACM SIGSOFT Software Engineering Notes·2015· 9 cited
From First-order Temporal Logic to Parametric Trace Slicing
Lecture notes in computer science·2015· 28 cited
MarQ: Monitoring at Runtime with QEA
Lecture notes in computer science·2015· 110 citedOpen Access
A note on logical description, observational orders and minimum models
Research Explorer (The University of Manchester)·2014
Tableau Development for a Bi-intuitionistic Tense Logic
Lecture notes in computer science·2014· 4 cited
Reactivity and Grammars: An Exploration
Lecture notes in computer science·2014· 1 citedOpen Access
Axiomatic and tableau-based reasoning for Kt(H,R)
Research Explorer (The University of Manchester)·2014· 5 cited
A pattern-based approach to parametric specification mining
2013· 35 cited
Modelling and Reasoning about Dynamic Networks as Concurrent Systems
Research Explorer (The University of Manchester)·2013· 1 cited
Automata-based Pattern Mining from Imperfect Traces
2013· 4 cited
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Lecture notes in computer science·2012· 142 cited
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Lecture notes in computer science·2010· 2 cited
Modelling evolvable component systems: Part I: A logical framework
Logic Journal of IGPL·2009· 5 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Howard Barringer(16), Giles Reger(9), David H. Pitt(7), Axel Poigné(6), Dov M. Gabbay(5), Klaus Havelund(4), R. M. Burstall(4), John G. Stell(4), Samson Abramsky(4), Andrew M. Pitts(4), Renate A. Schmidt(3), Barney P. Hilken(2), Djihed Afifi(2), Pierre-Louis Curien(2), Peter Dybjer(2), Ylìès Falcone(1), Helena Cuenca Cruz(1), Alex Groce(1), David Pitt(1), Brian Warboys(1)