international journal on software tools for technology transfer (11)
formal methods for industrial critical systems (9781118459898) (10)
leveraging applications of formal methods, verification & validation. technologies for mastering change (5)
formal aspects of computing (4)
machine learning (4)
journal of logical and algebraic methods in programming (3)
leveraging applications of formal methods, verification & validation. technologies for mastering change: part i (3)
leveraging applications of formal methods, verification & validation: discussion, dissemination, applications (3)
tools and algorithms for the construction and analysis of systems (3)
acm sigsoft software engineering notes (2)
fm 2015: formal methods (2)
journal of integrated design & process science (2)
leveraging applications of formal methods, verification & validation (2)
leveraging applications of formal methods, verification & validation (9783642347801) (2)
verification, model checking, and abstract interpretation (2)
2012 first international workshop on formal methods in software engineering: rigorous & agile approaches (formsera) (1)
2012 first international workshop on formal methods in software engineering: rigorous and agile approaches (formsera), software engineering: rigorous and agile approaches (formsera), 2012 formal methods in (1)
2016 ieee 23rd international conference on software analysis, evolution & reengineering (saner) (1)
2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner), software analysis, evolution, and reengineering (saner), 2016 ieee 23rd international conference on (1)
2018 ieee workshop on validation, analysis and evolution of software tests (vst), validation, analysis and evolution of software tests (vst), 2018 ieee workshop on (1)
2020 ieee 23rd international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2020 ieee 23rd international conference on (1)
2020 ieee 32nd conference on software engineering education and training (csee&t), software engineering education and training (csee&t), 2020 ieee 32nd conference on (1)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (1)
2021 5th international conference on system reliability and safety (icsrs), system reliability and safety (icsrs), 2021 5th international conference on (1)
2021 third international workshop on software engineering education for the next generation (seeng), software engineering education for the next generation (seeng), 2021 third international workshop on, seeng (1)
2022 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2022 ieee (1)
2022 ieee international systems conference (syscon), systems conference (syscon), 2022 ieee international (1)
2022 ieee/acm 1st international conference on ai engineering - software engineering for ai (cain), ai engineering - software engineering for ai (cain), 2022 ieee/acm 1st international conference on, cain (1)
2023 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2023 ieee (1)
2023 seventh ieee international conference on robotic computing (irc), robotic computing (irc), 2023 seventh ieee international conference on, irc (1)
a journey from process algebra via timed automata to model learning---essays dedicated to frits vaandrager on the occasion of his 60th birthday (1)
automated technology for verification & analysis (9783642333859) (1)
computer aided verification (9783319216898) (1)
computer aided verification. part i (1)
eternal systems (1)
formal aspects of computing: applicable formal methods (1)
frontiers of combining systems: 10th international symposium, frocos 2015, wroclaw, poland, september 21-24, 2015. proceedings (1)
ieee software (1)
leveraging applications of formal methods, verification & validation (9783642165573) (1)
leveraging applications of formal methods, verification and validation. part ii. verification (1)
model checking, synthesis, and learning---essays dedicated to bengt jonsson on the occasion of his 60th birthday (1)
models, mindsets, meta---the what, the how, and the why not? (1)
nasa formal methods (1)
nasa formal methods: 6th international symposium, nfm 2014, houston, tx, usa, april 29 - may 1, 2014. proceedings (1)
proceedings of the 29th acm ieee international conference automated software engineering (1)
proceedings of the the first workshop on verification and validation of cyber-physical systems (1)
runtime verification (1)
runtime verification: 5th international conference, rv 2014, toronto, on, canada, september 22-25, 2014. proceedings (1)
software engineering & formal methods: 12th international conference, sefm 2014, grenoble, france, september 1-5, 2014. proceedings (1)
the logic of software---a tasting menu of formal methods (1)