international journal on software tools for technology transfer (9)
journal of systems architecture (4)
real-time systems (4)
science of computer programming (4)
theoretical computer science (4)
acm / sigplan notices (3)
acm computing surveys (3)
acm transactions on programming languages & systems (3)
distributed computing (3)
fundamenta informaticae (3)
2018 ieee 23rd international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2018 ieee 23rd international conference on (2)
acm transactions on embedded computing systems (2)
journal of functional programming (2)
journal of software: evolution & process (2)
journal of systems & software (2)
journal of systems and software (2)
leveraging applications of formal methods, verification & validation. applications & case studies (2)
proceedings of the 1991 acm sigplan symposium: partial evaluation & semantics-based program manipulation (2)
proceedings of the conference: functional programming languages & computer architecture (2)
real-time systems: the international journal of time-critical computing systems (2)
software quality journal (2)
2008 14th ieee international conference on embedded and real-time computing systems and applications, embedded and real-time computing systems and applications, 2008. rtcsa '08. 14th ieee international conference on (1)
2008 euromicro conference on real-time systems, real-time systems, 2008. ecrts '08. euromicro conference on (1)
2009 15th ieee international conference on embedded and real-time computing systems and applications, embedded and real-time computing systems and applications, 2009. rtcsa '09. 15th ieee international conference on (1)
2009 15th ieee real-time and embedded technology and applications symposium, real-time and embedded technology and applications symposium, 2009. rtas 2009. 15th ieee (1)
2013 ieee 18th conference on emerging technologies & factory automation (etfa), emerging technologies & factory automation (etfa), 2013 ieee 18th conference on (1)
2014 ieee 38th annual computer software and applications conference, computer software and applications conference (compsac), 2014 ieee 38th annual (1)
2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw (1)
2018 ieee 13th international symposium on industrial embedded systems (sies), industrial embedded systems (sies), 2018 ieee 13th international symposium on (1)
2018 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2018 ieee international conference on, icstw (1)
2018 ieee/acm 13th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2018 ieee/acm 13th international symposium on, seams (1)
2018 ieee/acm 1st international workshop on software qualities and their dependencies (squade), software qualities and their dependencies (squade), 2018 ieee/acm 1st international workshop on, squade (1)
2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2019 acm/ieee 22nd international conference on, models-c (1)
2019 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2019 ieee international conference on (1)
2020 23rd euromicro conference on digital system design (dsd), digital system design (dsd), 2020 23rd euromicro conference on (1)
2020 23rd international symposium on design and diagnostics of electronic circuits & systems (ddecs), design and diagnostics of electronic circuits & systems (ddecs), 2020 23rd international symposium on (1)
2020 27th ieee international conference on electronics, circuits and systems (icecs), electronics, circuits and systems (icecs), 2020 27th ieee international conference on (1)
2020 ieee 13th international conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2020 ieee 13th international conference on (1)
2020 ieee/acm 15th international conference on automation of software test (ast), automation of software test (ast), 2020 ieee/acm 15th international conference on, ast (1)
2021 ieee congress on evolutionary computation (cec), evolutionary computation (cec), 2021 ieee congress on (1)
2022 48th euromicro conference on software engineering and advanced applications (seaa), software engineering and advanced applications (seaa), 2022 48th euromicro conference on, seaa (1)
2022 ieee 4th international conference on artificial intelligence circuits and systems (aicas), artificial intelligence circuits and systems (aicas), 2022 ieee 4th international conference on (1)
2022 ieee nordic circuits and systems conference (norcas), nordic circuits and systems conference (norcas), 2022 ieee (1)
2023 24th international symposium on quality electronic design (isqed), quality electronic design (isqed), 2023 24th international symposium on (1)
7'th international symposium on telecommunications (ist'2014), telecommunications (ist), 2014 7th international symposium on (1)
acm sigmetrics performance evaluation review (1)
acm sigplan notices (1)
algorithmica. an international journal in computer science (1)
automata, languages and programming (rennes, 1986) (1)
entcs: electronic notes in theoretical computer science (1)