Showing 1 - 13 results of 13 for search 'Roderick Bloem', query time: 0.04s Refine Results
  1. 1
    The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

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

    Published 2016-11-01
    Get full text
    Article
  2. 2
    Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters

    Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters by Vedad Hadžic, Roderick Bloem

    Published 2024-12-01
    Get full text
    Article
  3. 3
    Parameterized Synthesis

    Parameterized Synthesis by Swen Jacobs, Roderick Bloem

    Published 2014-02-01
    Get full text
    Article
  4. 4
    Generic Low-Latency Masking in Hardware

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

    Published 2018-05-01
    Get full text
    Article
  5. 5
    CTL* synthesis via LTL synthesis

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

    Published 2017-11-01
    Get full text
    Article
  6. 6
    Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches

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

    Published 2024-09-01
    Get full text
    Article
  7. 7
    How to Handle Assumptions in Synthesis

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

    Published 2014-07-01
    Get full text
    Article
  8. 8
    Quantile: Quantifying Information Leakage

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

    Published 2023-12-01
    Get full text
    Article
  9. 9
    Synthesizing Robust Systems with RATSY

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

    Published 2012-07-01
    Get full text
    Article
  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 by Simon Tollec, Vedad Hadži´c, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

    Published 2024-09-01
    Get full text
    Article
  11. 11
    The Second Reactive Synthesis Competition (SYNTCOMP 2015)

    The Second Reactive Synthesis Competition (SYNTCOMP 2015) by 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

    Published 2016-02-01
    Get full text
    Article
  12. 12
    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results by 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

    Published 2017-11-01
    Get full text
    Article
  13. 13
    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) by 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

    Published 2023-04-01
    Get full text
    Article

Search Tools: