Guillaume Plassan

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Formal Verification

Domain Independent

Bounded Model Checking

Top Venues

ACM Trans. Embed. Comput. Syst.

VLSI-SoC (Selected Papers)

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Guillaume Plassan, Katell Morin-Allory, Dominique Borrione
Mining Missing Assumptions from Counter-Examples. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Guillaume Plassan, Katell Morin-Allory, Dominique Borrione
Extraction of missing formal assumptions in under-constrained designs. MEMOCODE (2017)
Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Shaker Sarwary, Dominique Borrione
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings. VLSI-SoC (Selected Papers) (2016)
Guillaume Plassan, Hans-Jörg Peter, Katell Morin-Allory, Fahim Rahim, Shaker Sarwary, Dominique Borrione
Conclusively verifying clock-domain crossings in very large hardware designs. VLSI-SoC (2016)