Milan Ceska

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 5

Top Topics

Discrete Event Systems

Deterministic Automata

Top Venues

PNSE @ Petri Nets

Publications

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Designing Approximate Arithmetic Circuits with Combined Error Constraints. DSD (2022)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR (2022)
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. CoRR (2019)
Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) (2019)
Milan Ceska Jr., Milan Ceska, Nicola Paoletti
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. EUROCAST (2) (2017)
Petr Polasek, Vladimír Janousek, Milan Ceska
Petri Net Simulation as a Service. PNSE @ Petri Nets (2014)
Petr Novosad, Milan Ceska
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. EUROCAST (1) (2013)
Petr Novosad, Milan Ceska
Unfoldings of Bounded Hybrid Petri Nets. EUROCAST (1) (2011)
Jan Fiedor, Marek Gach, Milan Ceska
A Novel Approach to Modechart Verification of Real-Time Systems. EUROCAST (1) (2011)
Jirí Hýsek, Milan Ceska, Vladimír Janousek
Model-Based Design and Verification of Reactive Systems. EUROCAST (2009)
Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification for Trees. EUROCAST (2007)
Milan Ceska, Pavel Erlebach, Tomás Vojnar
Generalised multi-pattern-based verification of programs with linear linked structures. Formal Aspects Comput. 19 (3) (2007)
Milan Ceska, Pavel Erlebach, Tomás Vojnar
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electron. Notes Theor. Comput. Sci. 145 (2006)
Milan Ceska, Bohuslav Krena, Tomás Vojnar
Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST (2005)
Milan Ceska, Ludek Hasa, Tomás Vojnar
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST (2003)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16 (3) (2001)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST (2001)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST (1999)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
Object-oriented Petri nets, their simulation, and analysis. SMC (1998)
Milan Ceska, Vladimír Janousek, Tomás Vojnar
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST (1997)