angiology (4)
computing (4)
journal of clinical hypertension (4)
discrete event dynamic systems (3)
discrete event dynamic systems: theory and applications (3)
computer (00189162) (2)
empirical software engineering (2)
journal of systems & software (2)
science of computer programming (2)
2012 14th international symposium on symbolic & numeric algorithms for scientific computing (1)
2012 14th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2012 14th international symposium on (1)
2012 34th international conference on software engineering (icse) (1)
2012 34th international conference on software engineering (icse), software engineering (icse), 2012 34th international conference on (1)
2014 16th international symposium on symbolic & numeric algorithms for scientific computing (1)
2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on (1)
2015 ieee 26th international symposium on software reliability engineering (issre) (1)
2015 ieee 26th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2015 ieee 26th international symposium on (1)
2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2016 18th international symposium on, synasc (1)
2018 20th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2018 20th international symposium on, synasc (1)
2018 ieee 29th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2018 ieee 29th international symposium on, issre (1)
2020 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew),2020 ieee international symposium on, issrew (1)
2021 14th ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2021 14th ieee conference on, icst (1)
2021 ieee 18th international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2021 ieee 18th international conference on, icsa-c (1)
2021 ieee international conference on autonomic computing and self-organizing systems (acsos), autonomic computing and self-organizing systems (acsos), 2021 ieee international conference on, acsos (1)
2021 ieee/acm 1st workshop on ai engineering - software engineering for ai (wain), ai engineering - software engineering for ai (wain), 2021 ieee/acm 1st workshop on, wain (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)
2022 ieee/acm international conference on automation of software test (ast), automation of software test (ast), 2022 ieee/acm international conference on, ast (1)
2022 international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2022 international symposium on, seams (1)
2023 ieee 20th international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2023 ieee 20th international conference on, icsa-c (1)
2023 ieee 31st international requirements engineering conference workshops (rew), requirements engineering conference workshops (rew), 2023 ieee 31st international, rew (1)
2023 ieee 34th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2023 ieee 34th international symposium on, issre (1)
2023 ieee 34th international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2023 ieee 34th international symposium on, issrew (1)
2023 ieee/acm 11th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2023 ieee/acm 11th international conference on, formalise (1)
acm international conference proceeding series (1)
acm transactions on autonomous & adaptive systems (1)
acm transactions on software engineering & methodology (1)
application and theory of petri nets and concurrency (1)
concurrency & computation: practice & experience (1)
empirical software engineering: an international journal (1)
icse: international conference on software engineering (1)
ifac papersonline (1)
ifac-papersonline (1)
nasa formal methods (1)
reachability problems (9783642410352) (1)
software testing verification & reliability (1)
software testing: verification & reliability (1)