default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarc Boyer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2021
[b1]Marc Boyer:
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). National Polytechnic Institute of Toulouse, France, 2021
Journal Articles
- 2024
- [j11]Marc Boyer
:
Equivalence between the Urgency Based Shaper and Asynchronous Traffic Shaping in Time Sensitive Networking. Leibniz Trans. Embed. Syst. 9(1): 1:1-1:27 (2024) - [j10]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): 598-612 (2024) - 2023
- [j9]Marc Boyer, Hugo Daigmorte:
Improved Service Curve for Element With Known Transmission Rate. IEEE Netw. Lett. 5(1): 46-49 (2023) - 2022
- [j8]Pierre Roux, Sophie Quinton, Marc Boyer:
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. 8(1): 03:1-03:3 (2022) - 2021
- [j7]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): 02:1-02:3 (2021) - [j6]Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer:
Interleaved Weighted Round-Robin: A Network Calculus Analysis. IEICE Trans. Commun. 104-B(12): 1479-1493 (2021) - [j5]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): 10291-10302 (2021) - 2020
- [j4]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: 102124 (2020) - 2016
- [j3]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): 428-434 (2016) - 2008
- [j2]Marc Boyer, Olivier H. Roux:
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Informaticae 88(3): 225-249 (2008) - 2003
- [j1]Laurent Chaudron, Nicolas Maille, Marc Boyer:
The Cube Lattice Model and its Applications. Appl. Artif. Intell. 17(3): 207-242 (2003)
Conference and Workshop Papers
- 2024
- [c38]Damien Guidolin--Pina, Marc Boyer:
Switching Between Left and Right Continuity in Network Calculus. ECRTS 2024: 9:1-9:23 - [c37]Damien Guidolin--Pina, Marc Boyer:
Scaling, Packetizers and Aggregation in Network Calculus. ETFA 2024: 1-8 - [c36]Anaïs Finzi, Silviu S. Craciunas, Marc Boyer:
Integrating Sporadic Events in Time-triggered Systems via Affine Envelope Approximations. RTAS 2024: 15-28 - 2023
- [c35]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: 303-315 - 2022
- [c34]Pierre Roux, Sophie Quinton, Marc Boyer:
A Formal Link Between Response Time Analysis and Network Calculus. ECRTS 2022: 5:1-5:22 - [c33]Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel:
Egress-TT Configurations for TSN Networks. RTNS 2022: 58-69 - 2021
- [c32]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: 14:1-14:21 - [c31]Lucien Rakotomalala, Pierre Roux, Marc Boyer:
Verifying Min-Plus Computations with Coq. NFM 2021: 287-303 - 2020
- [c30]Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer:
Interleaved Weighted Round-Robin: A Network Calculus Analysis. ITC 2020: 64-72 - 2019
- [c29]Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer:
Increasing Accuracy of Timing Models: From CPA to CPA+. DATE 2019: 1210-1215 - [c28]Marc Boyer, Hugo Daigmorte:
Impact on credit freeze before gate closing in CBS and GCL integration into TSN. RTNS 2019: 80-89 - 2017
- [c27]Hugo Daigmorte, Marc Boyer:
Evaluation of admissible CAN bus load with weak synchronization mechanism. RTNS 2017: 277-286 - 2016
- [c26]Marc Boyer, Pierre Roux:
Embedding network calculus and event stream theory in a common model. ETFA 2016: 1-8 - [c25]Hugo Daigmorte, Marc Boyer:
Traversal time for weakly synchronized CAN bus. RTNS 2016: 35-44 - 2014
- [c24]Rubén Trillo Flores, Marc Boyer:
Performance analysis of the Disrupted Static Priority scheduling for AFDX. MEMOCODE 2014: 94-103 - [c23]Joan Adrià Ruiz De Azua, Marc Boyer:
Complete modelling of AVB in Network Calculus Framework. RTNS 2014: 55 - 2013
- [c22]Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz:
Towards Certifying Network Calculus. ITP 2013: 484-489 - [c21]Marc Boyer, Guillaume Dufour, Luca Santinelli:
Continuity for network calculus. RTNS 2013: 235-244 - 2012
- [c20]William Mangoua Sofack, Marc Boyer:
Non Preemptive Static Priority with Network Calculus: Enhancement. MMB/DFT 2012: 258-272 - [c19]Marc Boyer, David Doose:
Combining network calculus and scheduling theory to improve delay bounds. RTNS 2012: 51-60 - [c18]Marc Boyer, Giovanni Stea, William Mangoua Sofack:
Deficit Round Robin with network calculus. VALUETOOLS 2012: 138-147 - [c17]William Mangoua Sofack, Marc Boyer:
Generalisation of GPS and P-GPS in network calculus. WFCS 2012: 169-172 - 2011
- [c16]William Mangoua Sofack, Marc Boyer:
Non preemptive static priority with network calculus. ETFA 2011: 1-8 - [c15]Grégory Claude, Marc Boyer, Gaël Durand, Florence Sèdes:
A Framework to Manage Knowledge from Defect Resolution Process. CEC 2011: 10-17 - 2010
- [c14]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: 121 - [c13]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: 122-136 - [c12]Marc Boyer:
NC-Maude: A Rewriting Tool to Play with Network Calculus. ISoLA (1) 2010: 137-151 - 2007
- [c11]Marc Boyer, Olivier H. Roux:
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN 2007: 63-82 - [c10]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: 557-568 - 2006
- [c9]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 - [c8]Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379 - 2005
- [c7]Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul:
TTCAN over mixed CAN/switched Ethernet architecture. ETFA 2005 - 2003
- [c6]Marc Boyer, Mihaela Sighireanu:
Synthesis and Verification of Constraints in the PGM Protocol. FME 2003: 264-281 - 2002
- [c5]Marc Boyer, Laurent Chaudron:
Classification formelle de règles - Un système de gradation des règles contextuelles. EGC 2002: 319-324 - [c4]Marc Boyer:
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency). Theory and Practice of Timed Systems @ ETAPS 2002: 16-46 - 2001
- [c3]Marc Boyer, Michel Diaz:
Multiple Enabledness of Transitions in Petri Nets with Time. PNPM 2001: 219-228 - 1999
- [c2]Marc Boyer, Michel Diaz:
Non equivalence between time Petri nets and time stream Petri nets. PNPM 1999: 198-207 - 1998
- [c1]Marc Boyer, Philippe Owezarski, Michel Diaz:
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application. IDMS 1998: 171-182
Informal and Other Publications
- 2022
- [i3]Anaïs Finzi, Silviu S. Craciunas, Marc Boyer:
A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems. CoRR abs/2204.10264 (2022) - 2020
- [i2]Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer:
Interleaved Weighted Round-Robin: A Network Calculus Analysis. CoRR abs/2003.08372 (2020) - [i1]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 abs/2005.08256 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
