journal of automated reasoning (7)
acta informatica (5)
2023 ieee international conference on assured autonomy (icaa), assured autonomy (icaa), 2023 ieee international conference on, icaa (3)
international journal of bioinformatics research and applications (3)
2008 11th ieee high assurance systems engineering symposium, high assurance systems engineering symposium, 2008. hase 2008. 11th ieee (2)
2012 ieee 2nd international conference on computational advances in bio & medical sciences (iccabs) (2)
2012 ieee 2nd international conference on computational advances in bio and medical sciences (iccabs), computational advances in bio and medical sciences (iccabs), 2012 ieee 2nd international conference on (2)
acm / sigplan notices (2)
computer (00189162) (2)
icse: international conference on software engineering (2)
2009 ieee international high level design validation and test workshop, high level design validation and test workshop, 2009. hldvt 2009. ieee international (1)
2010 acm/ieee 32nd international conference on software engineering (1)
2010 acm/ieee 32nd international conference on software engineering, software engineering, 2010 acm/ieee 32nd international conference on (1)
2011 proceedings of the international conference on embedded software (emsoft) (1)
2011 proceedings of the ninth acm international conference on embedded software (emsoft), embedded software (emsoft), 2011 proceedings of the international conference on (1)
2014 international conference on compilers, architecture and synthesis for embedded systems (cases), compilers, architecture and synthesis for embedded systems (cases), 2014 international conference on (1)
2014 international conference on the internet of things (iot) (1)
2014 international conference on the internet of things (iot), internet of things (iot), 2014 international conference on the (1)
2015 international conference on compilers, architecture & synthesis for embedded systems (cases) (1)
2015 international conference on compilers, architecture and synthesis for embedded systems (cases), compilers, architecture and synthesis for embedded systems (cases), 2015 international conference on (1)
2016 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2016 (1)
2018 48th annual ieee/ifip international conference on dependable systems and networks workshops (dsn-w), dependable systems and networks workshops (dsn-w), 2018 48th annual ieee/ifip international conference on, dsnw (1)
2018 ieee 38th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2018 ieee 38th international conference on, icdcs (1)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (1)
2021 ieee international symposium on circuits and systems (iscas) (1)
2021 ieee third international conference on cognitive machine intelligence (cogmi), cognitive machine intelligence (cogmi), 2021 ieee third international conference on, cogmi (1)
2022 ieee workshop on design automation for cps and iot (destion), design automation for cps and iot (destion), 2022 ieee workshop on, destion (1)
2022 ieee/cvf conference on computer vision and pattern recognition (cvpr) (1)
acm sigplan notices (1)
computer (1)
computer aided verification (9783642026577) (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
formal modeling & analysis of timed systems (9783540754534) (1)
formal modeling & analysis of timed systems: 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings (1)
formal modeling and analysis of timed systems (1)
hscc'19---proceedings of the 2019 22nd acm international conference on hybrid systems: computation and control (1)
ifac papersonline (1)
journal of machine learning research (jmlr) (1)
nasa formal methods (1)
nasa formal methods (9783319406473) (1)
proceedings 3rd workshop on synthesis (1)
proceedings of the 16th acm conference: computer & communications security (1)
proceedings of the 1st acm/ieee international conference: cyber-physical systems (1)
proceedings of the 2014 international conference compilers, architecture & synthesis for embedded systems (1)
proceedings of the 32nd acm sigplan conference: programming language design & implementation (1)
programming languages & systems (9783642119569) (1)
runtime verification (1)
transactions on computational systems biology. vii (1)