Vojtech Rehák

According to our database1, Vojtech Rehák
  • authored at least 40 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Synthesis of Optimal Resilient Control Strategies.
CoRR, 2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
CoRR, 2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

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

2016
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
CoRR, 2016

Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
CoRR, 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
Strategy Synthesis in Adversarial Patrolling Games.
CoRR, 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.
CoRR, 2014

Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis.
CoRR, 2014

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

Solving adversarial patrolling games with bounded error: (extended abstract).
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

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

2012
Almost linear Büchi automata.
Mathematical Structures in Computer Science, 2012

Controllable-choice Message Sequence Graphs
CoRR, 2012

LTL to Büchi Automata Translation: Fast and More Deterministic
CoRR, 2012

LTL to Büchi Automata Translation: Fast and More Deterministic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Controllable-Choice Message Sequence Graphs.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

Verification of Open Interactive Markov Chains.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

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

2011
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CoRR, 2011

Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
CoRR, 2011

Measuring performance of continuous-time stochastic processes using timed automata.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Fixed-Delay Events in Generalized Semi-Markov Processes Revisited.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Decidable Race Condition and Open Coregions in HMSC.
ECEASST, 2010

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness
CoRR, 2010

Stochastic Real-Time Games with Qualitative Timed Automata Objectives.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Reachability is decidable for weakly extended process rewrite systems.
Inf. Comput., 2009

On Decidability of LTL+Past Model Checking for Process Rewrite Systems.
Electr. Notes Theor. Comput. Sci., 2009

Almost Linear Büchi Automata
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009

On decidability of LTL model checking for process rewrite systems.
Acta Inf., 2009

2008
Petri nets are less expressive than state-extended PA.
Theor. Comput. Sci., 2008

2006
Refining the Undecidability Border of Weak Bisimilarity.
Electr. Notes Theor. Comput. Sci., 2006

On Decidability of LTL Model Checking for Process Rewrite Systems.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Verifying VHDL Designs with Multiple Clocks in SMV.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Reachability of Hennessy-Milner Properties for Weakly Extended PRS.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit.
Electr. Notes Theor. Comput. Sci., 2004

Extended Process Rewrite Systems: Expressiveness and Reachability.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004


  Loading...