Natasha A. Neogi
Orcid: 0000-0002-3257-6288
According to our database1,
Natasha A. Neogi
authored at least 25 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
3
1
1
1
1
1
1
2
1
1
1
2
2
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
2023
Proceedings of the International Conference on Machine Learning and Applications, 2023
2022
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022
2021
IEEE Trans. Intell. Transp. Syst., 2021
IEEE Trans. Control. Netw. Syst., 2021
IEEE Syst. J., 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
2020
Proceedings of the IEEE International Systems Conference, 2020
Proceedings of the Dynamic Data Driven Applications Systems, 2020
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
2015
Proceedings of the IEEE International Symposium on Systems Engineering, 2015
2014
Proceedings of the IEEE International Systems Conference, 2014
Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014
2012
Proceedings of the Infotech@Aerospace 2012, 2012
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport.
IEEE Trans. Intell. Transp. Syst., 2011
Proceedings of the American Control Conference, 2011
2009
Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology.
Proceedings of the American Control Conference, 2009
2008
Proceedings of the American Control Conference, 2008
2007
Proceedings of the American Control Conference, 2007
2006
Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution.
Proceedings of the IEEE International Conference on Systems, 2006
2004
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Utilizing the structure of safety properties to aid in the verification of hybrid controllers.
Proceedings of the 2004 American Control Conference, 2004