The formal design of distributed controllers with dSL and Spin

Référence Formal aspects of computing, 17, 2, page (177-200)
Publication Publié, 2005-08

Article révisé par les pairs

Parametric solutions of coupled Thermo-Hydro-Mechanical problems in real time with Proper Generalized Decomposition
par Moaven, Arash , Massart, Thierry,Jacques , Zlotnik, Sergio
Publication 2025-04-08
Monitoring and real time risk analysis of earth dams
par Zlotnik, Sergio , Garcia Gonzalez, Alberto , Díez, Pedro , Massart, Thierry,Jacques
Publication 2025-03-15
Image-based structural kinematic limit analysis for historical masonry structures
par Hermans, Yahroun Fei , Ehab Moustafa Kamel, Karim , Debeir, Olivier , Milani, Gabriele , Massart, Thierry,Jacques
Publication 2025-04-30
Towards automated image-based cohesive zone modeling of cracking in irregular masonry
par Kamel, Karim Ehab Moustafa , Massart, Thierry,Jacques
Publication 2025-01-01
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025

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.