Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger & Barbara Jobstmann (2010):
Robustness in the Presence of Liveness.
In: CAV,
pp. 410–424.
Available at http://dx.doi.org/10.1007/978-3-642-14295-6_36.
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan & Richard Seeber (2010):
RATSY - A New Requirements Analysis Tool with Synthesis.
In: CAV,
pp. 425–429.
Available at http://dx.doi.org/10.1007/978-3-642-14295-6_37.
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli & Martin Weiglhofer (2007):
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
In: DATE,
pp. 1188–1193.
Available at http://doi.acm.org/10.1145/1266366.1266622.
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli & Martin Weiglhofer (2007):
Specify, Compile, Run: Hardware from PSL 190,
pp. 3–16.
Available at http://dx.doi.org/10.1016/j.entcs.2007.09.004.
Roderick Bloem, Karin Greimel, Thomas A. Henzinger & Barbara Jobstmann (2009):
Synthesizing robust systems.
In: FMCAD,
pp. 85–92.
Available at http://dx.doi.org/10.1109/FMCAD.2009.5351139.
A. Church (1962):
Logic, Arithmetic and Automata.
In: Proceedings International Mathematical Congress.
Rupak Majumdar, Elaine Render & Paulo Tabuada (2011):
Robust discrete synthesis against unspecified disturbances.
In: HSCC,
pp. 211–220.
Available at http://doi.acm.org/10.1145/1967701.1967732.
Nir Piterman, Amir Pnueli & Yaniv Sa'ar (2006):
Synthesis of Reactive(1) Designs.
In: VMCAI,
pp. 364–380.
Available at http://dx.doi.org/10.1007/11609773_24.
Premkishore Shivakumar, Michael Kistler, Stephen W. Keckler, Doug Burger & Lorenzo Alvisi (2002):
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic.
In: DSN,
pp. 389–398.
Available at http://doi.ieeecomputersociety.org/10.1109/DSN.2002.1028924.