ieee transactions on computers (41)
proceedings of the conference: design, automation & test in europe (19)
ieee transactions on computer-aided design of integrated circuits & systems (18)
journal of electronic testing (15)
international journal of parallel programming (10)
dac: annual acm/ieee design automation conference (8)
design automation for embedded systems (8)
institute of electrical and electronics engineers. transactions on computers (8)
journal of electronic testing: theory and applications (8)
acm transactions on design automation of electronic systems (7)
journal of electronic testing-theory and applications (7)
ieee transactions on computer-aided design of integrated circuits and systems (6)
acm transactions on embedded computing systems (5)
international conference on hardware software codesign (5)
2021 forum on specification & design languages (fdl), specification & design languages (fdl), 2021 forum on (4)
design automation for embedded systems: an international journal (4)
journal of systems architecture (4)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (3)
2010 ieee international high level design validation and test workshop (hldvt), high level design validation and test workshop (hldvt), 2010 ieee international (3)
2011 ieee international high level design validation and test workshop, high level design validation and test workshop (hldvt), 2011 ieee international (3)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (3)
2012 ieee international high level design validation and test workshop (hldvt), high level design validation and test workshop (hldvt), 2012 ieee international (3)
ieee transactions on communications (3)
2007 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2007. date '07 (2)
2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 (2)
2009 10th international workshop on microprocessor test and verification, microprocessor test and verification (mtv), 2009 10th international workshop on (2)
2010 design, automation & test in europe conference & exhibition (date 2010), design, automation & test in europe conference & exhibition (date), 2010 (2)
2012 13th international workshop on microprocessor test and verification (mtv), microprocessor test and verification (mtv), 2012 13th international workshop on (2)
2012 ieee 15th international symposium on design and diagnostics of electronic circuits & systems (ddecs), design and diagnostics of electronic circuits & systems (ddecs), 2012 ieee 15th international symposium on (2)
2014 design, automation & test in europe conference & exhibition (date), design, automation and test in europe conference and exhibition (date), 2014 (2)
2016 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2016 (2)
2018 forum on specification & design languages (fdl), specification & design languages (fdl), 2018 forum on (2)
2019 forum for specification and design languages (fdl), specification and design languages (fdl), 2019 forum for (2)
2020 design, automation & test in europe conference & exhibition (date) (2)
2022 23rd international symposium on quality electronic design (isqed), quality electronic design (isqed), 2022 23rd international symposium on (2)
2022 ieee 23rd latin american test symposium (lats), latin american test symposium (lats), 2022 ieee 23rd (2)
2023 26th international symposium on design and diagnostics of electronic circuits and systems (ddecs), design and diagnostics of electronic circuits and systems (ddecs), 2023 26th international symposium on (2)
2023 forum on specification & design languages (fdl), specification & design languages (fdl), 2023 forum on (2)
computer (00189162) (2)
design, automation & test in europe conference & exhibition (date), 2017 (2)
ieee design & test of computers (2)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (2)
microprocessors and microsystems (2)
sensors (14248220) (2)
2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007), formal methods and models for codesign, 2007. memocode 2007. 5th ieee/acm international conference on (1)
2007 eighth international workshop on microprocessor test and verification, microprocessor test and verification, 2007. mtv '07. eighth international workshop on (1)
2008 ieee international symposium on defect and fault tolerance of vlsi systems, defect and fault tolerance of vlsi systems, 2008. dftvs '08. ieee international symposium on (1)
2009 12th euromicro conference on digital system design, architectures, methods and tools, digital system design, architectures, methods and tools, 2009. dsd '09. 12th euromicro conference on (1)
expert systems with applications (1)
journal of electronic testing: theory & applications (1)