Jean-Baptiste Raclet

Available identifiers

zbMath Open raclet.jean-baptisteMaRDI QIDQ1951602

List of research outcomes

Publication	Date of Publication	Type
Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism	2024-03-25	Paper
Solving language equations using flanked automata	2018-10-25	Paper
Quotient of acceptance specifications under reachability constraints	2016-04-08	Paper
A normalized form for FIFO protocols traces, application to the replay of mode-based protocols	2016-01-06	Paper
Modal event-clock specifications for timed component-based design	2013-06-06	Paper
Ensuring reachability by design	2012-09-21	Paper
A modal interface theory for component-based design	2012-07-04	Paper
Refinement and Consistency of Timed Modal Specifications	2009-04-02	Paper

Research outcomes over time

This page was built for person: Jean-Baptiste Raclet