Milan Ceska

Affiliations:
  • Brno University of Technology, Department of Intelligent Systems (DITS), Czech Republic


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Designing Approximate Arithmetic Circuits with Combined Error Constraints.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2019
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.
CoRR, 2019

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2017
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2014
Petri Net Simulation as a Service.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

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

2009
Model-Based Design and Verification of Reactive Systems.
Proceedings of the Computer Aided Systems Theory, 2009

2007
Generalised multi-pattern-based verification of programs with linear linked structures.
Formal Aspects Comput., 2007

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

2005
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 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

1998
Object-oriented Petri nets, their simulation, and analysis.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

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


  Loading...