| CoCoME-the common component modeling example S Herold, H Klus, Y Welsch, C Deiters, A Rausch, R Reussner, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 116 | 2008 |
| Model checking of software components: Combining java pathfinder and behavior protocol model checker P Parizek, F Plasil, J Kofron 2006 30th Annual IEEE/NASA Software Engineering Workshop, 133-141, 2006 | 54 | 2006 |
| Behavior protocol verification: Fighting state explosion M Mach, F Plásil, J Kofron International Journal of Computer and Information Science 6 (1), 22-30, 2005 | 51 | 2005 |
| Reverse engineering component models for quality predictions S Becker, M Hauck, M Trifu, K Krogmann, J Kofroň 2010 14th European Conference on Software Maintenance and Reengineering, 194-197, 2010 | 50 | 2010 |
| Model checking of component behavior specification: A real life experience P Jezek, J Kofron, F Plasil Electronic Notes in Theoretical Computer Science 160, 197-210, 2006 | 35 | 2006 |
| Framework for static analysis of PHP applications D Hauzar, J Kofron 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 33 | 2015 |
| Component reliability extensions for fractal component model J Adamek, T Bures, P Jezek, J Kofron, V Mencl, P Parizek, F Plasil | 29 | 2006 |
| Checking software component behavior using behavior protocols and spin J Kofron Proceedings of the 2007 ACM symposium on Applied computing, 1513-1517, 2007 | 28 | 2007 |
| A language and framework for dynamic component ensembles in smart systems T Bures, I Gerostathopoulos, P Hnetynka, F Plasil, F Krijt, J Vinarek, ... International Journal on Software Tools for Technology Transfer 22, 497-509, 2020 | 26 | 2020 |
| Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin P Arcaini, P Ježek, J Kofroň Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 22 | 2018 |
| Decomposing farkas interpolants M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2019 | 19 | 2019 |
| Statistical approach to architecture modes in smart cyber physical systems T Bures, P Hnetynka, J Kofron, R Al Ali, D Skoda 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 168-177, 2016 | 16 | 2016 |
| Tbp: Code-oriented component behavior specification J Kofron, T Poch, O Sery 2008 32nd Annual IEEE Software Engineering Workshop, 75-83, 2008 | 15 | 2008 |
| Project Deliverable D2. 1 Service Architecture Meta-Model (SAMM) S Becker, L Bulej, T Bureš, P Hnetynka, L Kapová, J Kofron, H Koziolek, ... September, 2008 | 14* | 2008 |
| Behavior protocols extensions J Kofron | 14 | 2007 |
| Correctness of service components and service component ensembles J Combaz, S Bensalem, F Tiezzi, A Margheri, R Pugliese, J Kofroň Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 13 | 2015 |
| On security analysis of PHP web applications D Hauzar, J Kofron 2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012 | 12 | 2012 |
| PVAIR: Partial variable assignment interpolator P Jančík, L Alt, G Fedyukovich, AEJ Hyvärinen, J Kofroň, N Sharygina International Conference on Fundamental Approaches to Software Engineering …, 2016 | 10 | 2016 |
| On interpolants and variable assignments P Jancik, J Kofroň, SF Rollini, N Sharygina 2014 Formal Methods in Computer-Aided Design (FMCAD), 123-130, 2014 | 10 | 2014 |
| Data-flow analysis of programs with associative arrays D Hauzar, J Kofroň, P Baštecký arXiv preprint arXiv:1405.1116, 2014 | 10 | 2014 |
Frantisek PlasilProfessor, charles universityEmail verificata su d3s.mff.cuni.cz
