The Fixpoint checking problem: an abstraction refinement perspective

Président du jury Massart, Thierry

Promoteur Raskin, Jean-François

Publication Non publié, 2007-09-28

Thèse de doctorat

Optimizing Multiprocessor Allocation: A Monotonicity-Based Approach for EDF(K)
par Guilbaud, Nicolas , Goossens, Joël
Publication 2026-05-11
Preempt Less, Schedule Better: Revisiting PCG for Real-Time Uniform Processors
par Hamdani, Yahya , Richard, Pascal , Bertout, Antoine , Goossens, Joël , Grolleau, Emmanuel
Publication 2026-05-11
Data-based Reports; Hydroacoustic observations of volcanic degassing (IN REVIEW)
par Caudron, Corentin , Roche, Ben John , Vandemeulebrouck, Jean , Barrière, Julien
Publication 2026-12-31
Climate modulations of the Mediterranean nitrogen cycle
par Wald, Tanja , Ai, Xuyuan Ellen , Foreman, Alan , Fripiat, François , Bieler, Aaron L. , Ryu, Yeongjun , Udara, Amarathunga , Montagna, Paolo , A, Rüggeberg , Creel, Roger , Schiebel, Ralf , A, Foubert , M, Taviani , E, Pons-Branchu , N, Haghipour , Eglinton, Timothy Ian , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
Publication 2026-09-21
The quest for the oldest ice: potential and challenges of blue ice areas
par Tollenaar, Veronica , Legrain, Etienne , Zoé, Bosman , Izeboud, Maaike , Harvey, Ralph R.P. , Ardoin, Lisa , Pattyn, Frank , Fripiat, François , Zekollari, Harry
Publication 2026-08-08

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.