| 2022 | PRDC | Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. | Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma |
| 2017 | RV | ARTiMon Monitoring Tool, The Time Domains. | Nicolas Rapin |
| 2016 | RV | Reactive Property Monitoring of Hybrid Systems with Aggregation. | Nicolas Rapin |
| 2015 | DSD | Enhanced Quality Using Intensive Test and Analysis on Simulators. | Rda Nouacer, Manel Djemal, Smal Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen |
| 2009 | TAP | Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. | Nicolas Rapin |
| 2007 | TAP | Symbolic Execution Techniques for Refinement Testing. | Pascale Le Gall, Nicolas Rapin, Assia Touil |
| 2006 | MODELS | Report on the 3rd MoDeVa Workshop - Model Design and Validation. | Benoit Baudry, David Hearnden, Nicolas Rapin, Jrn Guy S |
| 2003 | TACAS | Automatic Test Generation with AGATHA. | Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |