Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Référence Discrete event dynamic systems, 22, 2, page (121-161)
Publication Publié, 2012

Article révisé par les pairs

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-07-06
3D mesoscale modeling of fracture in ultra-high performance cementitious composites: Unraveling the critical roles of fine aggregates, air voids and binder matrix
par Zhang, Bin Jia , Ehab Moustafa Kamel, Karim , Massart, Thierry Jacques , Snoeck, Didier , Wang, Jianyun , Gao, Yun
Publication 2026-07-17
Optimizing Multiprocessor Allocation: A Monotonicity-Based Approach for EDF(K)
par Guilbaud, Nicolas , Goossens, Joël
Publication 2026-05-11
Keystone with Linux PREEMPT_RT: Real-Time Enclaves on RISC-V?
par Van Slijpe, Oscar , Dricot, Jean-Michel , Mühlberg, Jan Tobias
Publication Association for Computing Machinery, Inc, 2026-04-26
Breaking Down Barriers: Extending Ergonomics of Technology to Creative Translation
par Hansen, Damien
Publication 2026-08-11

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.