
Marc Boyer
43
Documents
Présentation
French researcher in worst case performance in embedded netwoks, working at ONERA.
You can have more details on my ONERA home page.
Publications
Publications
|
Switching Between Left and Right Continuity in Network CalculusECRTS 2024, Jul 2024, Lille, France. ⟨10.4230/LIPIcs.ECRTS.2024.9⟩
Communication dans un congrès
hal-03772867
v2
|
|
Scaling, Packetizers and Aggregation in Network Calculus2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padoue, Italy. pp.1-8, ⟨10.1109/ETFA61755.2024.10710819⟩
Communication dans un congrès
hal-04560048
v2
|
|
A first Network Calculus model for Cyclic Queuing and ForwardingJunior Researcher Workshop on Real-Time Computing, Jun 2023, Dortmund, Germany
Communication dans un congrès
hal-04171262
v2
|
|
Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023, San Antonio, United States. pp.303-315, ⟨10.1109/RTAS58335.2023.00031⟩
Communication dans un congrès
hal-04156192
v1
|
|
A Formal Link Between Response Time Analysis and Network CalculusECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩
Communication dans un congrès
hal-03770727
v1
|
|
A Residual Service Curve of Rate-Latency Server used by Sporadic Flows Computable in Quadratic Time for Network Calculus33rd Euromicro Conference on Real-Time Systems (ECRTS) 2021, Jul 2021, Online, Germany. ⟨10.4230/LIPIcs.ECRTS.2021.14⟩
Communication dans un congrès
hal-03446018
v1
|
|
Verifying Min-Plus Computations with Coq13th NASA Formal Methods Symposium (NFM 2021), May 2021, Online, United States. pp.287-303, ⟨10.1007/978-3-030-76384-8_18⟩
Communication dans un congrès
hal-03176024
v1
|
|
Comparative study of Ethernet technologies for next-generation satellite on-board networksDASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩
Communication dans un congrès
hal-03463255
v1
|
|
Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board NetworksDATA systems in Aerospace (DASIA), Sep 2021, Bucarest, Romania
Communication dans un congrès
hal-03625035
v1
|
|
Interleaved Weighted Round-Robin: A Network Calculus AnalysisInternational Teletraffic Congress, Sep 2020, Osaka, Japan
Communication dans un congrès
hal-03007964
v1
|
|
TSN Support for Quality of Service in Space10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès
hal-02441327
v1
|
|
Formal Verification of Real-time NetworksJRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, Toulouse, France
Communication dans un congrès
hal-02449140
v1
|
|
Increasing Accuracy of Timing Models: From CPA to CPA+Design, Automation and Test in Europe Conference and Exhibition, Mar 2019, Florence, Italy. ⟨10.23919/DATE.2019.8714770⟩
Communication dans un congrès
hal-02355185
v1
|
|
Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor ERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01707911
v1
|
|
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès
hal-01746132
v1
|
|
Traversal time for weakly synchronized CAN bus24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. ⟨10.1145/2997465.2997477⟩
Communication dans un congrès
hal-01399151
v1
|
|
Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet8th European Congress on Embedded Real Time Software and Systems , Jan 2016, Toulouse, France
Communication dans un congrès
hal-01255939
v1
|
|
Proof-by-Instance for Embedded Network DesignEmbedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272173
v1
|
|
Integrating end-system frame scheduling for more accurate AFDX timing analysisEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272276
v1
|
|
Performance analysis of the Disrupted Static Priority scheduling for AFDXACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, Lausanne, Switzerland
Communication dans un congrès
hal-01085321
v1
|
|
Towards Certifying Network CalculusITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.484-489, ⟨10.1007/978-3-642-39634-2_37⟩
Communication dans un congrès
hal-00904796
v1
|
|
Certifying Network Calculus in a Proof AssistantEUCASS - 5th European Conference for Aeronautics and Space Sciences, Astrium and Technische Universität München, Jul 2013, Munich, Germany
Communication dans un congrès
hal-00904817
v1
|
|
Experimental assessment of timing verification techniques for AFDXERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France
Communication dans un congrès
hal-01345472
v1
|
|
A simple and efficient class of functions to model arrival curve of packetised flowsFirst International Workshop on Worst-case Traversal Time (WCTT 2011), Nov 2011, Vienne, Austria
Communication dans un congrès
hal-00645119
v1
|
|
A Framework to Manage Knowledge from Defect Resolution Process13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), IEEE, Sep 2011, Luxenbourg, Luxembourg. pp.10-17, ⟨10.1109/CEC.2011.11⟩
Communication dans un congrès
hal-03763189
v1
|
|
Special Track on Worst Case Traversal Time (WCTT)4th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2010), Oct 2010, Heraklion, Greece. pp.121, ⟨10.1007/978-3-642-16558-0_12⟩
Communication dans un congrès
hal-04659373
v1
|
|
The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraklion, Greece
Communication dans un congrès
inria-00551504
v1
|
|
Half-modeling of shaping in FIFO net with network calculus18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.59-68
Communication dans un congrès
hal-00544502
v1
|
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82
Communication dans un congrès
hal-00523609
v1
|
|
|
Synthesis and verification of constraints in the PGM protocol12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281
Communication dans un congrès
hal-00110252
v1
|
Chargement...
Chargement...