Hasil Pencarian - Roderick Bloem

  • Menampilkan 1 - 14 hasil dari 14
Perbaiki Hasil
  1. 1
    The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

    The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond oleh Swen Jacobs, Roderick Bloem

    Diterbitkan 2016-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Parameterized Synthesis

    Parameterized Synthesis oleh Swen Jacobs, Roderick Bloem

    Diterbitkan 2014-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Generic Low-Latency Masking in Hardware

    Generic Low-Latency Masking in Hardware oleh Hannes Gross, Rinat Iusupov, Roderick Bloem

    Diterbitkan 2018-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    CTL* synthesis via LTL synthesis

    CTL* synthesis via LTL synthesis oleh Roderick Bloem, Sven Schewe, Ayrat Khalimov

    Diterbitkan 2017-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Parameterized Synthesis Case Study: AMBA AHB

    Parameterized Synthesis Case Study: AMBA AHB oleh Roderick Bloem, Swen Jacobs, Ayrat Khalimov

    Diterbitkan 2014-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches

    Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches oleh Johannes Haring, Vedad Hadži´c, Roderick Bloem

    Diterbitkan 2024-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    How to Handle Assumptions in Synthesis

    How to Handle Assumptions in Synthesis oleh Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

    Diterbitkan 2014-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Quantile: Quantifying Information Leakage

    Quantile: Quantifying Information Leakage oleh Vedad Hadžic, Gaëtan Cassiers, Robert Primas, Stefan Mangar, Roderick Bloem

    Diterbitkan 2023-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Synthesizing Robust Systems with RATSY

    Synthesizing Robust Systems with RATSY oleh Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

    Diterbitkan 2012-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults

    Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults oleh Simon Tollec, Vedad Hadži´c, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

    Diterbitkan 2024-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    The Second Reactive Synthesis Competition (SYNTCOMP 2015)

    The Second Reactive Synthesis Competition (SYNTCOMP 2015) oleh Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

    Diterbitkan 2016-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results oleh Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

    Diterbitkan 2017-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

    The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results oleh Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

    Diterbitkan 2016-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)

    Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT) oleh Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan

    Diterbitkan 2023-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: