science of computer programming (20)
ieee transactions on software engineering (11)
entcs: electronic notes in theoretical computer science (9)
internet of things (6)
electronic notes in theoretical computer science (4)
software & systems modeling (4)
formal aspects of computing (3)
ieee transactions on services computing (3)
journal of logical and algebraic methods in programming (3)
rewriting logic and its applications (3)
2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on (2)
formal aspects of computing: applicable formal methods (2)
formal methods in system design (2)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (2)
journal of systems & software (2)
proceedings of the 27th annual acm symposium applied computing (2)
software and systems modeling (2)
web intelligence & agent systems (2)
13th ieee international symposium on asynchronous circuits and systems (async'07), asynchronous circuits and systems, 2007. async 2007. 13th ieee international symposium on (1)
2008 sixth ieee international conference on software engineering and formal methods, software engineering and formal methods, 2008. sefm '08. sixth ieee international conference on (1)
2009 icse workshop on software engineering for adaptive and self-managing systems, software engineering for adaptive and self-managing systems, 2009. seams '09. icse workshop on (1)
2009 ieee 31st international conference on software engineering, software engineering, 2009. icse 2009. ieee 31st international conference on (1)
2009 ninth international conference on quality software, quality software, 2009. qsic '09. 9th international conference on (1)
2011 fourth ieee international conference on utility and cloud computing, utility and cloud computing (ucc), 2011 fourth ieee international conference on (1)
2011 ieee international conference on services computing, services computing (scc), 2011 ieee international conference on (1)
2019 22nd conference on innovation in clouds, internet and networks and workshops (icin), innovation in clouds, internet and networks and workshops (icin), 2019 22nd conference on (1)
2019 ieee/acm 7th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2019 ieee/acm 7th international conference on (1)
2020 27th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2020 27th asia-pacific, apsec (1)
2021 ieee 45th annual computers, software, and applications conference (compsac), annual computers, software, and applications conference (compsac), 2021 ieee 45th, compsac (1)
2021 ieee international conference on services computing (scc), services computing (scc), 2021 ieee international conference on, scc (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)
2021 international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2021 international symposium on, seams (1)
2022 29th asia-pacific software engineering conference (apsec) (1)
2022 29th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2022 29th asia-pacific, apsec (1)
2022 ieee/acm 10th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2022 ieee/acm 10th international conference on, formalise (1)
2024 ieee international conference on industrial technology (icit), industrial technology (icit), 2024 ieee international conference on (1)
acm international conference proceeding series (1)
assurances for self-adaptive systems (1)
automated technology for verification & analysis (9783319024431) (1)
automated technology for verification & analysis (9783642333859) (1)
fifth ieee international conference on software engineering and formal methods (sefm 2007), software engineering and formal methods, 2007. sefm 2007. fifth ieee international conference on (1)
fm 2011: formal methods (1)
formal aspects of component software (9783319076010) (1)
formal aspects of component software (9783642357428) (1)
formal aspects of component software: 12th international conference, facs 2015, niteroi, brazil, october 14-16, 2015, revised selected papers (1)
formal methods in system design: an international journal (1)
fundamental approaches to software engineering (9783540787426) (1)
fundamental approaches to software engineering (9783642370564) (1)
fundamental approaches to software engineering (9783642548031) (1)
innovations in systems and software engineering: a nasa journal (1)