acm sigsoft software engineering notes (7)
international journal on software tools for technology transfer (6)
automated software engineering (5)
formal methods in system design (4)
annals of mathematics and artificial intelligence (3)
theoretical computer science (3)
2009 ieee aerospace conference, aerospace conference, 2009 ieee (2)
annals of mathematics & artificial intelligence (2)
automated software engineering: an international journal (2)
formal aspects of computing (2)
formal methods in system design: an international journal (2)
software testing: verification & reliability (2)
2008 23rd ieee/acm international conference on automated software engineering, automated software engineering, 2008. ase 2008. 23rd ieee/acm international conference on (1)
2011 22nd ieee international symposium on rapid system prototyping, rapid system prototyping (rsp), 2011 22nd ieee international symposium on (1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on (1)
2017 ieee international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2017 ieee international conference on, icst (1)
2018 ieee/acm 40th international conference on software engineering: companion (icse-companion), software engineering: companion (icse-companion), 2018 ieee/acm 40th international conference on, icse-companion (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
2019 ieee 30th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2019 ieee 30th international symposium on, issre (1)
2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2020 ieee/acm 15th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2020 ieee/acm 15th international symposium on, seams (1)
2020 ieee/cvf conference on computer vision and pattern recognition (cvpr), computer vision and pattern recognition (cvpr), 2020 ieee/cvf conference on, cvpr (1)
2022 ieee/acm 19th international conference on mining software repositories (msr), mining software repositories (msr), 2022 ieee/acm 19th international conference on, msr (1)
2023 ieee conference on secure and trustworthy machine learning (satml), secure and trustworthy machine learning (satml), 2023 ieee conference on, satml (1)
2024 ieee 9th european symposium on security and privacy (euros&p), security and privacy (euros&p), 2024 ieee 9th european symposium on, eurosp (1)
abstract state machines 2003 (1)
computer aided verification (1)
computer aided verification (9783642142949) (1)
eurasip journal on embedded systems (1)
hardware & software: verification & testing: 10th international haifa verification conference, hvc 2014, haifa, israel, november 18-20, 2014. proceedings (1)
icse: international conference on software engineering (1)
ieee transactions on software engineering (1)
innovations in systems & software engineering (1)
nasa tech briefs, august 2007 (1)
proceedings of the 19th international symposium: software testing & analysis (1)
software testing verification & reliability (1)
tools and algorithms for the construction and analysis of systems (1)