formal aspects of computing (10)
theoretical computer science (10)
computer science review (7)
ieee transactions on dependable and secure computing (6)
ieee transactions on software engineering (5)
fundamenta informaticae (4)
international journal on software tools for technology transfer (4)
journal of artificial intelligence research (4)
journal of the acm (4)
science of computer programming (4)
formal aspects of computing: applicable formal methods (3)
journal of computer security (3)
logical methods in computer science (3)
software quality journal (3)
2024 annual reliability and maintainability symposium (rams), reliability and maintainability symposium (rams), 2024 annual (2)
acm transactions on sensor networks (2)
applied sciences-basel (2)
automata, languages and programming (2)
dependable software engineering: theories, tools & applications (2)
entcs: electronic notes in theoretical computer science (2)
ieee software (2)
reliability engineering & system safety (2)
13th ieee international conference on engineering of complex computer systems (iceccs 2008), engineering of complex computer systems, 2008. iceccs 2008. 13th ieee international conference on (1)
2009 third ieee international conference on secure software integration and reliability improvement, secure software integration and reliability improvement, 2009. ssiri 2009. third ieee international conference on (1)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (1)
2010 10th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2010 10th international conference on (1)
2013 9th international conference on information assurance & security (ias) (1)
2013 9th international conference on information assurance and security (ias), information assurance and security (ias), 2013 9th international conference on (1)
2014 14th international conference on application of concurrency to system design (1)
2014 international conference on computer graphics theory & applications (grapp) (1)
2016 46th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2016 46th annual ieee/ifip international conference on (1)
2016 annual reliability & maintainability symposium (rams) (1)
2016 annual reliability and maintainability symposium (rams), reliability and maintainability symposium (rams), 2016 annual (1)
2017 annual reliability and maintainability symposium (rams), reliability and maintainability symposium (rams), 2017 annual (1)
2017 ieee 18th international symposium on high assurance systems engineering (hase), high assurance systems engineering (hase), 2017 ieee 18th international symposium on, hase (1)
2018 annual reliability and maintainability symposium (rams), reliability and maintainability symposium (rams), 2018 (1)
2018 ieee/acm 6th international fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2018 ieee/acm 6th international fme workshop on, formalise (1)
2019 19th international conference on application of concurrency to system design (acsd), application of concurrency to system design (acsd), 2019 19th international conference on (1)
2021 ieee 34th computer security foundations symposium (csf), computer security foundations symposium (csf), 2021 ieee 34th, csf (1)
acm transactions on sensor networks (tosn) - special issue on buildsys'17 (1)
journal of the acm (jacm) (1)
journal of the association for computing machinery (1)
proceedings of the 29th annual acm symposium on applied computing (1)
proceedings of the 30th annual acm symposium on applied computing (1)
proceedings of the 33rd annual acm symposium on applied computing (1)
proceedings of the 4th acm international conference on systems for energy-efficient built environments (1)
proceedings of the 6th conference on formal methods in software engineering (1)
proceedings of the 7th international workshop on automating test case design, selection, and evaluation (1)
proceedings of the 8th acm international conference on embedded software (1)
proceedings of the 8th international workshop on specification and verification of component-based systems (1)