Milan Ceska

19 papers B 1C 1Journal 3Unranked 14
YearRankTypeTitle / Venue / Authors
2022 C conf
Designing Approximate Arithmetic Circuits with Combined Error Constraints.
DSD
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2019 — conf
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.
EUROCAST (1)
Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar
2019 J jnl
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.
CoRR
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
2017 — conf
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.
EUROCAST (2)
Milan Ceska Jr., Milan Ceska, Nicola Paoletti
2014 — conf
Petri Net Simulation as a Service.
PNSE @ Petri Nets
Petr Polasek, Vladimír Janousek, Milan Ceska
2013 — conf
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets.
EUROCAST (1)
Petr Novosad, Milan Ceska
2011 — conf
A Novel Approach to Modechart Verification of Real-Time Systems.
EUROCAST (1)
Jan Fiedor, Marek Gach, Milan Ceska
2011 — conf
Unfoldings of Bounded Hybrid Petri Nets.
EUROCAST (1)
Petr Novosad, Milan Ceska
2009 — conf
Model-Based Design and Verification of Reactive Systems.
EUROCAST
Jirí Hýsek, Milan Ceska, Vladimír Janousek
2007 J jnl
Generalised multi-pattern-based verification of programs with linear linked structures.
Formal Aspects Comput.
Milan Ceska, Pavel Erlebach, Tomás Vojnar
2007 — conf
Pattern-Based Verification for Trees.
EUROCAST
Milan Ceska, Pavel Erlebach, Tomás Vojnar
2005 — conf
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
EUROCAST
Milan Ceska, Bohuslav Krena, Tomás Vojnar
2005 — conf
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
AVoCS
Milan Ceska, Pavel Erlebach, Tomás Vojnar
2003 — conf
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.
EUROCAST
Milan Ceska, Ludek Hasa, Tomás Vojnar
2001 — conf
Analysis and Verification Queries over Object-Oriented Petri Nets.
EUROCAST
Milan Ceska, Vladimír Janousek, Tomás Vojnar
2001 J jnl
Generating and using state spaces of object-oriented Petri nets.
Comput. Syst. Sci. Eng.
Milan Ceska, Vladimír Janousek, Tomás Vojnar
1999 — conf
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
EUROCAST
Milan Ceska, Vladimír Janousek, Tomás Vojnar
1998 B conf
Object-oriented Petri nets, their simulation, and analysis.
SMC
Milan Ceska, Vladimír Janousek, Tomás Vojnar
1997 — conf
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.
EUROCAST
Milan Ceska, Vladimír Janousek, Tomás Vojnar