Roderick Bloem
Krishnendu Chatterjee
Karin Greimel
Thomas A. Henzinger
Barbara Jobstmann
2010
Robustness in the Presence of Liveness
CAV
410–424
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
CAV
425–429
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
DATE
1188–1193
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
3–16
http://dx.doi.org/10.1016/j.entcs.2007.09.004
Roderick Bloem
Karin Greimel
Thomas A. Henzinger
Barbara Jobstmann
2009
Synthesizing robust systems
FMCAD
85–92
http://dx.doi.org/10.1109/FMCAD.2009.5351139
A. Church
1962
Logic, Arithmetic and Automata
Proceedings International Mathematical Congress
Laurent Doyen
Thomas A. Henzinger
Axel Legay
Dejan Nickovic
2010
Robustness of Sequential Circuits
ACSD
77–84
http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.26
Rupak Majumdar
Elaine Render
Paulo Tabuada
2011
Robust discrete synthesis against unspecified disturbances
HSCC
211–220
http://doi.acm.org/10.1145/1967701.1967732
Nir Piterman
Amir Pnueli
2006
Faster Solutions of Rabin and Streett Games
LICS
275–284
http://doi.ieeecomputersociety.org/10.1109/LICS.2006.23
Nir Piterman
Amir Pnueli
Yaniv Sa'ar
2006
Synthesis of Reactive(1) Designs
VMCAI
364–380
http://dx.doi.org/10.1007/11609773_24
Amir Pnueli
Roni Rosner
1989
On the Synthesis of a Reactive Module
POPL
179–190
http://doi.acm.org/10.1145/75277.75293
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
DSN
389–398
http://doi.ieeecomputersociety.org/10.1109/DSN.2002.1028924