mobile networks & applications (26)
formal aspects of computing (14)
science of computer programming (13)
mobile networks and applications: the journal of special issues on mobility of systems, users, data and computing (11)
journal of software: evolution & process (10)
frontiers of computer science (9)
international journal on software tools for technology transfer (8)
2015 ieee 16th international symposium on high assurance systems engineering (6)
2015 ieee 16th international symposium on high assurance systems engineering, high assurance systems engineering (hase), 2015 ieee 16th international symposium on (6)
international journal of software engineering & knowledge engineering (6)
journal of logical and algebraic methods in programming (6)
2011 fifth international conference on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2011 fifth international symposium on (5)
31st ieee software engineering workshop (sew 2007), software engineering workshop, 2007. sew 2007. 31st ieee (5)
innovations in systems & software engineering (5)
innovations in systems and software engineering: a nasa journal (5)
abstract state machines, alloy, b, vdm & z (4)
formal aspects of computing: applicable formal methods (4)
theoretical computer science (4)
2011 ieee 13th international symposium on high-assurance systems engineering, high-assurance systems engineering (hase), 2011 ieee 13th international symposium on (3)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (3)
2017 ieee 41st annual computer software and applications conference (compsac), computer software and applications conference (compsac), 2017 ieee 41st annual, compsac (3)
2018 ieee 42nd annual computer software and applications conference (compsac), computer software and applications conference (compsac), 2018 ieee 42nd annual, compsac (3)
2018 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2018 international symposium on, tase (3)
2019 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2019 international symposium on (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on reliability (3)
information and computation (3)
journal of systems architecture (3)
2009 33rd annual ieee software engineering workshop, software engineering workshop (sew), 2009 33rd annual ieee (2)
2009 australian software engineering conference, software engineering conference, 2009. aswec '09. australian (2)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (2)
2010 17th ieee international conference and workshops on engineering of computer based systems, engineering of computer based systems (ecbs), 2010 17th ieee international conference and workshops on (2)
2010 4th ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2010 4th ieee international symposium on (2)
2011 fifth international conference on secure software integration and reliability improvement - companion, secure software integration & reliability improvement companion (ssiri-c), 2011 5th international conference on (2)
2012 ieee 17th international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2012 17th international conference on (2)
2013 18th international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2013 18th international conference on (2)
2013 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2013 international symposium on (2)
2014 theoretical aspects of software engineering conference, theoretical aspects of software engineering conference (tase), 2014 (2)
2015 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2015 international symposium on (2)
2016 ieee 17th international symposium on high assurance systems engineering (hase), high assurance systems engineering (hase), 2016 ieee 17th international symposium on (2)
2017 24th asia-pacific software engineering conference (apsec), asia-pacific software engineering conference (apsec), 2017 24th, apsec (2)
2019 ieee 19th international symposium on high assurance systems engineering (hase), high assurance systems engineering (hase), 2019 ieee 19th international symposium on, hase (2)
2021 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2021 international symposium on, tase (2)
2022 26th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2022 26th international conference on, iceccs (2)
2022 ieee 46th annual computers, software, and applications conference (compsac), computers, software, and applications conference (compsac), 2022 ieee 46th annual, compsac (2)
entcs: electronic notes in theoretical computer science (2)
internet of things (2)
journal of logic and algebraic programming (2)
journal of software-evolution and process (2)
acm transactions on cyber-physical systems (1)