international journal of information security (5)
procedia computer science (4)
2016 ieee 25th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2016 ieee 25th international conference on (2)
computers & electrical engineering (2)
ieee systems journal (2)
journal of parallel and distributed computing (2)
simulation modelling practice and theory (2)
soft computing - a fusion of foundations, methodologies & applications (2)
2015 ieee/acm 3rd fme workshop on formal methods in software engineering (1)
2016 11th international conference on availability, reliability & security (ares) (1)
2016 11th international conference on availability, reliability and security (ares), availability, reliability and security (ares), 2016 11th international conference on (1)
2016 ieee metrology for aerospace (metroaerospace), metrology for aerospace (metroaerospace), 2016 ieee (1)
2016 ieee/acm 4th fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2016 ieee/acm 4th fme workshop on, formalise (1)
2017 ieee 26th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2017 ieee 26th international conference on, wetice (1)
2017 ieee international conference on fuzzy systems (fuzz-ieee), fuzzy systems (fuzz-ieee), 2017 ieee international conference on (1)
2017 ieee international workshop on metrology for aerospace (metroaerospace), metrology for aerospace (metroaerospace), 2017 ieee international workshop on (1)
2017 ieee/acm 5th international fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2017 ieee/acm 5th international fme workshop on, formalise (1)
2018 ieee 27th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2018 ieee 27th international conference on, wetice (1)
2018 ieee international conference on pervasive computing and communications workshops (percom workshops), pervasive computing and communications workshops (percom workshops), 2018 ieee international conference on (1)
2019 ieee 28th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2019 ieee 28th international conference on, wetice (1)
2019 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2019 international joint conference on (1)
2020 ieee/acm 17th international conference on mining software repositories (msr), mining software repositories (msr), 2020 ieee/acm 17th international conference on, msr (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/acm 31st international conference on program comprehension (icpc), program comprehension (icpc), 2023 ieee/acm 31st international conference on, icpc (1)
2024 ieee/acm 32nd international conference on program comprehension (icpc), program comprehension (icpc), 2024 ieee/acm 32nd international conference on, icpc (1)
acm international conference proceeding series (1)
acm transactions on software engineering & methodology (1)
computers and electrical engineering (1)
formal techniques for distributed objects, components & systems (9783319395692) (1)
ieee transactions on intelligent transportation systems (1)
ieee transactions on software engineering (1)
information technology & control (1)
journal of parallel & distributed computing (1)
proceedings of the 19th international conference on mining software repositories (1)
proceedings of the 4th fme workshop on formal methods in software engineering (1)
simulation modelling practice & theory (1)
soft computing: a fusion of foundations, methodologies and applications (1)