HARDWARE DESIGNS
Experts
- Franz Wotawa
- Daniel Kroening
- Edmund M. Clarke
- Rolf Drechsler
- Alberto Pettorossi
- Maurizio Proietti
- Andreas G. Veneris
- Masahiro Fujita
- Fabio Fioravanti
- Görschwin Fey
- Parosh Aziz Abdulla
- Thomas Kropf
- Emanuele De Angelis
- Abhik Roychoudhury
- Robert Wille
- Markus Stumptner
- Patrick Rodler
- Peter Müller
- Gilles Barthe
- Ganesh Gopalakrishnan
- Dieter Kranzlmüller
- Klaus Schneider
- Elisa Gonzalez Boix
- Sean Safarpour
- Jens Volkert
- Alessio Lomuscio
- Roderick Bloem
- Wolfgang Kunz
- Sharad Malik
- Natasha Sharygina
- Gerhard Friedrich
- Ahmed Rezine
- Claude Marché
- Amir Pnueli
- Clark W. Barrett
- Naoki Kobayashi
- Jonathan P. Bowen
- Bertrand Meyer
- Konstantin Schekotihin
Venues
- CoRR
- DAC
- ICSE
- Haifa Verification Conference
- FMCAD
- DATE
- IEEE Trans. Computers
- Sci. Comput. Program.
- MTV
- Commun. ACM
- AAAI
- Formal Methods Syst. Des.
- Electron. Notes Theor. Comput. Sci.
- CAV
- Microprocess. Microsystems
- PLDI
- Proc. ACM Program. Lang.
- ECAI
- AADEBUG
- IEEE Trans. Software Eng.
- Program. Comput. Softw.
- ICCD
- ITC
- ASP-DAC
- TACAS
- ISCA
- J. Syst. Softw.
- IEEE Softw.
- COMPSAC
- CHI
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- FPT
- ICFEM
- FPL
- Workshop on Parallel and Distributed Debugging
- SAC
- TPHOLs
- Int. J. Softw. Tools Technol. Transf.
- IPDPS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend