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