Concepedia

Jan Kofroň

JK

Statistics

Publications

10

Citations

180

H-Index

10

Active since

2004

Affiliations

Charles University(Current)

Czech Academy of Sciences, Institute of Computer Science

Jan Kofroň is an author at Charles University specializing in computing, computer science, and verification.

Publications per year

2004–2021

10

Publications

10

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker

Pavel Parízek, František Plášil, Jan Kofroň · Proceedings · 2006 · 31 citations

Computing, Computer Science, Formal Methods +7

Reverse Engineering Component Models for Quality Predictions

Steffen Becker, Mirjam Hauck, Mircea Trifu et al. · 2010 · 29 citations

Computing, Computer Science, Quality Engineering +16

A language and framework for dynamic component ensembles in smart systems

Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka et al. · International Journal on Software Tools for Technology Transfer · 2020 · 24 citations · Full text

Engineering, Computer Science, Systems Engineering +16

Model Checking of Component Behavior Specification: A Real Life Experience

Pavel Ježek, Jan Kofroň, František Plášil · Electronic Notes in Theoretical Computer Science · 2006 · 19 citations · Full text

Computing, Computer Science, Computer Systems +14

Framework for Static Analysis of PHP Applications

David Hauzar, Jan Kofroň · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 17 citations · Full text

Computing, Computer Science, Cybersecurity +17

1–5 of 10