Markus N. Rabe

According to our database1, Markus N. Rabe authored at least 20 papers between 2010 and 2018.

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



In proceedings 
PhD thesis 





Understanding and Extending Incremental Determinization for 2QBF.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Encodings of Bounded Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Resolution-Style Proof System for DQBF.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Maximum Model Counting.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

A temporal logic approach to iInformation-flow control.
PhD thesis, 2016

Incremental Determinization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Verifying hyperproperties of hardware systems.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

CAQE: A Certifying QBF Solver.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

The linear-hyper-branching spectrum of temporal logics.
it - Information Technology, 2014

A shallow embedding of HyperCTL.
Archive of Formal Proofs, 2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Temporal Logics for Hyperproperties.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games.
Theor. Comput. Sci., 2013

Model Checking Information Flow in Reactive Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.
Proceedings of the Automated Technology for Verification and Analysis, 2012

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games.
Acta Inf., 2011

Efficient Approximation of Optimal Control for Continuous-Time Markov Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010