Marc Boyer

According to our database1, Marc Boyer authored at least 36 papers between 1998 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verifying Min-Plus Computations with Coq.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

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

Latency Analysis of Multiple Classes of AVB Traffic in TSN with Standard Credit Behavior using Network Calculus.
CoRR, 2020

Interleaved Weighted Round-Robin: A Network Calculus Analysis.
Proceedings of the 32nd International Teletraffic Congress, 2020

2019
Impact on credit freeze before gate closing in CBS and GCL integration into TSN.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Increasing Accuracy of Timing Models: From CPA to CPA+.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2017
Evaluation of admissible CAN bus load with weak synchronization mechanism.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016
Use of data mining at the Food and Drug Administration.
J. Am. Medical Informatics Assoc., 2016

Traversal time for weakly synchronized CAN bus.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Embedding network calculus and event stream theory in a common model.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2014
Complete modelling of AVB in Network Calculus Framework.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Performance analysis of the Disrupted Static Priority scheduling for AFDX.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013
Continuity for network calculus.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Towards Certifying Network Calculus.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012
Generalisation of GPS and P-GPS in network calculus.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Deficit Round Robin with network calculus.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Combining network calculus and scheduling theory to improve delay bounds.
Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Non Preemptive Static Priority with Network Calculus: Enhancement.
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.
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Non preemptive static priority with network calculus.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

NC-Maude: A Rewriting Tool to Play with Network Calculus.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Special Track on Worst Case Traversal Time (WCTT).
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.
Fundam. Informaticae, 2008

2007
Cartographie de l'organisation : une approche topologique des connaissances.
Proceedings of the Extraction et gestion des connaissances (EGC'2007), 2007

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Mapping RT-LOTOS Specifications into Time Petri Nets.
Proceedings of the Formal Methods and Software Engineering, 2006

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
TTCAN over mixed CAN/switched Ethernet architecture.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003
The Cube Lattice Model and its Applications.
Appl. Artif. Intell., 2003

Synthesis and Verification of Constraints in the PGM Protocol.
Proceedings of the FME 2003: Formal Methods, 2003

2002
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
Electron. Notes Theor. Comput. Sci., 2002

Classification formelle de règles - Un système de gradation des règles contextuelles.
Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002

2001
Multiple Enabledness of Transitions in Petri Nets with Time.
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.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
Dynamic QoS Renegotiation in the PNSVS Videoconferencing Application.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1998


  Loading...