Daniel Bundala

According to our database, Daniel Bundala authored at least 9 papers between 2012 and 2017.

Collaborative distances:

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

2017

Optimal-depth sorting networks.

Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný

J. Comput. Syst. Sci., 2017

On parametric timed automata and one-counter machines.

Daniel Bundala, Joël Ouaknine

Inf. Comput., 2017

2015

On Systematic Testing for Execution-Time Analysis.

Daniel Bundala, Sanjit A. Seshia

CoRR, 2015

2014

Algorithmic verification problems in automata-theoretic settings.

Daniel Bundala

PhD thesis, 2014

Advances in Parametric Real-Time Reasoning.

Daniel Bundala, Joël Ouaknine

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Optimal Sorting Networks.

Daniel Bundala, Jakub Zavodny

Proceedings of the Language and Automata Theory and Applications, 2014

On the Complexity of Temporal-Logic Path Checking.

Daniel Bundala, Joël Ouaknine

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

On the Complexity of Path Checking of Temporal Logics.

Daniel Bundala, Joël Ouaknine

CoRR, 2013

2012

On the Magnitude of Completeness Thresholds in Bounded Model Checking.

Daniel Bundala, Joël Ouaknine, James Worrell

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012