Project information
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Project Identification
- GD102/09/H042
- Project Period
- 1/2009 - 12/2012
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Doctor grants
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Brno University of Technology
- Responsible person prof. RNDr. Milan Češka, CSc.
Publications
Total number of publications: 78
2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, year: 2012, volume: 57, edition: 6, DOI
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, year: 2012
-
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
Formal Methods for Industrial Critical Systems (FMICS 2012), year: 2012
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, year: 2012, volume: 23, edition: 3, DOI
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
-
Verification of Systems with Degradation
Computing and Informatics, year: 2012, volume: 31, edition: 3
-
Weak randomness completely trounces the security of QKD
Year: 2012, type: Conference abstract
-
Weak randomness seriously limits the security of quantum key distribution
Physical Review A, year: 2012, volume: 86, edition: 6, DOI
2011
-
Attack Detection vs. Privacy - How to Find the Link or How to Hide it?
Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 2011, Revised Selected Papers, year: 2011
-
Calibrating and Comparing Simulators for Wireless Sensor Networks
2011 IEEE 8th International Conference on Mobile Adhoc and Sensor Systems (MASS), year: 2011