Loading...
This is a publication repository of Laboratoire Méthodes Formelles hosted by HAL (open archives).
Latest publications
-
-
-
-
-
-
-
-
-
-
-
-
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, et al.. Analysis of recurrent neural networks via property-directed verification of surrogate models. International Journal on Software Tools for Technology Transfer, 2023, 25 (3), pp.341-354. ⟨10.1007/S10009-022-00684-W⟩. ⟨hal-04286080⟩
-
-
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, et al.. Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. OOPSLA 2023 - Object-Oriented Programming, Systems, Languages & Applications 2023, Oct 2023, Cascais, Portugal. ⟨10.1145/3622823⟩. ⟨hal-04203298v2⟩
-
-
Hagit Attiya, Armando Castañeda, Thomas Nowak. Topological Characterization of Task Solvability in General Models of Computation. 37th International Symposium on Distributed Computing (DISC 2023), European Association for Theoretical Computer Science, Oct 2023, L'Aquila, Italy. ⟨10.4230/LIPIcs.DISC.2023.5⟩. ⟨hal-04230650⟩
-
Baptiste Gueuziec, Frédéric Boulanger, Jean-Pierre Gallois. Qualitative tendencies for hybrid system simulation. MPM4CPS 2023 - Multi-Paradigm Modelling for Cyber-Physical Systems -26th International conference on model driven engineering languages and systems, Oct 2023, Västerås, Sweden. ⟨hal-04188249⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
S Akshay, Paul Gastin, R Govind, Aniruddha R Joshi, B Srivathsan. A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. 35th International Conference on Computer Aided Verification - CAV 2023, Jul 2023, Paris, France. pp.266 - 288, ⟨10.1007/978-3-031-37706-8_14⟩. ⟨hal-04257510⟩
-
-
-
-
-
-
Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart. Compositionality of planar perfect matchings: A universal and complete fragment of ZW-calculus. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.120:1--120:17, ⟨10.4230/LIPIcs.ICALP.2023.120⟩. ⟨hal-04002282⟩
-
-
-
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev. Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston (MA), United States. ⟨10.1109/LICS56636.2023.10175687⟩. ⟨hal-03662565v4⟩
-
-
-
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, et al.. An Interactive SMT Tactic in Coq using Abductive Reasoning. 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. pp.11-22, ⟨10.29007/432m⟩. ⟨hal-04287029⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
Nick Würdemann, Thomas Chatain, Stefan Haar. Taking Complete Finite Prefixes To High Level, Symbolically (Full Version). Petri Nets 2023 - 44TH International Conference on Applications and Theory of Petri Nets and Concurrency, R&D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology, Mar 2023, Caparica (Lisbonne), Portugal. ⟨hal-04029490⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, et al.. Compositional pre-processing for automated reasoning in dependent type theory. CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-15, ⟨10.1145/3573105.3575676⟩. ⟨hal-03901019v2⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, et al.. Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF 2022 - 13th International Symposium on Games, Automata, Logics and Formal Verification, Sep 2022, Madrid, Spain. pp.81-96, ⟨10.4204/EPTCS.370.6⟩. ⟨hal-03794320⟩
-
-
-
-
-
-
-
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil. Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. 33rd International Conference on Concurrency Theory (CONCUR 2022), Sep 2022, Warszawa, Poland. pp.28:1-28:19, ⟨10.4230/LIPIcs.CONCUR.2022.28⟩. ⟨hal-03770358⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Aleks Kissinger, Renaud Vilmart, John van de Wetering. Classical simulation of quantum circuits with partial and graphical stabiliser decompositions. 17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022), Jul 2022, Urbana-Champaign, United States. pp.5:1 - 5:13, ⟨10.4230/LIPIcs.TQC.2022.5⟩. ⟨hal-03606226⟩
-
Zujany Salazar, Fatiha Zaidi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, et al.. A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic. International Conference on Software and Data Technologies, University of Fribourg, Switzerland ; University of Twente, Netherlands ; Wroclaw University of Economics and Business, Poland and Macquarie University, Sydney, Australia, Jul 2022, Lisbonne, Portugal. pp.P. 234 - 241, ⟨10.5220/0011319000003266⟩. ⟨hal-04007862⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer. RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI 2022 - 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, San Diego CA USA, United States. pp.841-856, ⟨10.1145/3519939.3523704⟩. ⟨hal-03777103⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, et al.. Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. pp.113-129. ⟨hal-03285433⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. The smart grid simulation framework: model-driven engineering applied to cyber-physical systems. MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩. ⟨hal-03216723⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-