Ibtissem Ben Makhlouf

18 papers Journal 1Unranked 16

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Predicting Brainwaves from Face Videos. CVPR Workshops Christian S. Pilz, Ibtissem Ben Makhlouf, Ute Habel, Steffen Leonhardt
2017	—	`conf`	HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
2016	—	`—`	Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems. Ibtissem Ben Makhlouf
2016	—	`conf`	HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski
2015	—	`conf`	A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015	—	`conf`	A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. ADHS Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski
2015	—	`conf`	Current Challenges in the Verification of Hybrid Systems. CyPhy Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2014	—	`conf`	Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. ARCH@CPSWeek Ibtissem Ben Makhlouf, Stefan Kowalewski
2014	—	`conf`	Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. ARCH@CPSWeek Ibtissem Ben Makhlouf, Stefan Kowalewski
2013	—	`conf`	Comparison of reachability methods for uncertain linear time-invariant systems. ECC Ibtissem Ben Makhlouf, Paul Hänsch, Stefan Kowalewski
2013	—	`conf`	Reachability analysis for managing platoons at intersections. MED Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski
2012	—	`conf`	A platoon of vehicles approaching an intersection: A testing platform for safe intersections. ITSC Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski
2012	—	`conf`	Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. ADHS Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski
2011	—	`conf`	Reachability Analysis of Linear Systems with Stepwise Constant Inputs. Hybrid Autonomous Systems@ETAPS Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski
2010	—	`conf`	A testing platform for cooperative vehicle platoon controllers. ITSC Hilal Diab, Martín G. Chávez Grunewald, Ibtissem Ben Makhlouf, Dirk Abel, Stefan Kowalewski
2010	J	`jnl`	Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods). Autom. Martín Guillermo, Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel
2009	—	`conf`	Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools. ADHS Martín Guillermo, Ibtissem Ben Makhlouf, Stefan Kowalewski, Chávez Grunewald, Dirk Abel
2006	—	`conf`	An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems. ADHS Ibtissem Ben Makhlouf, Stefan Kowalewski