Milan Ceska

According to our database1, Milan Ceska
  • authored at least 41 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.
CoRR, 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

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

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 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

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
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

Petri Net Simulation as a Service.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 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

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 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

Unfoldings of Bounded Hybrid Petri Nets.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

A Novel Approach to Modechart Verification of Real-Time Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 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

Model-Based Design and Verification of Reactive Systems.
Proceedings of the Computer Aided Systems Theory, 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
Generalised multi-pattern-based verification of programs with linear linked structures.
Formal Asp. Comput., 2007

ProbDiVinE: A Parallel Qualitative LTL Model Checker.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Pattern-Based Verification for Trees.
Proceedings of the Computer Aided Systems Theory, 2007

2006
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
Electr. Notes Theor. Comput. Sci., 2006

2005
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
Proceedings of the Computer Aided Systems Theory, 2005

2003
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory, 2003

2001
Generating and using state spaces of object-oriented Petri nets.
Comput. Syst. Sci. Eng., 2001

Analysis and Verification Queries over Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory, 2001

1999
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1997
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.
Proceedings of the Computer Aided Systems Theory, 1997


  Loading...