Eric Dallal

13 papers C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Modeling reporting delays in cyber incidents: an industry-level comparison.
Int. J. Inf. Sec.
Seema Sangari, Eric Dallal, Michael E. Whitman
2022 J jnl
Correcting for Reporting Delays in Cyber Incidents.
CoRR
Seema Sangari, Eric Dallal
2017 J jnl
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Discret. Event Dyn. Syst.
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2016 — conf
Decomposing controller synthesis for safety specifications.
CDC
Eric Dallal, Paulo Tabuada
2016 — conf
Synthesis of safety controllers robust to unmodeled intermittent disturbances.
CDC
Eric Dallal, Daniel Neider, Paulo Tabuada
2015 — conf
On compositional symbolic controller synthesis inspired by small-gain theorems.
CDC
Eric Dallal, Paulo Tabuada
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2014 J jnl
On Most Permissive Observers in Dynamic Sensor Activation Problems.
IEEE Trans. Autom. Control.
Eric Dallal, Stéphane Lafortune
2013 C conf
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
ACC
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2013 — conf
Supervisory control for collision avoidance in vehicular networks with imperfect measurements.
CDC
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2011 — conf
A framework for optimization of sensor activation using most permissive observers.
CDC/ECC
Eric Dallal, Stéphane Lafortune
2010 — conf
On most permissive observers in dynamic sensor optimization problems for discrete event systems.
Allerton
Eric Dallal, Stéphane Lafortune
2007 — conf
Dynamics and stability in network formation games with bilateral contracts.
CDC
Esteban Arcaute, Eric Dallal, Ramesh Johari, Shie Mannor