Atanu Kundu

Orcid: 0000-0001-9416-6957

Affiliations:

Indian Association for the Cultivation of Science, School of Mathematical and Computational Sciences, Kolkata, India

According to our database¹, Atanu Kundu authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Data-Driven Falsification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Atanu Kundu

Sauvik Gon

Rajarshi Ray

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems.

[BibT_eX]

[DOI]

Atanu Kundu

Sarthak Das

Rajarshi Ray

ACM Trans. Embed. Comput. Syst., March, 2023

ARCH-COMP23 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

Atanu Kundu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...