Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sibylle Schupp
@article{DBLP:journals/corr/abs-2403-18918,
author = {Lars Beckers and
Stefan Gerlach and
Ole L{\"{u}}bke and
Alexander Schlaefer and
Sibylle Schupp},
title = {Sliced Online Model Checking for Optimizing the Beam Scheduling Problem
in Robotic Radiation Therapy},
journal = {CoRR},
volume = {abs/2403.18918},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18918},
doi = {10.48550/ARXIV.2403.18918},
eprinttype = {arXiv},
eprint = {2403.18918},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LehmannS23,
author = {Sascha Lehmann and
Sibylle Schupp},
title = {Bounded DBM-based clock state construction for timed automata in Uppaal},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {1},
pages = {19--47},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00667-x},
doi = {10.1007/S10009-022-00667-X},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LehmannS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-07938,
author = {Ole L{\"{u}}bke and
Konrad Fuger and
Fin Hendrik Bahnsen and
Katrin Billerbeck and
Sibylle Schupp},
editor = {Elena Machkasova},
title = {Computer Aided Design and Grading for an Electronic Functional Programming
Exam},
booktitle = {Proceedings Twelfth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
12th January 2023},
series = {{EPTCS}},
volume = {382},
pages = {22--44},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.382.2},
doi = {10.4204/EPTCS.382.2},
timestamp = {Mon, 11 Sep 2023 15:44:42 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BavendiekS22,
author = {Kai Bavendiek and
Sibylle Schupp},
title = {A process calculus for privacy-preserving protocols in location-based
service systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {125},
pages = {100735},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100735},
doi = {10.1016/J.JLAMP.2021.100735},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BavendiekS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-09884,
author = {Sascha Lehmann and
Antje Rogalla and
Maximilian Neidhardt and
Anton Reinecke and
Alexander Schlaefer and
Sibylle Schupp},
editor = {Clemens Dubslaff and
Bas Luttik},
title = {Modeling R\({}^{\mbox{3}}\) Needle Steering in Uppaal},
booktitle = {Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {355},
pages = {40--59},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.355.4},
doi = {10.4204/EPTCS.355.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LubkeS21,
author = {Ole L{\"{u}}bke and
Sibylle Schupp},
editor = {Linh Thi Xuan Phan and
David Broman},
title = {WCET-aware reachability for verified simplex design: work-in-progress},
booktitle = {{EMSOFT} '21: Proceedings of the 2021 International Conference on
Embedded Software, Virtual Event, October 8 - 15, 2021},
pages = {27--28},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477244.3477613},
doi = {10.1145/3477244.3477613},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LubkeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-12590,
author = {Sascha Lehmann and
Antje Rogalla and
Maximilian Neidhardt and
Alexander Schlaefer and
Sibylle Schupp},
editor = {Marie Farrell and
Matt Luckcuck},
title = {Online Strategy Synthesis for Safe and Optimized Control of Steerable
Needles},
booktitle = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2021, Virtual, October 21-22, 2021},
series = {{EPTCS}},
volume = {348},
pages = {128--135},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.348.9},
doi = {10.4204/EPTCS.348.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/StubsMBLSF20,
author = {Marius St{\"{u}}bs and
Tobias Mueller and
Kai Bavendiek and
Manuel L{\"{o}}sch and
Sibylle Schupp and
Hannes Federrath},
editor = {Anoop Singhal and
Jaideep Vaidya},
title = {Provably Privacy-Preserving Distributed Data Aggregation in Smart
Grids},
booktitle = {Data and Applications Security and Privacy {XXXIV} - 34th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25-26,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12122},
pages = {153--173},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49669-2\_9},
doi = {10.1007/978-3-030-49669-2\_9},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/StubsMBLSF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13292,
author = {Antje Rogalla and
Sascha Lehmann and
Maximilian Neidhardt and
Johanna Sprenger and
Marcel Bengs and
Alexander Schlaefer and
Sibylle Schupp},
editor = {Ansgar Fehnker and
Hubert Garavel},
title = {Synthesizing Strategies for Needle Steering in Gelatin Phantoms},
booktitle = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
series = {{EPTCS}},
volume = {316},
pages = {261--274},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.316.10},
doi = {10.4204/EPTCS.316.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-13292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/clsr/0001SSW19,
author = {Robin Adams and
Wolfgang Schulz and
Sibylle Schupp and
Florian Wittner},
title = {Guaranteeing privacy policies using lightweight type systems},
journal = {Comput. Law Secur. Rev.},
volume = {35},
number = {6},
pages = {105337},
year = {2019},
url = {https://doi.org/10.1016/j.clsr.2019.07.001},
doi = {10.1016/J.CLSR.2019.07.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/0001SSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KaiserBS19,
author = {Jan Kaiser and
Kai Bavendiek and
Sibylle Schupp},
editor = {Klaus David and
Kurt Geihs and
Martin Lange and
Gerd Stumme},
title = {Do We Need Real Data? - Testing and Training Algorithms with Artificial
Geolocation Data},
booktitle = {49. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, 50 Jahre
Gesellschaft f{\"{u}}r Informatik - Informatik f{\"{u}}r
Gesellschaft, {INFORMATIK} 2019, Kassel, Germany, September 23-26,
2019},
series = {{LNI}},
volume = {{P-294}},
pages = {205--218},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/inf2019\_25},
doi = {10.18420/INF2019\_25},
timestamp = {Tue, 04 Jul 2023 17:43:40 +0200},
biburl = {https://dblp.org/rec/conf/gi/KaiserBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IvanovS19,
author = {Dmitry Ivanov and
Sibylle Schupp},
editor = {Stefania Gnesi and
Nico Plat and
Nancy A. Day and
Matteo Rossi},
title = {Static analysis for worst-case battery utilization},
booktitle = {Proceedings of the 7th International Workshop on Formal Methods in
Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
27, 2019},
pages = {1--10},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/FormaliSE.2019.00009},
doi = {10.1109/FORMALISE.2019.00009},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/IvanovS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/BavendiekMWSBSF19,
author = {Kai Bavendiek and
Tobias Mueller and
Florian Wittner and
Thea Schwaneberg and
Christian{-}Alexander Behrendt and
Wolfgang Schulz and
Hannes Federrath and
Sibylle Schupp},
editor = {Gurpreet Dhillon and
Fredrik Karlsson and
Karin Hedstr{\"{o}}m and
Andr{\'{e}} Z{\'{u}}quete},
title = {Automatically Proving Purpose Limitation in Software Architectures},
booktitle = {{ICT} Systems Security and Privacy Protection - 34th {IFIP} {TC} 11
International Conference, {SEC} 2019, Lisbon, Portugal, June 25-27,
2019, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {562},
pages = {345--358},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22312-0\_24},
doi = {10.1007/978-3-030-22312-0\_24},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sec/BavendiekMWSBSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10892,
author = {Robin Adams and
Sibylle Schupp},
title = {Constructing Independently Verifiable Privacy-Compliant Type Systems
for Message Passing between Black-Box Components},
journal = {CoRR},
volume = {abs/1901.10892},
year = {2019},
url = {http://arxiv.org/abs/1901.10892},
eprinttype = {arXiv},
eprint = {1901.10892},
timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11092,
author = {Sibylle Schupp},
title = {Tool Support of Formal Methods for Privacy by Design},
journal = {CoRR},
volume = {abs/1903.11092},
year = {2019},
url = {http://arxiv.org/abs/1903.11092},
eprinttype = {arXiv},
eprint = {1903.11092},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/AntoniLNFRKASS18,
author = {Sven{-}Thomas Antoni and
Sascha Lehmann and
Maximilian Neidhardt and
Kai Fehrs and
Christian Ruprecht and
Fabian Kording and
Gerhard Adam and
Sibylle Schupp and
Alexander Schlaefer},
title = {Model checking for trigger loss detection during Doppler ultrasound-guided
fetal cardiovascular {MRI}},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {13},
number = {11},
pages = {1755--1766},
year = {2018},
url = {https://doi.org/10.1007/s11548-018-1832-5},
doi = {10.1007/S11548-018-1832-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/AntoniLNFRKASS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/LehmannASS18,
author = {Sascha Lehmann and
Sven{-}Thomas Antoni and
Alexander Schlaefer and
Sibylle Schupp},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {A Quantitative Metric Temporal Logic for Execution-Time Constrained
Verification},
booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
October 4-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11615},
pages = {170--189},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23703-5\_9},
doi = {10.1007/978-3-030-23703-5\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/LehmannASS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/BavendiekAS18,
author = {Kai Bavendiek and
Robin Adams and
Sibylle Schupp},
editor = {Kieran McLaughlin and
Ali A. Ghorbani and
Sakir Sezer and
Rongxing Lu and
Liqun Chen and
Robert H. Deng and
Paul Miller and
Stephen Marsh and
Jason R. C. Nurse},
title = {Privacy-Preserving Architectures with Probabilistic Guaranties},
booktitle = {16th Annual Conference on Privacy, Security and Trust, {PST} 2018,
Belfast, Northern Ireland, Uk, August 28-30, 2018},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PST.2018.8514160},
doi = {10.1109/PST.2018.8514160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pst/BavendiekAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/IvanovLSS18,
author = {Dmitry Ivanov and
Kim G. Larsen and
Sibylle Schupp and
Jir{\'{\i}} Srba},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive
Systems},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {173--189},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_11},
doi = {10.1007/978-3-319-99154-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/IvanovLSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PadbergSS18,
author = {Julia Padberg and
Alexander Schlaefer and
Sibylle Schupp},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer
Systeme},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {209--210},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16356},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PadbergSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AdamsS18,
author = {Robin Adams and
Sibylle Schupp},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Constructing Independently Verifiable Privacy-Compliant Type Systems
for Message Passing Between Black-Box Components},
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 = {196--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_11},
doi = {10.1007/978-3-030-03592-1\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AdamsS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchlaeferSS17,
author = {Alexander Schlaefer and
Sibylle Schupp and
Andr{\'{e}} Stollenwerk},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {{FS-MCPS} 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical
Systems},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {45},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1263},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchlaeferSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/HaeriS17,
author = {Seyed H. Haeri and
Sibylle Schupp},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Integration of a Decentralised Pattern Matching: Venue for a New Paradigm
Intermarriage},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {16--28},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/k919},
doi = {10.29007/K919},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/sycss/HaeriS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/AntoniRMSS16,
author = {Sven{-}Thomas Antoni and
Jonas Rinast and
Xintao Ma and
Sibylle Schupp and
Alexander Schlaefer},
title = {Online model checking for monitoring surrogate-based respiratory motion
tracking in radiation therapy},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {11},
number = {11},
pages = {2085--2096},
year = {2016},
url = {https://doi.org/10.1007/s11548-016-1423-2},
doi = {10.1007/S11548-016-1423-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/AntoniRMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/MattsenS16,
author = {Sven Mattsen and
Sibylle Schupp},
title = {The Challenge of Indirection: Treating Flags During Sound Analysis
of Machine Code},
journal = {Softwaretechnik-Trends},
volume = {36},
number = {2},
year = {2016},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_36\_Heft\_2/WSRE2016\_09\_paper\_14.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/MattsenS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/WichmannSS16,
author = {Arne Wichmann and
Sandro Schulze and
Sibylle Schupp},
title = {Analyzing Malware Putty using Function Alignment in the Binary},
journal = {Softwaretechnik-Trends},
volume = {36},
number = {2},
year = {2016},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_36\_Heft\_2/WSRE2016\_08\_paper\_15.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/WichmannSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchlaeferSS16a,
author = {Alexander Schlaefer and
Sibylle Schupp and
Andr{\'{e}} Stollenwerk},
editor = {Jens Knoop and
Uwe Zdun},
title = {{FS-MCPS:} 2nd workshop on fail safety in medical cyber-physical systems},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {127--128},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/758},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchlaeferSS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchlaeferSS16,
author = {Alexander Schlaefer and
Sibylle Schupp and
Andr{\'{e}} Stollenwerk},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {2nd Workshop on Fail Safety in Medical Cyber-Physical Systems {(FS-MCPS)}},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {172--173},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/SchlaeferSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/AntoniMSS16,
author = {Sven{-}Thomas Antoni and
Xintao Ma and
Sibylle Schupp and
Alexander Schlaefer},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Reducing False Discovery Rates for On-line Model Checking Based Detection
of Respiratory Motion Artifacts},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {182--186},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/AntoniMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/HaeriS16,
author = {Seyed H. Haeri and
Sibylle Schupp},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Expression Compatibility Problem},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {55--67},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/xlbn},
doi = {10.29007/XLBN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/HaeriS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2016w,
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559},
urn = {urn:nbn:de:0074-1559-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2016w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/0001S15,
author = {Arne Wichmann and
Sibylle Schupp},
title = {Visual Analysis of Control Coupling for Executables},
journal = {Softwaretechnik-Trends},
volume = {35},
number = {2},
year = {2015},
url = {http://pi.informatik.uni-siegen.de/stt/35\_2/01\_Fachgruppenberichte/04\_A\_Wichmann.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/0001S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LinckeSI15,
author = {Daniel Lincke and
Sibylle Schupp and
Cezar Ionescu},
title = {Functional prototypes for generic {C++} libraries: a transformational
approach based on higher-order, typed signatures},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {91--105},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0299-0},
doi = {10.1007/S10009-014-0299-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LinckeSI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/curac/AntoniRSS15,
author = {Sven{-}Thomas Antoni and
Jonas Rinast and
Sibylle Schupp and
Alexander Schlaefer},
editor = {Horst K. Hahn and
Ron Kikinis and
Jan Klein and
Arya Nabavi and
Stefan Weber},
title = {Evaluation des Einflusses von Artefakten auf den Korrelationsfehler
in der bewegungskompensierten Radiochirurgie},
booktitle = {14. Jahrestagung der Deutschen Gesellschaft f{\"{u}}r Computer-
und Roboterassistierte Chirurgie, September 17-19, 2015, Bremen, Germany},
pages = {133--138},
year = {2015},
timestamp = {Fri, 03 Mar 2017 18:18:00 +0100},
biburl = {https://dblp.org/rec/conf/curac/AntoniRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/0001S15,
author = {Arne Wichmann and
Sibylle Schupp},
editor = {Sonia Haiduc and
Gabriele Bavota},
title = {Matching machine-code functions in executables within one product
line via bioinformatic sequence alignment},
booktitle = {5th {IEEE} Workshop on Mining Unstructured Data MUD@ICSME 2015, Bremen,
Germany, September 28, 2015},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MUD.2015.7327962},
doi = {10.1109/MUD.2015.7327962},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/0001S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/AntoniRSS15,
author = {Sven{-}Thomas Antoni and
Jonas Rinast and
Sibylle Schupp and
Alexander Schlaefer},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Comparing Model-free Motion Prediction and On-line Model Checking
for Respiratory Motion Management},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {15--18},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/AntoniRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchlaeferS15,
author = {Alexander Schlaefer and
Sibylle Schupp},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Fail Safety in Medical Cyber-Physical Systems {(FS-MCPS)}},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {268},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2565},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchlaeferS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MattsenWS15,
author = {Sven Mattsen and
Arne Wichmann and
Sibylle Schupp},
editor = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Bram Adams and
Alexander Serebrenik},
title = {A non-convex abstract domain for the value analysis of binaries},
booktitle = {22nd {IEEE} International Conference on Software Analysis, Evolution,
and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
2015},
pages = {271--280},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SANER.2015.7081837},
doi = {10.1109/SANER.2015.7081837},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MattsenWS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2015w,
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337},
urn = {urn:nbn:de:0074-1337-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2015w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/Heing-BeckerKS14,
author = {Marcel Heing{-}Becker and
Timo Kamph and
Sibylle Schupp},
editor = {Serge Demeyer and
Dave W. Binkley and
Filippo Ricca},
title = {Bit-error injection for software developers},
booktitle = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
Belgium, February 3-6, 2014},
pages = {434--439},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSMR-WCRE.2014.6747212},
doi = {10.1109/CSMR-WCRE.2014.6747212},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/Heing-BeckerKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RinastSG14,
author = {Jonas Rinast and
Sibylle Schupp and
Dieter Gollmann},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Graph-Based Transformation Reduction to Reach {UPPAAL} States Faster},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {547--562},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_37},
doi = {10.1007/978-3-319-06410-9\_37},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/RinastSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/MaRSG14,
author = {Xintao Ma and
Jonas Rinast and
Sibylle Schupp and
Dieter Gollmann},
editor = {Volker Turau and
Marta Z. Kwiatkowska and
Rahul Mangharam and
Christoph Weyer},
title = {Evaluating On-line Model Checking in {UPPAAL-SMC} using a Laser Tracheotomy
Case Study},
booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
Germany, April 14, 2014},
series = {OASIcs},
volume = {36},
pages = {100--112},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.MCPS.2014.100},
doi = {10.4230/OASICS.MCPS.2014.100},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/mcps/MaRSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HaeriS14,
author = {Seyed H. Haeri and
Sibylle Schupp},
title = {Distributed Lazy Evaluation: {A} Big-Step Mechanised Semantics},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {751--755},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.43},
doi = {10.1109/PDP.2014.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/HaeriS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KurthSW14,
author = {Felix Kurth and
Sibylle Schupp and
Stephan Wei{\ss}leder},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Generating Test Data from a {UML} Activity Using the {AMPL} Interface
for Constraint Solvers},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {169--186},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_14},
doi = {10.1007/978-3-319-09099-3\_14},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/KurthSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/ToprakWS14,
author = {Sibel Toprak and
Arne Wichmann and
Sibylle Schupp},
editor = {Houari A. Sahraoui and
Andy Zaidman and
Bonita Sharif},
title = {Lightweight Structured Visualization of Assembler Control Flow Based
on Regular Expressions},
booktitle = {Second {IEEE} Working Conference on Software Visualization, {VISSOFT}
2014, Victoria, BC, Canada, September 29-30, 2014},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VISSOFT.2014.25},
doi = {10.1109/VISSOFT.2014.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vissoft/ToprakWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/TerasaS13,
author = {Clemens Terasa and
Sibylle Schupp},
editor = {Matthias Horbach},
title = {Annotation-Guided Soft-Error Injection},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {2592--2605},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20681},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/TerasaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/MattsenCS13,
author = {Sven Mattsen and
Pascal Cuoq and
Sibylle Schupp},
title = {Driving a sound static software analyzer with branch-and-bound},
booktitle = {13th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23,
2013},
pages = {63--68},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SCAM.2013.6648185},
doi = {10.1109/SCAM.2013.6648185},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/MattsenCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/KamphSSK13,
author = {Timo Kamph and
Peter Salden and
Sibylle Schupp and
Christian Kautz},
editor = {Andreas Spillner and
Horst Lichter},
title = {Just-In-Time Teaching f{\"{u}}r Software-Engineering},
booktitle = {Tagungsband des 13. Workshops "Software Engineering im Unterricht
der Hochschulen" 2013, Aachen, 28. Feb. - 1. M{\"{a}}rz 2013},
series = {{CEUR} Workshop Proceedings},
volume = {956},
pages = {9--15},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-956/S1\_Paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:12 +0100},
biburl = {https://dblp.org/rec/conf/seuh/KamphSSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/HaeriS13,
author = {Seyed H. Haeri and
Sibylle Schupp},
editor = {Walter Binder and
Eric Bodden and
Welf L{\"{o}}we},
title = {Reusable Components for Lightweight Mechanisation of Programming Languages},
booktitle = {Software Composition - 12th International Conference, SC@STAF 2013,
Budapest, Hungary, June 19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8088},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39614-4\_1},
doi = {10.1007/978-3-642-39614-4\_1},
timestamp = {Tue, 21 Mar 2023 20:59:44 +0100},
biburl = {https://dblp.org/rec/conf/soco/HaeriS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/RinastS12,
author = {Jonas Rinast and
Sibylle Schupp},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Static Detection of Zeno Runs in {UPPAAL} Networks Based on Synchronization
Matrices and Two Data-Variable Heuristics},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {220--235},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_16},
doi = {10.1007/978-3-642-33365-1\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/RinastS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HaeriSH12,
author = {Seyed H. Haeri and
Sibylle Schupp and
Jonathan J. H{\"{u}}ser},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Using functional languages to facilitate {C++} metaprogramming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {33--44},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364400},
doi = {10.1145/2364394.2364400},
timestamp = {Sat, 17 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HaeriSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/LinckeS12,
author = {Daniel Lincke and
Sibylle Schupp},
editor = {Anthony Sloane and
Suzana Andova},
title = {From {HOT} to {COOL:} transforming higher-order typed languages to
concept-constrained object-oriented languages},
booktitle = {International Workshop on Language Descriptions, Tools, and Applications,
{LDTA} '12, Tallinn, Estonia, March 31 - April 1, 2012},
pages = {3},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2427048.2427051},
doi = {10.1145/2427048.2427051},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/LinckeS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/BottaMIHLSJ11,
author = {Nicola Botta and
Antoine Mandel and
Cezar Ionescu and
Mareen Hofmann and
Daniel Lincke and
Sibylle Schupp and
Carlo Jaeger},
title = {A functional framework for agent-based models of exchange},
journal = {Appl. Math. Comput.},
volume = {218},
number = {8},
pages = {4025--4040},
year = {2011},
url = {https://doi.org/10.1016/j.amc.2011.08.051},
doi = {10.1016/J.AMC.2011.08.051},
timestamp = {Fri, 25 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/BottaMIHLSJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MunkbyS11,
author = {Gustav Munkby and
Sibylle Schupp},
title = {Automating exception-safety classification},
journal = {Sci. Comput. Program.},
volume = {76},
number = {4},
pages = {278--289},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2008.06.004},
doi = {10.1016/J.SCICO.2008.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MunkbyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/SchuppW11,
author = {Sibylle Schupp and
Andrew Walenstein},
title = {Guest editor's introduction to the special section on source code
analysis and manipulation},
journal = {Softw. Qual. J.},
volume = {19},
number = {2},
pages = {237--238},
year = {2011},
url = {https://doi.org/10.1007/s11219-011-9134-y},
doi = {10.1007/S11219-011-9134-Y},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sqj/SchuppW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BernardyJZS10,
author = {Jean{-}Philippe Bernardy and
Patrik Jansson and
Marcin Zalewski and
Sibylle Schupp},
title = {Generic programming with {C++} concepts and Haskell type classes -
a comparison},
journal = {J. Funct. Program.},
volume = {20},
number = {3-4},
pages = {271--302},
year = {2010},
url = {https://doi.org/10.1017/S095679681000016X},
doi = {10.1017/S095679681000016X},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BernardyJZS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/GarciaIS10,
author = {Miguel Garcia and
Anastasia Izmaylova and
Sibylle Schupp},
title = {Extending Scala with Database Query Capability},
journal = {J. Object Technol.},
volume = {9},
number = {4},
pages = {45--68},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.4.a3},
doi = {10.5381/JOT.2010.9.4.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/GarciaIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/ZalewskiS09,
author = {Marcin Zalewski and
Sibylle Schupp},
title = {A Semantic Definition of Separate Type Checking in {C++} with Concepts},
journal = {J. Object Technol.},
volume = {8},
number = {5},
pages = {105--132},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.5.a2},
doi = {10.5381/JOT.2009.8.5.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/ZalewskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LinckeS09,
author = {Daniel Lincke and
Sibylle Schupp},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {The function concept in {C++:} an empirical study},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {25--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596619},
doi = {10.1145/1596614.1596619},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/LinckeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MunkbyS09,
author = {Gustav Munkby and
Sibylle Schupp},
title = {Type Inference for Soft-Error Fault-Tolerance Prediction},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {65--75},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.61},
doi = {10.1109/ASE.2009.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MunkbyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009wgp,
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614},
doi = {10.1145/1596614},
isbn = {978-1-60558-510-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2009wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BernardyJZSP08,
author = {Jean{-}Philippe Bernardy and
Patrik Jansson and
Marcin Zalewski and
Sibylle Schupp and
Andreas P. Priesnitz},
editor = {Ralf Hinze and
Don Syme},
title = {A comparison of c++ concepts and haskell type classes},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {37--48},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411324},
doi = {10.1145/1411318.1411324},
timestamp = {Tue, 15 Feb 2022 13:05:32 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BernardyJZSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PriesnitzS07,
author = {Andreas P. Priesnitz and
Sibylle Schupp},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {A Pattern for Static Reflection on Fields - Sharing Internal Representations
in Indexed Family Containers},
booktitle = {{ICSOFT} 2007, Proceedings of the Second International Conference
on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona,
Spain, July 22-25, 2007},
pages = {30--37},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Tue, 24 Feb 2009 15:16:22 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/PriesnitzS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PriesnitzS07a,
author = {Andreas P. Priesnitz and
Sibylle Schupp},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert and
Leszek A. Maciaszek},
title = {Generic Components for Static Operations at Object Level},
booktitle = {Software and Data Technologies - Second International Conference,
{ICSOFT/ENASE} 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {22},
pages = {46--59},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88655-6\_4},
doi = {10.1007/978-3-540-88655-6\_4},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/PriesnitzS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GregorS06,
author = {Douglas P. Gregor and
Sibylle Schupp},
title = {STLlint: lifting static checking from languages to libraries},
journal = {Softw. Pract. Exp.},
volume = {36},
number = {3},
pages = {225--254},
year = {2006},
url = {https://doi.org/10.1002/spe.683},
doi = {10.1002/SPE.683},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GregorS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MunkbyPSZ06,
author = {Gustav Munkby and
Andreas P. Priesnitz and
Sibylle Schupp and
Marcin Zalewski},
editor = {Ralf Hinze},
title = {Scrap++: scrap your boilerplate in {C++}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {66--75},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159871},
doi = {10.1145/1159861.1159871},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MunkbyPSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/ZalewskiS06,
author = {Marcin Zalewski and
Sibylle Schupp},
title = {Change Impact Analysis for Generic Libraries},
booktitle = {22nd {IEEE} International Conference on Software Maintenance {(ICSM}
2006), 24-27 September 2006, Philadelphia, Pennsylvania, {USA}},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSM.2006.17},
doi = {10.1109/ICSM.2006.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/ZalewskiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BlochJMSS06,
author = {Josh Bloch and
Jaakko J{\"{a}}rvi and
David R. Musser and
Sibylle Schupp and
Jeremy G. Siek},
editor = {Peri L. Tarr and
William R. Cook},
title = {{LCSD:} library-centric software design},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {618},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176634},
doi = {10.1145/1176617.1176634},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BlochJMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/GregorJKLMS05,
author = {Douglas P. Gregor and
Jaakko J{\"{a}}rvi and
Mayuresh Kulkarni and
Andrew Lumsdaine and
David R. Musser and
Sibylle Schupp},
title = {Generic Programming and High-Performance Libraries},
journal = {Int. J. Parallel Program.},
volume = {33},
number = {2-3},
pages = {145--164},
year = {2005},
url = {https://doi.org/10.1007/s10766-005-3580-8},
doi = {10.1007/S10766-005-3580-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/GregorJKLMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/JarviLGKMS04,
author = {Jaakko J{\"{a}}rvi and
Andrew Lumsdaine and
Douglas P. Gregor and
Mayuresh Kulkarni and
David R. Musser and
Sibylle Schupp},
title = {Generic Programming and High-Performance Libraries},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303221},
doi = {10.1109/IPDPS.2004.1303221},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/JarviLGKMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/SchuppZR04,
author = {Sibylle Schupp and
Marcin Zalewski and
Kyle Ross},
editor = {Jozo J. Dujmovic and
Virg{\'{\i}}lio A. F. Almeida and
Doug Lea},
title = {Rapid performance prediction for library components},
booktitle = {Proceedings of the Fourth International Workshop on Software and Performance,
{WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
pages = {69--73},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/974044.974054},
doi = {10.1145/974044.974054},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/SchuppZR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/Schupp03,
author = {Sibylle Schupp},
title = {Lifting a butterfly - {A} component-based {FFT}},
journal = {Sci. Program.},
volume = {11},
number = {4},
pages = {291--307},
year = {2003},
url = {https://doi.org/10.1155/2003/918501},
doi = {10.1155/2003/918501},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/Schupp03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/GregorSM03,
author = {Douglas P. Gregor and
Sibylle Schupp and
David R. Musser},
title = {Design patterns for library optimization},
journal = {Sci. Program.},
volume = {11},
number = {4},
pages = {309--320},
year = {2003},
url = {https://doi.org/10.1155/2003/382319},
doi = {10.1155/2003/382319},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/GregorSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ZalewskiS03,
author = {Marcin Zalewski and
Sibylle Schupp},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {A Polymorphic Radix- n Framework for Fast Fourier Transforms},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {30--37},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_4},
doi = {10.1007/978-3-540-39866-0\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ZalewskiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SchuppGML02,
author = {Sibylle Schupp and
Douglas P. Gregor and
David R. Musser and
Shin{-}Ming Liu},
title = {Semantic and behavioral library transformations},
journal = {Inf. Softw. Technol.},
volume = {44},
number = {13},
pages = {797--810},
year = {2002},
url = {https://doi.org/10.1016/S0950-5849(02)00122-2},
doi = {10.1016/S0950-5849(02)00122-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SchuppGML02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/GregorS02,
author = {Douglas P. Gregor and
Sibylle Schupp},
editor = {Jeremy Gibbons and
Johan Jeuring},
title = {Making the Usage of {STL} Safe},
booktitle = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
Programming, July 11-12, 2002, Dagstuhl, Germany},
series = {{IFIP} Conference Proceedings},
volume = {243},
pages = {127--140},
publisher = {Kluwer},
year = {2002},
timestamp = {Wed, 30 Mar 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/GregorS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SchuppGOMSLL02,
author = {Sibylle Schupp and
Douglas P. Gregor and
B. Osman and
David R. Musser and
Jeremy G. Siek and
Lie{-}Quan Lee and
Andrew Lumsdaine},
title = {Concept-Based Component Libraries and Optimizing Compilers},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016576},
doi = {10.1109/IPDPS.2002.1016576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SchuppGOMSLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NishanovS01,
author = {Gor V. Nishanov and
Sibylle Schupp},
title = {A mostly-copying collector component for class templates},
journal = {Softw. Pract. Exp.},
volume = {31},
number = {5},
pages = {445--470},
year = {2001},
url = {https://doi.org/10.1002/spe.380},
doi = {10.1002/SPE.380},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/NishanovS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SchuppGML01,
author = {Sibylle Schupp and
Douglas P. Gregor and
David R. Musser and
Shin{-}Ming Liu},
editor = {Reinhard Wilhelm},
title = {User-Extensible Simplification - Type-Based Optimizer Generators},
booktitle = {Compiler Construction, 10th International Conference, {CC} 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 = {2027},
pages = {86--101},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7\_7},
doi = {10.1007/3-540-45306-7\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/SchuppGML01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcse/GregorSM01,
author = {Douglas P. Gregor and
Sibylle Schupp and
David R. Musser},
editor = {Jan Bosch},
title = {Base Class Injection},
booktitle = {Generative and Component-Based Software Engineering, Third International
Conference, {GCSE} 2001, Erfurt, Germany, September 9-13, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2186},
pages = {106--117},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44800-4\_10},
doi = {10.1007/3-540-44800-4\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/gcse/GregorSM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SchuppGM01,
author = {Sibylle Schupp and
Douglas P. Gregor and
David R. Musser},
title = {Library Transformations},
booktitle = {1st {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2001), 10 November 2001, Florence, Italy},
pages = {111--123},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/SCAM.2001.972672},
doi = {10.1109/SCAM.2001.972672},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/SchuppGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Schupp00,
author = {Sibylle Schupp},
title = {Lazy Lists in {C++}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {35},
number = {6},
pages = {47--54},
year = {2000},
url = {https://doi.org/10.1145/352029.352039},
doi = {10.1145/352029.352039},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Schupp00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MusserSL98,
author = {David R. Musser and
Sibylle Schupp and
R{\"{u}}diger Loos},
editor = {Mehdi Jazayeri and
R{\"{u}}diger Loos and
David R. Musser},
title = {Requirement Oriented Programming},
booktitle = {Generic Programming, International Seminar on Generic Programming,
Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1766},
pages = {12--24},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-39953-4\_2},
doi = {10.1007/3-540-39953-4\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MusserSL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchuppL98,
author = {Sibylle Schupp and
R{\"{u}}diger Loos},
editor = {Mehdi Jazayeri and
R{\"{u}}diger Loos and
David R. Musser},
title = {{SUCHTHAT} - Generic Programming Works},
booktitle = {Generic Programming, International Seminar on Generic Programming,
Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1766},
pages = {133--145},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-39953-4\_11},
doi = {10.1007/3-540-39953-4\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchuppL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/NishanovS98,
author = {Gor V. Nishanov and
Sibylle Schupp},
editor = {Simon L. Peyton Jones and
Richard E. Jones},
title = {Garbage Collection in Generic Libraries},
booktitle = {International Symposium on Memory Management, {ISMM} '98, Vancouver,
British Columbia, Canada, 17-19 October, 1998, Conference Proceedings},
pages = {86--96},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286860.286870},
doi = {10.1145/286860.286870},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/NishanovS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schupp96,
author = {Sibylle Schupp},
title = {Generic programming - {SUCHTHAT} one can build an algebraic library},
school = {University of T{\"{u}}bingen, Germany},
year = {1996},
url = {https://d-nb.info/948427655},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schupp96.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 02:49 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:
