formal methods in system design (15)
formal methods in system design: an international journal (10)
information and computation (6)
international journal on software tools for technology transfer (5)
software & systems modeling (5)
artificial intelligence (4)
ieee transactions on computer-aided design of integrated circuits & systems (3)
information processing letters (3)
information systems (3)
logical methods in computer science (3)
runtime verification (3)
science of computer programming (3)
2009 ieee/acm international conference on automated software engineering, automated software engineering, 2009. ase '09. 24th ieee/acm international conference on (2)
2021 ieee/acm 3rd international workshop on robotics software engineering (rose), robotics software engineering (rose), 2021 ieee/acm 3rd international workshop on, rose (2)
computer aided verification (2)
computer aided verification (9783319088662) (2)
computer aided verification. part i (2)
icse: international conference on software engineering (2)
information & computation (2)
logical methods in computer science (lmcs) (2)
software and systems modeling (2)
tools & algorithms for the construction & analysis of systems (9783540712084) (2)
tools & algorithms for the construction & analysis of systems: 20th international conference, tacas 2014, held as part of the european joint conferences on theory & practice of software, etaps 2014, grenoble, france, april 5-13, 2014. proceedings (2)
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)
2011 37th euromicro conference on software engineering and advanced applications, software engineering and advanced applications (seaa), 2011 37th euromicro conference on (1)
2011 formal methods in computer-aided design (fmcad) (1)
2011 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2011 (1)
2012 38th euromicro conference on software engineering and advanced applications, software engineering and advanced applications (seaa), 2012 38th euromicro conference on (1)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (1)
2013 28th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2013 ieee/acm 28th international conference on (1)
2013 formal methods in computer-aided design, formal methods in computer-aided design (fmcad), 2013 (1)
2013 proceedings of the international conference on embedded software (emsoft), embedded software (emsoft), 2013 proceedings of the international conference on (1)
2016 architecture-centric virtual integration (acvi), architecture-centric virtual integration (acvi), 2016 (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2023 53rd annual ieee/ifip international conference on dependable systems and networks workshops (dsn-w), dependable systems and networks workshops (dsn-w), 2023 53rd annual ieee/ifip international conference on, dsn-w (1)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023 (1)
acm transactions on software engineering and methodology (1)
computer aided verification (9783540272311) (1)
computer aided verification. part ii (1)
computer systems and software engineering : concepts, methodologies, tools, and applications (1)
formal methods (1)
foundations of software science and computation structures (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
ifac papersonline (1)
ifac-papersonline (1)
implementation and application of automata (1)
proceedings eighth international symposium on games, automata, logics and formal verification (1)
proceedings of the sixth nasa langley formal methods workshop (1)
proceedings---12th international symposium on games, automata, logics, and formal verification (1)