2008 |
11 | EE | Marc Boyer,
Olivier H. Roux:
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.
Fundam. Inform. 88(3): 225-249 (2008) |
2007 |
10 | | Marc Boyer,
C. Marie-Françoise Canut,
Max Chevalier,
André Péninou,
Florence Sedes:
Cartographie de l'organisation : une approche topologique des connaissances.
EGC 2007: 557-568 |
9 | EE | Marc Boyer,
Olivier H. Roux:
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.
ICATPN 2007: 63-82 |
2006 |
8 | EE | Tarek Sadani,
Marc Boyer,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
FORTE 2006: 404-419 |
7 | EE | Tarek Sadani,
Marc Boyer,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets.
ICFEM 2006: 360-379 |
2005 |
6 | EE | Jean-Luc Scharbarg,
Marc Boyer,
Jérôme Ermont,
Christian Fraboul:
TTCAN over mixed CAN/switched Ethernet architecture.
ETFA 2005 |
2003 |
5 | EE | Marc Boyer,
Mihaela Sighireanu:
Synthesis and Verification of Constraints in the PGM Protocol.
FME 2003: 264-281 |
4 | EE | Laurent Chaudron,
Nicolas Maille,
Marc Boyer:
The Cube Lattice Model and its Applications.
Applied Artificial Intelligence 17(3): 207-242 (2003) |
2002 |
3 | | Marc Boyer,
Laurent Chaudron:
Classification formelle de règles - Un système de gradation des règles contextuelles.
EGC 2002: 319-324 |
2 | EE | Marc Boyer:
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
1998 |
1 | EE | Marc Boyer,
Philippe Owezarski,
Michel Diaz:
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application.
IDMS 1998: 171-182 |