| B. Boigelot, F. Herbreteau and S. Jodogne. Hybrid Acceleration using Real Vector Automata. Proc. of the 15th Int. Conf. on Computer-Aided Verification (CAV'03), july 2003. To appear
|
| F. Herbreteau, F. Cassez, A. Finkel, O. Roux and G. Sutre. Verification of Embedded Reactive Fiffo Systems. Proc. of the 5th Latin American Conf. in Theoretical INformatics (LATIN'02), LNCS 2286, pages 400-414, april 2002. |
| F. Cassez, F. Herbreteau and O. Roux. Reactive Systems with Unbounded Event Memorization. Conférence Africaine de Recherche en Informatique (CARI'00), october 2000. |
| F. Herbreteau, F. Cassez and O. Roux. Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-time Systems, Kluwer Academic Publisher, 20(3), pages 287-316, may 2001. |
| F. Herbreteau. Automates à file réactifs embarqués - Application à la vérification de systèmes temps-réel. Doctorat de l'Université de Nantes et de l'École Centrale de Nantes. 14 décembre 2001, Nantes, France. (in French) |
| F. Herbreteau. Some Properties of Reactive FIFFO Automata. Modelling and VErification of Parallel Processes (MOVEP summer school), june 2000, Nantes, France. |