Markus N. Rabe
According to our database1, Markus N. Rabe authored at least 20 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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