P4S -- Processes for Safe and Secure Software and Systems
Welcome to the wiki of the P4S team of Lab-Sticc.
Generalities
The P4S team is member of the SHARP cluster of the Lab-STICC laboratory (UMR 6285).
Its name is an acronym for Processes for Safe and Secure Software and Systems.
Our interest is in (methods and tools) to (specify and describe) (systems and software) so that (evaluation and analysis) ((increase confidence) and (ensure (safety and security))).
We use:
- System modeling; because the product needs to be described
- Process modeling and process improvement; because the development process is a key to safety, security and more generally confidence
We rely on:
- Models federation; because many points of view need to be merged.
- Free modeling; because points of views are specific and no framework (meta-model) can catch all points of view.
- Formal Verification at all stages, all levels: intra-model, inter-models.
- Mixing automatic and semi-automatic techniques
News
- 2022-10-01 Vincent Ribaud is now emeritus associate professor
- 2022-10-01 A new member: Éric Cariou, Associate Professor, UBO
- 2022-06-30: the team seminar more on this page
- 2022-04-01 A new member: Ihab Benamer, Research engineer, IMT Atlantique
- 2022-03-01 A new member: Bruno Mateu, Phd student, IMT Atlantique
- 2022-01-01 A new member: Gaélic Béchu, Research engineer, IMT Atlantique
- 2022-01-01 A new member: Chahrazed Boudjemila, Phd student, IMT Atlantique
- 2021-05-01 A new member: Caroline Cao, Prof. IMT Atlantique
- 2021-04-14 A PhD defense: Bastien Drouot now post-doc at ENSTA Bretagne
Members
The leader of the team is Fabien Dagnat.
Permanent members
- Jean-Christophe Bach, Asso. Prof. IMT Atlantique
- Antoine Beugnard, Prof. IMT Atlantique
- Caroline Cao, Prof. IMT Atlantique, chair “Industrie du Futur”
- Joël Champeau, Asso. Prof. ENSTA Bretagne
- Éric Cariou, Asso. Prof. UBO
- Fabien Dagnat, Asso. Prof. (HDR) IMT Atlantique
- Mounir Lallali, Asso. Prof. UBO
- Julien Mallet, Asso. Prof. IMT Atlantique
- Salvador Martinez Perez, Asso. Prof IMT Alantique
- Raúl Mazo, Prof. ENSTA Bretagne
- Vincent Ribaud, Asso. Prof. (HDR), Emeritus, UBO
- Siegfried Rouvrais, Assoc. Prof. IMT Atlantique, keywords: System of Systems Design & Verification; Processes for Quality Enhancement; Enterprise Architecture Frameworks; Strategical Alignment and Transformations; Agility and Robustness
- Jacques Simonin, Prof. IMT Atlantique
- Ciprian Teodorov, Asso. Prof. ENSTA Bretagne
Post-docs and engineers
- Luka Leroux, ENSTA Bretagne, Post-doc
- Santiago Ruano Rincón, IMT Atlantique, Engineer, shared time with other teams of the CS dpt. of IMT Atlantique
- Gaélic Béchu, IMT Atlantique, Ingénieur de recherche
- Valery Monthe, ENSTA Bretagne, Post-doc
- Ihab Benamer, IMT Atlantique, Ingénieur de recherche
PhD Students
- Sylvain Guérin, ENSTA Bretagne
- Benjamin Somers, IMT Atlantique et Arkéa
- Hiba Hnaini, ENSTA Bretagne
- Arnaud Allemang-Trivalle, IMT Atlantique, basé sur le campus de Nantes
- Chahrazed Boudjemila, IMT Atlantique
- Bruno Mateu, IMT Atlantique et Quarkslab
- Anne-Laure Wozniak, ENSTA Bretagne et Kereval
Past members
- Philippe Dhaussy, Prof. ENSTA Bretagne
- Fahad Golra
- Vincent Leilde, PhD defense on Thursday 14th Novembre 2019
- Fadi Obeid, PhD defense 22 may 2018
- Nicolas Duminy, IMT Atlantique, Post-doc
- Valentin Besnard, PhD defense 9th December 2020
- Nicolas Szlifierski, IMT Atlantique, PhD defense 17th Decembre 2020
- Mike Wahiu
- Étienne Louboutin, IMT Atlantique (Chaire de cyberdéfense des systèmes navals), PhD defense 11th January 2021
- Tithnara Nicolas Sun, ENSTA Bretagne, PhD defense 10th may 2022
- Bastien Drouot, ENSTA Bretagne, Post-doc
- Paul Perrotin, IMT Atlantique (Chaire de cyberdéfense des systèmes navals), PhD defense 14th december 2022
- Émilien Fournier, ENSTA Bretagne, PhD defense 5th july 2022
Technical section
If you need an access to the wiki, to our Git repositories or to our SSH server, please send an email to p4s-admin at imt-atlantique.fr (using the following rewriting rule: at -> @)