Giles Reger

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

The Rapid Software Verification Framework.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Getting Saturated with Induction.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

To test, or not to test: A proactive approach for deciding complete performance test initiation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

2021

From parametric trace slicing to rule systems.

[BibT_eX]

[DOI]

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

A taxonomy for classifying runtime verification tools.

[BibT_eX]

[DOI]

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

Making Theory Reasoning Simpler.

[BibT_eX]

[DOI]

Johannes Schoisswohl

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

Eliminating Models During Model Elimination.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

lazyCoP: Lazy Paramodulation Meets Neurally Guided Search.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

A Multithreaded Vampire with Shared Persistent Grounding.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer Aided Design, 2021

On Evaluating Theorem Provers.

[BibT_eX]

[DOI]

Ahmed Abdulrahman Alghamdi

Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021

2020

Analysing the Performance of Python-Based Web Services with the VyPR Framework.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020

Directed Graph Networks for Logical Reasoning (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

A Polymorphic Vampire - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Combinator-Based Superposition Calculus for Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Runtime Verification Past Experiences and Future Projections.

[BibT_eX]

[DOI]

Grigore Rosu

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

[BibT_eX]

[DOI]

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

The SMT Competition 2015-2018.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2019

Boldly Going Where No Prover Has Gone Before.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

VyPR2: A Framework for Runtime Verification of Python Web Services.

[BibT_eX]

[DOI]

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

International Competition on Runtime Verification (CRV).

[BibT_eX]

[DOI]

Ezio Bartocci

Yliès Falcone

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

Specification of temporal properties of functions for runtime verification.

[BibT_eX]

[DOI]

Joshua Heneage Dawes

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Explaining Violations of Properties in Control-Flow Temporal Logic.

[BibT_eX]

[DOI]

Joshua Heneage Dawes

Proceedings of the Runtime Verification - 19th International Conference, 2019

Symmetry Avoidance in MACE-Style Finite Model Finding.

[BibT_eX]

[DOI]

Martin Riener

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

A Neurally-Guided, Parallel Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

Induction in Saturation-Based Proof Search.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

Restricted Combinatory Unification.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Monitoring Events that Carry Data.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Introduction to Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Specification of State and Time Constraints for Runtime Verification of Functions.

[BibT_eX]

[DOI]

Joshua Heneage Dawes

CoRR, 2018

Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning.

[BibT_eX]

[DOI]

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

COST Action IC1402 Runtime Verification Beyond Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary).

[BibT_eX]

[DOI]

Wolfgang Ahrendt

Marieke Huisman

Kristin Yvonne Rozier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Some Thoughts About FOL-Translations in Vampire.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

Dynamic Strategy Priority: Empower the Strong and Abandon the Weak.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

Set of Support for Higher-Order Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

A Story of Parametric Trace Slicing, Garbage and Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Testing a Saturation-Based Theorem Prover: Experiences and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Instantiation and Pretending to be an SMT Solver with Vampire.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

A Report of RV-CuBES 2017.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Set of Support for Theory Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

A Report of ARCADE 2017.

[BibT_eX]

[DOI]

Dmitriy Traytel

Proceedings of the ARCADE 2017, 2017

Checkable Proofs for First-Order Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the ARCADE 2017, 2017

Runtime Verification Logics A Language Design Perspective.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Finding Finite Models in Multi-sorted First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Third International Competition on Runtime Verification - CRV 2016.

[BibT_eX]

[DOI]

Sylvain Hallé

Yliès Falcone

Proceedings of the Runtime Verification - 16th International Conference, 2016

An Overview of MarQ.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

What Is a Trace? A Runtime Verification Perspective.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Considering Typestate Verification for Quantified Event Automata.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

AVATAR Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

New Techniques in Clausal Form Generation.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

The vampire and the FOOL.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

Better Proof Output for Vampire.

[BibT_eX]

[DOI]

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

Global Subsumption Revisited (Briefly).

[BibT_eX]

[DOI]

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

Selecting the Selection.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Automata-based Pattern Mining from Imperfect Traces.

[BibT_eX]

[DOI]

Howard Barringer

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

Specification of Parametric Monitors.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

From First-order Temporal Logic to Parametric Trace Slicing.

[BibT_eX]

[DOI]

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

Suggesting Edits to Explain Failing Traces.

[BibT_eX]

[DOI]

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

Second International Competition on Runtime Verification CRV 2015.

[BibT_eX]

[DOI]

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

Cooperating Proof Attempts.

[BibT_eX]

[DOI]

Dmitry Tishkovsky

Proceedings of the Automated Deduction - CADE-25, 2015

Playing with AVATAR.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

The Uses of SAT Solvers in Vampire.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

Automata based monitoring and mining of execution traces.

[BibT_eX]

[DOI]

PhD thesis, 2014

The Challenges of Evaluating a New Feature in Vampire.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2014

2013

A Tutorial on Runtime Verification.

[BibT_eX]

[DOI]

Yliès Falcone

Proceedings of the Engineering Dependable Software Systems, 2013

A pattern-based approach to parametric specification mining.

[BibT_eX]

[DOI]

Howard Barringer