default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Natasha Sharygina
@inproceedings{DBLP:conf/cav/BritikovZFAS24,
author = {Konstantin Britikov and
Ilia Zlatkin and
Grigory Fedyukovich and
Leonardo Alt and
Natasha Sharygina},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {SolTG: {A} CHC-Based Solidity Test Case Generator},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14681},
pages = {466--479},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65627-9\_23},
doi = {10.1007/978-3-031-65627-9\_23},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BritikovZFAS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BritikovBSF24,
author = {Konstantin Britikov and
Martin Blicha and
Natasha Sharygina and
Grigory Fedyukovich},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Reachability Analysis for Multiloop Programs Using Transition Power
Abstraction},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {558--576},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_29},
doi = {10.1007/978-3-031-71162-6\_29},
timestamp = {Tue, 17 Sep 2024 14:10:04 +0200},
biburl = {https://dblp.org/rec/conf/fm/BritikovBSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/OtoniMAEHS23,
author = {Rodrigo Otoni and
Matteo Marescotti and
Leonardo Alt and
Patrick Eugster and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
title = {A Solicitous Approach to Smart Contract Verification},
journal = {{ACM} Trans. Priv. Secur.},
volume = {26},
number = {2},
pages = {15:1--15:28},
year = {2023},
url = {https://doi.org/10.1145/3564699},
doi = {10.1145/3564699},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/OtoniMAEHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlichaBS23,
author = {Martin Blicha and
Konstantin Britikov and
Natasha Sharygina},
editor = {Constantin Enea and
Akash Lal},
title = {The Golem Horn Solver},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {209--223},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_10},
doi = {10.1007/978-3-031-37703-7\_10},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlichaBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OtoniBES23,
author = {Rodrigo Otoni and
Martin Blicha and
Patrick Eugster and
Natasha Sharygina},
editor = {Paula Herber and
Anton Wijs},
title = {{CHC} Model Validation with Proof Guarantees},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {62--81},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_4},
doi = {10.1007/978-3-031-47705-8\_4},
timestamp = {Fri, 17 Nov 2023 16:25:42 +0100},
biburl = {https://dblp.org/rec/conf/ifm/OtoniBES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OtoniKKES23,
author = {Rodrigo Otoni and
Igor Konnov and
Jure Kukovec and
Patrick Eugster and
Natasha Sharygina},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Symbolic Model Checking for {TLA+} Made Faster},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {126--144},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_7},
doi = {10.1007/978-3-031-30823-9\_7},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OtoniKKES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BritikovHS23,
author = {Konstantin Britikov and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Andrew Reynolds and
Serdar Tasiran},
title = {Picky {CDCL:} SMT-Solving with Flexible Literal Selection},
booktitle = {Verified Software. Theories, Tools and Experiments - 15th International
Conference, {VSTTE} 2023, Ames, IA, USA, October 23-24, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14095},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-66064-1\_1},
doi = {10.1007/978-3-031-66064-1\_1},
timestamp = {Tue, 06 Aug 2024 21:14:45 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BritikovHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2023-1,
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {13993},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9},
doi = {10.1007/978-3-031-30823-9},
isbn = {978-3-031-30822-2},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2023-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2023-2,
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {13994},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8},
doi = {10.1007/978-3-031-30820-8},
isbn = {978-3-031-30819-2},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2023-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AsadiBHFS22,
author = {Sepideh Asadi and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Grigory Fedyukovich and
Natasha Sharygina},
title = {SMT-based verification of program changes through summary repair},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {3},
pages = {350--380},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00423-0},
doi = {10.1007/S10703-023-00423-0},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AsadiBHFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BlichaHKS22,
author = {Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
title = {Using linear algebra in decomposition of Farkas interpolants},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {1},
pages = {111--125},
year = {2022},
url = {https://doi.org/10.1007/s10009-021-00641-z},
doi = {10.1007/S10009-021-00641-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BlichaHKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AltBHS22,
author = {Leonardo Alt and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Sharon Shoham and
Yakir Vizel},
title = {SolCMC: Solidity Compiler's Model Checker},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {325--338},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_16},
doi = {10.1007/978-3-031-13185-1\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AltBHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BlichaFHS22,
author = {Martin Blicha and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Alberto Griggio and
Neha Rungta},
title = {Split Transition Power Abstraction for Unbounded Safety},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {349--358},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_42},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_42},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BlichaFHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlichaFHS22,
author = {Martin Blicha and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Dana Fisman and
Grigore Rosu},
title = {Transition Power Abstractions for Deep Counterexample Detection},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {524--542},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_29},
doi = {10.1007/978-3-030-99524-9\_29},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BlichaFHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2021,
editor = {Roderick Bloem and
Rayna Dimitrova and
Chuchu Fan and
Natasha Sharygina},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {13124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95561-8},
doi = {10.1007/978-3-030-95561-8},
isbn = {978-3-030-95560-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OtoniBEHS21,
author = {Rodrigo Otoni and
Martin Blicha and
Patrick Eugster and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
title = {Theory-Specific Proof Steps Witnessing Correctness of {SMT} Executions},
booktitle = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco,
CA, USA, December 5-9, 2021},
pages = {541--546},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DAC18074.2021.9586272},
doi = {10.1109/DAC18074.2021.9586272},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/OtoniBEHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HyvarinenMS21,
author = {Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Natasha Sharygina},
title = {Lookahead in Partitioning {SMT}},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {271--279},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_37},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_37},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HyvarinenMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AsadiBHFS20,
author = {Sepideh Asadi and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Grigory Fedyukovich and
Natasha Sharygina},
title = {Incremental Verification by SMT-based Summary Repair},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {77--82},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_14},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AsadiBHFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarescottiOAEHS20,
author = {Matteo Marescotti and
Rodrigo Otoni and
Leonardo Alt and
Patrick Eugster and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Accurate Smart Contract Verification Through Direct Modelling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {178--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_12},
doi = {10.1007/978-3-030-61467-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MarescottiOAEHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AsadiBHFS20,
author = {Sepideh Asadi and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Farkas-Based Tree Interpolation},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {357--379},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_16},
doi = {10.1007/978-3-030-65474-0\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AsadiBHFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BlichaHMS20,
author = {Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Natasha Sharygina},
editor = {Dirk Beyer and
Damien Zufferey},
title = {A Cooperative Parallelization Approach for Property-Directed k-Induction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {270--292},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_13},
doi = {10.1007/978-3-030-39322-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BlichaHMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JancikKAFHS19,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron and
Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
title = {Exploiting partial variable assignment in interpolation-based model
checking},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {33--71},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00342-z},
doi = {10.1007/S10703-019-00342-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/JancikKAFHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Even-MendozaHCS19,
author = {Karine Even{-}Mendoza and
Antti E. J. Hyv{\"{a}}rinen and
Hana Chockler and
Natasha Sharygina},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Lattice-based {SMT} for program verification},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {16:1--16:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361214},
doi = {10.1145/3359986.3361214},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Even-MendozaHCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlichaHKS19,
author = {Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Decomposing Farkas Interpolants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_1},
doi = {10.1007/978-3-030-17462-0\_1},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BlichaHKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarescottiBHAS18,
author = {Matteo Marescotti and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Sepideh Asadi and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Computing Exact Worst-Case Gas Consumption for Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {450--465},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_33},
doi = {10.1007/978-3-030-03427-6\_33},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MarescottiBHAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AsadiBFHESC18,
author = {Sepideh Asadi and
Martin Blicha and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Karine Even{-}Mendoza and
Natasha Sharygina and
Hana Chockler},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Function Summarization Modulo Theories},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {56--75},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/d3bt},
doi = {10.29007/D3BT},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AsadiBFHESC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HyvarinenMSCS18,
author = {Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Parvin Sadigova and
Hana Chockler and
Natasha Sharygina},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Lookahead-Based {SMT} Solving},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {418--434},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/gzzf},
doi = {10.29007/GZZF},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HyvarinenMSCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MarescottiHS18,
author = {Matteo Marescotti and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {{SMTS:} Distributed, Visualized Constraint Solving},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {534--542},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/fhgn},
doi = {10.29007/FHGN},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MarescottiHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Even-MendozaAHC18,
author = {Karine Even{-}Mendoza and
Sepideh Asadi and
Antti E. J. Hyv{\"{a}}rinen and
Hana Chockler and
Natasha Sharygina},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Lattice-Based Refinement in Bounded Model Checking},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {50--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_4},
doi = {10.1007/978-3-030-03592-1\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Even-MendozaAHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/SeshiaST18,
author = {Sanjit A. Seshia and
Natasha Sharygina and
Stavros Tripakis},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Modeling for Verification},
booktitle = {Handbook of Model Checking},
pages = {75--105},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_3},
doi = {10.1007/978-3-319-10575-8\_3},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/SeshiaST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGS17a,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
title = {A Framework for the Verification of Parameterized Infinite-state Systems},
journal = {Fundam. Informaticae},
volume = {150},
number = {1},
pages = {1--24},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1458},
doi = {10.3233/FI-2017-1458},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlbertiGS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FedyukovichSS17,
author = {Grigory Fedyukovich and
Ondrej Sery and
Natasha Sharygina},
title = {Flexible SAT-based framework for incremental bounded upgrade checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {517--534},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0405-y},
doi = {10.1007/S10009-015-0405-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FedyukovichSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AltHAS17,
author = {Leonardo Alt and
Antti Eero Johannes Hyv{\"{a}}rinen and
Sepideh Asadi and
Natasha Sharygina},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Duality-based interpolation for quantifier-free equalities and uninterpreted
functions},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {39--46},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102239},
doi = {10.23919/FMCAD.2017.8102239},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AltHAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MarescottiGHS17,
author = {Matteo Marescotti and
Arie Gurfinkel and
Antti Eero Johannes Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Designing parallel {PDR}},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {156--163},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102254},
doi = {10.23919/FMCAD.2017.8102254},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MarescottiGHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AltHS17,
author = {Leonardo Alt and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{LRA} Interpolants from No Man's Land},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {195--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_13},
doi = {10.1007/978-3-319-70389-3\_13},
timestamp = {Sat, 19 Oct 2019 20:27:11 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AltHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenAMFCS17,
author = {Antti E. J. Hyv{\"{a}}rinen and
Sepideh Asadi and
Karine Even{-}Mendoza and
Grigory Fedyukovich and
Hana Chockler and
Natasha Sharygina},
editor = {Serge Gaspers and
Toby Walsh},
title = {Theory Refinement for Program Verification},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {347--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_22},
doi = {10.1007/978-3-319-66263-3\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenAMFCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/BudakovicMHS17,
author = {Jelena Budakovic and
Matteo Marescotti and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Martin Brain and
Liana Hadarean},
title = {Visualising SMT-Based Parallel Constraint Solving},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo
Theories affiliated with the International Conference on Computer-Aided
Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1889},
pages = {40--49},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1889/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/BudakovicMHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AltACMFHS17,
author = {Leonardo Alt and
Sepideh Asadi and
Hana Chockler and
Karine Even{-}Mendoza and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Axel Legay and
Tiziana Margaria},
title = {HiFrog: SMT-based Function Summarization for Software Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {207--213},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_12},
doi = {10.1007/978-3-662-54580-5\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AltACMFHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MarescottiHS16,
author = {Matteo Marescotti and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Clause Sharing and Partitioning for Cloud-Based {SMT} Solving},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {428--443},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_27},
doi = {10.1007/978-3-319-46520-3\_27},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MarescottiHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichGS16,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Natasha Sharygina},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Property Directed Equivalence via Abstract Simulation},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {433--453},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_24},
doi = {10.1007/978-3-319-41540-6\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JancikAFHKS16,
author = {Pavel Janc{\'{\i}}k and
Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {{PVAIR:} Partial Variable Assignment InterpolatoR},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {419--434},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_25},
doi = {10.1007/978-3-662-49665-7\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JancikAFHKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenMAS16,
author = {Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Leonardo Alt and
Natasha Sharygina},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {OpenSMT2: An {SMT} Solver for Multi-core and Cloud Computing},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {547--553},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_35},
doi = {10.1007/978-3-319-40970-2\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenMAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlbertiGS15,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
title = {Decision Procedures for Flat Array Properties},
journal = {J. Autom. Reason.},
volume = {54},
number = {4},
pages = {327--352},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9323-7},
doi = {10.1007/S10817-015-9323-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AlbertiGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FedyukovichDHS15,
author = {Grigory Fedyukovich and
Andrea Callia D'Iddio and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Alexander Egyed and
Ina Schaefer},
title = {Symbolic Detection of Assertion Dependencies for Bounded Model Checking},
booktitle = {Fundamental Approaches to Software Engineering - 18th International
Conference, {FASE} 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {186--201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46675-9\_13},
doi = {10.1007/978-3-662-46675-9\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/FedyukovichDHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS15,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Carsten Lutz and
Silvio Ranise},
title = {A New Acceleration-Based Combination Framework for Array Properties},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {169--185},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_11},
doi = {10.1007/978-3-319-24246-0\_11},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlbertiGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FedyukovichGS15,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Natasha Sharygina},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Automated Discovery of Simulation Between Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {606--621},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_42},
doi = {10.1007/978-3-662-48899-7\_42},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/FedyukovichGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/HyvarinenAS15,
author = {Antti E. J. Hyv{\"{a}}rinen and
Leonardo Alt and
Natasha Sharygina},
editor = {Jan Kofron and
Tom{\'{a}}s Vojnar},
title = {Flexible Interpolation for Efficient Model Checking},
booktitle = {Mathematical and Engineering Methods in Computer Science - 10th International
Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
23-25, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9548},
pages = {11--22},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29817-7\_2},
doi = {10.1007/978-3-319-29817-7\_2},
timestamp = {Sun, 02 Oct 2022 16:11:36 +0200},
biburl = {https://dblp.org/rec/conf/memics/HyvarinenAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenMS15,
author = {Antti E. J. Hyv{\"{a}}rinen and
Matteo Marescotti and
Natasha Sharygina},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Search-Space Partitioning for Parallelizing {SMT} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {369--386},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_27},
doi = {10.1007/978-3-319-24318-4\_27},
timestamp = {Tue, 21 May 2019 09:04:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AltFHS15,
author = {Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {A Proof-Sensitive Approach for Small Propositional Interpolants},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {1--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_1},
doi = {10.1007/978-3-319-29613-5\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AltFHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Introduction},
booktitle = {Validation of Evolving Software},
pages = {3--5},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_1},
doi = {10.1007/978-3-319-10623-6\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15a,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Challenges of Existing Technology},
booktitle = {Validation of Evolving Software},
pages = {7--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_2},
doi = {10.1007/978-3-319-10623-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChocklerKMS15b,
author = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Complementarities Among the Technologies Presented in the Book},
booktitle = {Validation of Evolving Software},
pages = {19--21},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_3},
doi = {10.1007/978-3-319-10623-6\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/SeryFS15,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Function Summarization-Based Bounded Model Checking},
booktitle = {Validation of Evolving Software},
pages = {37--53},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_5},
doi = {10.1007/978-3-319-10623-6\_5},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/SeryFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/SeryFS15a,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Incremental Upgrade Checking},
booktitle = {Validation of Evolving Software},
pages = {55--72},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_6},
doi = {10.1007/978-3-319-10623-6\_6},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/SeryFS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/RolliniAFHS15,
author = {Simone Fulvio Rollini and
Leonardo Alt and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Optimizing Function Summaries Through Interpolation},
booktitle = {Validation of Evolving Software},
pages = {73--82},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_7},
doi = {10.1007/978-3-319-10623-6\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/RolliniAFHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/PastoreMHFSSM15,
author = {Fabrizio Pastore and
Leonardo Mariani and
Antti Eero Johannes Hyv{\"{a}}rinen and
Grigory Fedyukovich and
Natasha Sharygina and
Stephan Sehestedt and
Ali Muhammad},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Regression Checking of Changes in {C} Software},
booktitle = {Validation of Evolving Software},
pages = {185--207},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_12},
doi = {10.1007/978-3-319-10623-6\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/PastoreMHFSSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/CKMS2015,
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {Validation of Evolving Software},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6},
doi = {10.1007/978-3-319-10623-6},
isbn = {978-3-319-10622-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/CKMS2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RolliniBST14,
author = {Simone Fulvio Rollini and
Roberto Bruttomesso and
Natasha Sharygina and
Aliaksei Tsitovich},
title = {Resolution proof transformation for compression and interpolation},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {1},
pages = {1--41},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0208-x},
doi = {10.1007/S10703-014-0208-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/RolliniBST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlbertiBGRS14,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
title = {An extension of lazy abstraction with interpolation for programs with
arrays},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {1},
pages = {63--109},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0209-9},
doi = {10.1007/S10703-014-0209-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/AlbertiBGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Booster: An Acceleration-Based Verification Framework for Array Programs},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {18--23},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_2},
doi = {10.1007/978-3-319-11936-6\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Framework for the Verification of Parameterized Infinite-State Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {303--308},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short0.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JancikKRS14,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron and
Simone Fulvio Rollini and
Natasha Sharygina},
title = {On interpolants and variable assignments},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {123--130},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987604},
doi = {10.1109/FMCAD.2014.6987604},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JancikKRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PastoreMHFSSM14,
author = {Fabrizio Pastore and
Leonardo Mariani and
Antti Eero Johannes Hyv{\"{a}}rinen and
Grigory Fedyukovich and
Natasha Sharygina and
Stephan Sehestedt and
Ali Muhammad},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Verification-aided regression testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {37--48},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610387},
doi = {10.1145/2610384.2610387},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PastoreMHFSSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FedyukovichGS14,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Natasha Sharygina},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Incremental Verification of Compiler Optimizations},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {300--306},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_25},
doi = {10.1007/978-3-319-06200-6\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/FedyukovichGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FedyukovichS14,
author = {Grigory Fedyukovich and
Natasha Sharygina},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Towards Completeness in Bounded Model Checking Through Automatic Recursion
Depth Detection},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {96--112},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_7},
doi = {10.1007/978-3-319-15075-8\_7},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FedyukovichS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Decision Procedures for Flat Array Properties},
booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
pages = {51},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LatorreAS14,
author = {Nicolas Latorre and
Francesco Alberti and
Natasha Sharygina},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Verige: verification with invariant generation engine},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {121--124},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632373},
doi = {10.1145/2632362.2632373},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/LatorreAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Decision Procedures for Flat Array Properties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {15--30},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_2},
doi = {10.1007/978-3-642-54862-8\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Marcello Maria Bersani and
Davide Bresolin and
Luca Ferrucci and
Manuel Mazzara},
title = {Monotonic Abstraction Techniques: from Parametric to Software Model
Checking},
booktitle = {Proceedings First Workshop on Logics and Model-checking for Self-*
Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014},
series = {{EPTCS}},
volume = {168},
pages = {1--11},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.168.1},
doi = {10.4204/EPTCS.168.1},
timestamp = {Mon, 05 Feb 2024 20:18:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KroeningSTTW13,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
title = {Loop summarization using state and transition invariants},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {3},
pages = {221--261},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0176-y},
doi = {10.1007/S10703-012-0176-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KroeningSTTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GurfinkelRS13,
author = {Arie Gurfinkel and
Simone Fulvio Rollini and
Natasha Sharygina},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Interpolation Properties and SAT-Based Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {255--271},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_19},
doi = {10.1007/978-3-319-02444-8\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/GurfinkelRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/ChocklerDLFHMMORSST13,
author = {Hana Chockler and
Giovanni Denaro and
Meijia Ling and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Leonardo Mariani and
Ali Muhammad and
Manuel Oriol and
Ajitha Rajan and
Ondrej Sery and
Natasha Sharygina and
Michael Tautschnig},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {{PINCETTE} - Validating Changes and Upgrades in Networked Software},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {461--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.72},
doi = {10.1109/CSMR.2013.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/ChocklerDLFHMMORSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/FedyukovichHS13,
author = {Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Luk{\'{a}}s Sekanina and
G{\"{o}}rschwin Fey and
Jaan Raik and
Snorre Aunet and
Richard Ruzicka},
title = {Interpolation-based model checking for efficient incremental analysis
of software},
booktitle = {16th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2013, Karlovy Vary, Czech Republic,
April 8-10, 2013},
pages = {8--9},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DDECS.2013.6549778},
doi = {10.1109/DDECS.2013.6549778},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/FedyukovichHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS13,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Definability of Accelerated Relations in a Theory of Arrays and Its
Applications},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {23--39},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_3},
doi = {10.1007/978-3-642-40885-4\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlbertiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertiGS13,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Acceleration-based safety decision procedure for programs with arrays},
booktitle = {{LPAR} 2013, 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings},
series = {EPiC Series in Computing},
volume = {26},
pages = {1--8},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/xf2n},
doi = {10.29007/XF2N},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/RolliniAFHS13,
author = {Simone Fulvio Rollini and
Leonardo Alt and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {PeRIPLO: {A} Framework for Producing Effective Interpolants in SAT-Based
Software Verification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {683--693},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_45},
doi = {10.1007/978-3-642-45221-5\_45},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/RolliniAFHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KovacsRS13,
author = {Laura Kov{\'{a}}cs and
Simone Fulvio Rollini and
Natasha Sharygina},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {A Parametric Interpolation Framework for First-Order Theories},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
International Conference on Artificial Intelligence, {MICAI} 2013,
Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8265},
pages = {24--40},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45114-0\_3},
doi = {10.1007/978-3-642-45114-0\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/KovacsRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChocklerIMRS13,
author = {Hana Chockler and
Alexander Ivrii and
Arie Matsliah and
Simone Fulvio Rollini and
Natasha Sharygina},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Using cross-entropy for satisfiability},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1196--1203},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480588},
doi = {10.1145/2480362.2480588},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChocklerIMRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FedyukovichSS13,
author = {Grigory Fedyukovich and
Ondrej Sery and
Natasha Sharygina},
editor = {Nir Piterman and
Scott A. Smolka},
title = {eVolCheck: Incremental Upgrade Checker for {C}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {292--307},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_21},
doi = {10.1007/978-3-642-36742-7\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FedyukovichSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
editor = {Natasha Sharygina and
Helmut Veith},
title = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8},
doi = {10.1007/978-3-642-39799-8},
isbn = {978-3-642-39798-1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4499,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
title = {Abstraction and Acceleration in SMT-based Model-Checking for Array
Programs},
journal = {CoRR},
volume = {abs/1304.4499},
year = {2013},
url = {http://arxiv.org/abs/1304.4499},
eprinttype = {arXiv},
eprint = {1304.4499},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RolliniBST13,
author = {Simone Fulvio Rollini and
Roberto Bruttomesso and
Natasha Sharygina and
Aliaksei Tsitovich},
title = {Resolution Proof Transformation for Compression and Interpolation},
journal = {CoRR},
volume = {abs/1307.2028},
year = {2013},
url = {http://arxiv.org/abs/1307.2028},
eprinttype = {arXiv},
eprint = {1307.2028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RolliniBST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SharyginaTT12,
author = {Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich},
title = {An abstraction refinement approach combining precise and approximated
techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {1},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0185-y},
doi = {10.1007/S10009-011-0185-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SharyginaTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SeryFS12,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {FunFrog: Bounded Model Checking with Interpolation-Based Function
Summarization},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {203--207},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_17},
doi = {10.1007/978-3-642-33386-6\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SeryFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {Pascal Fontaine and
Amit Goel},
title = {Reachability Modulo Theory Library},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {67--76},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/f3rp},
doi = {10.29007/F3RP},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RolliniSS12,
author = {Simone Fulvio Rollini and
Ondrej Sery and
Natasha Sharygina},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Leveraging Interpolant Strength in Model Checking},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {193--209},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_18},
doi = {10.1007/978-3-642-31424-7\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RolliniSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {{SAFARI:} SMT-Based Abstraction for Arrays with Interpolants},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {679--685},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_49},
doi = {10.1007/978-3-642-31424-7\_49},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SeryFS12,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {Incremental upgrade checking by means of interpolation-based function
summaries},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {114--121},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462563/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SeryFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertiBGRS12,
author = {Francesco Alberti and
Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise and
Natasha Sharygina},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Lazy Abstraction with Interpolants for Arrays},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {46--61},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_7},
doi = {10.1007/978-3-642-28717-6\_7},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertiBGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-4650,
author = {Arie Gurfinkel and
Simone Fulvio Rollini and
Natasha Sharygina},
title = {Propositional Interpolation Systems for Model Checking},
journal = {CoRR},
volume = {abs/1212.4650},
year = {2012},
url = {http://arxiv.org/abs/1212.4650},
eprinttype = {arXiv},
eprint = {1212.4650},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-4650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BraghinSB11,
author = {Chiara Braghin and
Natasha Sharygina and
Katerina Barone{-}Adesi},
title = {A model checking-based approach for security policy verification of
mobile systems},
journal = {Formal Aspects Comput.},
volume = {23},
number = {5},
pages = {627--648},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0159-y},
doi = {10.1007/S00165-010-0159-Y},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BraghinSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SeryFS11,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Interpolation-Based Function Summaries in Bounded Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {160--175},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_15},
doi = {10.1007/978-3-642-34188-5\_15},
timestamp = {Fri, 27 Mar 2020 08:58:09 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SeryFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/FedyukovichSS11,
author = {Grigory Fedyukovich and
Ondrej Sery and
Natasha Sharygina},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Function Summaries in Software Upgrade Checking},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {257--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_24},
doi = {10.1007/978-3-642-34188-5\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/FedyukovichSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsitovichSWK11,
author = {Aliaksei Tsitovich and
Natasha Sharygina and
Christoph M. Wintersteiger and
Daniel Kroening},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Loop Summarization and Termination Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {81--95},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_9},
doi = {10.1007/978-3-642-19835-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TsitovichSWK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KroeningSTTW10,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Loopfrog - loop summarization for static analysis},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {130--131},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/g3fd},
doi = {10.29007/G3FD},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KroeningSTTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KroeningSTW10,
author = {Daniel Kroening and
Natasha Sharygina and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Termination Analysis with Compositional Transition Invariants},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {89--103},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_9},
doi = {10.1007/978-3-642-14295-6\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KroeningSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RolliniBS10,
author = {Simone Rollini and
Roberto Bruttomesso and
Natasha Sharygina},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {An Efficient and Flexible Approach to Resolution Proof Reduction},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {182--196},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_17},
doi = {10.1007/978-3-642-19583-9\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RolliniBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BruttomessoRST10,
author = {Roberto Bruttomesso and
Simone Rollini and
Natasha Sharygina and
Aliaksei Tsitovich},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Flexible interpolation with local proof transformations},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {770--777},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5654297},
doi = {10.1109/ICCAD.2010.5654297},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BruttomessoRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BruttomessoPS10,
author = {Roberto Bruttomesso and
Edgar Pek and
Natasha Sharygina},
title = {A flexible schema for generating explanations in lazy theory propagation},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558625},
doi = {10.1109/MEMCOD.2010.5558625},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BruttomessoPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BruttomessoPST10,
author = {Roberto Bruttomesso and
Edgar Pek and
Natasha Sharygina and
Aliaksei Tsitovich},
editor = {Javier Esparza and
Rupak Majumdar},
title = {The OpenSMT Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {150--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_12},
doi = {10.1007/978-3-642-12002-2\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BruttomessoPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2010,
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5766311/proceeding},
isbn = {978-1-4577-0734-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BruttomessoS09,
author = {Roberto Bruttomesso and
Natasha Sharygina},
editor = {Jaijeet S. Roychowdhury},
title = {A scalable decision procedure for fixed-width bit-vectors},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {13--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687403},
doi = {10.1145/1687399.1687403},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BruttomessoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KroeningSTTW09,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
title = {Loopfrog: {A} Static Analyzer for {ANSI-C} Programs},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {668--670},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.35},
doi = {10.1109/ASE.2009.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KroeningSTTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SharyginaTT09,
author = {Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {The synergy of precise and fast abstractions for program verification},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {566--573},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529404},
doi = {10.1145/1529282.1529404},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SharyginaTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SharyginaTT09,
author = {Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich},
title = {An abstraction refinement approach combining precise and approximated
techniques for efficient program verification: abstract for the invited
talk},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {35--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596494},
doi = {10.1145/1596486.1596494},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SharyginaTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiCSS08,
author = {Sagar Chaki and
Edmund M. Clarke and
Natasha Sharygina and
Nishant Sinha},
title = {Verification of evolving software via component substitutability analysis},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {3},
pages = {235--266},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0053-x},
doi = {10.1007/S10703-008-0053-X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChakiCSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/JainKSC08,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
title = {Word-Level Predicate-Abstraction and Refinement Techniques for Verifying
{RTL} Verilog},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {2},
pages = {366--379},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2007.907270},
doi = {10.1109/TCAD.2007.907270},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/JainKSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KroeningSTTW08,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Loop Summarization Using Abstract Transformers},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {111--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_10},
doi = {10.1007/978-3-540-88387-6\_10},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/KroeningSTTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlancKS08,
author = {Nicolas Blanc and
Daniel Kroening and
Natasha Sharygina},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Scoot: {A} Tool for the Analysis of SystemC Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {467--470},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_36},
doi = {10.1007/978-3-540-78800-3\_36},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BlancKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CookKS07,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
title = {Verification of Boolean programs with unbounded thread creation},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {227--242},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.050},
doi = {10.1016/J.TCS.2007.07.050},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CookKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KroeningS07,
author = {Daniel Kroening and
Natasha Sharygina},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Interactive presentation: Image computation and predicate refinement
for {RTL} verilog using word level proofs},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {1325--1330},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1266655},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KroeningS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BraghinSB07,
author = {Chiara Braghin and
Natasha Sharygina and
Katerina Barone{-}Adesi},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Automated Verification of Security Policies in Mobile Code},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {37--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_3},
doi = {10.1007/978-3-540-73210-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BraghinSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AldrichBGLS07,
author = {Jonathan Aldrich and
Michael Barnett and
Dimitra Giannakopoulou and
Gary T. Leavens and
Natasha Sharygina},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Specification and verification of component-based systems 2007},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {609--610},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287724},
doi = {10.1145/1287624.1287724},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AldrichBGLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JainKSC07,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
editor = {Orna Grumberg and
Michael Huth},
title = {{VCEGAR:} Verilog CounterExample Guided Abstraction Refinement},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {583--586},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_45},
doi = {10.1007/978-3-540-71209-1\_45},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JainKSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/SharyginaK07,
author = {Natasha Sharygina and
Daniel Kr{\"{o}}ning},
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Model Checking with Abstraction for Web Services},
booktitle = {Test and Analysis of Web Services},
pages = {121--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9\_5},
doi = {10.1007/978-3-540-72912-9\_5},
timestamp = {Mon, 15 Jun 2020 17:07:26 +0200},
biburl = {https://dblp.org/rec/conf/swb/SharyginaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKS06,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
title = {Over-Approximating Boolean Programs with Unbounded Thread Creation},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {53--59},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.24},
doi = {10.1109/FMCAD.2006.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KroeningS06,
author = {Daniel Kroening and
Natasha Sharygina},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Approximating Predicate Images for Bit-Vector Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_16},
doi = {10.1007/11691372\_16},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KroeningS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChakiCOSS05,
author = {Sagar Chaki and
Edmund M. Clarke and
Jo{\"{e}}l Ouaknine and
Natasha Sharygina and
Nishant Sinha},
title = {Concurrent software verification with states, events, and deadlocks},
journal = {Formal Aspects Comput.},
volume = {17},
number = {4},
pages = {461--483},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0071-z},
doi = {10.1007/S00165-005-0071-Z},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ChakiCOSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakiISW05,
author = {Sagar Chaki and
James Ivers and
Natasha Sharygina and
Kurt C. Wallnau},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {The ComFoRT Reasoning Framework},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {164--169},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_18},
doi = {10.1007/11513988\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChakiISW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKS05,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Cogent: Accurate Theorem Proving for Program Verification},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {296--300},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_30},
doi = {10.1007/11513988\_30},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JainKSC05,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
title = {Word level predicate abstraction and refinement for verifying {RTL}
verilog},
booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
San Diego, CA, USA, June 13-17, 2005},
pages = {445--450},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065579.1065697},
doi = {10.1145/1065579.1065697},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JainKSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SharyginaCCS05,
author = {Natasha Sharygina and
Sagar Chaki and
Edmund M. Clarke and
Nishant Sinha},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Dynamic Component Substitutability Analysis},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {512--528},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_34},
doi = {10.1007/11526841\_34},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SharyginaCCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ClarkeSS05,
author = {Edmund M. Clarke and
Natasha Sharygina and
Nishant Sinha},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Program Compatibility Approaches},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {243--258},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_12},
doi = {10.1007/11804192\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ClarkeSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChakiCGOSTV05,
author = {Sagar Chaki and
Edmund M. Clarke and
Orna Grumberg and
Jo{\"{e}}l Ouaknine and
Natasha Sharygina and
Tayssir Touili and
Helmut Veith},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {State/Event Software Verification for Branching-Time Specifications},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {53--69},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_5},
doi = {10.1007/11589976\_5},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ChakiCGOSTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KroeningS05,
author = {Daniel Kroening and
Natasha Sharygina},
title = {Formal verification of SystemC by automatic hardware/software partitioning},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487900},
doi = {10.1109/MEMCOD.2005.1487900},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KroeningS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CookKS05,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Patrice Godefroid},
title = {Symbolic Model Checking for Asynchronous Boolean Programs},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {75--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_9},
doi = {10.1007/11537328\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/CookKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ClarkeKSY05,
author = {Edmund M. Clarke and
Daniel Kroening and
Natasha Sharygina and
Karen Yorav},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {{SATABS:} SAT-Based Predicate Abstraction for {ANSI-C}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {570--574},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_40},
doi = {10.1007/978-3-540-31980-1\_40},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ClarkeKSY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Sharygina04,
author = {Natasha Sharygina},
title = {Guest Editorial},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {103},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040024.07193.63},
doi = {10.1023/B:FORM.0000040024.07193.63},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Sharygina04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ClarkeKSY04,
author = {Edmund M. Clarke and
Daniel Kroening and
Natasha Sharygina and
Karen Yorav},
title = {Predicate Abstraction of {ANSI-C} Programs Using {SAT}},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {105--127},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040025.89719.f3},
doi = {10.1023/B:FORM.0000040025.89719.F3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ClarkeKSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SharyginaBXKL04,
author = {Natasha Sharygina and
James C. Browne and
Fei Xie and
Robert P. Kurshan and
Vladimir Levin},
title = {Lessons Learned from Model Checking a {NASA} Robot Controller},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {241--270},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040029.73127.85},
doi = {10.1023/B:FORM.0000040029.73127.85},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SharyginaBXKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChakiCOSS04,
author = {Sagar Chaki and
Edmund M. Clarke and
Jo{\"{e}}l Ouaknine and
Natasha Sharygina and
Nishant Sinha},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {State/Event-Based Software Model Checking},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {128--147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_8},
doi = {10.1007/978-3-540-24756-2\_8},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ChakiCOSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CookKS04,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Accurate Theorem Proving for Program Verification},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {96--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_7},
doi = {10.1007/11925040\_7},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/CookKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChakiCOS04,
author = {Sagar Chaki and
Edmund M. Clarke and
Jo{\"{e}}l Ouaknine and
Natasha Sharygina},
title = {Automated, compositional and iterative deadlock detection},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459856},
doi = {10.1109/MEMCOD.2004.1459856},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ChakiCOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SharyginaB03,
author = {Natasha Sharygina and
James C. Browne},
editor = {Mauro Pezz{\`{e}}},
title = {Model Checking Software via Abstraction of Loop Transitions},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {325--340},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_23},
doi = {10.1007/3-540-36578-8\_23},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/SharyginaB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SharyginaBK01,
author = {Natasha Sharygina and
James C. Browne and
Robert P. Kurshan},
editor = {Heinrich Hu{\ss}mann},
title = {A Formal Object-Oriented Analysis for Software Reliability: Design
for Verification},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {318--332},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_23},
doi = {10.1007/3-540-45314-8\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/SharyginaBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SharyginaP01,
author = {Natasha Sharygina and
Doron A. Peled},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {A Combined Testing and Verification Approach for Software Reliability},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {611--628},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_35},
doi = {10.1007/3-540-45251-6\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SharyginaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-18 23:40 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:
