FALSE ACCEPTANCE
Experts
- Karem A. Sakallah
- Jun Sun
- Mariëlle Stoelinga
- Nils Jansen
- Jing Liu
- Matthias Volk
- Sebastian Junges
- Thom S. Badings
- Robert Sison
- Narendra V. Shenoy
- Matthew J. Parkinson
- Artem Polyvyanyy
- Jean-Claude Fernandez
- Joshua Sunshine
- Sungjoo Yeo
- Maurizio Proietti
- Mark Moriconi
- Jingcheng Li
- Sofiène Tahar
- Kazuhiro Ogata
- Martin Leucker
- Gabriela Nicolescu
- Reiner Hähnle
- Wei Xiong
- Amjad Gawanmeh
- Zheng Wang
- Beena Ahmed
- John V. Guttag
- Robbert Krebbers
- Marcin Hewelt
- Grigore Rosu
- Mostafa Ali Shahin
- Jerry Gao
- Aziem Chawdhary
- Alberto L. Sangiovanni-Vincentelli
- Aleksander Essex
- Xuezhi Cao
- Michael Schapira
- Emilia Fraszka-Sobczyk
Venues
- CoRR
- Int. J. Softw. Tools Technol. Transf.
- INTERSPEECH
- MBMV
- HLDVT
- ICFEM
- DAC
- NASA Formal Methods
- Electron. Notes Theor. Comput. Sci.
- FMCAD
- ACM SIGLOG News
- ICAIIC
- Int. J. Softw. Eng. Knowl. Eng.
- OTM Conferences (1)
- WSC
- SYNASC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- J. Log. Comput.
- ACM Trans. Softw. Eng. Methodol.
- ARTIIS (1)
- IEEE Des. Test Comput.
- Int. J. Hum. Comput. Stud.
- CSF
- WMNC
- PNSE
- CAV (2)
- ARCH@CPSWeek
- ABAC@CODASPY
- DISC
- APSEC
- ISoLA (1)
- FTSCS
- VSTTE
- Inf. Process. Lett.
- MTV
- RSSRail
- ICPP
- ICECCS
- ACM Trans. Program. Lang. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend