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)
acm transactions on embedded computing systems (6)
ieee transactions on computer-aided design of integrated circuits and systems (6)
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)
2024 forum on specification & design languages (fdl), specification & design languages (fdl), 2024 forum on (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)
2024 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2024 (2)
2024 ieee international conference on industrial technology (icit), industrial technology (icit), 2024 ieee international conference on (2)
computer (00189162) (2)
design, automation & test in europe conference & exhibition (date), 2017 (2)
expert systems with applications (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)
journal of electronic testing: theory & applications (1)