4 Einträge gefunden

1. Revisiting Explicit Enumeration for Exact Synthesis

   1. Martino, Gianluca
   2. Riener, Heinz
   3. Fey, Görschwin

   2020 - TUHH Open Research
2. Synthesizing adaptive test strategies from temporal logic specifications

   1. Bloem, Roderick
   2. Fey, Görschwin
   3. Greif, Fabian
   4. Könighofer, Robert
   5. Pill, Ingo
   6. Riener, Heinz
   7. Röck, Franz

   2019 - TUHH Open Research - frei zugänglich
3. Design Understanding: From Logic to Specification*

   1. Fey, Görschwin
   2. Ghasempouri, Tara
   3. Jacobs, Swen
   4. Martino, Gianluca
   5. Raik, Jaan
   6. Riener, Heinz

   2018 - TUHH Open Research
4. Mining latency guarantees for RTL designs

   1. Malburg, Jan
   2. Riener, Heinz
   3. Fey, Görschwin

   2018 - TUHH Open Research