Nicolas Rapin

According to our database, Nicolas Rapin authored at least 17 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.

Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

2019

BloodSpot: a database of healthy and malignant haematopoiesis updated with purified and single cell mRNA sequencing profiles.

Frederik Otzen Bagger, Savvas Kinalis, Nicolas Rapin

Nucleic Acids Res., 2019

2018

An end-to-end framework for safe software development.

Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin

Microprocess. Microsystems, 2018

2017

ARTiMon Monitoring Tool, The Time Domains.

Nicolas Rapin

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016

BloodSpot: a database of gene expression profiles and transcriptional programs for healthy and malignant haematopoiesis.

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

Nucleic Acids Res., 2016

EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems.

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

Microprocess. Microsystems, 2016

Reactive Property Monitoring of Hybrid Systems with Aggregation.

Nicolas Rapin

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Enhanced Quality Using Intensive Test and Analysis on Simulators.

Réda Nouacer, Manel Djemal, Smaïl Niar, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Toni Adriano, Bryan MacEachen

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2013

HemaExplorer: a database of mRNA expression profiles in normal and malignant haematopoiesis.

Frederik Otzen Bagger, Nicolas Rapin, Kim Theilgaard-Mönch, Bogumil Kaczkowski, Lina A. Thoren, Johan Jendholm, Ole Winther, Bo T. Porse

Nucleic Acids Res., 2013

2011

Immune system simulation online.

Nicolas Rapin, Ole Lund, Filippo Castiglione

Bioinform., 2011

Diagnosability Study of Technological Systems.

Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani

Proceedings of the Modern Approaches in Applied Intelligence, 2011

2009

ImmunoGrid, an integrative environment for large-scale simulation of the immune system for vaccine discovery, design and optimization.

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

Briefings Bioinform., 2009

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.

Nicolas Rapin

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2007

Symbolic Execution Techniques for Refinement Testing.

Pascale Le Gall, Nicolas Rapin, Assia Touil

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2006

Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil

Proceedings of the Testing of Communicating Systems, 2006

Report on the 3rd MoDeVa Workshop - Model Design and Validation.

Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß

Proceedings of the Models in Software Engineering, 2006

2003

Automatic Test Generation with AGATHA.

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003