Milan Ceska

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 46

Top Topics

Deterministic Automata

Quantitative Analysis

Stochastic Systems

Chemical Reaction

Top Venues

J. Syst. Softw.

Publications

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
Policies Grow on Trees: Model Checking Families of MDPs. CoRR (2024)
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR (2023)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) (2023)
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CoRR (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive synthesis of finite-state controllers for POMDPs. UAI (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CMSB (2022)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. 69 (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR (2022)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR (2021)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) (2021)
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
Adaptive formal approximations of Markov chains. Perform. Evaluation 148 (2021)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33 (4-5) (2021)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR (2021)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Milan Ceska, Calvin Chau, Jan Kretínský
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. CAV (1) (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. 95 (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT (2020)
Milan Ceska, Jan Kretínský
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. CoRR (2019)
Milan Ceska, Jan Kretínský
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. CAV (1) (2019)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM (2019)
Milan Ceska, Jan Kretínský
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). CMSB (2019)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Shepherding Hordes of Markov Chains. TACAS (2) (2019)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems (2019)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Shepherding Hordes of Markov Chains. CoRR (2019)
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM (2019)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
ADAC: Automated Design of Approximate Circuits. CAV (1) (2018)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143 (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145 (2018)
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC (2017)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) (2017)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA (2017)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST (2017)
Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54 (6) (2017)
Alessandro Abate, Milan Ceska, Marta Kwiatkowska
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA (2016)
Stefano Aldegheri, Jiri Barnat, Nicola Bombieri, Federico Busato, Milan Ceska
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. Euro-Par Workshops (2016)
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS (2016)
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) (2015)
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB (2015)
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB (2014)
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR (2013)
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV (2013)
Lubos Brim, Milan Ceska, David Safránek
Model Checking of Biological Systems. SFM (2013)
Alexander Ditter, Milan Ceska, Gerald Lüttgen
On Parallel Software Verification Using Boolean Equation Systems. SPIN (2012)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. 72 (9) (2012)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Strongly Connected Components in Parallel on CUDA. IPDPS (2011)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Optimal Cycle Mean in Parallel on CUDA PDMC (2011)
Petr Bauch, Milan Ceska
CUDA Accelerated LTL Model Checking - Revisited. MEMICS (2010)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS (2010)
Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr
CUDA Accelerated LTL Model Checking. ICPADS (2009)
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
Preface. Electron. Notes Theor. Comput. Sci. 251 (2009)
Jiri Barnat, Lubos Brim, Milan Ceska
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking PDMC (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
Local Quantitative LTL Model Checking. FMICS (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST (2007)