| Acacia+, a tool for LTL synthesis A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 165 | 2012 |
| An antichain algorithm for LTL realizability E Filiot, N Jin, JF Raskin Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 148 | 2009 |
| Antichains and compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin Formal Methods in System Design 39, 261-296, 2011 | 108 | 2011 |
| Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games V Bruyère, E Filiot, M Randour, JF Raskin Information and Computation 254, 259-295, 2017 | 82 | 2017 |
| Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016 | 63 | 2016 |
| Regular transformations of infinite strings R Alur, E Filiot, A Trivedi 2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012 | 58 | 2012 |
| Synthesis from LTL Specifications with Mean-Payoff Objectives. A Bohy, V Bruyere, E Filiot, JF Raskin TACAS 13, 169-184, 2013 | 56 | 2013 |
| Compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin Automated Technology for Verification and Analysis: 8th International …, 2010 | 56 | 2010 |
| Tree automata with global constraints E Filiot, JM Talbot, S Tison International Journal of Foundations of Computer Science 21 (4), 571-596, 2010 | 51 | 2010 |
| Quantitative languages defined by functional automata E Filiot, R Gentilini, JF Raskin CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012 | 46 | 2012 |
| The complexity of rational synthesis R Condurache, E Filiot, R Gentilini, JF Raskin 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016 | 43 | 2016 |
| From two-way to one-way finite state transducers E Filiot, O Gauwin, PA Reynier, F Servais 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 468-477, 2013 | 42 | 2013 |
| Properties of visibly pushdown transducers E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot Mathematical Foundations of Computer Science 2010: 35th International …, 2010 | 41 | 2010 |
| Logic-automata connections for transformations E Filiot Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India …, 2015 | 40 | 2015 |
| On equivalence and uniformisation problems for finite transducers E Filiot, I Jecker, C Löding, S Winter arXiv preprint arXiv:1602.08565, 2016 | 35 | 2016 |
| First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014 | 35 | 2014 |
| Doomsday equilibria for omega-regular games K Chatterjee, L Doyen, E Filiot, JF Raskin Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 35 | 2014 |
| Satisfiability of a spatial logic with tree variables E Filiot, JM Talbot, S Tison Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007 | 25 | 2007 |
| Synthesis of data word transducers L Exibard, E Filiot, PA Reynier arXiv preprint arXiv:1905.03538, 2019 | 22 | 2019 |
| Finite-valued weighted automata E Filiot, R Gentilini, JF Raskin 34th International Conference on Foundation of Software Technology and …, 2014 | 21 | 2014 |
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
