Michel Barbeau

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The lotos model of a fault protected system and its verification using a petri net based approach	2024-04-29	Paper
A Quantum Algorithm for Shapley Value Estimation	2023-01-11	Paper
A new post-quantum multivariate polynomial public key encapsulation algorithm Quantum Information Processing	2022-12-09	Paper
Quantum permutation pad for universal quantum-safe cryptography Quantum Information Processing	2022-12-05	Paper
QoS aware adaptive security scheme for video streaming in MANETs Foundations and Practice of Security	2013-08-07	Paper
Preventing the cluster formation attack against the hierarchical OLSR protocol Foundations and Practice of Security	2012-06-08	Paper
Location-oblivious distributed unit disk graph coloring Algorithmica	2011-05-10	Paper
Location Oblivious Distributed Unit Disk Graph Coloring Structural Information and Communication Complexity	2007-11-15	Paper
Beyond the verification approach: the synthesis approach	2007-08-22	Paper
scientific article; zbMATH DE number 2018583 (Why is no real title available?)	2003-12-16	Paper
Synthesis of controllers of processes modeled as colored Petri nets Discrete Event Dynamic Systems	2001-01-11	Paper
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints IEEE Transactions on Automatic Control	2000-10-17	Paper
Planning control rules for reactive agents Artificial Intelligence	1998-06-30	Paper
An Efficient Algorithm for Controller Synthesis under Full Observation Journal of Algorithms	1998-01-07	Paper
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language IEEE Transactions on Automatic Control	1996-03-11	Paper
scientific article; zbMATH DE number 177243 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177529 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Michel Barbeau