Dynamics and stability in network formation games with bilateral contracts. - Esteban Arcaute; Eric Dallal; Ramesh Johari; Shie Mannor (CDC, 2007)

On most permissive observers in dynamic sensor optimization problems for discrete event systems. - Eric Dallal; Stéphane Lafortune (Allerton, 2010)

A framework for optimization of sensor activation using most permissive observers. - Eric Dallal; Stéphane Lafortune (CDC/ECC, 2011)

Supervisory control for collision avoidance in vehicular networks with imperfect measurements. - Eric Dallal; Alessandro Colombo; Domitilla Del Vecchio; Stéphane Lafortune (CDC, 2013)

On Most Permissive Observers in Dynamic Sensor Activation Problems. - Eric Dallal; Stéphane Lafortune (IEEE Trans. Autom. Control., 2014)

On compositional symbolic controller synthesis inspired by small-gain theorems. - Eric Dallal; Paulo Tabuada (CDC, 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Synthesis of safety controllers robust to unmodeled intermittent disturbances. - Eric Dallal; Daniel Neider; Paulo Tabuada (CDC, 2016)

Decomposing controller synthesis for safety specifications. - Eric Dallal; Paulo Tabuada (CDC, 2016)

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. - Eric Dallal; Alessandro Colombo; Domitilla Del Vecchio; Stéphane Lafortune (Discret. Event Dyn. Syst., 2017)

Correcting for Reporting Delays in Cyber Incidents. - Seema Sangari; Eric Dallal (CoRR, 2022)

Modeling reporting delays in cyber incidents: an industry-level comparison. - Seema Sangari; Eric Dallal; Michael E. Whitman (Int. J. Inf. Sec., 2023)