@conference {383,
	title = {CHC Model Validation with Proof Guarantees},
	booktitle = {18th International Conference on integrated Formal Methods (iFM23)},
	year = {2023},
	url = {https://doi.org/10.1007/978-3-031-47705-8_4},
	author = {Rodrigo Otoni and Martin Blicha and Patrick Eugster and Natasha Sharygina}
}
@conference {375,
	title = {Symbolic Model Checking for TLA+ Made Faster},
	booktitle = {TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
	year = {2023},
	address = {Paris},
	url = {https://doi.org/10.1007/978-3-031-30823-9_7},
	author = {Rodrigo Otoni and Igor Konnov and Jure Kukovec and Patrick Eugster and Natasha Sharygina}
}
@article {373,
	title = {A Solicitous Approach to Smart Contract Verification},
	journal = {ACM Transactions on Privacy and Security},
	year = {2022},
	type = {Full-Length Research Paper},
	url = {https://dl.acm.org/doi/10.1145/3564699},
	author = {Rodrigo Otoni and Matteo Marescotti and Leonardo Alt and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {334,
	title = {Theory-Specific Proof Steps Witnessing Correctness of SMT Executions},
	booktitle = {DAC 2021 - 58th Design Automation Conference},
	year = {2021},
	month = {11/2021},
	publisher = {IEEE},
	organization = {IEEE},
	address = {San Francisco, CA, USA},
	doi = {10.1109/DAC18074.2021.9586272},
	author = {Rodrigo Otoni and Martin Blicha and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {319,
	title = {Accurate Smart Contract Verification through Direct Modelling},
	booktitle = {ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
	year = {2020},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	isbn = {978-3-030-61467-6},
	doi = {doi.org/10.1007/978-3-030-61467-6_12},
	url = {https://link.springer.com/chapter/10.1007\%2F978-3-030-61467-6_12},
	author = {Matteo Marescotti and Rodrigo Otoni and Leonardo Alt and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {165,
	title = {PINCETTE - Validating Changes and Upgrades in Networked Software},
	booktitle = {17th European Conference on Software Maintenance and Reengineering},
	year = {2013},
	author = {Chockler, H. and Denaro, G. and Ling, M. and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Mariani, L. and Muhammad, A. and Oriol, M. and Rajan, A. and Sery, O. and Natasha Sharygina and Tautschnig, M.}
}
