Jean-Baptiste Raclet
From MaRDI portal
Person:1951602
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 |
|---|---|---|
| Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism Discrete Event Dynamic Systems | 2024-03-25 | Paper |
| Solving language equations using flanked automata | 2018-10-25 | Paper |
| Quotient of acceptance specifications under reachability constraints Language and Automata Theory and Applications | 2016-04-08 | Paper |
| A normalized form for FIFO protocols traces, application to the replay of mode-based protocols Communications in Computer and Information Science | 2016-01-06 | Paper |
| Modal event-clock specifications for timed component-based design Science of Computer Programming | 2013-06-06 | Paper |
| Ensuring reachability by design Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
| A modal interface theory for component-based design Fundamenta Informaticae | 2012-07-04 | Paper |
| Refinement and Consistency of Timed Modal Specifications Language and Automata Theory and Applications | 2009-04-02 | Paper |
Research outcomes over time
This page was built for person: Jean-Baptiste Raclet
