emerging directions in embedded & ubiquitous computing (104)
runtime verification (22)
electronic notes in theoretical computer science (10)
entcs: electronic notes in theoretical computer science (6)
journal of logic and algebraic programming (5)
annals of software engineering (4)
formal methods in system design (4)
ieee security & privacy (4)
ieee transactions on computers (4)
proceedings of the ieee (4)
science of computer programming (4)
theoretical computer science (4)
2013 acm/ieee international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2013 acm/ieee international conference on (3)
acm computing surveys (3)
acm transactions on embedded computing systems (3)
computer (3)
ieee systems journal (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on control of network systems (3)
ieee transactions on parallel & distributed systems (3)
ieee transactions on software engineering (3)
information processing letters (3)
international journal on software tools for technology transfer (3)
journal of logic & algebraic programming (3)
journal of logical and algebraic methods in programming (3)
the journal of logic and algebraic programming (3)
2011 17th ieee real-time and embedded technology and applications symposium, real-time and embedded technology and applications symposium (rtas), 2011 17th ieee (2)
2011 proceedings of the ninth acm international conference on embedded software (emsoft), embedded software (emsoft), 2011 proceedings of the international conference on (2)
2012 ieee 18th real time and embedded technology and applications symposium, real-time and embedded technology and applications symposium (rtas), 2012 ieee 18th (2)
2014 acm/ieee international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2014 acm/ieee international conference on (2)
2015 international conference on healthcare informatics, healthcare informatics (ichi), 2015 international conference on (2)
2018 ieee 21st international symposium on real-time distributed computing (isorc), real-time distributed computing (isorc), 2018 ieee 21st international symposium on, isorc (2)
2022 acm/ieee 13th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2022 acm/ieee 13th international conference on, iccps (2)
2023 ieee international conference on assured autonomy (icaa), assured autonomy (icaa), 2023 ieee international conference on, icaa (2)
computer (00189162) (2)
control of cyber-physical systems (2)
formal methods in system design: an international journal (2)
handbook of process algebra (2)
ieee control systems (2)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (2)
ieee transactions on industrial informatics (2)
international journal of software engineering & knowledge engineering (2)
journal of computer and system sciences (2)
journal of logic and computation (2)
real-time systems (2)
ieee control systems magazine (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
ieee transactions on parallel and distributed systems (1)
international journal of software engineering and knowledge engineering (1)
trust modeling and management in digital environments : from social concept to system development (1)