Technical Reports

A list sorted by author - C

Pavel Cenek

e-mail:

xcenek(a)fi.muni.cz

Dialogue Interfaces for Library Systems

by Pavel Cenek, June 2001, 15 pages.

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

Ivana Èerná

e-mail:

cerna(a)fi.muni.cz

home page:

https://www.fi.muni.cz/usr/cerna/

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.

Dynamic maintenance of an accepting run

by Florent Peres, Ivana Èerná, August 2013, 46 pages.

FIMU-RS-2013-01. 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.

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.

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.

Model Checking of Control-User Component-Based Parametrised Systems

by Pavlína Vaøeková, Ivana Èerná, A full version of the paper presented at conference CBSE 2008. July 2008, 27 pages.

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

Component-Interaction Automata Modelling Language

by Ivana Èerná, Pavlína Vaøeková, Barbora Zimmerová, October 2006, 25 pages.

FIMU-RS-2006-08. 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.

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.

Relating Hierarchy of Linear Temporal Properties to Model Checking

by Ivana Èerná, Radek Pelánek, April 2003, 18 pages.

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

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana Èerná, Radek Pelánek, December 2002, 24 pages.

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

Proceedings of Tools Day

by Ivana Èerná, August 2002, 105 pages.

FIMU-RS-2002-05. 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.

Some Remarks on Weak Bisimilarity of BPA-Processes

by Ivana Èerná, Jitka Støíbrná, December 2000, 26 pages.

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

On the Pattern Equations

by Ivana Èerná, Ondøej Klíma, Jiøí Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.

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

Comparing Expressibility of Normed BPA and Normed BPP Processes

by Ivana Èerná, Mojmír Køetínský, Antonín Kuèera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.

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

Milan Èe¹ka

e-mail:

xceska(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.

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.

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.

Jakub Chaloupka

e-mail:

xchalou1(a)fi.muni.cz

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

by Jakub Chaloupka, A full version of the paper presented at Workshop on Reachability Problems 2010 August 2010, 36 pages.

FIMU-RS-2010-06. 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.

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.

Jean-Cédric Chappelier

e-mail:

Jean-Cedric.Chappelier(a)epfl.ch

Tool for robust stochastic parsing using optimal maximum coverage

by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.

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

Krishnendu Chatterjee

e-mail:

krish.chat(a)gmail.com

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.

Michal Chocholáè

e-mail:

xchochol(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xchochol

Logical Markup from RTF

by Michal Chocholáè, February 2000, 20 pages.

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

Jitka Crhová

e-mail:

xcrhova(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xcrhova

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.

Matìj Èuhel

e-mail:

cuhel(a)fi.muni.cz

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.