Arnaud Gotlieb

Identifiers

No identifiers captured yet.

Papers (6)

1. Time-aware Test Case Execution Scheduling for Cyber-Physical Systems cs.SE · 2019 · author #2
2. Towards Testing of Deep Learning Systems with Training Set Reduction stat.ML · 2019 · author #2
3. Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration cs.SE · 2018 · author #2
4. A Combined Approach for Constraints over Finite Domains and Arrays cs.LO · 2013 · author #2
5. Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version cs.AI · 2013 · author #4
6. Proving or Disproving likely Invariants with Constraint Reasoning cs.SE · 2005 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Helge Spieker 3 shared papers
• Morten Mossige 2 shared papers
• Dusica Marijan 1 shared papers
• Hein Meling 1 shared papers
• Mats Carlsson 1 shared papers
• Matthieu Carlier 1 shared papers
• Mireille Ducasse 1 shared papers
• Roberta Gori 1 shared papers
• Roberto Bagnara 1 shared papers
• S\'ebastien Bardin 1 shared papers
• Tristan Denmat 1 shared papers