HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Rydeheard

Publications
From Parametric Trace Slicing to Rule Systems
Giles Reger and David Rydeheard
EasyChair Preprint no. 521
A note on first-order reasoning for minimum models
David Rydeheard and Jesus Hector Dominguez Sanchez
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Automated Reasoning in the Simulation of Evolvable Systems
Djihed Afifi, David Rydeheard and Howard Barringer
In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Keyphrases

automated reasoning, component systems, Evolvable systems, quantified event automata, rule systems, runtime monitoring, runtime verification.

Copyright © 2012-2023 easychair.org. All rights reserved.