Publications de
Gregory Claude, Marc Boyer, Gaël Durand, Florence Sèdes
A Framework to Manage Knowledge from Defect Resolution Process (regular paper)
Dans : IEEE Conference on Commerce and Enterprise Computing (IEEE CEC 2011), Luxembourg, 05/09/11-07/09/11, Birgit Hofreiter, Eric Dubois, Kwei-Jay Lin, Thomas Setzer, Claude Godart (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 10-17, 2011.
Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus (regular paper)
Dans : IEEE International Workshop on Factory Communication Systems (WFCS 2008), Dresden, Germany, 20/05/08-23/05/08, IEEE : Institute of Electrical and Electronics Engineers, p. 11-20, mai 2008.
Marc Boyer, Olivier Henri Roux
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets
Dans : International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN 2007), Siedlce, Poland, 25/06/07-29/06/07, Jetty Kleijn, Alex Yakovlev (Eds.), Springer-Verlag, LNCS, p. 63-82, juin 2007 (Best Paper award).
Tarek Sadani, Marc Boyer, Pierre De Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets
Dans : International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, 29/10/06-03/11/06, Vol. 4260, Springer, LNCS, p. 360-379, novembre 2006.
Tarek Sadani, Marc Boyer, Pierre De Saqui-Sannes, Jean-Pierre Courtiat
Effective representation of RT-LOTOS terms by finite time Petri nets
Dans : International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, 26/09/06-29/09/06, Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (Eds.), Springer, Lecture Notes in Computer Science 4229, p. 404-419, septembre 2006.
Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul
Interconnecting CAN busses via an Ethernet backbone
Dans : IFAC International Conference on Fieldbus Systems and their Applications, Puebla (Mexico), 14/11/05-15/11/05, ., novembre 2005.
Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/Switched Ethernet architecture
Dans : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, 19/09/05-22/09/05, IEEE Computer Press, p. 665-668, septembre 2005.
Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul
CAN-Ethernet Architectures for Real-Time Applications
Dans : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, Italy, 19/09/05-22/09/05, IEEE Computer Press, p. 245-252, septembre 2005.
Marc Boyer, Jean-Christophe Pince
Model-Checking aléatoire: une approche entre test et vérification
Dans : 11ème journée de Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04.
Résumé Accès : http://www.enseeiht.fr/~boyer/ToDownLoad/MC-aleatoire-FAC-2004.ps
BibTeXMarc Boyer, Mihaela Sighireanu
Synthesis and verification of constraints in the PGM protocol
Dans : 12th International Formal Methods Europe Symposium (FM’03), Pisa (Italy), 08/09/03-13/09/03, Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.), Springer, p. 264-281, septembre 2003.
Gregory Claude, Marc Boyer, Gaël Durand, Florence Sèdes
From Simple Management of Defects to Knowledge Discovery to Optimize Maintenance
Dans : Recent Trends in Information Reuse and Integration. Tansel Özyer, Keivan Kianmehr, Mehmet Tan (Eds.) , Springer-Verlag, p. 115-141, 2012.