Skip to Main content Skip to Navigation


hal-00789146v1  Conference papers
Meghyn BienvenuDaniel DeutchFabian Suchanek. Provenance for Web 2.0 Data
9th VLDB Workshop on Secure Data Management, Sep 2012, Turkey
hal-00868424v1  Directions of work or proceedings
Pascal FontaineChristophe RingeissenRenate Schmidt. Frontiers of Combining Systems
Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7
inria-00537545v1  Book sections
Eric BerberichMichael HemmerSylvain LazardLuis Mariano PeñarandaMonique Teillaud. Algebraic kernel
CGAL Editorial board. CGAL User and Reference Manual, 3.6 edition, CGAL Editorial board, 2010
...
hal-02895528v1  Reports
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
hal-01216779v1  Book sections
Neeraj Kumar SinghDominique Méry. Event B (english version)
Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩
hal-03690071v1  Conference papers
Étienne AndréMasaki WagaNatuski UrabeIchiro Hasuo. Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
...
hal-00796041v1  Book sections
Frédéric CazalsFrédéric ChazalJoachim Giesen. Spectral Techniques to Explore Point Clouds in Euclidean Space, with Applications to Collective Coordinates in Structural Biology
Ioannis Z. Emiris and Frank Sottile and Thorsten Theobald. Nonlinear Computational Geometry, 151, Springer, pp.1-34, 2010, The IMA Volumes in Mathematics and its Applications, 978-1-4419-0998-5. ⟨10.1007/978-1-4419-0999-2_1⟩
...
hal-00643942v1  Journal articles
Sanjoy K. BaruahVincenzo BonifaciGianlorenzo d'AngeloHaohan LiAlberto Marchetti-Spaccamela et al.  Scheduling Real-time Mixed-criticality Jobs
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (8), pp.1140-1152. ⟨10.1109/TC.2011.142⟩
...
hal-00643987v1  Conference papers
Sanjoy K. BaruahVincenzo BonifaciGianlorenzo d'AngeloAlberto Marchetti-SpaccamelaSuzanne van Der Ster et al.  Mixed-Criticality Scheduling of Sporadic Task Systems
19th Annual European Symposium on Algorithms (ESA 2011), Sep 2011, Saarbruecken, Germany. pp.555-566, ⟨10.1007/978-3-642-23719-5_47⟩
...
tel-02406821v1  Theses
Marco Voigt. Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English
...
hal-02978389v1  Conference papers
Marie Duflotyann Duplouy. Statistical Model Checking of Distributed Programs within SimGrid
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
hal-02977488v1  Book sections
Hamid RahkooyThomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
...
inria-00606716v1  Conference papers
Annette ScheelMarc StammingerHans-Peter Seidel. Thrifty Final Gather for Radiosity
12th Eurographics Workshop on Rendering Techniques, Eurographics, Jun 2001, Londres, United Kingdom. pp.12
hal-03070326v1  Conference papers
Johannes BundMatthias FüggerChristoph LenzenMoti MedinaWill Rosenbaum. PALS: Plesiochronous and Locally Synchronous Systems
ASYNC 2020 - 26th IEEE International Symposium on Asynchronous Circuits and Systems, May 2020, Salt Lake City, United States. pp.36-43, ⟨10.1109/ASYNC49171.2020.00013⟩
...
hal-03341357v1  Conference papers
Hans-Jörg SchurrMathias FleuryMartin Desharnais. Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. ⟨10.1007/978-3-030-79876-5⟩
...
hal-03341368v1  Conference papers
Pascal FontaineHans-Jörg Schurr. Quantifier Simplification by Unification in SMT
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.232-249, ⟨10.1007/978-3-030-86205-3_13⟩
hal-03343147v1  Journal articles
Jawher JerrayLaurent FribourgÉtienne André. An Approximation of Minimax Control using Random Sampling and Symbolic Computation
IFAC-PapersOnLine, Elsevier, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
hal-03518390v1  Book sections
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan Merz. Automated Orchestration of Security Chains Driven by Process Learning
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⟩
hal-03142063v1  Conference papers
Thomas SturmAshish Tiwari. Verification and synthesis using real quantifier elimination
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
...
tel-03203922v1  Theses
Daniel El Ouraoui. Méthodes pour le raisonnement d'ordre supérieur dans SMT
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
...
hal-03438171v1  Conference papers
Hamid RahkooyThomas Sturm. Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.334-352, ⟨10.1007/978-3-030-85165-1_19⟩
hal-02359588v1  Conference papers
Jasmin Christian BlanchettePascal FontaineStephan SchulzUwe Waldmann. Towards Strong Higher-Order Automation for Fast Interactive Verification
ARCADE 2017 - 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 2017, Göteborg, Sweden. pp.16-7, ⟨10.29007/3ngx⟩
...
hal-02988015v1  Book sections
Sophie TourretAndrew Cropper. SLD-Resolution Reduction of Second-Order Horn Fragments
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp.259-276, 2019, ⟨10.1007/978-3-030-19570-0_17⟩
hal-00926335v1  Book sections
Dominique MéryNeeraj Kumar Singh. Event B
Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7
...
hal-01127966v1  Book sections
Carlos ArecesPascal FontaineStephan Merz. Modal Satisfiability via SMT Solving
Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-15545-6_5⟩
hal-01097624v1  Conference papers
yamine Aït-AmeurJohn Paul GibsonDominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618