| The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 26 | 2024 |
| Practical “paritizing” of Emerson-Lei automata F Renkin, A Duret-Lutz, A Pommellet International Symposium on Automated Technology for Verification and …, 2020 | 22 | 2020 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 10 | 2022 |
| Model-checking HyperLTL for pushdown systems A Pommellet, T Touili Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 8 | 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 | 7 | 2022 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) S Jacobs, GA Pérez, R Abraham, V Bruyère, M Cadilhac, M Colange, ... | 7 | |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 5 | 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 | 3 | 2017 |
| SAT-based learning of computation tree logic A Pommellet, D Stan, S Scatton International Joint Conference on Automated Reasoning, 366-385, 2024 | 2 | 2024 |
| LTL model checking for communicating concurrent programs A Pommellet, T Touili Innovations in Systems and Software Engineering 16 (2), 161-179, 2020 | 2 | 2020 |
| 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 |
| A Portable, Simple, Embeddable Type System J Newton, A Pommellet ELS 2021, the 14th European Lisp Symposium, 11--20, 2021 | 1 | 2021 |
| 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 |
| Active Learning Techniques for Pomset Recognizers A Pommellet, A Amrane, E Delaporte arXiv preprint arXiv:2501.03914, 2025 | | 2025 |
| 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 |
| 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 RenkinIRIFBestätigte E-Mail-Adresse bei irif.fr
