Informace o projektu
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ů
- Kód projektu
- GD102/09/H042
- Období řešení
- 1/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Publikace
Počet publikací: 78
2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, rok: 2012
-
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
Formal Methods for Industrial Critical Systems (FMICS 2012), rok: 2012
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, rok: 2012, ročník: 23, vydání: 3, DOI
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), rok: 2012
-
Verification of Systems with Degradation
Computing and Informatics, rok: 2012, ročník: 31, vydání: 3
-
Weak randomness completely trounces the security of QKD
Rok: 2012, druh: Konferenční abstrakty
-
Weak randomness seriously limits the security of quantum key distribution
Physical Review A, rok: 2012, ročník: 86, vydání: 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, rok: 2011
-
Calibrating and Comparing Simulators for Wireless Sensor Networks
2011 IEEE 8th International Conference on Mobile Adhoc and Sensor Systems (MASS), rok: 2011