| |
| 2008 | ||
|---|---|---|
| 2 | EE | Kohei Sakurai, Péter Bokor, Neeraj Suri: Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE 2008: 261-270 |
| 2007 | ||
| 1 | EE | Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri: Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. HASE 2007: 169-178 |
| 1 | András Pataricza | [1] |
| 2 | Kohei Sakurai | [2] |
| 3 | Marco Serafini | [1] |
| 4 | Áron Sisak | [1] |
| 5 | Neeraj Suri | [1] [2] |