Jindřich Babica

e-mail:
xbabica(a)fi.muni.cz
telephone:
+420724941709

Formalisms and Tools for Design and Specification of Network Protocols

by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.

FIMU-RS-2007-02. Abstract, Postscript, PDF.

Jiří Barnat

e-mail:
xbarnat(a)fi.muni.cz
home page:
https://www.fi.muni.cz/~xbarnat

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

FIMU-RS-2014-04. Abstract, Postscript, PDF.

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.

FIMU-RS-2010-10. Abstract, Postscript, PDF.

CUDA accelerated LTL Model Checking

by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.

FIMU-RS-2009-05. Abstract, Postscript, PDF.

Quantitative Model Checking of Systems with Degradation (Full Paper).

by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.

FIMU-RS-2009-04. Abstract, Postscript, PDF.

LTL model checking with I/O-Efficient Accepting Cycle Detection

by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.

FIMU-RS-2007-01. Abstract, Postscript, PDF.

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová, September 2006, 19 pages.

FIMU-RS-2006-04. Abstract, Postscript, PDF.

Distributed Memory LTL Model Checking Based on Breadth First Search

by Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.

FIMU-RS-2004-07. Abstract, Postscript, PDF.

Distributed LTL Model-Checking in SPIN

by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.

FIMU-RS-2000-10. Abstract, Postscript, PDF.

Luděk Bártek

e-mail:
bar(a)fi.muni.cz
home page:
https://www.fi.muni.cz/~bar/

Improvements in a Dialogue Interface for Library System

by Luděk Bártek, October 2002, 6 pages.

FIMU-RS-2002-07. Abstract, Postscript, PDF.

Stanislav Bartoň

e-mail:
xbarton(a)fi.muni.cz

Adaptive Approximate Similarity Searching through Metric Social Networks

by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.

FIMU-RS-2007-06. Abstract, Postscript, PDF.

rhoIndex, Designing and Evaluating an Indexing Structure for Graph Structured Data

by Stanislav Bartoň, Pavel Zezula, A full version of the paper presented at IEEE MCD 2006. September 2006, 22 pages.

FIMU-RS-2006-07. Abstract, Postscript, PDF.

Stanislav Bartoň

e-mail:
xbarton(a)fi.muni.cz

Petr Bauch

e-mail:
xbauch(a)fi.muni.cz

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.

FIMU-RS-2010-10. Abstract, Postscript, PDF.

Nikola Beneš

e-mail:
xbenes3(a)fi.muni.cz

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

FIMU-RS-2014-04. Abstract, Postscript, PDF.

Modal Process Rewrite Systems

by Nikola Beneš, Jan Křetínský, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.

FIMU-RS-2012-02. Abstract, Postscript, PDF.

Dual-Priced Modal Transition Systems with Time Durations

by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.

FIMU-RS-2012-01. Abstract, Postscript, PDF.

Parametric Modal Transition Systems

by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.

FIMU-RS-2011-03. Abstract, Postscript, PDF.

Disjunctive Modal Transition Systems and Generalized LTL Model Checking

by Nikola Beneš, Ivana Černá, Jan Křetínský, November 2010, 44 pages.

FIMU-RS-2010-12. Abstract, Postscript, PDF.

Process Algebra for Modal Transition Systemses

by Nikola Beneš, Jan Křetínský, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.

FIMU-RS-2010-11. Abstract, Postscript, PDF.

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.

FIMU-RS-2009-03. Abstract, Postscript, PDF.

Partial Order Reduction for State/Event LTL

by Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, Barbora Zimmerová, July 2008, 21 pages.

FIMU-RS-2008-07. Abstract, Postscript, PDF.

Peter Bezděk

e-mail:
xbezdek1(a)fi.muni.cz

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

FIMU-RS-2014-04. Abstract, Postscript, PDF.

Aleš Borek

e-mail:
xborek(a)fi.muni.cz
home page:
https://www.fi.muni.cz/~xborek

A Comparison of Algorithms for Normed BPA Processes -- An Experimental Performance Evaluation

by Aleš Borek, September 2001, 13 pages.

FIMU-RS-2001-06. Abstract, Postscript, PDF.

Laura Bozzelli

e-mail:
laura.bozzelli(a)dma.unina.it

On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

by Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.

FIMU-RS-2006-05. Abstract, Postscript, PDF.

Michal Brandejs

e-mail:
brandejs(a)fi.muni.cz
home page:
https://www.fi.muni.cz/usr/brandejs/

Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

FIMU-RS-2010-08. Abstract, Postscript, PDF.

Distributed System for Discovering Similar Documents

by Jan Kasprzak, Michal Brandejs, Miroslav Křipac, Pavel Šmerk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.

FIMU-RS-2008-04. Abstract, Postscript, PDF.

Tomáš Brázdil

e-mail:
brazdil(a)fi.muni.cz

