An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems. - Ibtissem Ben Makhlouf; Stefan Kowalewski (ADHS, 2006)

Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools. - Martín Guillermo; Ibtissem Ben Makhlouf; Stefan Kowalewski; Chávez Grunewald; Dirk Abel (ADHS, 2009)

A testing platform for cooperative vehicle platoon controllers. - Hilal Diab; Martín G. Chávez Grunewald; Ibtissem Ben Makhlouf; Dirk Abel; Stefan Kowalewski (ITSC, 2010)

Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods). - Martín Guillermo; Chávez Grunewald; Ibtissem Ben Makhlouf; Hilal Diab; Vicente A. Mut; Stefan Kowalewski; Dirk Abel (Autom., 2010)

Reachability Analysis of Linear Systems with Stepwise Constant Inputs. - Paul Hänsch; Hilal Diab; Ibtissem Ben Makhlouf; Stefan Kowalewski (Hybrid Autonomous Systems@ETAPS, 2011)

Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. - Ibtissem Ben Makhlouf; Hilal Diab; Stefan Kowalewski (ADHS, 2012)

A platoon of vehicles approaching an intersection: A testing platform for safe intersections. - Hilal Diab; Ibtissem Ben Makhlouf; Stefan Kowalewski (ITSC, 2012)

Comparison of reachability methods for uncertain linear time-invariant systems. - Ibtissem Ben Makhlouf; Paul Hänsch; Stefan Kowalewski (ECC, 2013)

Reachability analysis for managing platoons at intersections. - Ibtissem Ben Makhlouf; Hilal Diab; Stefan Kowalewski (MED, 2013)

Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. - Ibtissem Ben Makhlouf; Stefan Kowalewski (ARCH@CPSWeek, 2014)

Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. - Ibtissem Ben Makhlouf; Stefan Kowalewski (ARCH@CPSWeek, 2014)

A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. - Ibtissem Ben Makhlouf; Jonathan Gan; Stefan Kowalewski (ADHS, 2015)

Current Challenges in the Verification of Hybrid Systems. - Stefan Schupp; Erika Ábrahám; Xin Chen 002; Ibtissem Ben Makhlouf; Goran Frehse; Sriram Sankaranarayanan 001; Stefan Kowalewski (CyPhy, 2015)

A Benchmark Suite for Hybrid Systems Reachability Analysis. - Xin Chen 002; Stefan Schupp; Ibtissem Ben Makhlouf; Erika Ábrahám; Goran Frehse; Stefan Kowalewski (NFM, 2015)

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. - Ibtissem Ben Makhlouf; Norman Hansen; Stefan Kowalewski (ARCH@CPSWeek, 2016)

Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems. - Ibtissem Ben Makhlouf (Shaker, 2016)

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. - Stefan Schupp; Erika Ábrahám; Ibtissem Ben Makhlouf; Stefan Kowalewski (NFM, 2017)

Predicting Brainwaves from Face Videos. - Christian S. Pilz; Ibtissem Ben Makhlouf; Ute Habel; Steffen Leonhardt (CVPR Workshops, 2020)