Guillaume Plassan

According to our database, Guillaume Plassan authored at least 5 papers between 2016 and 2019.

Collaborative distances:

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

2019

Mining Missing Assumptions from Counter-Examples.

Guillaume Plassan, Katell Morin-Allory, Dominique Borrione

ACM Trans. Embed. Comput. Syst., 2019

2018

Conclusive formal verification of clock domain crossing properties. (Vérification formelle concluante des propriétés des systèmes multi-horloges).

Guillaume Plassan

PhD thesis, 2018

2017

Extraction of missing formal assumptions in under-constrained designs.

Guillaume Plassan, Katell Morin-Allory, Dominique Borrione

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings.

Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Shaker Sarwary, Dominique Borrione

Proceedings of the VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability, 2016

Conclusively verifying clock-domain crossings in very large hardware designs.

Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Fahim Rahim, Shaker Sarwary, Dominique Borrione

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016