default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNatasha Sharygina
Person information
- affiliation: University of Lugano, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c99]Konstantin Britikov
, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina:
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) 2024: 466-479- [c98]Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich:
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. FM (1) 2024: 558-576 - 2023
- [j19]Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26(2): 15:1-15:28 (2023) - [c97]Martin Blicha, Konstantin Britikov, Natasha Sharygina:
The Golem Horn Solver. CAV (2) 2023: 209-223 - [c96]Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina:
CHC Model Validation with Proof Guarantees. iFM 2023: 62-81 - [c95]Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) 2023: 126-144 - [c94]Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina:
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE 2023: 1-19 - [e6]Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents] - [e5]Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13994, Springer 2023, ISBN 978-3-031-30819-2 [contents] - 2022
- [j18]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60(3): 350-380 (2022) - [j17]Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. 24(1): 111-125 (2022) - [c93]Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina:
SolCMC: Solidity Compiler's Model Checker. CAV (1) 2022: 325-338 - [c92]Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022: 349-358 - [c91]Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) 2022: 524-542 - [e4]Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina:
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents] - 2021
- [c90]Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC 2021: 541-546 - [c89]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Lookahead in Partitioning SMT. FMCAD 2021: 271-279 - 2020
- [c88]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Incremental Verification by SMT-based Summary Repair. FMCAD 2020: 77-82 - [c87]Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194 - [c86]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Farkas-Based Tree Interpolation. SAS 2020: 357-379 - [c85]Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI 2020: 270-292
2010 – 2019
- 2019
- [j16]Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55(1): 33-71 (2019) - [c84]Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - [c83]Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
Decomposing Farkas Interpolants. TACAS (1) 2019: 3-20 - 2018
- [c82]Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) 2018: 450-465 - [c81]Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c80]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina:
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c79]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina:
SMTS: Distributed, Visualized Constraint Solving. LPAR 2018: 534-542 - [c78]Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
Lattice-Based Refinement in Bounded Model Checking. VSTTE 2018: 50-68 - [p9]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - 2017
- [j15]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150(1): 1-24 (2017) - [j14]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Flexible SAT-based framework for incremental bounded upgrade checking. Int. J. Softw. Tools Technol. Transf. 19(5): 517-534 (2017) - [c77]Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina:
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD 2017: 39-46 - [c76]Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Designing parallel PDR. FMCAD 2017: 156-163 - [c75]Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
LRA Interpolants from No Man's Land. Haifa Verification Conference 2017: 195-210 - [c74]Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina:
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c73]Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina:
Visualising SMT-Based Parallel Constraint Solving. SMT 2017: 40-49 - [c72]Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - 2016
- [c71]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina:
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA 2016: 428-443 - [c70]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Property Directed Equivalence via Abstract Simulation. CAV (2) 2016: 433-453 - [c69]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c68]Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina:
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT 2016: 547-553 - 2015
- [j13]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54(4): 327-352 (2015) - [c67]Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina:
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE 2015: 186-201 - [c66]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A New Acceleration-Based Combination Framework for Array Properties. FroCos 2015: 169-185 - [c65]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Automated Discovery of Simulation Between Programs. LPAR 2015: 606-621 - [c64]Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina:
Flexible Interpolation for Efficient Model Checking. MEMICS 2015: 11-22 - [c63]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Search-Space Partitioning for Parallelizing SMT Solvers. SAT 2015: 369-386 - [c62]Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE 2015: 1-18 - [p8]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Introduction. Validation of Evolving Software 2015: 3-5 - [p7]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p6]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p5]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Function Summarization-Based Bounded Model Checking. Validation of Evolving Software 2015: 37-53 - [p4]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Incremental Upgrade Checking. Validation of Evolving Software 2015: 55-72 - [p3]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. Validation of Evolving Software 2015: 73-82 - [p2]Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - [e3]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - 2014
- [j12]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution proof transformation for compression and interpolation. Formal Methods Syst. Des. 45(1): 1-41 (2014) - [j11]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [c61]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA 2014: 18-23 - [c60]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A Framework for the Verification of Parameterized Infinite-State Systems. CILC 2014: 303-308 - [c59]Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina:
On interpolants and variable assignments. FMCAD 2014: 123-130 - [c58]Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Verification-aided regression testing. ISSTA 2014: 37-48 - [c57]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Incremental Verification of Compiler Optimizations. NASA Formal Methods 2014: 300-306 - [c56]Grigory Fedyukovich, Natasha Sharygina:
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. SBMF 2014: 96-112 - [c55]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. SMT 2014: 51 - [c54]Nicolas Latorre, Francesco Alberti, Natasha Sharygina:
Verige: verification with invariant generation engine. SPIN 2014: 121-124 - [c53]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. TACAS 2014: 15-30 - [c52]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* 2014: 1-11 - 2013
- [j10]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [c51]Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Interpolation Properties and SAT-Based Model Checking. ATVA 2013: 255-271 - [c50]Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig:
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c49]Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Interpolation-based model checking for efficient incremental analysis of software. DDECS 2013: 8-9 - [c48]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - [c47]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) 2013: 1-8 - [c46]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR 2013: 683-693 - [c45]Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina:
A Parametric Interpolation Framework for First-Order Theories. MICAI (1) 2013: 24-40 - [c44]Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina:
Using cross-entropy for satisfiability. SAC 2013: 1196-1203 - [c43]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
eVolCheck: Incremental Upgrade Checker for C. TACAS 2013: 292-307 - [e2]Natasha Sharygina, Helmut Veith:
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science 8044, Springer 2013, ISBN 978-3-642-39798-1 [contents] - [i3]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. CoRR abs/1304.4499 (2013) - [i2]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution Proof Transformation for Compression and Interpolation. CoRR abs/1307.2028 (2013) - 2012
- [j9]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14(1): 1-14 (2012) - [c42]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ATVA 2012: 203-207 - [c41]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c40]Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina:
Leveraging Interpolant Strength in Model Checking. CAV 2012: 193-209 - [c39]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c38]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Incremental upgrade checking by means of interpolation-based function summaries. FMCAD 2012: 114-121 - [c37]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [i1]Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Propositional Interpolation Systems for Model Checking. CoRR abs/1212.4650 (2012) - 2011
- [j8]Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi:
A model checking-based approach for security policy verification of mobile systems. Formal Aspects Comput. 23(5): 627-648 (2011) - [c36]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Interpolation-Based Function Summaries in Bounded Model Checking. Haifa Verification Conference 2011: 160-175 - [c35]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Function Summaries in Software Upgrade Checking. Haifa Verification Conference 2011: 257-258 - [c34]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening:
Loop Summarization and Termination Analysis. TACAS 2011: 81-95 - 2010
- [c33]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c32]Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103 - [c31]Simone Rollini, Roberto Bruttomesso, Natasha Sharygina:
An Efficient and Flexible Approach to Resolution Proof Reduction. Haifa Verification Conference 2010: 182-196 - [c30]Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich:
Flexible interpolation with local proof transformations. ICCAD 2010: 770-777 - [c29]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina:
A flexible schema for generating explanations in lazy theory propagation. MEMOCODE 2010: 41-48 - [c28]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich:
The OpenSMT Solver. TACAS 2010: 150-153 - [e1]Roderick Bloem, Natasha Sharygina:
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010, ISBN 978-1-4577-0734-6 [contents]
2000 – 2009
- 2009
- [c27]Roberto Bruttomesso, Natasha Sharygina:
A scalable decision procedure for fixed-width bit-vectors. ICCAD 2009: 13-20 - [c26]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - [c25]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573 - [c24]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS 2009: 35-36 - 2008
- [j7]Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32(3): 235-266 (2008) - [j6]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2): 366-379 (2008) - [c23]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - [c22]Nicolas Blanc, Daniel Kroening, Natasha Sharygina:
Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470 - 2007
- [j5]Byron Cook, Daniel Kroening, Natasha Sharygina:
Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007) - [c21]Daniel Kroening, Natasha Sharygina:
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330 - [c20]Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi:
Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53 - [c19]Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina:
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610 - [c18]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586 - [p1]Natasha Sharygina, Daniel Kröning:
Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145 - 2006
- [c17]Byron Cook, Daniel Kroening, Natasha Sharygina:
Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59 - [c16]Daniel Kroening, Natasha Sharygina:
Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256 - 2005
- [j4]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
Concurrent software verification with states, events, and deadlocks. Formal Aspects Comput. 17(4): 461-483 (2005) - [c15]Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau:
The ComFoRT Reasoning Framework. CAV 2005: 164-169 - [c14]Byron Cook, Daniel Kroening, Natasha Sharygina:
Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300 - [c13]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450 - [c12]Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha:
Dynamic Component Substitutability Analysis. FM 2005: 512-528 - [c11]Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Program Compatibility Approaches. FMCO 2005: 243-258 - [c10]Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith:
State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69 - [c9]Daniel Kroening, Natasha Sharygina:
Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110 - [c8]Byron Cook, Daniel Kroening, Natasha Sharygina:
Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90 - [c7]Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574 - 2004
- [j3]Natasha Sharygina:
Guest Editorial. Formal Methods Syst. Des. 25(2-3): 103 (2004) - [j2]Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods Syst. Des. 25(2-3): 105-127 (2004) - [j1]Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin:
Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods Syst. Des. 25(2-3): 241-270 (2004) - [c6]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
State/Event-Based Software Model Checking. IFM 2004: 128-147 - [c5]Byron Cook, Daniel Kroening, Natasha Sharygina:
Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114 - [c4]Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina:
Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210 - 2003
- [c3]Natasha Sharygina, James C. Browne:
Model Checking Software via Abstraction of Loop Transitions. FASE 2003: 325-340 - 2001
- [c2]Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332 - [c1]Natasha Sharygina, Doron A. Peled:
A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628
Coauthor Index
Antti Eero Johannes Hyvärinen
aka: Antti E. J. Hyvärinen
aka: Antti E. J. Hyvärinen
Daniel Kroening
aka: Daniel Kröning
aka: Daniel Kröning
Simone Rollini
aka: Simone Fulvio Rollini
aka: Simone Fulvio Rollini
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
