Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

Loïc Paulevé 1
1 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : The software Pint is devoted to the scalable analysis of the traces of automata networks, which encompass Boolean and discrete networks. Pint implements formal approximations of transient reachability-related properties, including mutation prediction and model reduction. Pint is distributed with command line tools, as well as a Python module pypint. The latter provides a seamless integration with the Jupyter IPython notebook web interface, which allows to easily save, reuse, reproduce , and share workflows of model analysis. Pint can address networks with hundreds to thousands interacting components , which are typically intractable with standard approaches.
Type de document :
Communication dans un congrès
Jérôme Feret; Heinz Koeppl. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. Springer International Publishing, 10545, pp.370 - 316, 2017, Lecture Notes in Computer Science. 〈http://cmsb2017.tu-darmstadt.de〉. 〈10.1007/978-3-319-67471-1_20〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01589248
Contributeur : Loïc Paulevé <>
Soumis le : lundi 18 septembre 2017 - 13:39:24
Dernière modification le : vendredi 27 avril 2018 - 14:36:02

Fichier

pint.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. Jérôme Feret; Heinz Koeppl. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. Springer International Publishing, 10545, pp.370 - 316, 2017, Lecture Notes in Computer Science. 〈http://cmsb2017.tu-darmstadt.de〉. 〈10.1007/978-3-319-67471-1_20〉. 〈hal-01589248〉

Partager

Métriques

Consultations de la notice

372

Téléchargements de fichiers

379