Jan Krčál

Czech Technical University in Prague — Czech Republic

Computer Science · Physical Sciences

12h-index439citations66works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(26), Petri Nets in System Modeling(20), Software Reliability and Analysis Research(9), Logic, programming, and type systems(7), Real-Time Systems Scheduling(7)

Publications66 total

Use of iBeacon technology for safe movement of disabled people
2021· 6 cited
SMART TERMINAL FOR MAKING TRANSFERSBETWEEN VARIOUS TRANSPORT MODES USEDBY PASSENGERS WITH REDUCED MOBILITY
PARIPEX INDIAN JOURNAL OF RESEARCH·2019Open Access
SMART TERMINAL FOR MAKING TRANSFERS BETWEEN VARIOUS TRANSPORT MODES USED BY PASSENGERS WITH REDUCED MOBILITY
2019
Driver Identification Using Ear Biometrics
2018
Battery-aware scheduling in low orbit: the GomX–3 case
Formal Aspects of Computing·2018· 16 citedOpen Access
Biometrie identification of persons in a vehicle
2018
Mastering operational limitations of LEO satellites – The GomX-3 approach
Acta Astronautica·2018· 3 citedOpen Access
People counting in smart buildings
2018· 12 cited
People counting by means of Wi-Fi
2017· 14 cited
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2017· 20 citedOpen Access
Identification system testing and optimisation
2016
Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
Lecture notes in computer science·2016· 26 cited
The Value of Attack-Defence Diagrams
Lecture notes in computer science·2016· 37 cited
Distributed Synthesis in Continuous Time
Lecture notes in computer science·2016Open Access
Effective Static and Dynamic Fault Tree Analysis
Lecture notes in computer science·2016· 9 cited
Strategie utváření identity mezi Starým a Novým světem - Parishové ze Senftenbergu
Digitální knihovna Univerzity Pardubice (Univerzity Pardubice)·2016
Schedulers are no Prophets
Lecture notes in computer science·2015· 6 cited
Parking Management Control System for smart cities
2015· 1 cited
Controller synthesis for MDPs and Frequency LTL$\setminus$GU
arXiv (Cornell University)·2015Open Access
Optimal Continuous Time Markov Decisions
arXiv (Cornell University)·2015· 2 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Holger Hermanns(15), Jan Křetínský(13), Tomǎš Brázdil(11), Vojtěch Řehák(10), Jana Kalikova(8), Vojtěch Forejt(6), Antonı́n Kučera(6), Gilles Nies(6), Michal Jeřábek(5), Milan Koukol(4), Yuliya Butkova(3), Hassan Hatefi(3), Morten Bisgaard(3), David Gerhardt(3), Marvin Stenger(3), Ľuboš Korenčiak(3), Petr Novotný(2), Pavel Krčál(2), Iván Nagy(2), Julia Krämer(1)