Filter your results
- 242
- 162
- 221
- 83
- 22
- 17
- 14
- 12
- 11
- 9
- 8
- 3
- 3
- 1
- 11
- 1
- 400
- 25
- 23
- 9
- 4
- 2
- 1
- 1
- 9
- 48
- 55
- 42
- 40
- 35
- 43
- 30
- 36
- 33
- 18
- 14
- 1
- 392
- 12
- 404
- 404
- 404
- 16
- 12
- 12
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 66
- 53
- 52
- 46
- 38
- 24
- 22
- 22
- 18
- 15
- 15
- 14
- 13
- 13
- 11
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
|
Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete2015
Other publications
hal-01239399v1
|
||
|
SCL with Theory Constraints2020
Preprints, Working Papers, ...
hal-02975868v1
|
||
|
First-Order Tests for Toricity2020
Preprints, Working Papers, ...
hal-03017907v1
|
||
|
Verification and synthesis using real quantifier eliminationProc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Conference papers
hal-03142063v1
|
||
|
Linear Integer Arithmetic Revisited2015
Preprints, Working Papers, ...
hal-03145059v1
|
||
|
Statistical Model Checking of Distributed Programs within SimGridSIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Conference papers
hal-02978389v1
|
||
|
Pattern eliminating transformationsCIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
Conference papers
hal-02186325v1
|
||
|
Positive Solutions of Systems of Signed Parametric Polynomial InequalitiesCASC 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 Proving7th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienna, Austria. pp.152-167
Conference papers
hal-01087873v1
|
|||
Verification by Construction of Distributed AlgorithmsTheoretical 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
|
|||
|
Superposition for Lambda-Free Higher-Order LogicIJCAR 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 SystemsScience 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 LanguagesFifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China
Conference papers
hal-00931958v1
|
|||
|
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality8th 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[Research Report] 2012
Reports
hal-00760690v1
|
|||
|
Ensuring Correctness of Model Transformations While Remaining DecidableTheoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers
hal-01403585v1
|
||
|
System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed ApplicationsFormal 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
|
||
|
SLD-Resolution Reduction of Second-Order Horn FragmentsJELIA 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, ProceedingsABZ 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
|
||
|
Non-Deterministic Abstract MachinesCONCUR 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 SystemSoICT 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 StudyModel and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Conference papers
hal-01245991v1
|
|||
|
Testing equality of parametric semi-linear sets2023
Preprints, Working Papers, ...
hal-04172593v1
|
||
|
Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilitéPerformance et fiabilité [cs.PF]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0026⟩
Theses
tel-02881242v1
|
||
Automated Orchestration of Security Chains Driven by Process LearningCommunication 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} fragmentFrontiers 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
|
||
|
Witnessing (Co)datatypesESOP 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 Systems42nd 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
|
||
|
ByMC: Byzantine Model CheckerISoLA 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 classJournal of Logic and Computation, 2014, 24 (6), pp.28
Journal articles
hal-01098084v1
|