| The reactive synthesis competition (SYNTCOMP): 2018-2021 S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... arXiv preprint arXiv:2206.00251, 2022 | 22 | 2022 |
| Practical “paritizing” of Emerson-Lei automata F Renkin, A Duret-Lutz, A Pommellet International Symposium on Automated Technology for Verification and …, 2020 | 18 | 2020 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 8 | 2022 |
| Model-checking HyperLTL for pushdown systems A Pommellet, T Touili Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 6 | 2018 |
| Effective reductions of Mealy machines F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet International Conference on Formal Techniques for Distributed Objects …, 2022 | 4 | 2022 |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 2 | 2022 |
| Static analysis of multithreaded recursive programs communicating via rendez-vous A Pommellet, T Touili Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 2 | 2017 |
| Defensive leakage camouflage E Brier, F Quentin, R Korkikian, KW Magld, D Naccache, GO de Almeida, ... Smart Card Research and Advanced Applications: 11th International Conference …, 2013 | 2 | 2013 |
| LTL model checking for communicating concurrent programs A Pommellet, T Touili Innovations in Systems and Software Engineering 16 (2), 161-179, 2020 | 1 | 2020 |
| Reachability analysis of pushdown systems with an upper stack A Pommellet, M Diaz, T Touili International Conference on Language and Automata Theory and Applications …, 2017 | 1 | 2017 |
| SAT-based Learning of Computation Tree Logic A Pommellet, D Stan, S Scatton | | 2024 |
| Learning Linear-time Temporal Logic A Pommellet | | 2024 |
| The Mealy-machine reduction functions of Spot F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Science of Computer Programming 230, 102995, 2023 | | 2023 |
| Effective Reductions of Mealy Machines A Pommellet Formal Techniques for Distributed Objects, Components, and Systems: 42nd …, 2022 | | 2022 |
| A Portable, Simple, Embeddable Type System. JE Newton, A Pommellet ELS, 11-20, 2021 | | 2021 |
| On Model-checking Pushdown System Models A Pommellet Université Paris Diderot, 2018 | | 2018 |
| ltlsynt (Spot 2.9+) F Renkin, A Duret-Lutz, A Pommellet, P Schlehuber | | |
Florian RenkinIRIFAdresse e-mail validée de irif.fr
