| : Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020) JF Raskin, D Bresolin | | 2022 |
| 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 3 | 2015 |
| 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) T Coquand, A Dawar, L Barto, A Muscholl, A Ciabattoni, A Silva, H Leiss, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) D Kozen, T Schwentick, S Abramsky, N Shah, A Zaid, B Ahrens, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| 27th International Conference on Concurrency Theory (CONCUR 2016) F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| 28th International Conference on Concurrency Theory (CONCUR 2017) AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
| 29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| 3.21 A gentle introduction to games played on graphs JF Raskin Machine Learning and Model Checking Join Forces, 89, 0 | | |
| 3.29 Doomsday Equilibria for Omega-Regular Games JF Raskin VaToMAS–Verification and Testing of Multi-Agent Systems, 168, 0 | | |
| 30th International Conference on Concurrency Theory (CONCUR 2019) WJ Fokkink, RJ van Glabbeek 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | | 2019 |
| 34th International Conference on Concurrency Theory GA Pérez, JF Raskin | | 2023 |
| 34th International Conference on Concurrency Theory: CONCUR 2023, September 18-23, 2023, Antwerp, Belgium GA Pérez, JF Raskin Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) R Majumdar, AP Sistla, O Svensson, S Vempala, S Bhandari, P Harsha, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| A classification of symbolic transition systems TA Henzinger, R Majumdar, JF Raskin ACM Transactions on Computational Logic (TOCL) 6 (1), 1-32, 2005 | 90 | 2005 |
| A comparison of control problems for timed and hybrid systems F Cassez, TA Henzinger, JF Raskin International Workshop on Hybrid Systems: Computation and Control, 134-148, 2002 | 103 | 2002 |
| A complete abstract interpretation framework for coverability properties of WSTS P Ganty, JF Raskin, L Van Begin International Workshop on Verification, Model Checking, and Abstract …, 2006 | 58* | 2006 |
| A counter-example to the minimal coverability tree algorithm A Finkel, G Geeraerts, JF Raskin, L Van Begin Université Libre de Bruxelles, Tech. Rep 535, 2005 | 16 | 2005 |
| A decade of featured transition systems M Cordy, X Devroey, A Legay, G Perrouin, A Classen, P Heymans, ... From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 21 | 2019 |
| A game-based verification of non-repudiation and fair exchange protocols S Kremer, JF Raskin International Conference on Concurrency Theory, 551-565, 2001 | 222 | 2001 |
| A lattice theory for solving games of imperfect information M De Wulf, L Doyen, JF Raskin International Workshop on Hybrid Systems: Computation and Control, 153-168, 2006 | 79 | 2006 |
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
