Associate professor

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University, Czech Republic

Phone: +420 951 554 285
Office: 309, 3rd floor, Malá Strana
PGP fingerprint: F650 D7C8 48AC 23FE 7993 3AA8 02C6 7055 43C8 3F4D

Research interests and activities





Publications (last five years)

Full list of publications is available here.

R. Al-Ali, L. Bulej, J. Kofroň, T. Bureš:
A guide to design uncertainty-aware self-adaptive components in Cyber–Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
R. Husák, J. Míšek, F. Zavoral, J. Kofroň:
PeachPie: Mature PHP to CLI compiler, in Journal of Computer Languages, pp. 1-29, 2022
DOI: 10.1016/j.cola.2022.101152
M. Blicha, J. Kofroň, W. Tatarko:
Summarization of branching loops, in Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, pp. 1808–1816, 2022
ISBN: 978-1-4503-8713-2, DOI: 10.1145/3477314.3507042
M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Using linear algebra in decomposition of Farkas interpolants, in International Journal on Software Tools for Technology Transfer 24(1), pp. 111-125, 2022
DOI: 10.1007/s10009-021-00641-z
R. Husák, J. Kofroň, J. Míšek, F. Zavoral:
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages, in Proc. of the 17th International Conference on Software Technologies, pp. 175-186, 2022
ISBN: 978-989-758-588-3, DOI: 10.5220/0011272300003266
T. Bureš, P. Hnětynka, F. Plášil, D. Škoda, J. Kofroň, R. Ali, I. Gerostathopoulos:
Targeting uncertainty in smart CPS by confidence-based logic, in Journal of Systems and Software 181, 2021
DOI: 10.1016/j.jss.2021.111065
T. Bureš, I. Gerostathopoulos, P. Hnětynka, F. Plášil, F. Krijt, J. Vinárek, J. Kofroň:
A language and framework for dynamic component ensembles in smart systems, in International Journal on Software Tools for Technology Transfer 22(4), pp. 497-509, 2020
DOI: 10.1007/s10009-020-00558-z
R. Husák, F. Zavoral, J. Kofroň:
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations, in 2020 International Symposium on Theoretical Aspects of Software Engineering, pp. 145-152, 2020
ISBN: 978-1-72814-086-5
P. Arcaini, J. Kofroň, P. Ježek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin, in International Journal on Software Tools for Technology Transfer 22(3), pp. 265-279, 2020
DOI: 10.1007/s10009-019-00539-x
R. Husák, J. Kofroň, F. Zavoral:
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 3-20, 2019
ISBN: 978-3-030-17462-0, DOI: 10.1007/978-3-030-17462-0_1
P. Jančík, J. Kofroň, L. Alt, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design 55(1), pp. 33-71, 2019
DOI: 10.1007/s10703-019-00342-z
R. Husák, J. Kofroň, F. Zavoral:
Handling Heap Data Structures in Backward Symbolic Execution, in Pre-proceedings for TAPAS 2019, 2019