Ing. Bohuslav Křena, Ph.D.

2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 737475, 2017-2020, running
Research leader: Robinson Charles, Vojnar Tomáš
 Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, running
Team leaders: Růžička Richard
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
 Teaching capacity of FIT BUT, SMR, 2017-2018, running
Research leader: Křena Bohuslav
2016IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
2014Automatic Analysis and Verification of Transactional Memories, COST, LD14001, 2014, completed
Research leader: Vojnar Tomáš
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, running
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
2013HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU, 7H13004, 332933, 2013-2016, completed
Research leader: Herout Adam
Team leaders: Křena Bohuslav, Smrčka Aleš, Smrž Pavel, Vojnar Tomáš, Zemčík Pavel
 Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
20122.3 Spolupráce VUT v Brně se školami, MŠMT CR, RP2.3, 2012, completed
Research leader: Křena Bohuslav
 Support of Interdisciplinary Excellence Research Teams Establishment at BUT, MŠMT CR, CZ.1.07/2.3.00/30.0005, 2012-2015, completed
Research leader: Urban Tomáš
Team leaders: Cumani Sandro, Černocký Jan, Letko Zdeněk, Vojnar Tomáš
 Verification and Optimization of Computer Systems, BUT, FIT-S-12-1, 2012-2014, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Dudka Kamil, Fiedor Jan, Fučík Otto, Korček Pavol, Křena Bohuslav, Lengál Ondřej, Letko Zdeněk, Minárik Michal, Peringer Petr, Petrlík Jiří, Rogalewicz Adam, Sekanina Lukáš, Šimáček Jiří, Vašíček Zdeněk
2011Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed
Research leader: Sekanina Lukáš
Team leaders: Barabas Maroš, Bartoš Pavel, Bidlo Michal, Češka Milan, Dittrich Petr, Dluhoš Ondřej, Doležel Michal, Drábek Vladimír, Drahanský Martin, Drozd Michal, Dudka Kamil, Dudka Vendula, Dvořák Radim, Fajkus Jan, Fiedor Jan, Fučík Otto, Gach Marek, Grégr Matěj, Hájek Josef, Halfar Patrik, Henzl Martin, Herman David, Horáček Jan, Hrubý Martin, Janoušek Vladimír, Jurnečka Peter, Kačic Matej, Kadák Michal, Kadlček Filip, Kajan Michal, Kaštil Jan, Kněžík Jan, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Košař Vlastimil, Kreslíková Jitka, Křena Bohuslav, Kubát David, Kunovský Jiří, Lengál Ondřej, Letko Zdeněk, Lodrová Dana, Malačka Ondřej, Martínek Tomáš, Marvan Aleš, Matoušek Petr, Mičulka Lukáš, Michlovský Zbyněk, Minárik Michal, Minařík Miloš, Müller Petr, Nagy Jan, Novotňák Jiří, Novotný Tomáš, Očenášek Pavel, Orság Filip, Peringer Petr, Peterka Ondřej, Polčák Libor, Pospíchal Petr, Prívozník Michal, Puš Viktor, Ráb Jaroslav, Rogalewicz Adam, Růžička Richard, Ryšavý Ondřej, Schwarz Josef, Smrčka Aleš, Strnadel Josef, Stružka Jaroslav, Szöllös Alexandr, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Tomec Martin, Trchalík Roman, Tříska Vít, Valenta Václav, Váňa Jan, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žák Jakub, Žaloudek Luděk
 Pedagogické vzdělávání akademických pracovníků FIT VUT v Brně, MŠMT CR, RP2011-25/10, 2011, completed
Research leader: Křena Bohuslav
 Podpora spolupráce FIT VUT v Brně se základními a středními školami, RP MŠMT, RP2011-25/13, 2011, completed
Research leader: Křena Bohuslav
 Podpora talentovaných studentů na FIT VUT v Brně, RP MŠMT, RP2011-25/9, 2011, completed
Research leader: Hruška Tomáš
Team leaders: Křena Bohuslav, Růžička Richard, Zemčík Pavel
 Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš
