Research Project Results
Integrated approach to education of PhD students in the area of parallel and distributed systems
| Project Identification: | GD102/05/H050 | ||||
| MU Investigator: | Prof. RNDr. Jozef Gruska, DrSc. | ||||
| MU Faculty/Unit: | Faculty of Informatics | ||||
| Project Period: | 4/2005 - 12/2008 | ||||
| Investor/Programme: | Czech Science Foundation / Doctor grants- | ||||
| Cooperating Organization: |
| ||||
Results: (Czech only)
Vybudovat prostředí pro vědeckou přípravu studentů DSP v informatice, které by dlouhodobě garantovalo výchovu špičkových odborníků pro akademickou i průmyslovou sféru.
Publications:
FALCHI, Fabrizio - GENNARO, Claudio - RABITTI, Fausto - ZEZULA, Pavel.
Distance browsing in distributed multimedia databases. Future Generation Computer Systems, Amsterdam, The Netherlands, Elsevier Science, The Nederlands. ISSN 0167-739X, 2009, vol. 25/2009, no. 1, pp. 64-76.
ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE 2.0. 2009.
HLINĚNÝ, Petr - MATYÁŠ, Václav - VOJNAR, Tomáš.
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers. 2009.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš.
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers. Electronic Notes in Theoretical Computer Science, Amsterdam, The Netherlands, Elsevier B.V. ISSN 1571-0661, 2009, vol. 251, 96 p.
SEDMIDUBSKÝ, Jan.
A Self-organizing System for Large-scale Content-based Information Retrieval. Brno : Ing. Zdeněk Novotný, CSc., 2008. MEMICS proceedings. ISBN 978-80-7355-082-0.
HUBENÝ, Jan.
Applications of PDE-Based Image Processing in Fluorescence Microscopy. 2008.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.
NOVÁK, David - BATKO, Michal - ZEZULA, Pavel.
Content-based Image Retrieval on the Web. In Proceedings of the Poster and Demonstration Paper Track of the 1st Future Internet Symposium (FIS 2008). Vienna : CEUR Workshop Proceedings, 2008. ISBN 978-3-642-00984-6, pp. 1-3. 28.9.2008, Vienna, Austria.
BRÁZDIL, Tomáš - FOREJT, Vojtěch - KUČERA, Antonín.
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. In Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II. Berlin, Heidelberg, New York : Springer, 2008. ISBN 3-540-70582-1, pp. 148-159. 7.7.2008, Reykjavik, Iceland.
BATKO, Michal - FALCHI, Fabrizio - LUCCHESE, Claudio - NOVÁK, David - PEREGO, Raffaele - RABITTI, Fausto - SEDMIDUBSKÝ, Jan - ZEZULA, Pavel.
Crawling, Indexing, and Similarity Searching Images on the Web. In Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems. Mondello : Salvatore Gaglio, Ignazio Infantino, Domenico Sacca, 2008. ISBN 978-88-6122-154-3, pp. 382-389. 22.6.2008, Mondello.
REBOK, Tomáš.
DiProNN Resource Management System. In MEMICS 2008. Znojmo : MEMICS 2008, 2008. ISBN 978-80-7355-082-0, pp. 224-231. 14.11.2008, Znojmo.
REBOK, Tomáš.
DiProNN: Distributed Programmable Network Node Architecture. In ICNS'08 Conference Proceedings. Gosier, Guadeloupe : Fourth International Conference on Networking and Services, 2008. ISBN 0-7695-3094-X, pp. 67-72. 16.3.2008, Gosier, Guadeloupe.
REBOK, Tomáš.
DiProNN: Distributed Programmable Network Node Architecture. In CGW'07 Conference Proceedings. Krakow, Polsko : ACC CYFRONET AGH, 2008. ISBN 978-83-915141-9-1, pp. 283-290. 15.10.2007, Krakow, Polsko.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora - MORAVEC, Pavel - ČERNÁ, Ivana.
Formal verification of systems with an unlimited number of components. IET Software journal, , Inst. of Engeneering and Technology, USA. ISSN 1751-8806, 2008, vol. Volume 2, no. Isuue 6, pp. p. 532-546.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš - ANTOŠ, David.
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš - ANTOŠ, David.
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008. Czech Republic, Znojmo. 14.11.2008 - 16.11.2008, Worldwide Activity.
BATKO, Michal - DOHNAL, Vlastislav - NOVÁK, David - ZEZULA, Pavel.
Metric Similarity Search Implementation Framework (MESSIF). 2008.
NOVÁK, David - ZEZULA, Pavel.
M-Chord: Distributed Data Structure for Similarity Search. 2008.
ZIMMEROVÁ, Barbora.
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic : Masaryk University, Faculty of Informatics, 2008. PhD thesis.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Reachability in Recursive Markov Decision Processes. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2008, vol. 206, no. 5, pp. 520-537.
BATKO, Michal - NOVÁK, David - FALCHI, Fabrizio - ZEZULA, Pavel.
Scalability Comparison of Peer-to-Peer Similarity Search Structures. Future Generation Computer Systems, Amsterdam, The Netherlands, Elsevier Science, The Nederlands. ISSN 0167-739X, 2008, vol. 24, no. 8, pp. 834-848.
NOVÁK, David - BATKO, Michal - ZEZULA, Pavel.
Web-scale System for Image Similarity Search: When the Dreams Are Coming True. In Proceedings of the Sixth International Workshop on Content-Based Multimedia Indexing (CBMI 2008). London : IEEE, 2008. ISBN 978-1-4244-2043-8, pp. 446-453. 18.6.2008, London, UK.
VAŘEKOVÁ, Pavlína - MORAVEC, Pavel - ČERNÁ, Ivana - ZIMMEROVÁ, Barbora.
Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA : ACM Press, 2007. ISBN 978-1-59593-721-6, pp. 3-13. 3.9.2007, Dubrovnik, Croatia.
HUBENÝ, Jan - ULMAN, Vladimír - MATULA, Pavel.
Estimating Large Local Motion in Live-Cell Imaging Using Variational Optical Flow. In VISAPP 2007 Second International Conference On Computer Vision Theory And Applications, Proceedings. Portugal : INSTICC PRESS, 2007. ISBN 978-972-8865-74-0, pp. 542-548. 8.3.2007, Barcelona, Spain.
BABICA, Jindřich - ŘEHÁK, Vojtěch - SLOVÁK, Petr - TROUBIL, Pavel - ZAVADIL, Martin.
Formalisms and Tools for Design and Specification of Network Protocols. Brno : FI MU, 2007. FIMU-RS-2007-02. 
WWW.
NOVÁK, David.
Image Similarity Search: Theory and Practice. In MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2007. ISBN 978-80-7355-077-6, pp. 154-160. 26.10.2007, Znojmo, Czechia.
NOVÁK, David - ZEZULA, Pavel.
LOBS: Load Balancing for Similarity Peer-to-Peer Structures. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2007. Technical report FIMU-RS-2007-04.
NOVÁK, David - ZEZULA, Pavel.
LOBS: Load Balancing for Similarity Peer-to-Peer Structures. In Databases Information Systems and Peer-to-Peer Computing 2007. Berlin : Springer-Verlag Berlin Heidelberg New York, 2007. pp. 1-8. 24.9.2007, Vienna, Austria.
MATYSKA, Luděk - ANTOŠ, David - ČEŠKA, Milan - KŘETÍNSKÝ, Mojmír - HLINĚNÝ, Petr.
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007.
MATYSKA, Luděk - ANTOŠ, David - ČEŠKA, Milan - KŘETÍNSKÝ, Mojmír - HLINĚNÝ, Petr.
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007. Czech Republic, Znojmo. 26.10.2007 - 28.10.2007, Worldwide Activity.
BATKO, Michal - NOVÁK, David - ZEZULA, Pavel.
MESSIF: Metric Similarity Search Implementation Framework. In DELOS Conference 2007 - Working Notes. Pisa, Italy : Information Society Technologies, 2007. ISBN 2-912335-30-2, pp. 11-23. 13.2.2007, Pisa, Italy.
BATKO, Michal - NOVÁK, David - ZEZULA, Pavel.
MESSIF: Metric Similarity Search Implementation Framework. In Digital Libraries: Research and Development. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-77087-9, pp. 1-10. 13.2.2007, Pisa, Italy.
ŠPROJCAR, Josef.
New procedure for multipartite entanglement distillation. In Asian Conference on Quantum Information Science. Kyoto, Japonsko : Kyoto University, 2007. pp. 199-200. 2007, Kyoto University, Kyoto, JaponskoPoster.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-70951-0, pp. 316-330. 2006, Bonn, Germany.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína.
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic : Ing. Zdeněk Novotný CSc., 2007. ISBN 978-80-7355-077-6, pp. 257-264. 26.10.2007, Znojmo, Czechia.
MORAVEC, Pavel - ŠIMŠA, Jiří.
Relaxed Cycle Condition Improves Partial Order Reduction. In 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo, Czech Republic : FI MU, FIT VUT, 2007. ISBN 978-80-7355-077-6, pp. 140-147. 2007, Znojmo, Czech Republic.
NOVÁK, David - BATKO, Michal - DOHNAL, Vlastislav - ZEZULA, Pavel.
Scaling up the Image Content-based Retrieval. In Second DELOS Conference - Working Notes. Pisa, Italy : DELOS Network of Excellence, 2007. ISBN 2-912335-36-1, pp. 1-10. 5.12.2007, Pisa, Italy.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA : ACM Press, 2007. ISBN 978-1-59593-721-6, pp. 75-81. 3.9.2007, Dubrovnik, Croatia.
SMRČKA, Aleš - ŘEHÁK, Vojtěch - VOJNAR, Tomáš - ŠAFRÁNEK, David - MATOUŠEK, Petr - ŘEHÁK, Zdeněk.
Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn : Springer-Verlag, 2007. ISBN 978-3-540-70951-0, pp. 148-164.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin : Springer, 2006. ISBN 978-3-540-36749-9, pp. 259-279. 2006, Amsterdam.
ZIMMEROVÁ, Barbora.
Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06). Brno, Czech Republic : FIT VUT, 2006. ISBN 80-214-3287-X, pp. 260-267. 27.10.2006, Mikulov, Czech Republic.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA, ACM Press, USA. ISSN 0163-5948, 2006, vol. 31, no. 2, pp. 1-8. SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata Modelling Language. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
BARNAT, Jiří - ČERNÁ, Ivana.
Distributed breadth-first search LTL model checking. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 117-134.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ROČKAI, Petr - ŠIMEČEK, Pavel.
DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin : Springer Verlag, 2006. ISBN 978-3-540-37406-0, pp. 278-281. Seatle, WA, USA.
MORAVEC, Pavel.
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic : FI MU Report Series, 2006. pp. 129-136. 2006, Mikulov, Czech Republic.
ZIMMEROVÁ, Barbora.
Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany : GITO-Verlag, 2006. ISBN 3-936771-87-1, pp. 34-36. 6.11.2006, Dagstuhl, Germany.
KRATOCHVÍLA, Tomáš - ŘEHÁK, Vojtěch - ŠAFRÁNEK, David.
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha : CESNET, z.s.p.o., 2006. ISBN 978-80-239-6533-9, pp. 151-160. 2006, Praha.
SMRČKA, Aleš - HLÁVKA, Petr - ŠAFRÁNEK, David - ŘEHÁK, Vojtěch - ŠIMEČEK, Pavel - VOJNAR, Tomáš.
Formal Verification of the CRC Algorithm Properties. In Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Brno : FIT BUT, 2006. ISBN 80-214-3287-X, pp. 55-62. 2006, Mikulov.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electronic Notes in Theoretical Computer Science, Nizozemsko, Elsevier, Portugal. ISSN 1571-0661, 2006, vol. 135, no. 2, pp. 3-18.
NOVÁK, David.
Load Balancing in Peer-to-Peer Data Networks. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : Faculty of Information Technology, Brno University of Technology, 2006. ISBN 80-214-3287-X, pp. 151-157. 27.10.2006, Mikulov, Czech Republic.
NOVÁK, David - ZEZULA, Pavel.
M-Chord: A Scalable Distributed Similarity Search Structure. In InfoScale '06: Proceedings of the 1st international conference on Scalable information systems. New York, NY, USA : ACM Press, 2006. ISBN 1-59593-428-6, pp. 1-10. 30.5.2006, Hong Kong.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
On Combining Partial Order Reduction with Fairness Assumptions. In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn, Germany : University Bonn, 2006. ISBN 978-3-540-70951-0, pp. 1-16. 2006, Bonn, Germany.
BOZZELLI, Laura - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin : Springer-Verlag, 2006. ISBN 978-3-540-49994-7, pp. 248-259. 2006, Kolkata, IndiaLecture Notes in Computer Science 4337.
BOZZELLI, Laura - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno : FI MU, 2006. FIMU-RS-2006-05. full and extended version of FST&TCS'06 paper. WWW.
BATKO, Michal - NOVÁK, David - FALCHI, Fabrizio - ZEZULA, Pavel.
On Scalability of the Similarity Search in the World of Peers. In InfoScale '06: Proceedings of the 1st international conference on Scalable information systems. New York, NY, USA : ACM Press, 2006. ISBN 1-59593-428-6, pp. 1-12. 30.5.2006, Hong Kong.
ANTOŠ, David - ŘEHÁK, Vojtěch - HOLUB, Petr.
Packet Filtering for FPGA-Based Routing Accelerator. In CESNET Conference 2006 Proceedings. Prague : CESNET, z. s. p. o., 2006. ISBN 80-239-6533-6, pp. 161--173. 6.3.2006, Prague.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany : University Bonn, 2006. pp. 20-34. 2006, Bonn, Germany.
MATYSKA, Luděk - KUČERA, Antonín - VOJNAR, Tomáš - KOTÁSEK, Zdeněk - ANTOŠ, David - KRAJÍČEK, Ondřej.
Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). 2006.
REBOK, Tomáš - HOLUB, Petr - HLADKÁ, Eva.
Quality of Service Oriented Active Router Design. In Proceedings of MIPRO 2006 / Hypermedia and Grid Systems. Opatija (Croatia) : Croatian Society for Information and Communication Technology, Electronics and Microelectronics, 2006. ISBN 953-233-018-6, pp. 206-211. 22.5.2006, Opatija, Croatia.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Vyd. 2006. Amsterdam, The Netherlands : Elsevier Science, 2006. pp. 17-36. 2005, San Francisco, USAmodified and extended version of INFINITY 2005 paper.
ANTOŠ, David - ŘEHÁK, Vojtěch.
Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications. In ICT 2006, 13th International Conference on Telecommunications. Funchal, Madeira : University of Aveiro, Portugal, 2006. ISBN 972-98368-4-1, pp. 1-4. 8.5.2005, Funchal, Portugal.
ANTOŠ, David - ŘEHÁK, Vojtěch.
Routing, L2 Addressing, and Packet Filtering in a Hardware Engine. In Proceedings of MEMICS 2006. Mikulov : FIT BUT, 2006. ISBN 80-214-3287-X, pp. 1-8. 27.10.2006, Mikulov.
BRIM, Luboš - LEUCKER, Martin.
Special Issue on Parallel and Distributed Verification - Foreword. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 115-116.
ŘEHÁK, Vojtěch.
Weakly Extended Process Rewrite Systems. 2006.
GRUSKA, Jozef - BOUDA, Jan - KUČERA, Antonín - KRAJÍČEK, Ondřej.
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2005. Czech Republic, Znojmo. 14.10.2005 - 17.10.2005, Worldwide Activity.
KUČERA, Antonín - GRUSKA, Jozef - ČEŠKA, Milan.
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). 2005. Czech Republic, Znojmo. 14.10.2005 - 17.10.2005, Worldwide Activity.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA : Department of Computer Science, Iowa State University, 2005. pp. 31-38. 5.9.2005, Lisbon, Portugal.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands : Technische Universiteit Eindhoven (TU/e), 2005. pp. 71-75. 29.11.2005, Eindhoven, The Netherlands.
PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh : Springer, 2005. ISBN 3-540-27231-3, pp. 52-66. 2005, Edinburgh.
ŠAFRÁNEK, David - ŘEHÁK, Vojtěch - KRATOCHVÍLA, Tomáš - ŠIMEČEK, Pavel - HLÁVKA, Petr - VOJNAR, Tomáš.
CRC64 Algorithm Analysis and Verification. Brno : CESNET, z. s. p. o., 2005. Technical Report 27/2005. WWW.
PELÁNEK, Radek - STREJČEK, Jan.
Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 978-3-540-31023-5, pp. 238-249. 2005, Sophia Antipolis.
PELÁNEK, Radek - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš.
Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon.
MORAVEC, Pavel.
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking. In 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic : FI MU Report Series, 2005. pp. 186-192. 2005, Znojmo.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005). Lisboa, Portugal : TU Munchen, 2005. pp. 1-12. 2005, Lisboa, Portugal.
PELÁNEK, Radek - KRČÁL, Pavel.
On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India : Springer, 2005. ISBN 978-3-540-30495-1, pp. 310-321. Hyderabad.
KUČERA, Antonín - GRUSKA, Jozef - ČEŠKA, Milan.
Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno : Faculty of Informatics, Masaryk University in Brno, 2005. 224 s. FI MU Report Series.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno : FI MU, 2005. FIMU-RS-2005-06. WWW.
