| 2026 | FSCD | Investigations on Higher-Order Infinitary Logic. | Thomas Traversi, Olivier Hermant, Marc Aiguier |
| 2021 | ICALP | Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. | Alexandre Goy, Daniela Petrisan, Marc Aiguier |
| 2019 | ISMM | From Structuring Elements to Structuring Neighborhood Systems. | Alexandre Goy, Marc Aiguier, Isabelle Bloch |
| 2013 | APSEC | Results for Compositional Timed Testing. | Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre |
| 2013 | ICECCS | An Adequate Logic for Heterogeneous Systems. | Marc Aiguier, Boris Golden, Daniel Krob |
| 2012 | APSEC | Testing of Component-Based Systems. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Christophe Gaston |
| 2010 | ICTAC | Testing of Abstract Components. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Assia Touil |
| 2009 | ICSEA | Symbolic Execution Techniques Extended to Systems. | Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre |
| 2009 | ICTAC | Integration Testing from Structured First-Order Specifications via Deduction Modulo. | Delphine Longuet, Marc Aiguier |
| 2008 | APSEC | Emergent Properties in Reactive Systems. | Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki |
| 2008 | ICSEA | A Formal Definition of Complex Software. | Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki |
| 2007 | CALCO | Specification-Based Testing for CoCasl's Modal Specifications. | Delphine Longuet, Marc Aiguier |
| 2007 | TASE | Test Selection Criteria for Modal Specifications of Reactive Systems. | Marc Aiguier, Delphine Longuet |
| 2006 | FM | Feature Specification and Static Analysis for Interaction Resolution. | Marc Aiguier, Karim Berkani, Pascale Le Gall |
| 2006 | ICSEA | Automatic Generation of Functional Programs from CASL Specifications. | Agns Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet |
| 2005 | APSEC | A Temporal Logic for Input Output Symbolic Transition Systems. | Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil |
| 2004 | ICTAC | An Algebraic Approach for Codesign. | Marc Aiguier, Stefan Broff, Pierre-Yves Schobbens |
| 2002 | AISC | On a Generalised Logicality Theorem. | Marc Aiguier, Diane Bahrami, Catherine Dubois |
| 2002 | APSEC | Feature Logics and Refinement. | Marc Aiguier, Christophe Gaston, Pascale Le Gall |
| 2000 | EuroPar | Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. | Roxane Adle, Marc Aiguier, Franck Delaplace |