| 2017 | MEMOCODE | Extraction of missing formal assumptions in under-constrained designs. | Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
| 2015 | FDL | Enabler-based synchronizer model for clock domain crossing static verification. | Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione |
| 2013 | FDL | Application of formal methods for design space exploration and refinement. | Dominique Borrione, Ashraf M. Salem |
| 2013 | MEMOCODE | Fast prototyping from assertions: A pragmatic approach. | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
| 2009 | DDECS | High-level symbolic simulation for automatic model extraction. | Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre |
| 2008 | MEMOCODE | Assertion-Based Design with Horus. | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2007 | DDECS | Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2007 | FDL | Asynchronous online-monitoring of logical and temporal assertions. | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
| 2006 | DATE | Proven correct monitors from PSL specifications. | Katell Morin-Allory, Dominique Borrione |
| 2006 | FDL | On-line Monitoring of Properties Built on Regular Expressions. | Katell Morin-Allory, Dominique Borrione |
| 2006 | RSP | Asynchronous Assertion Monitors for multi-Clock Domain System Verification. | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
| 2004 | FMCAD | A Functional Approach to the Formal Specification of Networks on Chip. | Julien Schmaltz, Dominique Borrione |
| 2003 | FDL | Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. | Dominique Borrione, Menouer Boubekeur |
| 2002 | DATE | Formal Verification Techniques: Industrial Status and Perspectives. | Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud |
| 2001 | ISCAS | On the use of don't cares during symbolic reachability analysis. | Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy |
| 1997 | DATE | Connection error location and correction in combinational circuits. | Ayman M. Wahba, Dominique Borrione |
| 1996 | FMCAD | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. | Dominique Borrione, H. Bouamama, David Dharbe, C. Le Faou, Ayman M. Wahba |
| 1988 | ICCD | A functional approach to formal hardware verification: the MTI experience. | Dominique Borrione, Paolo Camurati, J. L. Paillet, Paolo Prinetto |
| 1982 | DAC | The conlan project: Status and future plans. | Robert Piloty, Dominique Borrione |