Daniel Genin

According to our database, Daniel Genin authored at least 14 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Safety Fallback Controller for Improved Collision Avoidance.

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé

Int. J. Softw. Tools Technol. Transf., 2022

2021

Formal Verification of Neural Network Controllers for Collision-Free Flight.

Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt

Proceedings of the Software Verification - 13th International Conference, 2021

Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.

Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.

Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer

J. Artif. Intell. Res., 2020

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.

Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt

CoRR, 2020

Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2018

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.

Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer

CoRR, 2018

2017

Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.

Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Data Protection in OpenStack.

Bruce Benjamin, Joel Coffman, Hadi Esiely-Barrera, Kaitlin Farr, Dane Fichter, Daniel Genin, Laura Glendenning, Peter A. Hamilton, Shaku Harshavardhana, Rosalind Hom, Brianna Poulos, Nathan Reller

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2013

Where in the Internet is congestion?

Daniel Genin, Jolene Splett

CoRR, 2013

2011

Modeling queuing dynamics of TCP: a simple model and its empirical validation

Daniel Genin, Tassos Nakassis

CoRR, 2011

2009

Bursty fluid approximation of TCP for modeling internet congestion at the flow level.

Daniel Genin, Vladimir Marbukh

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

2008

Toward Understanding of Metastability in Cellular Networks: Emergence and Implications for Performance.

Daniel Genin, Vladimir Marbukh

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008