Search - Archive ouverte HAL Access content directly

Filter your results

404 Results
Structure: Internal structure identifier : 107895

Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete

Marco Voigt , Christoph Weidenbach
Other publications hal-01239399v1
Image document

SCL with Theory Constraints

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

First-Order Tests for Toricity

Hamid Rahkooy , Thomas Sturm
Preprints, Working Papers, ... hal-03017907v1

Verification and synthesis using real quantifier elimination

Thomas Sturm , Ashish Tiwari
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Conference papers hal-03142063v1

Linear Integer Arithmetic Revisited

Martin Bromberger , Thomas Sturm , Christoph Weidenbach
Preprints, Working Papers, ... hal-03145059v1
Image document

Statistical Model Checking of Distributed Programs within SimGrid

Marie Duflot , Yann Duplouy
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Conference papers hal-02978389v1
Image document

Pattern eliminating transformations

Pierre Lermusiaux , Horatiu Cirstea , Pierre-Etienne Moreau
CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
Conference papers hal-02186325v1
Image document

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

Hoon Hong , Thomas Sturm
CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩
Conference papers hal-01889827v1

Finite Quantification in Hierarchic Theorem Proving

Peter Baumgartner , Joshua Bax , Uwe Waldmann
7th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienna, Austria. pp.152-167
Conference papers hal-01087873v1

Verification by Construction of Distributed Algorithms

Dominique Méry
Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Conference papers hal-02400379v1
Image document

Superposition for Lambda-Free Higher-Order Logic

Alexander Bentkamp , Simon Cruanes , Jasmin Christian Blanchette , Uwe Waldmann
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Conference papers hal-01904595v1

Editorial: Special Issue of Automated Verification of Critical Systems

Gerald Lüttgen , Stephan Merz
Science of Computer Programming, 2014, Special Issue: Automated Verification of Critical Systems, 96 (3), pp.277-278
Journal articles hal-01084232v1

SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages

Marek Kosta
Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China
Conference papers hal-00931958v1
Image document

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Jasmin Christian Blanchette , Mathias Fleury , Christoph Weidenbach
8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_4⟩
Conference papers hal-01336074v1

Stuttering Equivalence

Stephan Merz
[Research Report] 2012
Reports hal-00760690v1
Image document

Ensuring Correctness of Model Transformations While Remaining Decidable

Jon Haël Brenas , Rachid Echahed , Martin Strecker
Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers hal-01403585v1
Image document

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Marion Guthmuller , Martin Quinson , Gabriel Corona
Formal Approaches to Parallel and Distributed Systems (4PAD) - Special Session of Parallel, Distributed and network-based Processing (PDP), Mar 2015, Turku, Finland
Conference papers hal-01097204v1
Image document

SLD-Resolution Reduction of Second-Order Horn Fragments

Sophie Tourret , Andrew Cropper
JELIA 2019 - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.259-276, ⟨10.1007/978-3-030-19570-0_17⟩
Conference papers hal-02988015v1

Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke , Dominique Méry
ABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Proceedings hal-03529208v1
Image document

Non-Deterministic Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Alan Schmitt
CONCUR 2022 - 33rd International Conference
 on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
Conference papers hal-03772712v1

Formal Evaluation of Landing Gear System

Dominique Méry , Neeraj Kumar Singh
SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Conference papers hal-01097645v1

Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study

Dominique Méry , Sawant Rushikesh , Anton Tarasyuk
Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Conference papers hal-01245991v1
Image document

Testing equality of parametric semi-linear sets

Engel Lefaucheux
Preprints, Working Papers, ... hal-04172593v1
Image document

Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité

Margaux Duroeulx
Performance et fiabilité [cs.PF]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0026⟩
Theses tel-02881242v1

Automated Orchestration of Security Chains Driven by Process Learning

Nicolas Schnepf , Remi Badonnel , Abdelkader Lahmadi , Stephan Merz
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning, Wiley, 2021, 978-1-119-67550-1. ⟨10.1002/9781119675525.ch12⟩
Book sections hal-03518390v1

{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment

Gábor Alagi , Christoph Weidenbach
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. pp.69-84, ⟨10.1007/978-3-319-24246-0_5⟩
Conference papers hal-01247991v1
Image document

Witnessing (Co)datatypes

Jasmin Christian Blanchette , Andrei Popescu , Dmitriy Traytel
ESOP 2015, Apr 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_15⟩
Conference papers hal-01212587v1

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

Bineet Ghosh , Étienne André
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Mohammad Mousavi and Anna Philippou, Jun 2022, Lucca, Italy. pp.67-87, ⟨10.1007/978-3-031-08679-3_5⟩
Conference papers hal-03801020v1
Image document

ByMC: Byzantine Model Checker

Igor Konnov , Josef Widder
ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2018, Limassol, Cyprus. pp.327-342, ⟨10.1007/978-3-030-03424-5_22⟩
Conference papers hal-01909653v1

BDI: a new decidable clause class

Manuel Lamotte-Schubert , Christoph Weidenbach
Journal of Logic and Computation, 2014, 24 (6), pp.28
Journal articles hal-01098084v1