Marc Boyer

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Topics

Intelligent Surveillance

Transmission Rate

Top Venues

Publications

Damien Guidolin--Pina, Marc Boyer
Switching Between Left and Right Continuity in Network Calculus. ECRTS (2024)
Damien Guidolin--Pina, Marc Boyer, Jean-Yves Le Boudec
Configuration of Guard Band and Offsets in Cyclic Queuing and Forwarding. IEEE/ACM Trans. Netw. 32 (1) (2024)
Anaïs Finzi, Silviu S. Craciunas, Marc Boyer
Integrating Sporadic Events in Time-triggered Systems via Affine Envelope Approximations. RTAS (2024)
Marc Boyer
Equivalence between the Urgency Based Shaper and Asynchronous Traffic Shaping in Time Sensitive Networking. Leibniz Trans. Embed. Syst. 9 (1) (2024)
Seyed Mohammadhossein Tabatabaee, Marc Boyer, Jean-Yves Le Boudec, Jörn Migge
Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks. RTAS (2023)
Marc Boyer, Hugo Daigmorte
Improved Service Curve for Element With Known Transmission Rate. IEEE Netw. Lett. 5 (1) (2023)
Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel
Egress-TT Configurations for TSN Networks. RTNS (2022)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus. ECRTS (2022)
Anaïs Finzi, Silviu S. Craciunas, Marc Boyer
A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems. CoRR (2022)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. 8 (1) (2022)
Lucien Rakotomalala, Pierre Roux, Marc Boyer
Verifying Min-Plus Computations with Coq. NFM (2021)
Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus. ECRTS (2021)
Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer
Interleaved Weighted Round-Robin: A Network Calculus Analysis. IEICE Trans. Commun. (12) (2021)
Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte, Marc Boyer
Latency Analysis of Multiple Classes of AVB Traffic in TSN With Standard Credit Behavior Using Network Calculus. IEEE Trans. Ind. Electron. 68 (10) (2021)
Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact). Dagstuhl Artifacts Ser. 7 (1) (2021)
Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer
Interleaved Weighted Round-Robin: A Network Calculus Analysis. CoRR (2020)
Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte, Marc Boyer
Latency Analysis of Multiple Classes of AVB Traffic in TSN with Standard Credit Behavior using Network Calculus. CoRR (2020)
Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer
Interleaved Weighted Round-Robin: A Network Calculus Analysis. ITC (2020)
Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge
Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarks. Perform. Evaluation 143 (2020)
Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer
Increasing Accuracy of Timing Models: From CPA to CPA+. DATE (2019)
Marc Boyer, Hugo Daigmorte
Impact on credit freeze before gate closing in CBS and GCL integration into TSN. RTNS (2019)
Hugo Daigmorte, Marc Boyer
Evaluation of admissible CAN bus load with weak synchronization mechanism. RTNS (2017)
Hugo Daigmorte, Marc Boyer
Traversal time for weakly synchronized CAN bus. RTNS (2016)
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
Use of data mining at the Food and Drug Administration. J. Am. Medical Informatics Assoc. 23 (2) (2016)
Marc Boyer, Pierre Roux
Embedding network calculus and event stream theory in a common model. ETFA (2016)
Joan Adrià Ruiz De Azua, Marc Boyer
Complete modelling of AVB in Network Calculus Framework. RTNS (2014)
Rubén Trillo Flores, Marc Boyer
Performance analysis of the Disrupted Static Priority scheduling for AFDX. MEMOCODE (2014)
Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz
Towards Certifying Network Calculus. ITP (2013)
Marc Boyer, Guillaume Dufour, Luca Santinelli
Continuity for network calculus. RTNS (2013)
William Mangoua Sofack, Marc Boyer
Non Preemptive Static Priority with Network Calculus: Enhancement. MMB/DFT (2012)
William Mangoua Sofack, Marc Boyer
Generalisation of GPS and P-GPS in network calculus. WFCS (2012)
Marc Boyer, Giovanni Stea, William Mangoua Sofack
Deficit Round Robin with network calculus. VALUETOOLS (2012)
Marc Boyer, David Doose
Combining network calculus and scheduling theory to improve delay bounds. RTNS (2012)
William Mangoua Sofack, Marc Boyer
Non preemptive static priority with network calculus. ETFA (2011)
Grégory Claude, Marc Boyer, Gaël Durand, Florence Sèdes
A Framework to Manage Knowledge from Defect Resolution Process. CEC (2011)
Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea, Eric Thierry
Special Track on Worst Case Traversal Time (WCTT). ISoLA (1) (2010)
Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. ISoLA (1) (2010)
Marc Boyer
NC-Maude: A Rewriting Tool to Play with Network Calculus. ISoLA (1) (2010)
Marc Boyer, Olivier H. Roux
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Informaticae 88 (3) (2008)
Marc Boyer, Olivier H. Roux
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN (2007)
Marc Boyer, C. Marie-Françoise Canut, Max Chevalier, André Péninou, Florence Sèdes
Cartographie de l'organisation : une approche topologique des connaissances. EGC (2007)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM (2006)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE (2006)
Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/switched Ethernet architecture. ETFA (2005)
Laurent Chaudron, Nicolas Maille, Marc Boyer
The Cube Lattice Model and its Applications. Appl. Artif. Intell. 17 (3) (2003)
Marc Boyer, Mihaela Sighireanu
Synthesis and Verification of Constraints in the PGM Protocol. FME (2003)
Marc Boyer
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Marc Boyer, Laurent Chaudron
Classification formelle de règles - Un système de gradation des règles contextuelles. EGC (2002)
Marc Boyer, Michel Diaz
Multiple Enabledness of Transitions in Petri Nets with Time. PNPM (2001)
Marc Boyer, Michel Diaz
Non equivalence between time Petri nets and time stream Petri nets. PNPM (1999)
Marc Boyer, Philippe Owezarski, Michel Diaz
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS (1998)