2010Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Secured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed
Research leader: Sekanina Lukáš
Team leaders: Bartoš Pavel, Češka Milan, Drábek Vladimír, Drahanský Martin, Dudka Kamil, Dvořák Radim, Dvořák Václav, Fiedor Jan, Gach Marek, Grégr Matěj, Holík Lukáš, Hrubý Martin, Hýsek Jiří, Janoušek Vladimír, Kajan Michal, Kaštil Jan, Kaštovský Petr, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Kraus Michal, Kreslíková Jitka, Křena Bohuslav, Křivánek Jan, Kunovský Jiří, Letko Zdeněk, Malinka Kamil, Martínek Tomáš, Matoušek Petr, Michlovský Zbyněk, Mikušek Petr, Nagy Jan, Orság Filip, Peterka Ondřej, Polóni Pavol, Pospíchal Petr, Puš Viktor, Ráb Jaroslav, Růžička Richard, Ryšavý Ondřej, Samek Jan, Sedláčková Jana, Sehnalová Pavla, Schäfer Jiří, Schwarz Josef, Slaný Karel, Slinták Jiří, Straka Martin, Strnadel Josef, Svojanovský Petr, Šátek Václav, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Trchalík Roman, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žaloudek Luděk
 Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
2009Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, GD102/09/H042, 2009-2012, completed
Research leader: Češka Milan
Team leaders: Bouda Jan, Brim Luboš, Černá Ivana, Dvořák Václav, Gruska Jozef, Hanáček Petr, Holub Petr, Hruška Tomáš, Kolář Dušan, Kotásek Zdeněk, Křena Bohuslav, Křetínský Mojmír, Kučera Antonín, Matyáš Václav, Matyska Luděk, Sekanina Lukáš, Vojnar Tomáš
 Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
2008Program supporting overcoming of weak features of institution, MŠMT CR, RP-C45, 2008, completed
Research leader: Honzík Jan M.
Team leaders: Křena Bohuslav
 Roby - Making education rational and objective, MŠMT CR, 2008-2009, completed
Research leader: Mannová Božena
Team leaders: Honzík Jan M.
2007Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed
Research leader: Češka Milan
Team leaders: Cerhák Michal, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
 Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed
Research leader: Hruška Tomáš
Team leaders: Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drahanský Martin, Dvořák Václav, Fučík Otto, Hanáček Petr, Herout Adam, Hrubý Martin, Janoušek Vladimír, Jaroš Jiří, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kršek Přemysl, Křena Bohuslav, Kunovský Jiří, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Meduna Alexander, Očenášek Pavel, Orság Filip, Růžička Richard, Ryšavý Ondřej, Sekanina Lukáš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav
2006A Self-Healing Approach to Designing Complex Software Systems, EC EU, 2006-2009, completed
Research leader: Křena Bohuslav
Team leaders: Kočí Radek, Vojnar Tomáš, Zbořil František
 Methods and Tools for Automated Bug Detection in Software, GACR, GP102/06/P076, 2006-2008, completed
Research leader: Křena Bohuslav
2005Gaudeamus 2005, RP MŠMT, MŠMT 623/1 - 2005, 2005, completed
Research leader: Honzík Jan M.
Team leaders: Křena Bohuslav
2004Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, GA102/04/0780, 2004-2006, completed
Research leader: Češka Milan
Team leaders: Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
 European Research Training Network Segravis - Syntactis and Semantic Integration of Visual Modelling Techniques, EC, HPRN-CT-2002-00275, 2004-2005, completed
 Gaudeamus 2004, RP MŠMT, MŠMT 642/1 - 2004, 2004, completed
Research leader: Honzík Jan M.
Team leaders: Kreslíková Jitka
2003Access to Research Infrastructure action of the Improving Human Potential Programme, EC, HPRI-CT-1999-00026, 2003, completed
2002Bulgarian Information Society Center of Excellence for Education, Science and Technology in 21 Century, EC, ICA1-CT-2000-70016, 2002, completed
 International students' mobility, MŠMT CR, MMI 20059, 2002, completed
Research leader: Zemčík Pavel
Team leaders: Abu Kteish Ibrahim, Drahanský Martin, Kašpárek Tomáš, Křena Bohuslav, Pečiva Jan
 Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FRVŠ MŠMT, FR1948/2002/G1, 2002, completed
Research leader: Křena Bohuslav
Team leaders: Češka Milan
2000Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, GA102/00/1017, 2000-2002, completed
Research leader: Češka Milan
Team leaders: Janoušek Vladimír, Rábová Zdeňka, Vojnar Tomáš
1994PNtalk - tools based on object-oriented Petri nets, BUT, UIVT-PNtalk, 1994-2010, completed
Research leader: Janoušek Vladimír
Team leaders: Drabant Radek, Kočí Radek, Křena Bohuslav, Vojnar Tomáš

Your IPv4 address: 107.22.126.144
Switch to IPv6 connection

DNSSEC [dnssec]