Marc Boyer

According to our database, Marc Boyer authored at least 46 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Configuration of Guard Band and Offsets in Cyclic Queuing and Forwarding.

Damien Guidolin--Pina, Marc Boyer, Jean-Yves Le Boudec

IEEE/ACM Trans. Netw., February, 2024

2023

Improved Service Curve for Element With Known Transmission Rate.

Marc Boyer, Hugo Daigmorte

IEEE Netw. Lett., March, 2023

Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks.

Seyed Mohammadhossein Tabatabaee, Marc Boyer, Jean-Yves Le Boudec, Jörn Migge

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022

A Formal Link Between Response Time Analysis and Network Calculus (Artifact).

Pierre Roux, Sophie Quinton, Marc Boyer

Dagstuhl Artifacts Ser., 2022

A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems.

Anaïs Finzi, Silviu S. Craciunas, Marc Boyer

CoRR, 2022

Egress-TT Configurations for TSN Networks.

Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

A Formal Link Between Response Time Analysis and Network Calculus.

Pierre Roux, Sophie Quinton, Marc Boyer

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

Latency Analysis of Multiple Classes of AVB Traffic in TSN With Standard Credit Behavior Using Network Calculus.

Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte, Marc Boyer

IEEE Trans. Ind. Electron., 2021

Interleaved Weighted Round-Robin: A Network Calculus Analysis.

Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer

IEICE Trans. Commun., 2021

A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact).

Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille

Dagstuhl Artifacts Ser., 2021

Verifying Min-Plus Computations with Coq.

Lucien Rakotomalala, Pierre Roux, Marc Boyer

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus.

Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille

Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

Garantir les temps de réponse des réseaux embarqués à l'aide du calcul réseau. (Guaranteeing the response time of embedded networks with network calculus).

Marc Boyer

, 2021

2020

Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarks.

Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge

Perform. Evaluation, 2020

2019

Impact on credit freeze before gate closing in CBS and GCL integration into TSN.

Marc Boyer, Hugo Daigmorte

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Increasing Accuracy of Timing Models: From CPA to CPA+.

Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2017

Evaluation of admissible CAN bus load with weak synchronization mechanism.

Hugo Daigmorte, Marc Boyer

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016

Use of data mining at the Food and Drug Administration.

Hesha J. Duggirala, Joseph M. Tonning, Ella Smith, Roselie A. Bright, John D. Baker, Robert Ball, Carlos Bell, Susan J. Bright-Ponte, Taxiarchis Botsis, Khaled Bouri, Marc Boyer, Keith Burkhart, G. Steven Condrey, James J. Chen, Stuart Chirtel, Ross W. Filice, Henry Francis, Hongying Jiang, Jonathan Levine, David Martin, Taiye Oladipo, Rene O'Neill, Lee Anne M. Palmer, Antonio Paredes, George Rochester, Deborah Sholtes, Ana Szarfman, Hui-Lee Wong, Zhiheng Xu, Taha A. Kass-Hout

J. Am. Medical Informatics Assoc., 2016

Traversal time for weakly synchronized CAN bus.

Hugo Daigmorte, Marc Boyer

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Embedding network calculus and event stream theory in a common model.

Marc Boyer, Pierre Roux

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2014

Complete modelling of AVB in Network Calculus Framework.

Joan Adrià Ruiz De Azua, Marc Boyer

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Performance analysis of the Disrupted Static Priority scheduling for AFDX.

Rubén Trillo Flores, Marc Boyer

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

Continuity for network calculus.

Marc Boyer, Guillaume Dufour, Luca Santinelli

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Towards Certifying Network Calculus.

Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Generalisation of GPS and P-GPS in network calculus.

William Mangoua Sofack, Marc Boyer

Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Deficit Round Robin with network calculus.

Marc Boyer, Giovanni Stea, William Mangoua Sofack

Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Combining network calculus and scheduling theory to improve delay bounds.

Marc Boyer, David Doose

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Non Preemptive Static Priority with Network Calculus: Enhancement.

William Mangoua Sofack, Marc Boyer

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

2011

A Framework to Manage Knowledge from Defect Resolution Process.

Grégory Claude, Marc Boyer, Gaël Durand, Florence Sèdes

Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Non preemptive static priority with network calculus.

William Mangoua Sofack, Marc Boyer

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus.

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

NC-Maude: A Rewriting Tool to Play with Network Calculus.

Marc Boyer

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Special Track on Worst Case Traversal Time (WCTT).

Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea, Eric Thierry

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.

Marc Boyer, Olivier H. Roux

Fundam. Informaticae, 2008

2007

Cartographie de l'organisation : une approche topologique des connaissances.

Marc Boyer, C. Marie-Françoise Canut, Max Chevalier, André Péninou, Florence Sèdes

Proceedings of the Extraction et gestion des connaissances (EGC'2007), 2007

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.

Marc Boyer, Olivier H. Roux

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Mapping RT-LOTOS Specifications into Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Methods and Software Engineering, 2006

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

TTCAN over mixed CAN/switched Ethernet architecture.

Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003

The Cube Lattice Model and its Applications.

Laurent Chaudron, Nicolas Maille, Marc Boyer

Appl. Artif. Intell., 2003

Synthesis and Verification of Constraints in the PGM Protocol.

Marc Boyer, Mihaela Sighireanu

Proceedings of the FME 2003: Formal Methods, 2003

2002

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

Marc Boyer

Proceedings of the Theory and Practice of Timed Systems, 2002

Classification formelle de règles - Un système de gradation des règles contextuelles.

Marc Boyer, Laurent Chaudron

Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002

2001

Multiple Enabledness of Transitions in Petri Nets with Time.

Marc Boyer, Michel Diaz

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

1999

Non equivalence between time Petri nets and time stream Petri nets.

Marc Boyer, Michel Diaz

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998

Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application.

Marc Boyer, Philippe Owezarski, Michel Diaz

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1998