Výsledky výzkumného projektu

 

Verifikace a analýza velmi velkých počítačových systémů

Kód projektu:GA201/09/1389
Řešitel na MU:prof. RNDr. Luboš Brim, CSc.
Fakulta/Pracoviště MU:Fakulta informatiky
Období řešení:1/2009 - 12/2011
Investor/program:Grantová agentura ČR / Standardní projekty-

Publikace:

První stranaPředchozí strana|1|2|Následující stranaPoslední strana
nalezeno: 53 položek, zobrazeno 1 - 30

 
2012

BABIAK, Tomáš - STREJČEK, Jan - ŘEHÁK, Vojtěch.
Almost linear Büchi automata. Mathematical Structures in Computer Science, Cambridge, Cambridge University Press, Spojené království. ISSN 0960-1295, 2012, vol. 22, no. 2, s. 203-235.


více

 

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing, Elsevier. ISSN 0743-7315, 2012, vol. 72, no. 9, s. 1083-1097.


více

 

BABIAK, Tomáš - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
LTL to Büchi Automata Translation: Fast and More Deterministic. In TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2012. ISBN 978-3-642-28755-8, s. 95-109. 2012, Tallinn, Estonia.


více

 

BARNAT, Jiří - BRIM, Luboš - KREJČÍ, Adam - STRECK, Adam - ŠAFRÁNEK, David - VEJNÁR, Martin - VEJPUSTEK, Tomáš.
On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society. ISSN 1545-5963, 2012, vol. 9, no. 3, s. 693-705.


více

 

BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties. Science of Computer Programming, Elsevier, Spojené státy. ISSN 0167-6423, 2012, vol. 77, no. 12, s. 1272-1288.


více

 

BRIM, Luboš - CHALOUPKA, Jakub.
Using strategy improvement to stay alive. International Journal of Foundations of Computer Science, Spojené království. ISSN 0129-0541, 2012, vol. 23, no. 3, s. 585-608.


více

 
2011

BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. s. 63-67. 2011, Snowbird, Utah, USA.


více

 

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Optimal Cycle Mean in Parallel on CUDA. Electronic Proceedings in Theoretical Computer Science, Spojené státy. ISSN 2075-2180, 2011, vol. 72, no. 2011, s. 68-83. PDMC 2011.


více

 

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK : IEEE Computer Society, 2011. ISBN 978-1-61284-372-8, s. 544 - 555.


více

 

BAUCH, Petr - ČEŠKA, Milan.
CUDA Accelerated LTL Model Checking - Revisited. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, s. 1--8.


více

 

BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, Oxford University Press, Spojené království. ISSN 0955-792X, 2011, vol. 21, no. 1, s. 23-44.


více

 

ŠAFRÁNEK, David - ČERVENÝ, Jan - KLEMENT, Matej - POSPÍŠILOVÁ, Jana - BRIM, Luboš - LAZÁR, Dušan - NEDBAL, Ladislav.
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. BioSystems, Elsevier. ISSN 0303-2647, 2011, vol. 103, no. 2, s. 115-124.


více

 

BRIM, Luboš - CHALOUPKA, Jakub - DOYEN, Laurent - GENTILINI, Raffaella - RASKIN, Jean-François.
Faster algorithms for mean-payoff games. Formal Methods in System Design, Springer Netherlands, Nizozemsko. ISSN 0925-9856, 2011, vol. 38, no. 2, s. 97-118.


více

 

BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, Elsevier, Spojené státy. ISSN 0167-6423, 2011, vol. 76, no. 10, s. 877-890.


více

 

BRIM, Luboš - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science, Spojené státy. ISSN 2075-2180, 2011, vol. Neuveden, no. 67, s. 97-112.


více

 
2010

TŮMOVÁ, Jana - YORDANOV, Boyan - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
A Symbolic Approach to Controlling Piecewise Affine Systems. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, s. 4230-4235. 2010, Atlanta, GA, USA.


více

 

CHALOUPKA, Jakub.
Algorithm for Two-Energy Games. In Mathematical and Engineering Methods in Computer Science (MEMICS) 2010. Brno : NOVPRESS s.r.o., 2010. ISBN 978-80-87342-10-7, 9 s. Mikulov.


více

 

BABIAK, Tomáš - STREJČEK, Jan - ŘEHÁK, Vojtěch.
Almost Linear Büchi Automata. 2010.


více

 

BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn-DiVinE. 2010.


více

 

BAUCH, Petr - ČEŠKA, Milan.
CUDA Accelerated LTL Model Checking -- Revisited. In Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010). Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, s. 11-19. 2010, Mikulov, Česká republika.


více

 

BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.4. 2010.


více

 

BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - ROČKAI, Petr.
DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). : 2010. 4 s. 2010, Twente, Netherlands.


více

 

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010). Neuveden : IEEE Computer Society, 2010. ISBN 978-0-7695-4307-9, s. 259-266. 2010, Shanghai, China.


více

 

KLEMENT, Matej - ŠAFRÁNEK, David - ČERVENÝ, Jan - BRIM, Luboš - NEDBAL, Ladislav.
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis. 2010.


více

 

YORDANOV, Boyan - TŮMOVÁ, Jana - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, s. 5899-5904. 2010, Atlanta, GA, USA.


více

 

ČERNÁ, Ivana.
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges. 2010.


více

 

BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David.
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics, Oxford (UK), Oxford University Press. ISSN 1467-5463, 2010, vol. 11, no. 3, s. 301-312.


více

 

BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan.
MWC-DiVinE. 2010.


více

 

SMITH, Stephen L. - TŮMOVÁ, Jana - BELTA, Calin - RUS, Daniela.
Optimal Path Planning under Temporal Logic Contstraints. In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). Neuveden : IEEE, 2010. ISBN 978-1-4244-6675-7, s. 3288-3293. 2010, Taipei, Taiwan.


více

 

BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Parallel Partial Order Reduction with Topological Sort Proviso. In Software Engineering and Formal Methods (SEFM 2010). Los Alamos : IEEE Computer Society Press, 2010. ISBN 978-0-7695-4153-2, s. 222-231. 2010, CNR, Pisa, Italy.


více

 
První stranaPředchozí strana|1|2|Následující stranaPoslední strana
nalezeno: 53 položek, zobrazeno 1 - 30