international journal on software tools for technology transfer (7)
runtime verification (4)
international journal of robotics research (3)
2024 american control conference (acc), american control conference (acc), 2024 (2)
hscc 2023---proceedings of the 26th international conference on hybrid systems---computation and control (2)
ifac papersonline (2)
ifac-papersonline (2)
2014 acm/ieee international conference on cyber-physical systems (iccps) (1)
2014 acm/ieee international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2014 acm/ieee international conference on (1)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (1)
2015 acm/ieee international conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee international conference on (1)
2015 ieee/rsj international conference on intelligent robots & systems (iros) (1)
2015 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2015 ieee/rsj international conference on (1)
2016 acm/ieee international conference on formal methods & models for system design (memocode) (1)
2016 acm/ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2016 acm/ieee international conference on (1)
2017 13th ieee conference on automation science and engineering (case), automation science and engineering (case), 2017 13th ieee conference on (1)
2020 18th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2020 18th acm-ieee international conference on (1)
2020 ieee 23rd international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2020 ieee 23rd international conference on (1)
2020 international conference on embedded software (emsoft), embedded software (emsoft), 2020 international conference on (1)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on (1)
2021 american control conference (acc), american control conference (acc), 2021 (1)
2021 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2021 ieee/rsj international conference on (1)
2022 ieee 25th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2022 ieee 25th international conference on (1)
2023 american control conference (acc), american control conference (acc), 2023 (1)
2023 ieee 19th international conference on automation science and engineering (case), automation science and engineering (case), 2023 ieee 19th international conference on (1)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (1)
2024 acm/ieee 15th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2024 acm/ieee 15th international conference on, iccps (1)
2024 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2024 ieee international conference on (1)
4th annual ieee international conference on cyber technology in automation, control & intelligent (1)
acm transactions on embedded computing systems (1)
hscc2021---proceedings of the 24th international conference on hybrid systems: computation and control (1)
ieee control systems letters (1)
proceedings of the 2022 acm sigsac conference on computer and communications security (1)
runtime verification: 5th international conference, rv 2014, toronto, on, canada, september 22-25, 2014. proceedings (1)
testing software & systems (9783642346903) (1)
the 4th annual ieee international conference on cyber technology in automation, control and intelligent, cyber technology in automation, control, and intelligent systems (cyber), 2014 ieee 4th annual international conference on (1)