vix.ing · top · new · best · stats · spec

Müller-Olm, Markus

  1. Propositional Dynamic Logic for Hyperproperties
    2019/10/23 by Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph · 4 citations
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
  2. Automata and Fixpoints for Asynchronous Hyperproperties
    2020/10/22 by Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph · 3 citations
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
  3. Deciding Asynchronous Hyperproperties for Recursive Programs
    2022/01/30 by Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)