Specification and Verification Axis

Paris 13 > LIPN > LCR > Specification and Verification Axis

Members

Full professors

Professors

Ph.D. Students

Interns

Upcoming events

2nd French Singaporean Workshop in Formal Methods and Applications

May 2014, Singapore

Some recent events

Kaïs Klaï’s habilitation defense

Monday 9th December 2013, LIPN

TRAN Khanh Dung’s PhD defense

Friday 20th September 2013, LIPN, B107

French Singaporean Workshop in Formal Methods and Applications

15–16th July 2013, Singapore

Seminary by Li Li

21nd May 2013, 4pm

Alfred Sanogo’s PhD defense

17th December 2012 at 2pm

Formal Methods Symposium 2012

27-31 August 2012

Anna Dedova Ph.D. defense

July 9th 2012 at 2pm

MeFoSyLoMa seminary and CosyVerif Day

Friday March 23rd 2012 at LIPN

CosyVerif Day

Friday March 23rd 2012 at LSV (ENS Cachan)

Seminary by Hanen Ochi

Friday January 27th 2012 at 3pm30 at LIPN (room A304)

Seminary by Jean-Claude Royer

Friday December 9th 2011 at 10.30am at LIPN

Mid-Ph.D. Defense of Alfred Sanogo

Friday December 9th 2011 at 1.30pm at LIPN

Themes

See our research activity report 2003 − 2006 at LIPN (the 2007−2010 activity report is under construction and will be ready late 2014).

See the axis bibliography, or the bibliography of each our members.

Internships 2014

Our research axis proposes a list of internship opportunities for Master students, for spring and summer 2014.

Most of these subjects can be extended to a PhD thesis subject.

In case you are interested in a particular subject, please contact the researcher(s) proposing it. Also feel free to contact us for any question.

Subject Proposed by Level
Écriture de chroniques [PDF Français] Christine Choppy and Romain Kervarc (ONERA) Master 2
Contrats 4D [PDF Français] Christine Choppy, Romain Kervarc (ONERA) and Fabrice Kordon (Univ. Paris 6) Master 2
Approche incrémentale et modulaire pour la vérification de propriétés temporelles linéaires sur les réseaux de Petri [PDF Français] Kaïs Klaï and Laure Petrucci Master 2
Vérification modulaire de systèmes temporisés : aspects structurels et dynamiques [PDF Français] Kaïs Klaï and Laure Petrucci Master 2
Une méthode d’analyse et spécification pour les systèmes complexes avec des réseaux de Petri de haut niveau et des spécifications algébriques [PDF Français] Christine Choppy and Laure Petrucci Master 2
Distributed model-checking: efficient multi-core algorithms [PDF Français] [PDF English] Sami Evangelista and Laure Petrucci Master 2
Distributed verification of real-time systems [PDF Français] [PDF English] Étienne André and Laure Petrucci Master 2
Parametric verification of real-time systems [PDF Français] [PDF English] Étienne André Master 2
Distributed model-checking for time and prioritised Petri nets [PDF Français] [PDF English] Étienne André, Sami Evangelista and Laure Petrucci Master 2
State space abstractions for timed systems [PDF English] Étienne André and Kaïs Klaï Master 2
Formal Specification of Real-Time Systems [PDF Français] Étienne André and Christine Choppy Master 2

Tools

Projects

Main collaborations and visitors

Former members

Post-docs

Ph.D. Students

Interns

Seminaries

This page makes use of valid HTML 5 and valid CSS.