Benoit Boyer

Identifiers

• name variant Benoit Boyer 0.60 · backfill

Papers (2)

1. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic cs.LO · 2019 · author #3
2. On the Simulation of Time-Triggered Systems on a Chip with BIP cs.SE · 2011 · author #2

Mentions

• 1109.5505 #2 · backfill · confidence 0.70 Benoit Boyer

Frequent Coauthors

• Jan Olaf Blech 1 shared papers
• Jean-Pierre Talpin 1 shared papers
• Simon Lunel 1 shared papers
• Stefan Mitsch 1 shared papers
• Thanh Hung Nguyen 1 shared papers