Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Allison Sullivan
@article{DBLP:journals/corr/abs-2402-06624,
author = {Ana Jovanovic and
Allison Sullivan},
title = {Empirically Exploring How Novices Write Software Models in Alloy},
journal = {CoRR},
volume = {abs/2402.06624},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06624},
doi = {10.48550/ARXIV.2402.06624},
eprinttype = {arXiv},
eprint = {2402.06624},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-00170,
author = {Guanxuan Wu and
Allison Sullivan},
title = {AlloyASG: Alloy Predicate Code Representation as a Compact Structurally
Balanced Graph},
journal = {CoRR},
volume = {abs/2403.00170},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.00170},
doi = {10.48550/ARXIV.2403.00170},
eprinttype = {arXiv},
eprint = {2403.00170},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-00170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RingertS23,
author = {Jan Oliver Ringert and
Allison Sullivan},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Abstract Alloy Instances},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {364--382},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_21},
doi = {10.1007/978-3-031-27481-7\_21},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/RingertS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/EmersonS23,
author = {Adam G. Emerson and
Allison Sullivan},
title = {Crucible: Graphical Test Cases for Alloy Models},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {218--227},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00065},
doi = {10.1109/ISSRE59848.2023.00065},
timestamp = {Tue, 14 Nov 2023 16:09:47 +0100},
biburl = {https://dblp.org/rec/conf/issre/EmersonS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Sullivan23,
author = {Allison Sullivan},
title = {Live Programming for Finite Model Finders},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1747--1752},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00016},
doi = {10.1109/ASE56229.2023.00016},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Sullivan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Sullivan23,
author = {Allison Sullivan},
title = {Integrating Testing into the Alloy Model Development Workflow},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {117--128},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00030},
doi = {10.1109/MODELS58315.2023.00030},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/Sullivan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JovanovicS23,
author = {Ana Jovanovic and
Allison Sullivan},
title = {Mutation Testing for Temporal Alloy Models},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {228--238},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00013},
doi = {10.1109/MODELS58315.2023.00013},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/JovanovicS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17317,
author = {Allison Sullivan},
title = {Live Programming for Finite Model Finders},
journal = {CoRR},
volume = {abs/2305.17317},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17317},
doi = {10.48550/ARXIV.2305.17317},
eprinttype = {arXiv},
eprint = {2305.17317},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-06922,
author = {Adam G. Emerson and
Allison Sullivan},
title = {Crucible: Graphical Test Cases for Alloy Models},
journal = {CoRR},
volume = {abs/2307.06922},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.06922},
doi = {10.48550/ARXIV.2307.06922},
eprinttype = {arXiv},
eprint = {2307.06922},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-06922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04687,
author = {Sanyogita Piya and
Allison Sullivan},
title = {{LLM4TDD:} Best Practices for Test Driven Development Using Large
Language Models},
journal = {CoRR},
volume = {abs/2312.04687},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04687},
doi = {10.48550/ARXIV.2312.04687},
eprinttype = {arXiv},
eprint = {2312.04687},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/JovanovicS22,
author = {Ana Jovanovic and
Allison Sullivan},
editor = {Arnd Hartmanns and
Ina Schaefer and
Stefania Gnesi and
Nico Plat},
title = {Towards Automated Input Generation for Sketching Alloy Models},
booktitle = {10th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
2022},
pages = {58--68},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524482.3527651},
doi = {10.1145/3524482.3527651},
timestamp = {Mon, 03 Jul 2023 17:01:01 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/JovanovicS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JovanovicS22,
author = {Ana Jovanovic and
Allison Sullivan},
title = {{REACH:} Refining Alloy Scenarios by Size (Tools and Artifact Track)},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {229--238},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00031},
doi = {10.1109/ISSRE55969.2022.00031},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/JovanovicS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Sullivan21,
author = {Allison Sullivan},
editor = {Zhi Jin and
Xuandong Li and
Jianwen Xiang and
Leonardo Mariani and
Ting Liu and
Xiao Yu and
Nahgmeh Ivaki},
title = {HawkEye: User-Guided Enumeration of Scenarios},
booktitle = {32nd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021, Wuhan, China, October 25-28, 2021},
pages = {569--578},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSRE52982.2021.00064},
doi = {10.1109/ISSRE52982.2021.00064},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/Sullivan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KhanSW21,
author = {Tanvir Ahmed Khan and
Allison Sullivan and
Kaiyuan Wang},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {AlloyFL: a fault localization framework for Alloy},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1535--1539},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3473116},
doi = {10.1145/3468264.3473116},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KhanSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11898,
author = {Ana Jovanovic and
Allison Sullivan},
title = {{REACH:} Refining Alloy Scenarios by Scope},
journal = {CoRR},
volume = {abs/2110.11898},
year = {2021},
url = {https://arxiv.org/abs/2110.11898},
eprinttype = {arXiv},
eprint = {2110.11898},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WangSMK20,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Marco Vieira and
Henrique Madeira and
Nuno Antunes and
Zheng Zheng},
title = {Fault Localization for Declarative Models in Alloy},
booktitle = {31st {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020},
pages = {391--402},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSRE5003.2020.00044},
doi = {10.1109/ISSRE5003.2020.00044},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/WangSMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ThompsonS20,
author = {George Thompson and
Allison K. Sullivan},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {ProFL: a fault localization framework for Prolog},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {561--564},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3404367},
doi = {10.1145/3395363.3404367},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ThompsonS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SullivanMK19,
author = {Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Solution Enumeration Abstraction: {A} Modeling Idiom to Enhance a
Lightweight Formal Method},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {336--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_21},
doi = {10.1007/978-3-030-32409-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SullivanMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSK19,
author = {Kaiyuan Wang and
Allison Sullivan and
Sarfraz Khurshid},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {ARepair: a repair framework for alloy},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
2019},
pages = {103--106},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-Companion.2019.00049},
doi = {10.1109/ICSE-COMPANION.2019.00049},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WangSKMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Manos Koukoutos and
Darko Marinov and
Sarfraz Khurshid},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Systematic Generation of Non-equivalent Expressions for Relational
Algebra},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {105--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_8},
doi = {10.1007/978-3-319-91271-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/WangSKMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WangSMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Solver-Based Sketching of Alloy Models Using Test Valuations},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {121--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_9},
doi = {10.1007/978-3-319-91271-4\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/WangSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Sarfraz Khurshid},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {MuAlloy: a mutation testing framework for alloy},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {29--32},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183488},
doi = {10.1145/3183440.3183488},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SullivanWK18,
author = {Allison Sullivan and
Kaiyuan Wang and
Sarfraz Khurshid},
title = {AUnit: {A} Test Automation Tool for Alloy},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {398--403},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICST.2018.00047},
doi = {10.1109/ICST.2018.00047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SullivanWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangSK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Sarfraz Khurshid},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Automated model repair for Alloy},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {577--588},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238162},
doi = {10.1145/3238147.3238162},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WangSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangSMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {ASketch: a sketching framework for Alloy},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {916--919},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264594},
doi = {10.1145/3236024.3264594},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08707,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
title = {Fault Localization for Declarative Models in Alloy},
journal = {CoRR},
volume = {abs/1807.08707},
year = {2018},
url = {http://arxiv.org/abs/1807.08707},
eprinttype = {arXiv},
eprint = {1807.08707},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SullivanWZK17,
author = {Allison Sullivan and
Kaiyuan Wang and
Razieh Nokhbeh Zaeem and
Sarfraz Khurshid},
title = {Automated Test Generation and Mutation Testing for Alloy},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {264--275},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.31},
doi = {10.1109/ICST.2017.31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SullivanWZK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sqamia/SullivanWKM17,
author = {Allison Sullivan and
Kaiyuan Wang and
Sarfraz Khurshid and
Darko Marinov},
editor = {Zoran Budimac},
title = {Evaluating State Modeling Techniques in Alloy},
booktitle = {Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring,
Improvement, and Applications, Belgrade, Serbia, September 11-13,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {1938},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1938/paper-sul.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sqamia/SullivanWKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DiniSGR16,
author = {Nima Dini and
Allison Sullivan and
Milos Gligoric and
Gregg Rothermel},
title = {The Effect of Test Suite Type on Regression Test Selection},
booktitle = {27th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSRE.2016.28},
doi = {10.1109/ISSRE.2016.28},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/DiniSGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SullivanZKM14,
author = {Allison Sullivan and
Razieh Nokhbeh Zaeem and
Sarfraz Khurshid and
Darko Marinov},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a test automation framework for alloy},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {113--116},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632369},
doi = {10.1145/2632362.2632369},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/SullivanZKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 05:46 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:
