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

Faymonville, Peter

  1. Real-time Stream-based Monitoring
    2017/11/10 by Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian +1 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
  2. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
    2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)