Loading...
This is a publication repository of Laboratoire Méthodes Formelles hosted by HAL (open archives).
Latest publications
-
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-04203298⟩
-
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⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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⟩
-
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⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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⟩
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-