N. Sharygina
发表
Natasha Sharygina,
Matteo Marescotti,
Leonardo Alt,
2016,
SAT.
Grigory Fedyukovich,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2015,
FASE.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
TACAS.
N. Sharygina,
D. Kroening,
B. Cook,
2004
.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
A. Hyvärinen,
M. Marescotti,
N. Sharygina,
2017,
SMT.
Grigory Fedyukovich,
Natasha Sharygina,
Simone Rollini,
2013,
LPAR.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2012,
ATVA.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2013,
TACAS.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2015,
SAT.
Jan Kofron,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2019,
TACAS.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2005
.
Stephen H. Edwards,
Gary T. Leavens,
Dimitra Giannakopoulou,
2004
.
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..
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
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..
A. Hyvärinen,
N. Sharygina,
Grigory Fedyukovich,
2014
.
S. Seshia,
N. Sharygina,
S. Tripakis,
2014
.
S. Chaki,
N. Sharygina,
N. Sinha,
2004
.
Natasha Sharygina,
N. Sharygina,
2004,
Formal Methods Syst. Des..
D. Tesar,
N. Sharygina,
J. Browne,
2001
.
M. Marescotti,
Leonardo S. Alt,
N. Sharygina,
2022,
ACM Transactions on Privacy and Security.
M. Marescotti,
Leonardo S. Alt,
N. Sharygina,
2022,
ACM Transactions on Privacy and Security.
Jörgen Hansson,
Alan R. Hevner,
Stacy J. Prowell,
2005
.
N. Sharygina,
Silvio Ranise,
Roberto Bruttomesso,
2014,
Formal Methods Syst. Des..
Sanjit A. Seshia,
Stavros Tripakis,
Natasha Sharygina,
2018,
Handbook of Model Checking.
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2018,
ISoLA.
Patrick Th. Eugster,
Natasha Sharygina,
Matteo Marescotti,
2020,
ISoLA.
Edmund M. Clarke,
Natasha Sharygina,
Nishant Sinha,
2005,
FMCO.
Leonardo Mariani,
Stephan Sehestedt,
Grigory Fedyukovich,
2014,
ISSTA 2014.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005
.
Fei Xie,
James C. Browne,
Robert P. Kurshan,
2004,
Formal Methods Syst. Des..
James C. Browne,
Robert P. Kurshan,
Natasha Sharygina,
2001,
FASE.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS '09.
James C. Browne,
Natasha Sharygina,
N. Sharygina,
2003,
FASE.
M. Marescotti,
Leonardo S. Alt,
N. Sharygina,
2022,
ACM Trans. Priv. Secur..
Patrick Eugster,
Natasha Sharygina,
Rodrigo Otoni,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Natasha Sharygina,
Matteo Marescotti,
Antti Eero Johannes Hyvärinen,
2020,
VMCAI.
Arie Gurfinkel,
Natasha Sharygina,
Matteo Marescotti,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
CAV.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Hana Chockler,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2019,
MEMOCODE.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Joël Ouaknine,
Helmut Veith,
Sagar Chaki,
2005,
IFM.
Silvio Ghilardi,
Francesco Alberti,
Natasha Sharygina,
2014,
Journal of Automated Reasoning.
Leonardo S. Alt,
N. Sharygina,
Martin Blicha,
2022,
CAV.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Natasha Sharygina,
James Ivers,
N. Sharygina,
2004
.
Doron A. Peled,
Natasha Sharygina,
N. Sharygina,
2001,
FME.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Springer International Publishing.
Natasha Sharygina,
Jan Kofroň,
Martin Blicha,
2021,
Int. J. Softw. Tools Technol. Transf..
N. Sharygina,
Martin Blicha,
A. Hyvärinen,
2021,
International Journal on Software Tools for Technology Transfer.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2015,
LPAR.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAC '09.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2008,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2007,
Theor. Comput. Sci..
N. Sharygina,
D. Kroening,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2006,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2004,
Formal Methods Syst. Des..
N. Sharygina,
James Ivers,
2004
.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2007,
Test and Analysis of Web Services.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2014,
NASA Formal Methods.
Hana Chockler,
Natasha Sharygina,
Matteo Marescotti,
2018,
LPAR.
R. Kurshan,
V. Levin,
N. Sharygina,
2004,
Formal Methods Syst. Des..
Gary T. Leavens,
Mike Barnett,
D. Giannakopoulou,
2004
.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2006,
2006 Formal Methods in Computer Aided Design.
E. Clarke,
N. Sharygina,
D. Kroening,
2004,
Formal Methods Syst. Des..
Hana Chockler,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2018,
VSTTE.
Jan Kofron,
Grigory Fedyukovich,
Natasha Sharygina,
2019,
Formal Methods in System Design.
Arie Gurfinkel,
Natasha Sharygina,
Simone Rollini,
2012,
ATVA.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
TACAS.