Natasha Sharygina
发表
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
TACAS.
Roberto Bruttomesso,
Natasha Sharygina,
Simone Rollini,
2010,
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Patrick Th. Eugster,
Natasha Sharygina,
Matteo Marescotti,
2020,
ISoLA.
Arie Gurfinkel,
Natasha Sharygina,
Simone Rollini,
2012,
ATVA.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005
.
Daniel Kroening,
Natasha Sharygina,
2007
.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014
.
Jan Kofron,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2019,
TACAS.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2004
.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2007,
Theor. Comput. Sci..
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2006,
2006 Formal Methods in Computer Aided Design.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2018,
ISoLA.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2004,
ISoLA.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS '09.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2008,
Formal Methods Syst. Des..
Hana Chockler,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2019,
MEMOCODE.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2015,
FroCos.
Sagar Chaki,
Natasha Sharygina,
Nishant Sinha,
2004
.
Natasha Sharygina,
Roderick Bloem,
2010,
FMCAD 2010.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2005,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Natasha Sharygina,
Leonardo Alt,
Antti Eero Johannes Hyvärinen,
2015,
MEMICS.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2015,
Validation of Evolving Software.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2016,
CAV.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2013,
TACAS.
Laura Kovács,
Natasha Sharygina,
Simone Rollini,
2013,
MICAI.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Jörgen Hansson,
Alan R. Hevner,
Stacy J. Prowell,
2005
.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2015,
LPAR.
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC/SIGSOFT FSE.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2012,
ATVA.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
CILC.
Roberto Bruttomesso,
Natasha Sharygina,
Simone Rollini,
2010,
Haifa Verification Conference.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2013,
LPAR.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
TACAS.
Edmund M. Clarke,
Natasha Sharygina,
Nishant Sinha,
2005,
FMCO.
Daniel Kroening,
Natasha Sharygina,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Helmut Veith,
Natasha Sharygina,
2013,
CAV 2013.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
SPIN.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Springer International Publishing.
Joël Ouaknine,
Helmut Veith,
Sagar Chaki,
2005,
IFM.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2010,
WING@ETAPS/IJCAR.
Jan Kofron,
Grigory Fedyukovich,
Natasha Sharygina,
2019,
Formal Methods in System Design.
Hana Chockler,
Natasha Sharygina,
Arie Matsliah,
2013,
SAC '13.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Hana Chockler,
Grigory Fedyukovich,
Natasha Sharygina,
2017,
SAT.
Grigory Fedyukovich,
Natasha Sharygina,
2014,
SBMF.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2007,
TACAS.
Roberto Bruttomesso,
Silvio Ghilardi,
Francesco Alberti,
2012,
LPAR.
Natasha Sharygina,
Simone Fulvio Rollini,
Ondrej Sery,
2012
.
Grigory Fedyukovich,
Natasha Sharygina,
Martin Blicha,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Natasha Sharygina,
Simone Rollini,
Ondrej Sery,
2012,
CAV.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Roberto Bruttomesso,
Natasha Sharygina,
2009,
2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.
Grigory Fedyukovich,
Natasha Sharygina,
Leonardo Alt,
2015,
VSTTE.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Sagar Chaki,
Natasha Sharygina,
James Ivers,
2005,
CAV.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005
.
Roberto Bruttomesso,
Silvio Ghilardi,
Francesco Alberti,
2012,
CAV.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2006,
TACAS.
Grigory Fedyukovich,
Natasha Sharygina,
Simone Rollini,
2015,
Validation of Evolving Software.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
MOD*.
Natasha Sharygina,
Matteo Marescotti,
Leonardo Alt,
2016,
SAT.
Helmut Veith,
Kousha Etessami,
Alistair Stewart,
2015,
J. ACM.
Jan Kofron,
Natasha Sharygina,
Simone Rollini,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Roberto Bruttomesso,
Natasha Sharygina,
Edgar Pek,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2015,
Validation of Evolving Software.
Daniel Kroening,
Natasha Sharygina,
Nicolas Blanc,
2008,
TACAS.
Hana Chockler,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2018,
VSTTE.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Validation of Evolving Software.
Natasha Sharygina,
N. Sharygina,
2004,
Formal Methods Syst. Des..
Chiara Braghin,
Natasha Sharygina,
Katerina Barone-Adesi,
2007,
IFM.
Arie Gurfinkel,
Natasha Sharygina,
Matteo Marescotti,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
James C. Browne,
Robert P. Kurshan,
Natasha Sharygina,
2001,
FASE.
Natasha Sharygina,
Leonardo Alt,
Antti Eero Johannes Hyvärinen,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Roberto Bruttomesso,
Natasha Sharygina,
Simone Rollini,
2014,
Formal Methods Syst. Des..
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2005,
FM.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
Journal of Automated Reasoning.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2015,
International Journal on Software Tools for Technology Transfer.
Helmut Veith,
Natasha Sharygina,
R. Majumdar,
2013,
Lecture Notes in Computer Science.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2011,
Haifa Verification Conference.
Grigory Fedyukovich,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2013,
2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
Natasha Sharygina,
Leonardo Alt,
Antti Eero Johannes Hyvärinen,
2017,
Haifa Verification Conference.
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC-FSE '07.
Doron A. Peled,
Natasha Sharygina,
N. Sharygina,
2001,
FME.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2020,
VMCAI.
Leonardo Mariani,
Stephan Sehestedt,
Grigory Fedyukovich,
2014,
ISSTA 2014.
Fei Xie,
James C. Browne,
Robert P. Kurshan,
2004,
Formal Methods Syst. Des..
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2015,
SAT.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2005
.
Sanjit A. Seshia,
Stavros Tripakis,
Natasha Sharygina,
2018,
Handbook of Model Checking.
Roberto Bruttomesso,
Silvio Ghilardi,
Francesco Alberti,
2012,
SMT@IJCAR.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2004,
Formal Methods Syst. Des..
Arie Gurfinkel,
Natasha Sharygina,
Simone Rollini,
2012,
ArXiv.
Hana Chockler,
Natasha Sharygina,
Matteo Marescotti,
2018,
LPAR.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2007,
Test and Analysis of Web Services.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
ATVA.
Hana Chockler,
Grigory Fedyukovich,
Natasha Sharygina,
2017,
TACAS.
Grigory Fedyukovich,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2015,
FASE.
Natasha Sharygina,
James Ivers,
N. Sharygina,
2004
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
TACAS.
Grigory Fedyukovich,
Natasha Sharygina,
Martin Blicha,
2020,
SAS.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
CAV.
Roberto Bruttomesso,
Silvio Ghilardi,
Francesco Alberti,
2014,
Formal Methods Syst. Des..
Hana Chockler,
Grigory Fedyukovich,
Natasha Sharygina,
2018,
LPAR.
Francesco Alberti,
Natasha Sharygina,
Nicolas Latorre,
2014,
SPIN.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Validation of Evolving Software.
Chiara Braghin,
Natasha Sharygina,
Katerina Barone-Adesi,
2010,
Formal Aspects of Computing.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2014,
NASA Formal Methods.
Daniel Kroening,
Hana Chockler,
Natasha Sharygina,
2015,
Validation of Evolving Software.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Leonardo Mariani,
Stephan Sehestedt,
Grigory Fedyukovich,
2015,
Validation of Evolving Software.
Jan Kofron,
Grigory Fedyukovich,
Natasha Sharygina,
2016,
FASE.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2016,
ATVA.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2011,
Haifa Verification Conference.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2013,
FroCos.
James C. Browne,
Natasha Sharygina,
N. Sharygina,
2003,
FASE.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2018,
LPAR.
Grigory Fedyukovich,
Natasha Sharygina,
Simone Rollini,
2013,
LPAR.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAC '09.
Natasha Sharygina,
Jan Kofroň,
Martin Blicha,
2021,
Int. J. Softw. Tools Technol. Transf..
Patrick Eugster,
Natasha Sharygina,
Rodrigo Otoni,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Roberto Bruttomesso,
Natasha Sharygina,
2008
.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2009
.