Project funded by UTRC, Ireland.
Investigator: Thao Dang
Browsing
New publications
- Recent Publications
- Takoua Abdellatif, Marius Bozga: An End-to-End Security Model for Adaptive Service-Oriented Applications
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin: Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
