Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

15 Results
Author: personID (integer) : 992041
Image document

SCL with Theory Constraints

Martin Bromberger , Alberto Fiori , Christoph Weidenbach
2020
Preprints, Working Papers, ... hal-02975868v1

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Markus Krötzsch et al.
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-86205-3_1⟩
Conference papers hal-03531889v1

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories

Martin Bromberger , Alberto Fiori , Christoph Weidenbach
VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation, Jan 2021, Copenhagen/virtuel, Denmark. pp.511-533, ⟨10.1007/978-3-030-67067-2_23⟩
Conference papers hal-03531893v1
Image document

The Challenge of Unifying Semantic and Syntactic Inference Restrictions

Christoph Weidenbach
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
Conference papers hal-02406673v1

Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

Thomas Sturm , Marco Voigt , Christoph Weidenbach
LICS 2016, Jul 2016, New York, United States. pp.86 - 95, ⟨10.1145/2933575.2934532⟩
Conference papers hal-01389744v1
Image document

SCL(EQ): SCL for First-Order Logic with Equality

Hendrik Leidinger , Christoph Weidenbach
IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.228-247, ⟨10.1007/978-3-031-10769-6_14⟩
Conference papers hal-03881912v1
Image document

Semantic Relevance

Fajar Haifani , Christoph Weidenbach
IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.208-227, ⟨10.1007/978-3-031-10769-6_13⟩
Conference papers hal-03881904v1
Image document

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

Martin Bromberger , Lorenz Leutgeb , Christoph Weidenbach
IJCAR 2022 - International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.147-168, ⟨10.1007/978-3-031-10769-6_10⟩
Conference papers hal-03881893v1
Image document

Compliance, Functional Safety and Fault Detection by Formal Methods

Christof Fetzer , Christoph Weidenbach , Patrick Wischnewski
Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), 2016, Corfu, Greece. pp.626 - 632, ⟨10.1007/978-3-319-47169-3_48⟩
Conference papers hal-01403190v1
Image document

SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment

Andreas Teucke , Christoph Weidenbach
Journal of Automated Reasoning, 2020, 64 (3), pp.611-640. ⟨10.1007/s10817-020-09546-z⟩
Journal articles hal-02965030v1
Image document

On a Notion of Relevance

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers hal-03141063v1

Preface to the Special Issue on Automated Reasoning Systems

Armin Biere , Cesare Tinelli , Christoph Weidenbach
Journal of Automated Reasoning, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩
Journal articles hal-03145431v1
Image document

Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification

Rasha Faqeh , Christof Fetzer , Holger Herrmanns , Jörg Hoffmann , Michaela Klauck et al.
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
Conference papers hal-02965830v1
Image document

Towards Verification of the Pastry Protocol Using TLA +

Tianxiang Lu , Stephan Merz , Christoph Weidenbach
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers hal-01583322v1

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Larry González et al.
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Apr 2022, Munich (Germany), Germany. pp.480-501, ⟨10.1007/978-3-030-99524-9_27⟩
Conference papers hal-03881921v1