Nicolas Rapin

17 papers A 1B 1C 3Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2022 C conf
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.
PRDC
Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma
2019 J jnl
BloodSpot: a database of healthy and malignant haematopoiesis updated with purified and single cell mRNA sequencing profiles.
Nucleic Acids Res.
Frederik Otzen Bagger, Savvas Kinalis, Nicolas Rapin
2018 J jnl
An end-to-end framework for safe software development.
Microprocess. Microsystems
Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin
2017 — conf
ARTiMon Monitoring Tool, The Time Domains.
RV-CuBES
Nicolas Rapin
2016 J jnl
BloodSpot: a database of gene expression profiles and transcriptional programs for healthy and malignant haematopoiesis.
Nucleic Acids Res.
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
2016 J jnl
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems.
Microprocess. Microsystems
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
2016 B conf
Reactive Property Monitoring of Hybrid Systems with Aggregation.
RV
Nicolas Rapin
2015 C conf
Enhanced Quality Using Intensive Test and Analysis on Simulators.
DSD
Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen
2013 J jnl
HemaExplorer: a database of mRNA expression profiles in normal and malignant haematopoiesis.
Nucleic Acids Res.
Frederik Otzen Bagger, Nicolas Rapin, Kim Theilgaard-Mönch, Bogumil Kaczkowski, Lina A. Thoren, Johan Jendholm, Ole Winther, Bo T. Porse
2011 — conf
Diagnosability Study of Technological Systems.
IEA/AIE (1)
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani
2011 J jnl
Immune system simulation online.
Bioinform.
Nicolas Rapin, Ole Lund, Filippo Castiglione
2009 J jnl
ImmunoGrid, an integrative environment for large-scale simulation of the immune system for vaccine discovery, design and optimization.
Briefings Bioinform.
Francesco Pappalardo, Mark D. Halling-Brown, Nicolas Rapin, Ping Zhang, Davide Alemani, Andrew P. J. 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
2009 — conf
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.
TAP@TOOLS
Nicolas Rapin
2007 C conf
Symbolic Execution Techniques for Refinement Testing.
TAP
Pascale Le Gall, Nicolas Rapin, Assia Touil
2006 — conf
Report on the 3rd MoDeVa Workshop - Model Design and Validation.
MoDELS (Workshops)
Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß
2006 — conf
Symbolic Execution Techniques for Test Purpose Definition.
TestCom
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
2003 A conf
Automatic Test Generation with AGATHA.
TACAS
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin