✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Simon B***
Maître de conférences
📍 Centre Inria de l'Université de Lille
•
INRIA
1,029
Total Citations
16
H-Index
141
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Formal Methods in Verification
Logic
programming
and type systems
Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
Component (thermodynamics)
Programming language
Physics
Stability
Refinement
Hierarchical Assembly
Control
Cyber-Physical Systems
Component-based Design
Motif
Hierarchical
Structured
Hierarchical control
Modular robots
Control theory
Hybrid
Modelling
Approach
Fancy
Chips
Teastore
Modeling
Adaptable
Discrete
System
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 51 citations
Advancements in Formal Methods in Verification: Contemporary Methods & Empirical Analysis
📖 Journal of Centre Inria de l'Université de Lille
👥 Other Supervisors in Centre Inria de l'Université de Lille
Laurence D***
Professeur des universités • Centre Inria de l'Université de Lille
Marcus D***
Professeur des universités • Centre Inria de l'Université de Lille
Thomas P***
Maître de conférences • Centre Inria de l'Université de Lille
Bruno F***
Maître de conférences • Centre Inria de l'Université de Lille