Project information
Verification and Analysis of Large-Scale Computer Systems
- Project Identification
- GA201/09/1389
- Project Period
- 1/2009 - 12/2011
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- verification, model-checking, parallel algorithms
Publications
Total number of publications: 53
2011
-
Distributed Algorithms for SCC Decomposition
Journal of Logic and Computation, year: 2011, volume: 21, edition: 1, DOI
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, year: 2011, volume: 103, edition: 2, DOI
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, year: 2011, volume: 38, edition: 2, DOI
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: Neuveden, edition: 67, DOI
2010
-
A Symbolic Approach to Controlling Piecewise Affine Systems
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
-
Algorithm for Two-Energy Games
Mathematical and Engineering Methods in Computer Science (MEMICS) 2010, year: 2010
-
Almost Linear Büchi Automata
Year: 2010, type: Appeared in Conference without Proceedings
-
CoIn-DiVinE
Year: 2010
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), year: 2010