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. Mining latency guarantees for RTL designs

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

   2018 - TUHH Open Research
4. 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