Didier Buchs

Identifiers

• name variant Didier Buchs 0.60 · backfill

Papers (5)

1. Explicit and Controllable Assignment Semantics cs.PL · 2019 · author #2
2. Extracting Formal Specifications to Strenghten Type Behaviour Testing cs.PL · 2017 · author #2
3. A CEGAR-like Approach for Cost LTL Bounds cs.LO · 2015 · author #3
4. Model Checking Contest @ Petri Nets, Report on the 2013 edition cs.SE · 2013 · author #4
5. Modelling of Genetic Regulatory Mechanisms with GReg cs.LO · 2011 · author #2

Mentions

• 1309.2485 #4 · backfill · confidence 0.70 Didier Buchs
• 1108.3436 #2 · backfill · confidence 0.70 Didier Buchs

Frequent Coauthors

• Dimitri Racordon 3 shared papers
• Alban Linard 2 shared papers
• Alexis Marechal 2 shared papers
• C\'esar Rodr\'iguez 1 shared papers
• Christian Rohr 1 shared papers
• Edmundo Lopez 1 shared papers
• Emmanuel Paviot-Adet 1 shared papers
• Fabrice Kordon 1 shared papers
• Fabrice Legond-Aubry 1 shared papers
• Francis Hulin-Hubard 1 shared papers
• Franck Pommereau 1 shared papers
• Harro Wimmel 1 shared papers
• Karsten Wolf 1 shared papers
• Lom-Messan Hillah 1 shared papers
• {\L}ukasz Fronc 1 shared papers
• Marco Beccuti 1 shared papers
• Maximilien Colange 1 shared papers
• Nicolas Sedlmajer 1 shared papers
• Niels Lohmann 1 shared papers
• Steve Hostettler 1 shared papers