2011
Martin Kot
Using Uppaal for Verification of Priority Assignment in Real-Time Databases
in: Digital Information Processing and Communications, ICDIPC 2011 Proceedings, Part II, CCIS 189, 2011, Springer, Heidelberg, pp. 385--399, ISSN 1865-0929, e-ISSN 1865-0937, ISBN 978-3-642-22409-6, e-ISBN 978-3-642-22410-2
 
2010
Martin Kot
Selected Problems from the Area of Formal Verification
PhD thesis, VŠB - Technical University of Ostrava, 2010
Dissertation
Summary
Presentation
Petr Jančar, Martin Kot, Zdeněk Sawa
Complexity of Deciding Bisimilarity between Normed BPA and Normed BPP
in: Information and Computation, Volume 208, Number 10, October 2010, Elsevier, p.1193-1205, ISSN 0890-5401, DOI 10.1016/j.ic.2009.10.012
DOI (ScienceDirect)
Martin Kot
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
in: Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, MATFYZPRESS publishing house of Faculty of Mathematics and Physics Charles University in Prague, 2010, ISBN 978-80-7378-116-3, pages 147-154
CEUR Workshop Proceedings (pdf)
 
2009
Martin Kot
Modeling selected real-time database concurrency control protocols in Uppaal
in: Innovations in Systems and Software Engineering, Volume 5, Number 2, June 2009, Springer, London, p. 129-138, ISSN 1614-5046 (Print), ISSN 1614-5054 (Online), DOI 10.1007/s11334-009-0086-3
pdf
 
2008
Petr Jančar, Martin Kot, Zdeněk Sawa
Normed BPA vs. Normed BPP Revisited
in: MEMICS 2008 proceedings - 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Ing. Zdeněk Novotný CSc., 2008, ISBN 978-80-7355-082-0, page 259, Presentation of previously published paper
pdf
Petr Jančar, Martin Kot, Zdeněk Sawa
Normed BPA vs. Normed BPP Revisited
in: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, Lecture Notes in Computer Science 5201, Springer, 2008, ISBN 978-3-540-85360-2, pages 434-446, Best paper award
pdf
presentation
BibTex item
SpringerLink
Martin Kot
Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
in: Proceedings of the International Multiconference on Computer Science and Information Technology, Volume 3 (2008), IEEE Computer Society Press, 2008, ISBN 978-83-60810-14-9, ISSN 1896-7094, pages 673-678
pdf
Proceedings page
 
2007
Martin Kot
Notes on Modeling of Real-Time Database System V4DB in Verification Tool Uppaal
in: MEMICS proceedings (MEMICS 2007 - Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science), Ing. Zdeněk Novotný CSc., 2007, ISBN 978-80-7355-077-6, pages 82-89
pdf
 
2006
Martin Kot
Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System
in: Proceedings of Movep'06, Bordeaux:LaBRI, University of Bordeaux-1, 2006, p. 318-323
pdf
 
2005
Petr Jančar, Martin Kot, Zdeněk Sawa
Notes on Complexity of Bisimilarity between BPA and BPP
Accepted for presentation and presented at Express'05, San Francisco
pdf
Martin Kot
Regularity of BPP is PSPACE-complete
in: Proceedings of the 3nd annual workshop WOFEX 2005, Ed. Václav Snášel, Ostrava:VŠB - TUO FEECS, 2005, p. 393-398, ISBN 80-248-0866-8
pdf
Martin Kot, Zdeněk Sawa
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
in: Electronic Notes in Theoretical Computer Science, 2005, vol. 138, čis. 3, Elsevier, p. 49-60, ISSN 1571-0661, DOI 10.1016/j.entcs.2005.02.065
ENTCS
BibTex item
 
2004
Petr Jančar, Martin Kot
Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)
in: Proceedings of the Third International Workshop on Automated Verification of Infinite-State Systems - AVIS2004, Barcelona, 2004
pdf
BibTex item
Martin Kot, Zdeněk Sawa
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
in: Proceedings of Infinity2004, London, 2004
pdf
ps
Martin Kot
Complexity of deciding bisimilarity of nBPP and bisimilarity of BPP with finite-state system
in: Proceedings of the 2nd annual workshop WOFEX 2004, Ed. Václav Snášel, Ostrava:VŠB - TUO FEECS, 2004, p. 310-315, ISBN 80-248-0596-0
pdf
Martin Kot
Some Problems Related to Bisimilarity on BPP
in: Proceedings of Movep'04, Brussels:Université Libre de Bruxelles, 2004, p. 96-102
pdf
 
2003
Martin Kot, Otmar Onderek
Two known algorithms for checking bisimilarity of normed BPPs
in: Sborník semináře Wofex2003, Ostrava, 2003
pdf