Milan Ceska
Orcid: 0000-0002-0300-9727Affiliations:
- Brno University of Technology, Department of Intelligent Systems (DITS), Czech Republic
- University of Oxford, Department of Computer Science, UK
- Masaryk University, Faculty of Informatics, Brno, Czech Republic
According to our database1,
Milan Ceska
authored at least 57 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on cs.ox.ac.uk
-
on orcid.org
-
on fit.vutbr.cz
On csauthors.net:
Bibliography
2024
Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.
Dataset, February, 2024
2023
Dataset, April, 2023
Dataset, April, 2023
Dataset, April, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Swarm Evol. Comput., 2022
CoRR, 2022
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
Formal Aspects Comput., 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.
Appl. Soft Comput., 2020
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract).
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
2018
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].
J. Syst. Softw., 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Acta Informatica, 2017
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components.
Proceedings of the Euro-Par 2016: Parallel Processing Workshops, 2016
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Proceedings of the Computational Methods in Systems Biology, 2015
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.
CoRR, 2013
Proceedings of the Formal Methods for Dynamical Systems, 2013
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
J. Parallel Distributed Comput., 2012
Proceedings of the Model Checking Software - 19th International Workshop, 2012
2011
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
2010
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010
2009
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
2008
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007