Verification of Open Interactive Markov Chains

by Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

FIMU-RS-2012-04. Abstract, Postscript, PDF.

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

FIMU-RS-2011-02. Abstract, Postscript, PDF.

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

FIMU-RS-2010-05. Abstract, Postscript, PDF.

Reachability Games on Extended Vector Addition Systems with States

by Tomáš Brázdil, Petr Jančar, Antonín Kučera, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.

FIMU-RS-2010-02. Abstract, Postscript, PDF.

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

FIMU-RS-2009-09. Abstract, Postscript, PDF.

On the Memory Consumption of Probabilistic Pushdown Automata

by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.

FIMU-RS-2009-07. Abstract, Postscript, PDF.

Qualitative Reachability in Stochastic BPA Games

by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

FIMU-RS-2009-01. Abstract, Postscript, PDF.

Discounted Properties of Probabilistic Pushdown Automata

by Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

by Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.

FIMU-RS-2008-05. Abstract, Postscript, PDF.

The Satisfiability Problem for Probabilistic CTL

by Tomáš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonín Kučera, A full version of the paper presented at LICS 2008. June 2008, 34 pages.

FIMU-RS-2008-03. Abstract, Postscript, PDF.

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

by Tomáš Brázdil, Vojtěch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.

FIMU-RS-2007-03. Abstract, Postscript, PDF.

Stochastic Games with Branching-Time Winning Objectives

by Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

FIMU-RS-2006-02. Abstract, Postscript, PDF.

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.

FIMU-RS-2005-01. Abstract, Postscript, PDF.

Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems

by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.

FIMU-RS-2004-06. Abstract, Postscript, PDF.

Luboš Brim

e-mail:
brim(a)fi.muni.cz
home page:
https://www.fi.muni.cz/usr/brim/

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.

FIMU-RS-2010-10. Abstract, Postscript, PDF.

Using Strategy Improvement to Stay Alive

by Luboš Brim, Jakub Chaloupka, March 2010, 48 pages.

FIMU-RS-2010-03. Abstract, Postscript, PDF.

Faster Algorithm for Mean-Payoff Games

by Jakub Chaloupka, Luboš Brim, October 2009, 11 pages.

FIMU-RS-2009-08. Abstract, Postscript, PDF.

CUDA accelerated LTL Model Checking

by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.

FIMU-RS-2009-05. Abstract, Postscript, PDF.

Partial Order Reduction for State/Event LTL

by Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, Barbora Zimmerová, July 2008, 21 pages.

FIMU-RS-2008-07. Abstract, Postscript, PDF.

LTL model checking with I/O-Efficient Accepting Cycle Detection

by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.

FIMU-RS-2007-01. Abstract, Postscript, PDF.

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová, September 2006, 19 pages.

FIMU-RS-2006-04. Abstract, Postscript, PDF.

Under-Approximation Generation using Partial Order Reduction

by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.

FIMU-RS-2005-04. Abstract, Postscript, PDF.

Accepting Predecessors are Better than Back Edges in Distributed LTL Model Checking

by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper accepted to the conference FMCAD 2004. November 2004, 22 pages.

FIMU-RS-2004-09. Abstract, Postscript, PDF.

Distributed Memory LTL Model Checking Based on Breadth First Search

by Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.

FIMU-RS-2004-07. Abstract, Postscript, PDF.

Parallel Algorithms for Detection of Negative Cycles

by Luboš Brim, Ivana Černá, Lukáš Hejtmánek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.

FIMU-RS-2003-04. Abstract, Postscript, PDF.

Using Assumptions to Distribute CTL Model Checking

by Luboš Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.

FIMU-RS-2002-08. Abstract, Postscript, PDF.

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

FIMU-RS-2001-09. Abstract, Postscript, PDF.

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

FIMU-RS-2001-01. Abstract, Postscript, PDF.

Distributed LTL Model-Checking in SPIN

by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.

FIMU-RS-2000-10. Abstract, Postscript, PDF.

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

Václav Brožek

e-mail:
xbrozek(a)fi.muni.cz
home page:
https://www.fi.muni.cz/~xbrozek/

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

FIMU-RS-2011-02. Abstract, Postscript, PDF.

Qualitative Reachability in Stochastic BPA Games

by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

FIMU-RS-2009-01. Abstract, Postscript, PDF.

Discounted Properties of Probabilistic Pushdown Automata

by Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

Stochastic Games with Branching-Time Winning Objectives

by Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

FIMU-RS-2006-02. Abstract, Postscript, PDF.

Vit Bukac

e-mail:
bukac(a)mail.muni.cz

Traffic characteristics of common DoS tools

by Vit Bukac, April 2014, 83 pages.

FIMU-RS-2014-02. Abstract, Postscript, PDF.

Joakim Byg

e-mail:
joakim.byg(a)gmail.com

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.

FIMU-RS-2009-06. Abstract, Postscript, PDF.