References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. A. Church (1962): Logic, Arithmetic and Automata. In: Proceedings International Mathematical Congress.
  7. Laurent Doyen, Thomas A. Henzinger, Axel Legay & Dejan Nickovic (2010): Robustness of Sequential Circuits. In: ACSD, pp. 77–84. Available at http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.26.
  8. 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.
  9. Nir Piterman & Amir Pnueli (2006): Faster Solutions of Rabin and Streett Games. In: LICS, pp. 275–284. Available at http://doi.ieeecomputersociety.org/10.1109/LICS.2006.23.
  10. 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.
  11. Amir Pnueli & Roni Rosner (1989): On the Synthesis of a Reactive Module. In: POPL, pp. 179–190. Available at http://doi.acm.org/10.1145/75277.75293.
  12. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org