Milan Ceska Jr.

According to our database1, Milan Ceska Jr. authored at least 28 papers between 2007 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.
CoRR, 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


  Loading...