Milan Ceska

According to our database, Milan Ceska authored at least 19 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2019

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar

CoRR, 2019

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.

Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2017

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.

Milan Ceska Jr., Milan Ceska, Nicola Paoletti

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2014

Petri Net Simulation as a Service.

Petr Polasek, Vladimír Janousek, Milan Ceska

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets.

Petr Novosad, Milan Ceska

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2011

Unfoldings of Bounded Hybrid Petri Nets.

Petr Novosad, Milan Ceska

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

A Novel Approach to Modechart Verification of Real-Time Systems.

Jan Fiedor, Marek Gach, Milan Ceska

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2009

Model-Based Design and Verification of Reactive Systems.

Jirí Hýsek, Milan Ceska, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory, 2009

2007

Generalised multi-pattern-based verification of programs with linear linked structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Formal Aspects Comput., 2007

Pattern-Based Verification for Trees.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2007

2005

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Parallel State Space Generation and Exploration on Shared-Memory Architectures.

Milan Ceska, Bohuslav Krena, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2005

2003

Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.

Milan Ceska, Ludek Hasa, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2003

2001

Generating and using state spaces of object-oriented Petri nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Comput. Syst. Sci. Eng., 2001

Analysis and Verification Queries over Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2001

1999

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998

Object-oriented Petri nets, their simulation, and analysis.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 1997