From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Reasoning Using the Assumption-Commitment Paradigm
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Probabilistic Neighbourhood Logic
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Constructing Test Automata from Graphical Real-Time Requirements
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
A Behavioral Model for Co-design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Labelled Natural Deduction for Interval Logics
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
K-Mediator: Towards Evolving Information Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Actions with Failures in Interval Temporal Logic
Computational Logic in Multi-Agent Systems
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Declarative Agent Languages and Technologies VI
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Qualitative reasoning in electronic fault diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Temporal prepositions and their logic
Artificial Intelligence
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Sharpening the Incompleteness of the Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive verification of concurrent systems using symbolic execution
AI Communications - Practical Aspects of Automated Reasoning
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
A modal fixpoint logic with chop
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Completeness of neighbourhood logic
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A theory of duration calculus with application
Domain modeling and the duration calculus
Formal methods and hybrid real-time systems
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
An abstract model for proving safety of multi-lane traffic manoeuvres
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Modal strength reduction in quantified discrete duration calculus
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Temporal modalities for concisely capturing timing diagrams
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
A hoare logic for the coinductive trace-based big-step semantics of while
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
A simple and flexible timing constraint logic
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Dynamic logic with trace semantics
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Proving safety of traffic manoeuvres on country roads
Theories of Programming and Formal Methods
Verification and enforcement of access control policies
Formal Methods in System Design
| Hi-index | 4.10 |
First Page of the Article