Lukas Krejci

According to our database, Lukas Krejci authored at least 5 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2021

Software Platform for Automotive Radar Target Simulator.

Lukás Krejcí, Jirí Novák, Jan Sobotka

Proceedings of the IEEE International Workshop on Metrology for Automotive, 2021

2017

Programming Autonomous Behavior of Reactive Metering Systems by Timed Automata.

Lukás Krejcí

Int. J. Comput., 2017

Model-based testing of automotive distributed systems with automated prioritization.

Lukas Krejci, Jirí Novák

Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Framework and Automated Prioritization Procedure for Model-Based Testing of Automotive Distributed Systems.

Lukas Krejci, Jirí Novák

Proceedings of the Dateso 2017 Annual International Workshop on DAtabases, 2017

2015

Programming autonomous behavior of AMM network data concentrator by timed automata.

Lukas Krejci

Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2015