Synthesis of persistent systems. In Proc. 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Tunis, August 2014), G. Ciardo, E. Kindler (eds.)

Référence Lecture notes in computer science, 8489, page (111-129)
Publication Publié, 2014

Article révisé par les pairs

On the Reversibility of Circular Conservative Petri Nets
par Devillers, Raymond
Publication 2023-05-01
An unfair optimal scheduling algorithm for uniform multiprocessors
par Gaspard, Thomas , Bertout, Antoine , Richard, Pascal , Grolleau, Emmanuel , Goossens, Joël
Publication 2025-06-17
Communication and Shared Memory Efficient Mapping Techniques of Real-Time DAGs upon Clustered Multicore Platforms
par Schuh, Matheus , Maiza, Claire , Raymond, Pascal , Ferres, Bruno , Goossens, Joël , De Dinechin, Benoit Dupont
Publication 2025-11-05
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
par Devillers, Raymond , Tredup, Ronny
Publication 2023-10-01

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.