Milan Ceska Jr.
According to our database1,
Milan Ceska Jr.
authored at least 28 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
On csauthors.net:
Bibliography
2019
Shepherding Hordes of Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].
Journal of Systems and Software, 2018
Efficient synthesis of robust models for stochastic systems.
Journal of Systems and Software, 2018
ADAC: Automated Design of Approximate Circuits.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Precise parameter synthesis for stochastic biochemical systems.
Acta Inf., 2017
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Designing Robust Software Systems through Parametric Markov Chain Synthesis.
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
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017
2016
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Parameter Synthesis by Parallel Coloured CTL Model Checking.
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
Precise Parameter Synthesis for Stochastic Biochemical Systems.
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Model Checking of Biological Systems.
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
Designing fast LTL model checking algorithms for many-core GPUs.
J. Parallel Distrib. Comput., 2012
On Parallel Software Verification Using Boolean Equation Systems.
Proceedings of the Model Checking Software - 19th International Workshop, 2012
2011
Computing Optimal Cycle Mean in Parallel on CUDA
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Computing Strongly Connected Components in Parallel on CUDA.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
2010
CUDA Accelerated LTL Model Checking - Revisited.
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010
Employing Multiple CUDA Devices to Accelerate LTL Model Checking.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010
2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
CUDA Accelerated LTL Model Checking.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
2008
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Local Quantitative LTL Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
ProbDiVinE: A Parallel Qualitative LTL Model Checker.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007