Leonid Ryzhyk (NICTA

Identifiers

No identifiers captured yet.

Papers (2)

1. The Second Reactive Synthesis Competition (SYNTCOMP 2015) cs.LO · 2016 · author #17
2. Automatic Verification of Message-Based Device Drivers cs.OS · 2012 · author #8

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Walker (NICTA 1 shared papers
• Alastair F. Donaldson (Imperial College London) 1 shared papers
• Alexander Legg (NICTA 1 shared papers
• Australia 1 shared papers
• Australia) 1 shared papers
• Austria) 1 shared papers
• Belgium) 1 shared papers
• Brussels 1 shared papers
• Carnegie Mellon University 1 shared papers
• Germany) 1 shared papers
• Guillermo A. P\'erez (Universit\'e Libre de Bruxelles 1 shared papers
• Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles 1 shared papers
• Leander Tentrup (Saarland University 1 shared papers
• Linz 1 shared papers
• Martina Seidl (Johannes-Kepler-University 1 shared papers
• Ocan Sankur (Universit\'e Libre de Bruxelles 1 shared papers
• Peter Chubb (NICTA 1 shared papers
• Pittsburgh 1 shared papers
• Robert K\"onighofer (Graz University of Technology 1 shared papers
• Roderick Bloem (Graz University of Technology 1 shared papers