Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems

Référence Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02, page (6p.)
Publication Publié, 2002

Publication dans des actes

LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication 2025-09-01
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements
par Brenner, Sofia , Cardinal, Jean , McConville, Thomas , Merino, Arturo , Mütze, Torsten
Publication 2026-05
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Unveil the Secret Hidden in the Haberdasher’s Puzzle: —Survey on Reversibility—
par Akiyama, Jin , Langerman, Stefan , Matsunaga, Kiyoko
Publication 2026-03-01
Decoding phone pairs from MEG signals across speech modalities
par Zuazo, Xabier de , Navas, Eva , Saratxaga, Ibon , Bourguignon, Mathieu , Molinaro, N.
Publication 2026-07

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.