Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas S. Heinze
@inproceedings{DBLP:conf/icse/SonnekalbKGBHKSM23,
author = {Tim Sonnekalb and
Christopher{-}Tobias Knaust and
Bernd Gruner and
Clemens{-}Alexander Brust and
Thomas S. Heinze and
Lynn von Kurnatowski and
Andreas Schreiber and
Patrick M{\"{a}}der},
title = {A Static Analysis Platform for Investigating Security Trends in Repositories},
booktitle = {1st {IEEE/ACM} International Workshop on Software Vulnerability, SVM@ICSE
2023, Melbourne, Australia, May 20, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SVM59160.2023.00005},
doi = {10.1109/SVM59160.2023.00005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SonnekalbKGBHKSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsc/SchaferAH23,
author = {Andr{\'{e}} Sch{\"{a}}fer and
Wolfram Amme and
Thomas S. Heinze},
title = {StoneDetector: Structural and Sub-Clone Detection},
booktitle = {17th {IEEE} International Workshop on Software Clones, {IWSC} 2023,
Bogot{\'{a}}, Colombia, October 1, 2023},
pages = {33--36},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IWSC60764.2023.00013},
doi = {10.1109/IWSC60764.2023.00013},
timestamp = {Fri, 29 Mar 2024 23:01:32 +0100},
biburl = {https://dblp.org/rec/conf/iwsc/SchaferAH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsc/SchaferHA23,
author = {Andr{\'{e}} Sch{\"{a}}fer and
Thomas S. Heinze and
Wolfram Amme},
title = {Finding Source Code Clones in Intermediate Representations of Java
Bytecode},
booktitle = {17th {IEEE} International Workshop on Software Clones, {IWSC} 2023,
Bogot{\'{a}}, Colombia, October 1, 2023},
pages = {37--43},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IWSC60764.2023.00014},
doi = {10.1109/IWSC60764.2023.00014},
timestamp = {Fri, 29 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsc/SchaferHA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/GrunerSHB23,
author = {Bernd Gruner and
Tim Sonnekalb and
Thomas S. Heinze and
Clemens{-}Alexander Brust},
title = {Cross-Domain Evaluation of a Deep Learning-Based Type Inference System},
booktitle = {20th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {158--169},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MSR59073.2023.00034},
doi = {10.1109/MSR59073.2023.00034},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/GrunerSHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-01725,
author = {Tim Sonnekalb and
Christopher{-}Tobias Knaust and
Bernd Gruner and
Clemens{-}Alexander Brust and
Lynn von Kurnatowski and
Andreas Schreiber and
Thomas S. Heinze and
Patrick M{\"{a}}der},
title = {A Static Analysis Platform for Investigating Security Trends in Repositories},
journal = {CoRR},
volume = {abs/2304.01725},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.01725},
doi = {10.48550/ARXIV.2304.01725},
eprinttype = {arXiv},
eprint = {2304.01725},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-01725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/SonnekalbHM22,
author = {Tim Sonnekalb and
Thomas S. Heinze and
Patrick M{\"{a}}der},
title = {Deep security analysis of program code},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {1},
pages = {2},
year = {2022},
url = {https://doi.org/10.1007/s10664-021-10029-x},
doi = {10.1007/S10664-021-10029-X},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/SonnekalbHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsc/SchaferAH22,
author = {Andr{\'{e}} Sch{\"{a}}fer and
Wolfram Amme and
Thomas S. Heinze},
title = {Experiments on Code Clone Detection and Machine Learning},
booktitle = {16th {IEEE} International Workshop on Software Clones, {IWSC} 2022,
Limassol, Cyprus, October 2, 2022},
pages = {46--52},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IWSC55060.2022.00016},
doi = {10.1109/IWSC55060.2022.00016},
timestamp = {Mon, 09 Jan 2023 17:13:16 +0100},
biburl = {https://dblp.org/rec/conf/iwsc/SchaferAH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/TurkerVH22,
author = {Jasmin T{\"{u}}rker and
Michael V{\"{o}}lske and
Thomas S. Heinze},
editor = {Johannes Manner and
Daniel L{\"{u}}bke and
Stephan Haarmann and
Stefan Kolb and
Nico Herzberg and
Oliver Kopp},
title = {{BPMN} in the Wild: {A} Reprise},
booktitle = {Proceedings of the 14th Central European Workshop on Services and
their Composition {(ZEUS} 2022), Bamberg, Germany, February 24-25,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3113},
pages = {68--75},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3113/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/TurkerVH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-09189,
author = {Bernd Gruner and
Tim Sonnekalb and
Thomas S. Heinze and
Clemens{-}Alexander Brust},
title = {Cross-Domain Evaluation of a Deep Learning-Based Type Inference System},
journal = {CoRR},
volume = {abs/2208.09189},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.09189},
doi = {10.48550/ARXIV.2208.09189},
eprinttype = {arXiv},
eprint = {2208.09189},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-09189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/ScheidweilerSAH21,
author = {Nils Scheidweiler and
Andr{\'{e}} Sch{\"{a}}fer and
Wolfram Amme and
Thomas S. Heinze},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {U sing Clone Detection for Finding Signatures of Malware Families:
{A} Case Study on FinSpy},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {269--274},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00063},
doi = {10.1109/ACSOS-C52956.2021.00063},
timestamp = {Tue, 30 Nov 2021 17:31:23 +0100},
biburl = {https://dblp.org/rec/conf/acsos/ScheidweilerSAH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/AmmeHS21,
author = {Wolfram Amme and
Thomas S. Heinze and
Andr{\'{e}} Sch{\"{a}}fer},
title = {You Look so Different: Finding Structural Clones and Subclones in
Java Source Code},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2021, Luxembourg, September 27 - October 1, 2021},
pages = {70--80},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSME52107.2021.00013},
doi = {10.1109/ICSME52107.2021.00013},
timestamp = {Mon, 29 Nov 2021 16:15:48 +0100},
biburl = {https://dblp.org/rec/conf/icsm/AmmeHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipaw/SchreiberSHKGP21,
author = {Andreas Schreiber and
Tim Sonnekalb and
Thomas S. Heinze and
Lynn von Kurnatowski and
Jes{\'{u}}s M. Gonz{\'{a}}lez{-}Barahona and
Heather S. Packer},
editor = {Boris Glavic and
Vanessa Braganholo and
David Koop},
title = {Provenance-Based Security Audits and Its Application to {COVID-19}
Contact Tracing Apps},
booktitle = {Provenance and Annotation of Data and Processes - 8th and 9th International
Provenance and Annotation Workshop, {IPAW} 2020 + {IPAW} 2021, Virtual
Event, July 19-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12839},
pages = {88--105},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80960-7\_6},
doi = {10.1007/978-3-030-80960-7\_6},
timestamp = {Wed, 21 Jul 2021 15:51:06 +0200},
biburl = {https://dblp.org/rec/conf/ipaw/SchreiberSHKGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsc/SchaferAH21,
author = {Andr{\'{e}} Sch{\"{a}}fer and
Wolfram Amme and
Thomas S. Heinze},
title = {{\textgreater}Stubber: Compiling Source Code into Bytecode without
Dependencies for Java Code Clone Detection},
booktitle = {15th {IEEE} International Workshop on Software Clones, {IWSC} 2021,
Luxembourg, October 2, 2021},
pages = {29--35},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IWSC53727.2021.00011},
doi = {10.1109/IWSC53727.2021.00011},
timestamp = {Fri, 28 Jan 2022 16:21:26 +0100},
biburl = {https://dblp.org/rec/conf/iwsc/SchaferAH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAS21,
author = {Thomas S. Heinze and
Wolfram Amme and
Andr{\'{e}} Sch{\"{a}}fer},
editor = {Johannes Manner and
Stephan Haarmann and
Stefan Kolb and
Nico Herzberg and
Oliver Kopp},
title = {Detecting Semantic Business Process Model Clones},
booktitle = {Proceedings of the 13th European Workshop on Services and their Composition
{(ZEUS} 2021), Bamberg, Germany, February 25-26, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2839},
pages = {25--28},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2839/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/SonnekalbHM20,
author = {Tim Sonnekalb and
Thomas S. Heinze and
Patrick M{\"{a}}der},
title = {Erste {\"{U}}berlegungen zur Erkl{\"{a}}rbarkeit von Deep-Learning-Modellen
f{\"{u}}r die Analyse von Quellcode},
journal = {Softwaretechnik-Trends},
volume = {40},
number = {2},
pages = {39--40},
year = {2020},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_40\_Heft\_2/WSRE2020\_18\_Sonnekalb.pdf},
timestamp = {Tue, 12 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/SonnekalbHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/SchaferAH20,
author = {Andr{\'{e}} Sch{\"{a}}fer and
Wolfram Amme and
Thomas S. Heinze},
title = {Detection of Similar Functions Through the Use of Dominator Information},
booktitle = {2020 {IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Companion Volume, Washington, DC, USA, August
17-21, 2020},
pages = {206--211},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS-C51401.2020.00057},
doi = {10.1109/ACSOS-C51401.2020.00057},
timestamp = {Fri, 23 Oct 2020 15:40:34 +0200},
biburl = {https://dblp.org/rec/conf/acsos/SchaferAH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/HeinzeSA20,
author = {Thomas S. Heinze and
Viktor Stefanko and
Wolfram Amme},
editor = {Selmin Nurcan and
Iris Reinhartz{-}Berger and
Pnina Soffer and
Jelena Zdravkovic},
title = {Mining {BPMN} Processes on GitHub for Tool Validation and Development},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 21st
International Conference, {BPMDS} 2020, 25th International Conference,
{EMMSAD} 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {387},
pages = {193--208},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49418-6\_13},
doi = {10.1007/978-3-030-49418-6\_13},
timestamp = {Tue, 02 Jun 2020 17:44:39 +0200},
biburl = {https://dblp.org/rec/conf/caise/HeinzeSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GentschKH20,
author = {Christoph Gentsch and
Rohan Krishnamurthy and
Thomas S. Heinze},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Benchmarking Open-Source Static Analyzers for Security Testing for
{C}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {182--198},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_13},
doi = {10.1007/978-3-030-83723-5\_13},
timestamp = {Mon, 09 Aug 2021 09:09:23 +0200},
biburl = {https://dblp.org/rec/conf/isola/GentschKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeSA20,
author = {Thomas S. Heinze and
Viktor Stefanko and
Wolfram Amme},
editor = {Johannes Manner and
Stephan Haarmann and
Stefan Kolb and
Oliver Kopp},
title = {{BPMN} in the Wild: {BPMN} on GitHub.com},
booktitle = {Proceedings of the 12th {ZEUS} Workshop on Services and their Composition,
Potsdam, Germany, February 20-21, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2575},
pages = {26--29},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2575/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KrishnarnurthyH19,
author = {Rohan Krishnamurthy and
Thomas S. Heinze and
Carina Haupt and
Andreas Schreiber and
Michael Meinel},
editor = {Yvonne Dittrich and
Fabian Fagerholm and
Rashina Hoda and
David Socha and
Igor Steinmacher},
title = {Scientific developers v/s static analysis tools: vision and position
paper},
booktitle = {Proceedings of the 12th International Workshop on Cooperative and
Human Aspects of Software Engineering, CHASE@ICSE 2019, Montr{\'{e}}al,
QC, Canada, 27 May 2019},
pages = {89--90},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/CHASE.2019.00029},
doi = {10.1109/CHASE.2019.00029},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KrishnarnurthyH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/TurkerH19,
author = {Jasmin T{\"{u}}rker and
Thomas S. Heinze},
editor = {Stefan Kolb and
Christian Sturm},
title = {{PANIC} - Plugging Data Leak Detection into the Camunda Modeler (short
paper)},
booktitle = {Proceedings of the 11th Central European Workshop on Services and
their Composition, Bayreuth, Germany, February 14-15, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2339},
pages = {32--34},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2339/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/TurkerH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/PetersH19,
author = {Diana Peters and
Thomas S. Heinze},
editor = {Stefan Kolb and
Christian Sturm},
title = {Security Challenges of Cloud Manufacturing: {A} Case Study in the
Aerospace Domain (short paper)},
booktitle = {Proceedings of the 11th Central European Workshop on Services and
their Composition, Bayreuth, Germany, February 14-15, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2339},
pages = {58--61},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2339/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/PetersH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HeinzeAM18,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
title = {Static analysis and process model transformation for an advanced business
process to Petri net mapping},
journal = {Softw. Pract. Exp.},
volume = {48},
number = {1},
pages = {161--195},
year = {2018},
url = {https://doi.org/10.1002/spe.2523},
doi = {10.1002/SPE.2523},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HeinzeAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/HeinzeT18,
author = {Thomas S. Heinze and
Jasmin T{\"{u}}rker},
title = {Certified Information Flow Analysis of Service Implementations},
booktitle = {11th {IEEE} Conference on Service-Oriented Computing and Applications,
{SOCA} 2018, Paris, France, November 20-22, 2018},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SOCA.2018.00033},
doi = {10.1109/SOCA.2018.00033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/HeinzeT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Heinze18,
author = {Thomas S. Heinze},
editor = {Nico Herzberg and
Christoph Hochreiner and
Oliver Kopp and
J{\"{o}}rg Lenhard},
title = {Schritte zu einer zertifizierten Informationsflussanalyse von Gesch{\"{a}}ftsprozessen
(Towards a Certified Information Flow Analysis for Business Processes)},
booktitle = {Proceedings of the 10th Central European Workshop on Services and
their Composition, Dresden, Germany, February 8-9, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2072},
pages = {24--31},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2072/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/Heinze18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Heinze17,
author = {Thomas S. Heinze},
editor = {Oliver Kopp and
J{\"{o}}rg Lenhard and
Cesare Pautasso},
title = {Towards Certified Data Flow Analysis of Business Processes},
booktitle = {Proceedings of the 9th Central European Workshop on Services and their
Composition {(ZEUS} 2017), Lugano, Switzerland, February 13-14, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1826},
pages = {1--3},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1826/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/Heinze17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/HeinzeMS16,
author = {Thomas S. Heinze and
Anders M{\o}ller and
Fabio Strocco},
editor = {Roberto Ierusalimschy},
title = {Type safety analysis for Dart},
booktitle = {Proceedings of the 12th Symposium on Dynamic Languages, {DLS} 2016,
Amsterdam, The Netherlands, November 1, 2016},
pages = {1--12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2989225.2989226},
doi = {10.1145/2989225.2989226},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/HeinzeMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HeinzeA16,
author = {Thomas S. Heinze and
Wolfram Amme},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Sparse Analysis of Variable Path Predicates Based upon SSA-Form},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {227--242},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_16},
doi = {10.1007/978-3-319-47166-2\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HeinzeA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2015,
editor = {Thomas S. Heinze and
Thomas M. Prinz},
title = {Proceedings of the 7th Central European Workshop on Services and their
Composition, {ZEUS} 2015, Jena, Germany, February 19-20, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1360},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1360},
urn = {urn:nbn:de:0074-1360-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/UlbrichtAHMW14,
author = {Stephan Ulbricht and
Wolfram Amme and
Thomas S. Heinze and
Simon Moser and
Hans{-}Dieter Wehle},
editor = {Markus Helfert and
Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Frank Leymann and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {Portable Green Cloud Services},
booktitle = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
2014},
pages = {53--59},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004787300530059},
doi = {10.5220/0004787300530059},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/UlbrichtAHMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/HeinzeAM14,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
title = {Compiling More Precise Petri Net Models for an Improved Verification
of Service Implementations},
booktitle = {7th {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SOCA.2014.8},
doi = {10.1109/SOCA.2014.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/HeinzeAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM14,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Nico Herzberg and
Matthias Kunze},
title = {Message Assertions and Predicate-Based Control-Flow Unfolding Revisited},
booktitle = {Proceedings of the 6th Central-European Workshop on Services and their
Composition, {ZEUS} 2014, Potsdam, Germany, February 20-21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1140},
pages = {17--20},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1140/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Heinze13,
author = {Thomas S. Heinze},
title = {Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung
zur Pr{\"{a}}zisierung petrinetzbasierter Verifikationsmodelle},
school = {Friedrich Schiller University of Jena},
year = {2013},
url = {https://d-nb.info/104689952X},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Heinze13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM13,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Oliver Kopp and
Niels Lohmann},
title = {Control Flow Unfolding of Workflow Graphs Using Predicate Analysis
and {SMT} Solving},
booktitle = {Proceedings of the 5\({}^{\mbox{th}}\) Central-European Workshop on
Services and their Composition, Rostock, Germany, February 21-22,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1029},
pages = {1--8},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1029/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAMG12,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser and
Kai Gebhardt},
editor = {Andreas Sch{\"{o}}nberger and
Oliver Kopp and
Niels Lohmann},
title = {Guided Control Flow Unfolding for Workflow Graphs Using Value Range
Information},
booktitle = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
Services and their Composition, ZEUS-2012, Bamberg, Germany, February
23-24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {847},
pages = {128--135},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-847/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM11,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Daniel Eichhorn and
Agnes Koschmider and
Huayu Zhang},
title = {Effiziente Absch{\"{a}}tzung von Datenflussfehlern in strukturierten
Gesch{\"{a}}ftsprozessen},
booktitle = {3rd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
2011. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {705},
pages = {73--80},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-705/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HeinzeAM10,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {E. Michael Maximilien and
Gustavo Rossi and
Soe{-}Tsyr Yuan and
Heiko Ludwig and
Marcelo Fantinato},
title = {Process Restructuring in the Presence of Message-Dependent Variables},
booktitle = {Service-Oriented Computing - {ICSOC} 2010 International Workshops,
PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6568},
pages = {121--132},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19394-1\_13},
doi = {10.1007/978-3-642-19394-1\_13},
timestamp = {Sun, 02 Jun 2019 21:20:24 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/HeinzeAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CichosH10,
author = {Harald Cichos and
Thomas S. Heinze},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {244--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_24},
doi = {10.1007/978-3-642-21210-9\_24},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/CichosH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM10,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Christian Gierds and
Jan S{\"{u}}rmeli},
title = {Prozessumstrukturierung unter Ber{\"{u}}cksichtigung von Nachrichteninhalten},
booktitle = {2nd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
2010. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {563},
pages = {89--96},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-563/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeinzeAM09,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Umeshwar Dayal and
Johann Eder and
Jana Koehler and
Hajo A. Reijers},
title = {A Restructuring Method for {WS-BPEL} Business Processes Based on Extended
Workflow Graphs},
booktitle = {Business Process Management, 7th International Conference, {BPM} 2009,
Ulm, Germany, September 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5701},
pages = {211--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03848-8\_15},
doi = {10.1007/978-3-642-03848-8\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeinzeAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM09,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Oliver Kopp and
Niels Lohmann},
title = {Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens},
booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {438},
pages = {88--94},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-438/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/HeinzeAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/AmmeHR08,
author = {Wolfram Amme and
Thomas S. Heinze and
Jeffery von Ronne},
title = {Intermediate Representations of Mobile Code},
journal = {Informatica (Slovenia)},
volume = {32},
number = {1},
pages = {1--25},
year = {2008},
url = {http://www.informatica.si/index.php/informatica/article/view/173},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/AmmeHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/HeinzeAM08,
author = {Thomas S. Heinze and
Wolfram Amme and
Simon Moser},
editor = {Abdelhamid Mellouk and
Jun Bi and
Guadalupe Ortiz and
Dickson K. W. Chiu and
Manuela Popescu},
title = {Generic CSSA-Based Pattern over Boolean Data for an Improved {WS-BPEL}
to Petri Net Mappping},
booktitle = {Third International Conference on Internet and Web Applications and
Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
pages = {590--595},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIW.2008.14},
doi = {10.1109/ICIW.2008.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/HeinzeAM08.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 01:54 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:
