Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jan Kofron

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BuhnovaHK13
- ask others
Barbora Buhnova, Lucia Kapova Happe, Jan Kofron: Preface. Electr. Notes Theor. Comput. Sci. 295: 1-2 (2013)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/PochSPK13
- ask others
Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron: Threaded behavior protocols. Formal Asp. Comput. 25(4): 543-572 (2013)
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-4780
- ask others
Barbora Buhnova, Lucia Happe, Jan Kofron (Eds.): Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures. EPTCS 108, 2013
2012
[c7]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/HauzarK12
- ask others
David Hauzar, Jan Kofron: On Security Analysis of PHP Web Applications. COMPSAC Workshops 2012: 577-582
2010
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csmr/BeckerHTKK10
- ask others
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofron: Reverse Engineering Component Models for Quality Predictions. CSMR 2010: 194-197
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wadt/KofronP10
- ask others
Jan Kofron, Frantisek Plasil: Evolving SOA in the Q-ImPrESS Project. WADT 2010: 25-26
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/qosa/2010
- ask others
George T. Heineman, Jan Kofron, Frantisek Plasil (Eds.): Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings. Lecture Notes in Computer Science 6093, Springer 2010, ISBN 978-3-642-13820-1

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/infsof/KofronPS09
- ask others
Jan Kofron, Frantisek Plasil, Ondrej Sery: Modes in component behavior specification via EBP and their application in product lines. Information & Software Technology 51(1): 31-41 (2009)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tfm/KofronPS09
- ask others
Jan Kofron, Pavel Parizek, Ondrej Sery: On Teaching Formal Methods: Behavior Models and Code Analysis. TFM 2009: 144-157
2007
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BuresDHKPPPST07
- ask others
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parizek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma: CoCoME in SOFA. CoCoME 2007: 388-417
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/Kofron07
- ask others
Jan Kofron: Checking software component behavior using behavior protocols and spin. SAC 2007: 1513-1517
2006
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/JezekKP06
- ask others
Pavel Jezek, Jan Kofron, Frantisek Plasil: Model Checking of Component Behavior Specification: A Real Life Experience. Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006)
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sew/ParizekPK06
- ask others
Pavel Parizek, Frantisek Plasil, Jan Kofron: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141