formal methods in system design (16)
journal of artificial intelligence research (9)
formal methods in system design: an international journal (7)
acm transactions on computational logic (6)
international journal on software tools for technology transfer (6)
artificial intelligence (5)
validation of evolving software (4)
information processing letters (3)
theoretical computer science (3)
acm sigops operating systems review (2)
entcs: electronic notes in theoretical computer science (2)
hardware & software: verification & testing: 9th international haifa verification conference, hvc 2013, haifa, israel, november 5-7, 2013, proceedings (2)
lpar-22. 22nd international conference on logic for programming, artificial intelligence and reasoning (2)
minds & machines (2)
proceedings of the 47th design automation conference (2)
verification, model checking, and abstract interpretation (2)
2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007), formal methods and models for codesign, 2007. memocode 2007. 5th ieee/acm international conference on (1)
2008 formal methods in computer-aided design, formal methods in computer-aided design, 2008. fmcad '08 (1)
2011 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2011 (1)
2012 4th international workshop on hot topics in software upgrades (hotswup), hot topics in software upgrades (hotswup), 2012 fourth workshop on (1)
2013 17th european conference on software maintenance and reengineering, software maintenance and reengineering (csmr), 2013 17th european conference on (1)
2019 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2019 formal methods in (1)
2021 ieee/cvf international conference on computer vision (iccv), computer vision (iccv), 2021 ieee/cvf international conference on, iccv (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
acm transactions on computational logic (tocl) (1)
component-based software engineering (9783540356288) (1)
computational complexity (1)
computer aided verification (1)
correct hardware design & verification methods (1)
design automation conference, design automation conference (dac), 2010 47th acm/ieee (1)
electronic notes in theoretical computer science (1)
formal methods (1)
formal methods in computer aided design (fmcad'07), formal methods in computer aided design, 2007. fmcad '07 (1)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (1)
international journal on software tools for technology transfer (sttt) (1)
proceedings of the 15th international conference on artificial intelligence and law (1)
proceedings of the 17th acm-ieee international conference on formal methods and models for system design (1)
proceedings of the 2006 workshop on parallel and distributed systems: testing and debugging (1)
proceedings of the 2010 conference on formal methods in computer-aided design (1)
proceedings of the 2013 international symposium on software testing and analysis (1)
proceedings of the 28th annual acm symposium on applied computing (1)
proceedings of the 4th international workshop on hot topics in software upgrades (1)
proceedings of the 5th ieee/acm international conference on formal methods and models for codesign (1)
proceedings of the 6th international conference on verification, model checking, and abstract interpretation (1)
proceedings of the 7th international workshop on verification of infinite-state systems (infinity 2005) (1)
proceedings of the international conference on formal methods in computer-aided design (1)
proceedings of the twelfth annual acm-siam symposium on discrete algorithms (1)
proceedings of the twelfth annual acm-siam symposium on discrete algorithms (washington, dc, 2001) (1)
randomization and approximation techniques in computer science (1)
verification, model checking & abstract interpretation (1)