Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

6 Results
authFullName_s : Marc Boyer
Image document

Synthesis and verification of constraints in the PGM protocol

Marc Boyer , Mihaela Sighireanu
12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281
Conference papers hal-00110252v1

Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets

Marc Boyer , Olivier Henri Roux
28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82
Conference papers hal-00523609v1
Image document

TSN Support for Quality of Service in Space

Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02441327v1
Image document

On the compared expressiveness of arc, place and transition time Petri nets

Marc Boyer , Olivier Henri Roux
Fundamenta Informaticae, 2008, 88 (3), pp.225-249
Journal articles hal-00489072v1
Image document

Formal specification of satellite on-board networks requirements

Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel
Preprints, Working Papers, ... hal-02926971v1
Image document

A Framework to Manage Knowledge from Defect Resolution Process

Gregory Claude , Marc Boyer , Gaël Durand , Florence Sèdes
13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), IEEE, Sep 2011, Luxenbourg, Luxembourg. pp.10-17, ⟨10.1109/CEC.2011.11⟩
Conference papers hal-03763189v1