ieee transactions on automatic control (4)
ieee transactions on computer-aided design of integrated circuits & systems (3)
2022 acm/ieee 13th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2022 acm/ieee 13th international conference on, iccps (2)
journal of parallel and distributed computing (2)
2014 international conference on embedded software (emsoft), embedded software (emsoft), 2014 international conference on (1)
2015 18th international acm sigsoft symposium on component-based software engineering (cbse) (1)
2016 architecture-centric virtual integration (acvi) (1)
2016 architecture-centric virtual integration (acvi), architecture-centric virtual integration (acvi), 2016 (1)
2016 ieee 3rd world forum on internet of things (wf-iot), internet of things (wf-iot), 2016 ieee 3rd world forum on (1)
2017 ieee/acm 12th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2017 ieee/acm 12th international symposium on, seams (1)
2020 ieee international conference on autonomic computing and self-organizing systems (acsos), autonomic computing and self-organizing systems (acsos), 2020 ieee international conference on (1)
2021 ieee international conference on autonomic computing and self-organizing systems companion (acsos-c), autonomic computing and self-organizing systems companion (acsos-c), 2021 ieee international conference on, acsos-c (1)
2021 ieee/acm conference on connected health: applications, systems and engineering technologies (chase), connected health: applications, systems and engineering technologies (chase), 2021 ieee/acm conference on, chase (1)
2021 winter simulation conference (wsc), simulation conference (wsc), 2021 winter (1)
2023 ieee international conference on assured autonomy (icaa), assured autonomy (icaa), 2023 ieee international conference on, icaa (1)
acm sigsoft software engineering notes (1)
formal methods (1)
formal methods in outer space---essays dedicated to klaus havelund on the occasion of his 65th birthday (1)
future generation computer systems-the international journal of escience (1)
ieee software (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
institute of electrical and electronics engineers. transactions on automatic control (1)
journal of parallel & distributed computing (1)
journal of systems & software (1)
large-scale complex it systems. development, operation & management (1)
proceedings of the 14th international conference embedded software (1)