Lubos Korenciak

According to our database1, Lubos Korenciak authored at least 10 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals.
IEEE Wirel. Commun., 2019

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.
ACM Trans. Model. Comput. Simul., 2019

2017
Synthesis of Optimal Resilient Control Strategies.
CoRR, 2017

Synthesis of Optimal Resilient Control Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014
Dealing with Zero Density Using Piecewise Phase-Type Approximation.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013
On time-average limits in deterministic and stochastic petri nets.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

2012
Sequence Chart Studio.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012


  Loading...