Project information
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
(PVT-VVPZ)
- Project Identification
- MUNI/33/IP1/2012
- Project Period
- 1/2012 - 12/2012
- Investor / Pogramme / Project type
-
Masaryk University
- Internal projects of the Faculty of Informatics
- MU Faculty or unit
- Faculty of Informatics
Hlavním záměrem projektu je podpora rozvoje perspektivních výzkumných týmů na Fakultě informatiky a podpora spolupráce s vynikajícími vědeckými pracovníky aktivně působícími zejména v zahraničí, kteří se současně významným způsobem podílejí na řešení vědeckých úkolů Fakulty informatiky. Důraz je kladen na ty výzkumné směry, které se pohybují na hranici informatiky a jiných vědních disciplín, resp. mají přesah a uplatnění v jiných oborech.
Podpora perspektivních výzkumných týmů Fakulty je zaměřena na stabilizaci personálního obsazení týmů ve vazbě na přechod na nové zdroje financování.
Podpora vynikajících vědeckých pracovníků působících mimo Fakultu informatiky si klade za cíl udržet stávající a případně získat nové odborníky z jiných institucí, kteří se aktivně zapojují do řešení výzkumných úkolů Fakulty informatiky. Tito pracovníci jsou zpravidla financováni za základě dohody o pracovní činnosti, případně dohody o provedení práce, rozsah prací je specifikován individuálně.
Publications
Total number of publications: 5
2013
-
Incremental Runtime Verification of Probabilistic Systems
Runtime Verification, year: 2013
2012
-
Automatic Verification of Competitive Stochastic Systems
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, year: 2012
-
Bisimilarity of Probabilistic Pushdown Automata
FSTTCS, year: 2012
-
Pareto Curves for Probabilistic Model Checking
Automated Technology for Verification and Analysis, year: 2012
-
Playing Stochastic Games Precisely
CONCUR 2012 - Concurrency Theory - 23rd International Conference, year: 2012