Seznam publikací

Ing. Martin Pěnička

Nejdůležitější publikace z celkem 20-ti publikací:
  1. Pěnička, M. Formal Approach to Railway Applications In: Formal Methods and Hybrid Real-Time Systems. Berlin: Springer, 2007, vol. 1, s. 504-520. ISBN 978-3-540-75220-2.
  2. Pěnička, M. Výhody použití formálních metod při modelování železniční dopravy In: Metódy, opatrenia a technológie na dosiahnutie vyššej konkurencieschopnosti železničněj dopravy v Európe. Žilina: Žilinská univerzita, 2007, díl 3, s. 85-92. ISBN 978-80-8070-682-1.
  3. M. Pěnička, "Towards a Theory of Railways", PhD Thesis, 202 p., ČVUT, Fakulta dopravní, Praha, 2006
  4. Pěnička, M. Railway Domain Petri Net Examples In: Software Engineering 2. Berlin: Springer, 2006, vol. 2, s. 328-333. ISBN 3-540-21150-0.
  5. Pěnička, M. Railway Line Automatic Blocking In: Software Engineering 2. Berlin: Springer, 2006, vol. 2, s. 484-488. ISBN 3-540-21150-0.
  6. Pěnička, M. Railway Line Direction Agreement System In: Software Engineering 2. Berlin: Springer, 2006, vol. 2, s. 488-493. ISBN 3-540-21150-0.
  7. Pěnička, M. Towards a Theory Railways [PhD Thesis]. Praha: ČVUT, Fakulta dopravní, 2006. 202 s.
  8. Bjorner, D. - George, C.W. - Haxthausen, A.E. - Madsen, C.K. - Holmslykke, S. - et al. "UML-ising" Formal Techniques In: Lecture Notes in Computer Science. Berlin: Springer, 2004, s. 423-450. ISBN 3-540-23135-8.
  9. Bjorner, D. - Chiang, P. - Pěnička, M. - Jacobsen, S.T. - Hansen, J.K. - et al. Torward a Formal Model of CyberRail In: Building the Information Society. Norwell, MA: Kluwer Academic Publishers, 2004, s. 657-664. ISBN 1-4020-8156-1.
  10. Pěnička, M. - Bjorner, D. From Railway Resource Planning to Train Operation In: Building the Information Society. Norwell, MA: Kluwer Academic Publishers, 2004, s. 629-636. ISBN 1-4020-8156-1.
  11. Pěnička, M. Formální metody tvorby softwaru v železniční dopravě In: Infotrans 2003. Pardubice: Univerzita Pardubice, 2003, s. 52. ISBN 80-7194-530-7.
Aktuální seznam publikací viz http://www.vvvs.cvut.cz/publ/