acm transactions on embedded computing systems (11)
ieee transactions on biomedical engineering (11)
model-driven design using iec 61499 (10)
ieee transactions on industrial informatics (7)
ieee transactions on computers (6)
scientific reports (4)
acm transactions on design automation of electronic systems (3)
acm transactions on programming languages & systems (3)
entcs: electronic notes in theoretical computer science (3)
ieee transactions on intelligent transportation systems (3)
2016 ieee 19th international symposium on real-time distributed computing (isorc), real-time distributed computing (isorc), 2016 ieee 19th international symposium on (2)
computer languages, systems & structures (2)
computers in biology and medicine (2)
ieee design & test of computers (2)
institute of electrical and electronics engineers. transactions on computers (2)
journal of applied logic (2)
plos one (2)
transportation research record (2)
2008 13th asia-pacific computer systems architecture conference, computer systems architecture conference, 2008. acsac 2008. 13th asia-pacific (1)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (1)
2009 ieee conference on emerging technologies & factory automation, emerging technologies & factory automation, 2009. etfa 2009. ieee conference on (1)
2009 ieee international conference on industrial technology, industrial technology, 2009. icit 2009. ieee international conference on (1)
2010 8th ieee international conference on industrial informatics, industrial informatics (indin), 2010 8th ieee international conference on (1)
2011 14th euromicro conference on digital system design, digital system design (dsd), 2011 14th euromicro conference on (1)
2011 9th ieee international conference on industrial informatics, industrial informatics (indin), 2011 9th ieee international conference on (1)
2011 sixth ieee international symposium on electronic design, test and application, electronic design, test and application (delta), 2011 sixth ieee international symposium on (1)
2013 13th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2013 13th international conference on (1)
2013 ieee 20th international conference on web services, web services (icws), 2013 ieee 20th international conference on (1)
2015 ieee 18th international symposium on real-time distributed computing, real-time distributed computing (isorc), 2015 ieee 18th international symposium on (1)
2016 ieee 10th international symposium on embedded multicore/many-core systems-on-chip (mcsoc), embedded multicore/many-core systems-on-chip (mcsoc), 2016 ieee 10th international symposium on, embedded multicore/many-core systems-on-chip (mcsoc), 2016 ieee 10th international symposium on (1)
2017 ieee trustcom/bigdatase/icess, trustcom/bigdatase/icess, 2017 ieee, trustcom-bigdatase-icess (1)
2019 ieee international instrumentation and measurement technology conference (i2mtc), instrumentation and measurement technology conference (i2mtc), 2019 ieee international (1)
2020 acm/ieee 11th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2020 acm/ieee 11th international conference on (1)
2021 19th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2021 19th acm-ieee international conference on (1)
2023 ieee international conference on energy technologies for future grids (etfg), energy technologies for future grids (etfg), 2023 ieee international conference on (1)
21st international conference on vlsi design (vlsid 2008), vlsi design, 2008. vlsid 2008. 21st international conference on (1)
acm transactions on cyber-physical systems (1)
computer methods & programs in biomedicine (1)
computer methods and programs in biomedicine (1)
electronic notes in theoretical computer science (1)
formal modeling and analysis of timed systems (1)
future generation computer systems (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
ifac proceedings volumes (1)
microprocessors and microsystems (1)
models, mindsets, meta---the what, the how, and the why not? (1)
nonlinear analysis. hybrid systems (1)
physica a: statistical mechanics and its applications (1)
proceedings of the 2014 ieee emerging technology and factory automation (etfa), emerging technology and factory automation (etfa), 2014 ieee (1)
spin'17---proceedings of the 24th acm sigsoft international spin symposium on model checking of software (1)