Daniel Bundala

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Mazurkiewicz Traces

Top Venues

J. Comput. Syst. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Daniel Bundala, Joël Ouaknine
On parametric timed automata and one-counter machines. Inf. Comput. 253 (2017)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-depth sorting networks. J. Comput. Syst. Sci. 84 (2017)
Daniel Bundala, Sanjit A. Seshia
On Systematic Testing for Execution-Time Analysis. CoRR (2015)
Daniel Bundala, Jakub Zavodny
Optimal Sorting Networks. LATA (2014)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-Depth Sorting Networks. CoRR (2014)
Daniel Bundala, Joël Ouaknine
Advances in Parametric Real-Time Reasoning. MFCS (1) (2014)
Daniel Bundala, Joël Ouaknine
On the Complexity of Temporal-Logic Path Checking. ICALP (2) (2014)
Daniel Bundala, Jakub Zavodny
Optimal Sorting Networks. CoRR (2013)
Daniel Bundala, Joël Ouaknine
On the Complexity of Path Checking of Temporal Logics. CoRR (2013)
Daniel Bundala, Joël Ouaknine, James Worrell
On the Magnitude of Completeness Thresholds in Bounded Model Checking. LICS (2012)