Samuel Devulder

According to our database, Samuel Devulder authored at least 3 papers between 1999 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A dynamic constraint-based BMC strategy for generating counterexamples.

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

1999

A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.

Samuel Devulder, Jean-Luc Lambert

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Software Verification Based on Linear Programming.

S. Dellacherie, Samuel Devulder, Jean-Luc Lambert

Proceedings of the FM'99 - Formal Methods, 1999