ieee transactions on computer-aided design of integrated circuits & systems (12)
acm transactions on embedded computing systems (11)
international journal on software tools for technology transfer (11)
proceedings of the conference: design, automation & test in europe (9)
ieee transactions on computers (8)
journal of systems architecture (8)
model-based design of adaptive embedded systems (8)
acm transactions on design automation of electronic systems (7)
fundamenta informaticae (6)
ieee transactions on computer-aided design of integrated circuits and systems (5)
2018 21st euromicro conference on digital system design (dsd), digital system design (dsd), 2018 21st euromicro conference on, dsd (4)
acm transactions on sensor networks (4)
2016 11th ieee symposium on industrial embedded systems (sies), industrial embedded systems (sies), 2016 11th ieee symposium on (3)
2018 21st euromicro conference on digital system design (dsd) (3)
2020 design, automation & test in europe conference & exhibition (date) (3)
distributed computing (3)
ieee transactions on automatic control (3)
microprocessors and microsystems (3)
performance evaluation (3)
2010 design, automation & test in europe conference & exhibition (date 2010), design, automation & test in europe conference & exhibition (date), 2010 (2)
2010 ieee international conference on computer design, computer design (iccd), 2010 ieee international conference on (2)
2011 14th euromicro conference on digital system design, digital system design (dsd), 2011 14th euromicro conference on (2)
2011 international conference on embedded computer systems: architectures, modeling and simulation, embedded computer systems (samos), 2011 international conference on (2)
2012 9th annual ieee communications society conference on sensor, mesh and ad hoc communications and networks (secon), sensor, mesh and ad hoc communications and networks (secon), 2012 9th annual ieee communications society conference on (2)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (2)
2015 international conference on embedded computer systems: architectures, modeling, and simulation (samos), embedded computer systems: architectures, modeling, and simulation (samos), 2015 international conference on (2)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (2)
automated software engineering (2)
digital communications and networks (2)
discrete event dynamic systems (2)
discrete event dynamic systems: theory and applications (2)
handbook of signal processing systems (2)
ieee design & test of computers (2)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (2)
ieee transactions on very large scale integration (vlsi) systems (2)
information processing letters (2)
institute of electrical and electronics engineers. transactions on computers (2)
journal of parallel and distributed computing (2)
journal of signal processing systems: for signal, image, and video technology(formerly the journal of vlsi signal processing systems for signal, image, and video technology) (2)
logical methods in computer science (2)
microprocessors & microsystems (2)
simulation (2)
transportation research part c: emerging technologies (2)
a journey from process algebra via timed automata to model learning---essays dedicated to frits vaandrager on the occasion of his 60th birthday (1)
application and theory of petri nets 1995 (turin) (1)
application and theory of petri nets 1997 (toulouse) (1)
applications and theory of petri nets 2001 (1)
applications and theory of petri nets 2003 (1)
handbook of process algebra (1)
institute of electrical and electronics engineers. transactions on automatic control (1)