Nicolas Rapin

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 7

Top Topics

Expression Profiles

Top Venues

Nucleic Acids Res.

Microprocess. Microsystems

Publications

Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. PRDC (2022)
Frederik Otzen Bagger, Savvas Kinalis, Nicolas Rapin
BloodSpot: a database of healthy and malignant haematopoiesis updated with purified and single cell mRNA sequencing profiles. Nucleic Acids Res. 47 (Database-Issue) (2019)
Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin
An end-to-end framework for safe software development. Microprocess. Microsystems 62 (2018)
Nicolas Rapin
ARTiMon Monitoring Tool, The Time Domains. RV-CuBES (2017)
Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Arnault Lapitre, Toni Adriano, Bryan MacEachen
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems. Microprocess. Microsystems 47 (2016)
Nicolas Rapin
Reactive Property Monitoring of Hybrid Systems with Aggregation. RV (2016)
Frederik Otzen Bagger, Damir Sasivarevic, Sina Hadi Sohi, Linea Gøricke Laursen, Sachin Pundhir, Casper Kaae Sønderby, Ole Winther, Nicolas Rapin, Bo T. Porse
BloodSpot: a database of gene expression profiles and transcriptional programs for healthy and malignant haematopoiesis. Nucleic Acids Res. 44 (Database-Issue) (2016)
Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen
Enhanced Quality Using Intensive Test and Analysis on Simulators. DSD (2015)
Frederik Otzen Bagger, Nicolas Rapin, Kim Theilgaard-Mönch, Bogumil Kaczkowski, Lina A. Thoren, Johan Jendholm, Ole Winther, Bo T. Porse
HemaExplorer: a database of mRNA expression profiles in normal and malignant haematopoiesis. Nucleic Acids Res. 41 (Database-Issue) (2013)
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani
Diagnosability Study of Technological Systems. IEA/AIE (1) (2011)
Nicolas Rapin, Ole Lund, Filippo Castiglione
Immune system simulation online. Bioinform. 27 (14) (2011)
Francesco Pappalardo, Mark D. Halling-Brown, Nicolas Rapin, Ping Zhang, Davide Alemani, Andrew Emerson, Paola Paci, Patrice Duroux, Marzio Pennisi, Arianna Palladini, Olivo Miotto, Daniel Churchill, Elda Rossi, Adrian J. Shepherd, David S. Moss, Filippo Castiglione, Massimo Bernaschi, Marie-Paule Lefranc, Søren Brunak, Santo Motta, Pierluigi Lollini, Kaye E. Basford, Vladimir Brusic
ImmunoGrid, an integrative environment for large-scale simulation of the immune system for vaccine discovery, design and optimization. Briefings Bioinform. 10 (3) (2009)
Nicolas Rapin
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. TAP@TOOLS (2009)
Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Refinement Testing. TAP (2007)
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. TestCom (2006)
Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß
Report on the 3rd MoDeVa Workshop - Model Design and Validation. MoDELS (Workshops) (2006)
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
Automatic Test Generation with AGATHA. TACAS (2003)