David E. Rydeheard

Int. J. Softw. Tools Technol. Transf., 2021

2016

A bi-intuitionistic modal logic: Foundations and automation.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Log. Algebraic Methods Program., 2016

2015

Automata-based Pattern Mining from Imperfect Traces.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2015

MarQ: Monitoring at Runtime with QEA.

[BibT_eX]

[DOI]

Helena Cuenca Cruz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

From First-order Temporal Logic to Parametric Trace Slicing.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

A note on first-order reasoning for minimum models.

[BibT_eX]

[DOI]

Jesús Héctor Domínguez Sánchez

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Reactivity and Grammars: An Exploration.

[BibT_eX]

[DOI]

Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014

Axiomatic and Tableau-Based Reasoning for Kt(H, R).

[BibT_eX]

[DOI]

Renate A. Schmidt

Proceedings of the Advances in Modal Logic 10, 2014

Tableau Development for a Bi-intuitionistic Tense Logic.

[BibT_eX]

[DOI]

Renate A. Schmidt

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

A pattern-based approach to parametric specification mining.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modelling and Reasoning about Dynamic Networks as Concurrent Systems.

[BibT_eX]

[DOI]

Yanti Rusmawati

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2010

Rule Systems for Run-time Monitoring: from Eagle to RuleR.

[BibT_eX]

[DOI]

Klaus Havelund

J. Log. Comput., 2010

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

[BibT_eX]

[DOI]

Djihed Afifi

Proceedings of the Runtime Verification - First International Conference, 2010

Automated Reasoning in the Simulation of Evolvable Systems.

[BibT_eX]

[DOI]

Djihed Afifi

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009

Modelling evolvable component systems: Part I: A logical framework.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Rule Systems for Runtime Verification: A Short Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies.

[BibT_eX]

[DOI]

Shenghui Wang

Jeff Z. Pan

J. Log. Comput., 2008

2007

A Logical Framework for Monitoring and Evolving Software Components.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Rule Systems for Run-Time Monitoring: From Eagleto RuleR.

[BibT_eX]

[DOI]

Klaus Havelund

Proceedings of the Runtime Verification, 7th International Workshop, 2007

From Runtime Verification to Evolvable Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2005

Modelling Evolvable Systems: A Temporal Logic View.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2002

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.

[BibT_eX]

[DOI]

Donald Sannella

Formal Aspects Comput., 2002

1997

A Theory of Classes: Proofs and Models.

[BibT_eX]

[DOI]

Barney P. Hilken

Math. Struct. Comput. Sci., 1997

1993

Categorical ML - Category-Theoretic Modular Programming.

[BibT_eX]

[DOI]

Esther Dennis-Jones

Formal Aspects Comput., 1993

1992

Towards a categorical semantics of type classes.

[BibT_eX]

Barney P. Hilken

Fundam. Informaticae, 1992

1988

Computational category theory.

[BibT_eX]

Rod M. Burstall

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-162736-9, 1988

1987

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1987

1985

Computing with Categories.

[BibT_eX]

[DOI]

Rod M. Burstall

Proceedings of the Category Theory and Computer Programming, 1985

A Categorical Unification Algorithm.

[BibT_eX]

[DOI]

Rod M. Burstall

Proceedings of the Category Theory and Computer Programming, 1985

Adjunction.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

Functors and Natural Transformations.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1982

Applications of category theory to programming and program specification.

[BibT_eX]

[DOI]