ieee transactions on software engineering (18)
acm computing surveys (14)
modeling time in computing (14)
empirical software engineering (10)
journal of systems and software (6)
acm transactions on software engineering and methodology (5)
empirical software engineering: an international journal (4)
fm 2014: formal methods (4)
international journal on software tools for technology transfer (4)
journal of systems & software (4)
theoretical computer science (4)
annals of mathematics and artificial intelligence (3)
formal aspects of computing (3)
2010 15th ieee international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2010 15th ieee international conference on (2)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (2)
2012 19th working conference on reverse engineering, reverse engineering (wcre), 2012 19th working conference on (2)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (2)
acm transactions on computational logic (2)
electronic notes in theoretical computer science (2)
fm 2008: formal methods (2)
fm 2015: formal methods (2)
formal aspects of computing: applicable formal methods (2)
proceedings of the 2011 26th ieee/acm international conference on automated software engineering (2)
2008 ieee international conference on computer-aided control systems, computer-aided control systems, 2008. cacsd 2008. ieee international conference on (1)
2009 seventh ieee international conference on software engineering and formal methods, software engineering and formal methods, 2009 seventh ieee international conference on (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2011 eighteenth international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2011 eighteenth international symposium on (1)
2012 19th international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2012 19th international symposium on (1)
2012 ieee seventh international conference on global software engineering, global software engineering (icgse), 2012 ieee seventh international conference on (1)
2013 22nd australian software engineering conference, software engineering conference (aswec), 2013 22nd australian (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2013 acm / ieee international symposium on empirical software engineering and measurement, empirical software engineering and measurement, 2013 acm / ieee international symposium on (1)
2013 ieee 8th international conference on global software engineering, global software engineering (icgse), 2013 ieee 8th international conference on (1)
2014 21st international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2014 21st international symposium on (1)
2014 ieee 9th international conference on global software engineering, global software engineering (icgse), 2014 ieee 9th international conference on (1)
2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on (1)
2017 ieee/acm 39th international conference on software engineering companion (icse-c), software engineering companion (icse-c), 2017 ieee/acm 39th international conference on, icse-c (1)
2019 19th international working conference on source code analysis and manipulation (scam), source code analysis and manipulation (scam), 2019 19th international working conference on, scam (1)
2021 ieee/acm 18th international conference on mining software repositories (msr), mining software repositories (msr), 2021 ieee/acm 18th international conference on, msr (1)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (1)
2022 ieee international conference on software analysis, evolution and reengineering (saner), software analysis, evolution and reengineering (saner),2022 ieee international conference on, saner (1)
2022 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2022 ieee international conference on, icsme (1)
acm sigact news (1)
acm sigsoft software engineering notes (1)
acm transactions on software engineering and methodology (tosem) (1)
bulletin of the european association for theoretical computer science. eatcs (1)
formal methods (1)
formal modeling and analysis of timed systems (1)
integrated formal methods (1)
the journal of systems & software (1)