Loïc Paulevé's HomePage

Post-doc in the AMIB team at LIX (École Polytechnique), France.

Contact

  • E-mail: pauleve[at]lix.polytechnique.fr - PGP public key: E7E7D63A.
  • Phone: +33 169 334 112 - Fax: +33 169 334 049
  • Office location (LIX): 412.7 (L0)
  • Address:
    Laboratoire d'informatique
    École polytechnique
    91128 Palaiseau Cedex, France

Research keywords

systems biology, abstract interpretation, static analysis, stochastic processes, parameters inference, biological regulatory networks.

Projects

The Process Hitting Framework
Joint work with Morgan Magnin and Oliver Roux (IRCCyN, Nantes, France).
Framework for concurrent processes modelling, allowing scalable formal dynamics checking (static analysis and abstract interpretation techniques).
Application to very large biological regulatory networks.
Software Pint available at processhitting.wordpress.com.
Related publications: [PMR12-MSCS] [PMR10-TCSB] [PMR10-SASB].
Stochastic simulation of process calculi
Joint work with Matthew R. Lakin and Andrew Phillips (Microsoft Research, Cambridge, UK).
Software SPiM available at research.microsoft.com/projects/spim.
Related publications: [LPP12-TCS] [PYLP10-CMSB] [PLP10-MeCBIC].

Talks

Publications

International Journals

[PMR12-MSCS]
Loïc. Paulevé, Morgan Magnin, and Olivier Roux. Static analysis of biological regulatory networks dynamics using abstract interpretation. Mathematical Structures in Computer Science, in press, 2012. Preprint available at http://loicpauleve.name/mscs.pdf. [ bib | DOI | .pdf ]
[LPP12-TCS]
Matthew R. Lakin, Loïc Paulevé, and Andrew Phillips. Stochastic simulation of multiple process calculi for biology. Theoretical Computer Science, 431:181 - 206, 2012. [ bib | DOI | .pdf ]
[PMR10-TSE]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Tuning Temporal Features within the Stochastic π-Calculus. IEEE Transactions on Software Engineering, 37(6):858-871, 2011. [ bib | DOI | .pdf ]
[PR10-CRAS]
Loïc Paulevé and Adrien Richard. Topological Fixed Points in Boolean Networks. Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 348(15-16):825 - 828, 2010. [ bib | DOI | .pdf ]
[PMR10-TCSB]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Refining dynamics of gene regulatory networks in a stochastic π-calculus framework. In Corrado Priami, Ralph-Johan Back, Ion Petre, and Erik de Vink, editors, Transactions on Computational Systems Biology XIII, volume 6575 of Lecture Notes in Computer Science, pages 171-191. Springer Berlin / Heidelberg, 2011. [ bib | DOI | .pdf ]
[PJA10]
Loïc Paulevé, Hervé Jégou, and Laurent Amsaleg. Locality sensitive hashing: A comparison of hash function types and querying mechanisms. Pattern Recognition Letters, 31(11):1348 - 1358, 2010. [ bib | DOI | .pdf ]

International Conferences and Workshops

[PR11-SASB]
Loïc Paulevé and Adrien Richard. Static analysis of boolean networks based on interaction graphs: a survey. Electronic Notes in Theoretical Computer Science, In press, 2011. Proceedings of The Second International Workshop on Static Analysis and Systems Biology (SASB 2011). [ bib | .pdf ]
[PMR10-SASB]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electronic Notes in Theoretical Computer Science, 272:43-56, 2011. Proceedings of The First International Workshop on Static Analysis and Systems Biology (SASB 2010). [ bib | DOI | .pdf ]
[PYLP10-CMSB]
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, and Andrew Phillips. A generic abstract machine for stochastic process calculi. In CMSB '10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pages 43-54, New York, NY, USA, 2010. ACM. [ bib | DOI | .pdf ]

Invited Papers

[PLP10-MeCBIC]
Andrew Phillips, Matthew Lakin, and Loïc Paulevé. Stochastic simulation of process calculi for biology. In Gabriel Ciobanu and Maciej Koutny, editors, Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010, volume 40 of EPTCS, pages 1 - 5, 2010. invited paper. [ bib | DOI | .pdf ]

Reports

[PaulevePhD]
Loïc Paulevé. Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. PhD thesis, École Centrale de Nantes, 2011. [ bib | http ]
[PMR11-RR-SAAI]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics. Research Report hal-00574353, IRCCyN, March 2011. [ bib | http ]
[PMR09-RR-Tuning]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Tuning Temporal Features within the Stochastic π-Calculus. Research Report hal-00397308, IRCCyN, June 2009. [ bib | http ]
[PMR09-RR-Refining]
Loïc Paulevé, Morgan Magnin, and Olivier Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. Research Report hal-00397235, IRCCyN, June 2009. [ bib | http ]
[PauMasterThesis]
Loïc Paulevé. Euclidean lattices for high dimensional indexing and searching. Research report, IRISA, 2008. [ bib | http ]

Co-authors

(by date/name)

Awards

Teaching

Other activities

Education