XGBoost in Public Transportation for Multi-Attribute Data: Delay Prediction in Railway Systems in Real-Time von Chtioui, Sondoss, Mouelhi, Sebti, Saudrais, Sebastien, Azib, Toufik, Ille, Marc, Morel, Melanie, Oru, Frederic

Volltext

Predictive Formal Analysis of Resilience in Cyber-Physical Systems von Mouelhi, Sebti, Laarouchi, Mohamed-Emine, Cancila, Daniela, Chaouchi, Hakima

Volltext

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles von Passerone, Roberto, Cancila, Daniela, Albano, Michele, Mouelhi, Sebti, Plosz, Sandor, Jantunen, Erkki, Ryabokon, Anna, Laarouchi, Emine, Hegedus, Csaba, Varga, Pal

Volltext

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models von Girard, Antoine, Gossler, Gregor, Mouelhi, Sebti

Volltext

Adapting Component Behaviours Using Interface Automata von Chouali, Samir, Mouelhi, Sebti, Mountassir, Hassan

Volltext

Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables von Mouelhi, Sebti

Volltext bestellen

Refinement of Interface Automata Strengthened by Action Semantics von Mouelhi, Sebti, Chouali, Samir, Mountassir, Hassan

Volltext

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car von Chouali, Samir, Mountassir, Hassan, Mouelhi, Sebti

Volltext