Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Christoph M. Wintersteiger
@article{DBLP:journals/jcb/YordanovDGAKW23, author = {Boyan Yordanov and Sara{-}Jane Dunn and Colin Gravill and Himanshu Arora and Hillel Kugler and Christoph M. Wintersteiger}, title = {The Reasoning Engine: {A} Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models}, journal = {J. Comput. Biol.}, volume = {30}, number = {9}, pages = {1046--1058}, year = {2023}, url = {https://doi.org/10.1089/cmb.2023.0117}, doi = {10.1089/CMB.2023.0117}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcb/YordanovDGAKW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/HowardAACCCDFJK23, author = {Heidi Howard and Fritz Alder and Edward Ashton and Amaury Chamayou and Sylvan Clebsch and Manuel Costa and Antoine Delignat{-}Lavaud and C{\'{e}}dric Fournet and Andrew Jeffery and Matthew Kerner and Fotios Kounelis and Markus A. Kuppe and Julien Maffre and Mark Russinovich and Christoph M. Wintersteiger}, title = {Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability}, journal = {Proc. {VLDB} Endow.}, volume = {17}, number = {2}, pages = {225--240}, year = {2023}, url = {https://www.vldb.org/pvldb/vol17/p225-howard.pdf}, timestamp = {Fri, 08 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pvldb/HowardAACCCDFJK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-03976, author = {Matthew A. Johnson and Stavros Volos and Ken Gordon and Sean T. Allen and Christoph M. Wintersteiger and Sylvan Clebsch and John Starks and Manuel Costa}, title = {{COCOAEXPO:} Confidential Containers via Attested Execution Policies}, journal = {CoRR}, volume = {abs/2302.03976}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.03976}, doi = {10.48550/ARXIV.2302.03976}, eprinttype = {arXiv}, eprint = {2302.03976}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-03976.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-11559, author = {Heidi Howard and Fritz Alder and Edward Ashton and Amaury Chamayou and Sylvan Clebsch and Manuel Costa and Antoine Delignat{-}Lavaud and C{\'{e}}dric Fournet and Andrew Jeffery and Matthew Kerner and Fotios Kounelis and Markus A. Kuppe and Julien Maffre and Mark Russinovich and Christoph M. Wintersteiger}, title = {Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability}, journal = {CoRR}, volume = {abs/2310.11559}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.11559}, doi = {10.48550/ARXIV.2310.11559}, eprinttype = {arXiv}, eprint = {2310.11559}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-11559.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isbra/YordanovDGKW22, author = {Boyan Yordanov and Sara{-}Jane Dunn and Colin Gravill and Hillel Kugler and Christoph M. Wintersteiger}, editor = {Mukul S. Bansal and Zhipeng Cai and Serghei Mangul}, title = {An SMT-Based Framework for Reasoning About Discrete Biological Models}, booktitle = {Bioinformatics Research and Applications - 18th International Symposium, {ISBRA} 2022, Haifa, Israel, November 14-17, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13760}, pages = {114--125}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-23198-8\_11}, doi = {10.1007/978-3-031-23198-8\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isbra/YordanovDGKW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nsdi/ShamisPC0FACCDK22, author = {Alex Shamis and Peter R. Pietzuch and Burcu Canakci and Miguel Castro and C{\'{e}}dric Fournet and Edward Ashton and Amaury Chamayou and Sylvan Clebsch and Antoine Delignat{-}Lavaud and Matthew Kerner and Julien Maffre and Olga Vrousgou and Christoph M. Wintersteiger and Manuel Costa and Mark Russinovich}, editor = {Amar Phanishayee and Vyas Sekar}, title = {{IA-CCF:} Individual Accountability for Permissioned Ledgers}, booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2022, Renton, WA, USA, April 4-6, 2022}, pages = {467--491}, publisher = {{USENIX} Association}, year = {2022}, url = {https://www.usenix.org/conference/nsdi22/presentation/shamis}, timestamp = {Wed, 06 Jul 2022 16:57:28 +0200}, biburl = {https://dblp.org/rec/conf/nsdi/ShamisPC0FACCDK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcbb/OcchipintiHKWYA21, author = {Annalisa Occhipinti and Youssef Hamadi and Hillel Kugler and Christoph M. Wintersteiger and Boyan Yordanov and Claudio Angione}, title = {Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism}, journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.}, volume = {18}, number = {6}, pages = {2339--2352}, year = {2021}, url = {https://doi.org/10.1109/TCBB.2020.2973386}, doi = {10.1109/TCBB.2020.2973386}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcbb/OcchipintiHKWYA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20, author = {Jonathan Protzenko and Bryan Parno and Aymeric Fromherz and Chris Hawblitzel and Marina Polubelova and Karthikeyan Bhargavan and Benjamin Beurdouche and Joonwon Choi and Antoine Delignat{-}Lavaud and C{\'{e}}dric Fournet and Natalia Kulatova and Tahina Ramananandro and Aseem Rastogi and Nikhil Swamy and Christoph M. Wintersteiger and Santiago Zanella B{\'{e}}guelin}, title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider}, booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco, CA, USA, May 18-21, 2020}, pages = {983--1002}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SP40000.2020.00114}, doi = {10.1109/SP40000.2020.00114}, timestamp = {Thu, 21 Sep 2023 15:57:24 +0200}, biburl = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/LietarBCDFPSWC19, author = {Paul Li{\'{e}}tar and Theodore Butler and Sylvan Clebsch and Sophia Drossopoulou and Juliana Franco and Matthew J. Parkinson and Alex Shamis and Christoph M. Wintersteiger and David Chisnall}, editor = {Jeremy Singer and Harry Xu}, title = {snmalloc: a message passing allocator}, booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on Memory Management, {ISMM} 2019, Phoenix, AZ, USA, June 23-23, 2019}, pages = {122--135}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3315573.3329980}, doi = {10.1145/3315573.3329980}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/LietarBCDFPSWC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/ProtzenkoPFHPBB19, author = {Jonathan Protzenko and Bryan Parno and Aymeric Fromherz and Chris Hawblitzel and Marina Polubelova and Karthikeyan Bhargavan and Benjamin Beurdouche and Joonwon Choi and Antoine Delignat{-}Lavaud and C{\'{e}}dric Fournet and Tahina Ramananandro and Aseem Rastogi and Nikhil Swamy and Christoph M. Wintersteiger and Santiago Zanella B{\'{e}}guelin}, title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {757}, year = {2019}, url = {https://eprint.iacr.org/2019/757}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bmcsb/WoodhousePWGF18, author = {Steven Woodhouse and Nir Piterman and Christoph M. Wintersteiger and Berthold G{\"{o}}ttgens and Jasmin Fisher}, title = {{SCNS:} a graphical tool for reconstructing executable regulatory networks from single-cell genomic data}, journal = {{BMC} Syst. Biol.}, volume = {12}, number = {1}, pages = {59:1--59:7}, year = {2018}, url = {https://doi.org/10.1186/s12918-018-0581-y}, doi = {10.1186/S12918-018-0581-Y}, timestamp = {Tue, 05 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bmcsb/WoodhousePWGF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ZeljicBWR18, author = {Aleksandar Zeljic and Peter Backeman and Christoph M. Wintersteiger and Philipp R{\"{u}}mmer}, editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani}, title = {Exploring Approximations for Floating-Point Arithmetic Using UppSAT}, booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10900}, pages = {246--262}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94205-6\_17}, doi = {10.1007/978-3-319-94205-6\_17}, timestamp = {Mon, 28 Aug 2023 21:17:45 +0200}, biburl = {https://dblp.org/rec/conf/cade/ZeljicBWR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ZulkoskiMWLCG18, author = {Edward Zulkoski and Ruben Martins and Christoph M. Wintersteiger and Jia Hui Liang and Krzysztof Czarnecki and Vijay Ganesh}, editor = {John N. Hooker}, title = {The Effect of Structural Measures and Merges on {SAT} Solver Performance}, booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11008}, pages = {436--452}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98334-9\_29}, doi = {10.1007/978-3-319-98334-9\_29}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWLCG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ZulkoskiMWRLCG18, author = {Edward Zulkoski and Ruben Martins and Christoph M. Wintersteiger and Robert Robere and Jia Hui Liang and Krzysztof Czarnecki and Vijay Ganesh}, editor = {John N. Hooker}, title = {Learning-Sensitive Backdoors with Restarts}, booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11008}, pages = {453--469}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98334-9\_30}, doi = {10.1007/978-3-319-98334-9\_30}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWRLCG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/BjornerMNW18, author = {Nikolaj S. Bj{\o}rner and Leonardo de Moura and Lev Nachmanson and Christoph M. Wintersteiger}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {Programming {Z3}}, booktitle = {Engineering Trustworthy Software Systems - 4th International School, {SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {11430}, pages = {148--201}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-17601-3\_4}, doi = {10.1007/978-3-030-17601-3\_4}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setss/BjornerMNW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/LiivaJPW18, author = {Kristjan Liiva and Paul B. Jackson and Grant O. Passmore and Christoph M. Wintersteiger}, title = {Compositional Taylor Model Based Validated Integration}, booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September 20-23, 2018}, pages = {45--52}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/SYNASC.2018.00020}, doi = {10.1109/SYNASC.2018.00020}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/LiivaJPW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/18/HyvarinenW18, author = {Antti E. J. Hyv{\"{a}}rinen and Christoph M. Wintersteiger}, editor = {Youssef Hamadi and Lakhdar Sais}, title = {Parallel Satisfiability Modulo Theories}, booktitle = {Handbook of Parallel Constraint Reasoning}, pages = {141--178}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-63516-3\_5}, doi = {10.1007/978-3-319-63516-3\_5}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/18/HyvarinenW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2018, editor = {Olaf Beyersdorff and Christoph M. Wintersteiger}, title = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st International Conference, {SAT} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10929}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94144-8}, doi = {10.1007/978-3-319-94144-8}, isbn = {978-3-319-94143-1}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/HamadiAKWY18, author = {Youssef Hamadi and Claudio Angione and Hillel Kugler and Christoph M. Wintersteiger and Boyan Yordanov}, title = {Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism}, publisher = {{IEEE} DataPort}, year = {2018}, month = nov, howpublished = {\url{https://doi.org/10.21227/yegx-4z80}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.21227/yegx-4z80}, doi = {10.21227/YEGX-4Z80}, timestamp = {Wed, 15 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/data/10/HamadiAKWY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ZeljicWR17, author = {Aleksandar Zeljic and Christoph M. Wintersteiger and Philipp R{\"{u}}mmer}, title = {An Approximation Framework for Solvers and Decision Procedures}, journal = {J. Autom. Reason.}, volume = {58}, number = {1}, pages = {127--147}, year = {2017}, url = {https://doi.org/10.1007/s10817-016-9393-1}, doi = {10.1007/S10817-016-9393-1}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ZeljicWR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZulkoskiMWRLCG17, author = {Edward Zulkoski and Ruben Martins and Christoph M. Wintersteiger and Robert Robere and Jia Liang and Krzysztof Czarnecki and Vijay Ganesh}, title = {Relating Complexity-theoretic Parameters with {SAT} Solver Performance}, journal = {CoRR}, volume = {abs/1706.08611}, year = {2017}, url = {http://arxiv.org/abs/1706.08611}, eprinttype = {arXiv}, eprint = {1706.08611}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ZulkoskiMWRLCG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-08859, author = {Aleksandar Zeljic and Peter Backeman and Christoph M. Wintersteiger and Philipp R{\"{u}}mmer}, title = {Exploring Approximations for Floating-Point Arithmetic using UppSAT}, journal = {CoRR}, volume = {abs/1711.08859}, year = {2017}, url = {http://arxiv.org/abs/1711.08859}, eprinttype = {arXiv}, eprint = {1711.08859}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-08859.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/biosystems/ShavitYDWOHLK16, author = {Yoli Shavit and Boyan Yordanov and Sara{-}Jane Dunn and Christoph M. Wintersteiger and Tomoki Otani and Youssef Hamadi and Frederick J. Livesey and Hillel Kugler}, title = {Automated Synthesis and Analysis of Switching Gene Regulatory Networks}, journal = {Biosyst.}, volume = {146}, pages = {26--34}, year = {2016}, url = {https://doi.org/10.1016/j.biosystems.2016.03.012}, doi = {10.1016/J.BIOSYSTEMS.2016.03.012}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/biosystems/ShavitYDWOHLK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BackemanWYD16, author = {Peter Backeman and Christoph M. Wintersteiger and Boyan Yordanov and Sara{-}Jane Dunn}, editor = {Tim King and Ruzica Piskac}, title = {Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis}, booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1617}, pages = {41--50}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1617/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:14 +0100}, biburl = {https://dblp.org/rec/conf/cade/BackemanWYD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/JanotaW16, author = {Mikol{\'{a}}s Janota and Christoph M. Wintersteiger}, editor = {Tim King and Ruzica Piskac}, title = {On Intervals and Bounds in Bit-vector Arithmetic}, booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1617}, pages = {81--84}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1617/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/JanotaW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/ZeljicWR16, author = {Aleksandar Zeljic and Christoph M. Wintersteiger and Philipp R{\"{u}}mmer}, editor = {Nadia Creignou and Daniel Le Berre}, title = {Deciding Bit-Vector Formulas with mcSAT}, 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 = {249--266}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2\_16}, doi = {10.1007/978-3-319-40970-2\_16}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/ZeljicWR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/issta/2016cstva, editor = {Omer Tripp and Christoph M. Wintersteiger}, title = {Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis {(ISSTA} 2016), Saarbr{\"{u}}cken, Germany, July 17th, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1639}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1639}, urn = {urn:nbn:de:0074-1639-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/2016cstva.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/FrohlichBWH15, author = {Andreas Fr{\"{o}}hlich and Armin Biere and Christoph M. Wintersteiger and Youssef Hamadi}, editor = {Blai Bonet and Sven Koenig}, title = {Stochastic Local Search for Satisfiability Modulo Theories}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {1136--1143}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9372}, doi = {10.1609/AAAI.V29I1.9372}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/FrohlichBWH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipcat/ShavitYDWHK15, author = {Yoli Shavit and Boyan Yordanov and Sara{-}Jane Dunn and Christoph M. Wintersteiger and Youssef Hamadi and Hillel Kugler}, editor = {Michael A. Lones and Andy M. Tyrrell and Stephen L. Smith and Gary B. Fogel}, title = {Switching Gene Regulatory Networks}, booktitle = {Information Processing in Cells and Tissues - 10th International Conference, {IPCAT} 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9303}, pages = {131--144}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23108-2\_11}, doi = {10.1007/978-3-319-23108-2\_11}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipcat/ShavitYDWHK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ZeljicWR14, author = {Aleksandar Zeljic and Christoph M. Wintersteiger and Philipp R{\"{u}}mmer}, editor = {St{\'{e}}phane Demri and Deepak Kapur and Christoph Weidenbach}, title = {Approximations for Model Construction}, booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8562}, pages = {344--359}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08587-6\_26}, doi = {10.1007/978-3-319-08587-6\_26}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ZeljicWR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PaolettiYHWK14, author = {Nicola Paoletti and Boyan Yordanov and Youssef Hamadi and Christoph M. Wintersteiger and Hillel Kugler}, editor = {Armin Biere and Roderick Bloem}, title = {Analyzing and Synthesizing Genomic Logic Functions}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {343--357}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_23}, doi = {10.1007/978-3-319-08867-9\_23}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/PaolettiYHWK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/RabeWKYH14, author = {Markus N. Rabe and Christoph M. Wintersteiger and Hillel Kugler and Boyan Yordanov and Youssef Hamadi}, editor = {Gethin Norman and William H. Sanders}, title = {Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains}, booktitle = {Quantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8657}, pages = {388--403}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10696-0\_30}, doi = {10.1007/978-3-319-10696-0\_30}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/RabeWKYH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/smt/2014, editor = {Philipp R{\"{u}}mmer and Christoph M. Wintersteiger}, title = {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}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1163}, urn = {urn:nbn:de:0074-1163-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/smt/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/HamadiW13, author = {Youssef Hamadi and Christoph M. Wintersteiger}, title = {Seven Challenges in Parallel {SAT} Solving}, journal = {{AI} Mag.}, volume = {34}, number = {2}, pages = {99--106}, year = {2013}, url = {https://doi.org/10.1609/aimag.v34i2.2450}, doi = {10.1609/AIMAG.V34I2.2450}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/HamadiW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/WintersteigerHM13, author = {Christoph M. Wintersteiger and Youssef Hamadi and Leonardo Mendon{\c{c}}a de Moura}, title = {Efficiently solving quantified bit-vector formulas}, journal = {Formal Methods Syst. Des.}, volume = {42}, number = {1}, pages = {3--23}, year = {2013}, url = {https://doi.org/10.1007/s10703-012-0156-2}, doi = {10.1007/S10703-012-0156-2}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/WintersteigerHM13.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} }
@article{DBLP:journals/fmsd/CookKRW13, author = {Byron Cook and Daniel Kroening and Philipp R{\"{u}}mmer and Christoph M. Wintersteiger}, title = {Ranking function synthesis for bit-vector relations}, journal = {Formal Methods Syst. Des.}, volume = {43}, number = {1}, pages = {93--120}, year = {2013}, url = {https://doi.org/10.1007/s10703-013-0186-4}, doi = {10.1007/S10703-013-0186-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CookKRW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dna/YordanovWHPK13, author = {Boyan Yordanov and Christoph M. Wintersteiger and Youssef Hamadi and Andrew Phillips and Hillel Kugler}, editor = {David Soloveichik and Bernard Yurke}, title = {Functional Analysis of Large-Scale {DNA} Strand Displacement Circuits}, booktitle = {{DNA} Computing and Molecular Programming - 19th International Conference, {DNA} 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8141}, pages = {189--203}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-01928-4\_14}, doi = {10.1007/978-3-319-01928-4\_14}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dna/YordanovWHPK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BerdineBIKW13, author = {Josh Berdine and Nikolaj S. Bj{\o}rner and Samin Ishtiaq and Jael E. Kriener and Christoph M. Wintersteiger}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {Resourceful Reachability as {HORN-LA}}, 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 = {137--146}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_10}, doi = {10.1007/978-3-642-45221-5\_10}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BerdineBIKW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/YordanovWHK13, author = {Boyan Yordanov and Christoph M. Wintersteiger and Youssef Hamadi and Hillel Kugler}, editor = {Guillaume Brat and Neha Rungta and Arnaud Venet}, title = {SMT-Based Analysis of Biological Computation}, booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7871}, pages = {78--92}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38088-4\_6}, doi = {10.1007/978-3-642-38088-4\_6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/YordanovWHK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/HamadiW12, author = {Youssef Hamadi and Christoph M. Wintersteiger}, editor = {J{\"{o}}rg Hoffmann and Bart Selman}, title = {Seven Challenges in Parallel {SAT} Solving}, booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada}, pages = {2120--2125}, publisher = {{AAAI} Press}, year = {2012}, url = {https://doi.org/10.1609/aaai.v26i1.8438}, doi = {10.1609/AAAI.V26I1.8438}, timestamp = {Mon, 04 Sep 2023 15:56:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/HamadiW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BerdineCIW12, author = {Josh Berdine and Arlen Cox and Samin Ishtiaq and Christoph M. Wintersteiger}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Diagnosing Abstraction Failure for Separation Logic-Based Analyses}, 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 = {155--173}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_16}, doi = {10.1007/978-3-642-31424-7\_16}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BerdineCIW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Wintersteiger11, author = {Christoph M. Wintersteiger}, title = {Termination Analysis for Bit-Vector Programs}, school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland}, year = {2011}, url = {https://hdl.handle.net/20.500.11850/72785}, doi = {10.3929/ETHZ-A-006707337}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Wintersteiger11.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:journals/corr/abs-1111-0371, author = {Youssef Hamadi and Jo{\~{a}}o Marques{-}Silva and Christoph M. Wintersteiger}, editor = {Jiri Barnat and Keijo Heljanko}, title = {Lazy Decomposition for Distributed Decision Procedures}, booktitle = {Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14, 2011}, series = {{EPTCS}}, volume = {72}, pages = {43--54}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.72.5}, doi = {10.4204/EPTCS.72.5}, timestamp = {Fri, 09 Apr 2021 18:27:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-0371.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/fmcad/WintersteigerHM10, author = {Christoph M. Wintersteiger and Youssef Hamadi and Leonardo Mendon{\c{c}}a de Moura}, editor = {Roderick Bloem and Natasha Sharygina}, title = {Efficiently solving quantified bit-vector formulas}, booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October 20-23}, pages = {239--246}, publisher = {{IEEE}}, year = {2010}, url = {https://ieeexplore.ieee.org/document/5770955/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/WintersteigerHM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/CookKRW10, author = {Byron Cook and Daniel Kroening and Philipp R{\"{u}}mmer and Christoph M. Wintersteiger}, editor = {Javier Esparza and Rupak Majumdar}, title = {Ranking Function Synthesis for Bit-Vector Relations}, 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 = {236--250}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12002-2\_19}, doi = {10.1007/978-3-642-12002-2\_19}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/CookKRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/WintersteigerHM09, author = {Christoph M. Wintersteiger and Youssef Hamadi and Leonardo Mendon{\c{c}}a de Moura}, editor = {Ahmed Bouajjani and Oded Maler}, title = {A Concurrent Portfolio Approach to {SMT} Solving}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {715--720}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_60}, doi = {10.1007/978-3-642-02658-4\_60}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/WintersteigerHM09.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/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/sat/JussilaBSKW07, author = {Toni Jussila and Armin Biere and Carsten Sinz and Daniel Kr{\"{o}}ning and Christoph M. Wintersteiger}, editor = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {A First Step Towards a Unified Proof Checker for {QBF}}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4501}, pages = {201--214}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72788-0\_21}, doi = {10.1007/978-3-540-72788-0\_21}, timestamp = {Mon, 24 Feb 2020 19:23:27 +0100}, biburl = {https://dblp.org/rec/conf/sat/JussilaBSKW07.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.