default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephan Thesing
@article{DBLP:journals/tecs/WilhelmEEHTWBFHMMPPSS08,
author = {Reinhard Wilhelm and
Jakob Engblom and
Andreas Ermedahl and
Niklas Holsti and
Stephan Thesing and
David B. Whalley and
Guillem Bernat and
Christian Ferdinand and
Reinhold Heckmann and
Tulika Mitra and
Frank Mueller and
Isabelle Puaut and
Peter P. Puschner and
Jan Staschulat and
Per Stenstr{\"{o}}m},
title = {The worst-case execution-time problem - overview of methods and survey
of tools},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {3},
pages = {36:1--36:53},
year = {2008},
url = {https://doi.org/10.1145/1347375.1347389},
doi = {10.1145/1347375.1347389},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/WilhelmEEHTWBFHMMPPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerdinandMCSSTH06,
author = {Christian Ferdinand and
Florian Martin and
Christoph Cullmann and
Marc Schlickling and
Ingmar Stein and
Stephan Thesing and
Reinhold Heckmann},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {New Developments in {WCET} Analysis},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {12--52},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_2},
doi = {10.1007/978-3-540-71322-7\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerdinandMCSSTH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/EisingerPBMTW06,
author = {Jochen Eisinger and
Ilia Polian and
Bernd Becker and
Alexander Metzner and
Stephan Thesing and
Reinhard Wilhelm},
editor = {Matteo Sonza Reorda and
Ondrej Nov{\'{a}}k and
Bernd Straube and
Hana Kub{\'{a}}tov{\'{a}} and
Zdenek Kot{\'{a}}sek and
Pavel Kubal{\'{\i}}k and
Raimund Ubar and
Jir{\'{\i}} Bucek},
title = {Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case
Execution Time Analysis},
booktitle = {Proceedings of the 9th {IEEE} Workshop on Design {\&} Diagnostics
of Electronic Circuits {\&} Systems {(DDECS} 2006), Prague, Czech
Republic, April 18-21, 2006},
pages = {15--20},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DDECS.2006.1649563},
doi = {10.1109/DDECS.2006.1649563},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/EisingerPBMTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Thesing06,
author = {Stephan Thesing},
editor = {Sang Lyul Min and
Wang Yi},
title = {Modeling a system controller for timing analysis},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {292--300},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176929},
doi = {10.1145/1176887.1176929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Thesing06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ReinekeWTWPEB06,
author = {Jan Reineke and
Bj{\"{o}}rn Wachter and
Stephan Thesing and
Reinhard Wilhelm and
Ilia Polian and
Jochen Eisinger and
Bernd Becker},
editor = {Frank Mueller},
title = {A Definition and Classification of Timing Anomalies},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/671},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/ReinekeWTWPEB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Thesing2005,
author = {Stephan Thesing},
title = {Safe and precise {WCET} determination by abstract interpretation of
pipeline models},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2004},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2005/466/index.html},
urn = {urn:nbn:de:bsz:291-scidok-4664},
isbn = {3-937436-00-6},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Thesing2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RakibPTW04,
author = {Abdur Rakib and
Oleg Parshin and
Stephan Thesing and
Reinhard Wilhelm},
editor = {Farn Wang},
title = {Component-Wise Instruction-Cache Behavior Prediction},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {211--229},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_20},
doi = {10.1007/978-3-540-30476-0\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RakibPTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/HeckmannLTW03,
author = {Reinhold Heckmann and
Marc Langenbach and
Stephan Thesing and
Reinhard Wilhelm},
title = {The influence of processor architecture on the design and the results
of {WCET} tools},
journal = {Proc. {IEEE}},
volume = {91},
number = {7},
pages = {1038--1054},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2003.814618},
doi = {10.1109/JPROC.2003.814618},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/HeckmannLTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ThesingSHRLWF03,
author = {Stephan Thesing and
Jean Souyris and
Reinhold Heckmann and
Famantanantsoa Randimbivololona and
Marc Langenbach and
Reinhard Wilhelm and
Christian Ferdinand},
title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time
Avionics Software},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {625--632},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209972},
doi = {10.1109/DSN.2003.1209972},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ThesingSHRLWF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/FerdinandKMLSWHFTFTSEW03,
author = {Christian Ferdinand and
Daniel K{\"{a}}stner and
Florian Martin and
Marc Langenbach and
Martin Sicks and
Stephan Wilhelm and
Reinhold Heckmann and
Nicolas Fritz and
Stephan Thesing and
Frank Fontaine and
Henrik Theiling and
Michael Schmidt and
Alexander A. Evstiougov{-}Babaev and
Reinhard Wilhelm},
editor = {Klaus R. Dittrich and
Wolfgang K{\"{o}}nig and
Andreas Oberweis and
Kai Rannenberg and
Wolfgang Wahlster},
title = {Validierung des Zeitverhaltens von kritischer Echtzeit-Software},
booktitle = {33. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Innovative
Informatikanwendungen, {INFORMATIK} 2003, Frankfurt am Main, Germany,
September 29 - October 2, 2003, Band 1},
series = {{LNI}},
volume = {{P-34}},
pages = {335--339},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29793},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/FerdinandKMLSWHFTFTSEW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/WilhelmETW03,
author = {Reinhard Wilhelm and
Jakob Engblom and
Stephan Thesing and
David B. Whalley},
editor = {Jan Gustafsson},
title = {Industrial Requirements for {WCET} Tools - Answers to the {ARTIST}
Questionnaire},
booktitle = {Proceedings of the 3rd International Workshop on Worst-Case Execution
Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
Institute of Porto, Portugal, July 1, 2003},
volume = {{MDH-MRTC-116/2003-1-SE}},
pages = {39--43},
publisher = {Department of Computer Science and Engineering, M{\"{a}}lardalen
University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
year = {2003},
timestamp = {Tue, 19 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/WilhelmETW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LangenbachTH02,
author = {Marc Langenbach and
Stephan Thesing and
Reinhold Heckmann},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Pipeline Modeling for Timing Analysis},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {294--309},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_22},
doi = {10.1007/3-540-45789-5\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LangenbachTH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FerdinandHLMSTTW01,
author = {Christian Ferdinand and
Reinhold Heckmann and
Marc Langenbach and
Florian Martin and
Michael Schmidt and
Henrik Theiling and
Stephan Thesing and
Reinhard Wilhelm},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Reliable and Precise {WCET} Determination for a Real-Life Processor},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {469--485},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_32},
doi = {10.1007/3-540-45449-7\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/FerdinandHLMSTTW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/ButowGOT99,
author = {Bernd B{\"{u}}tow and
Robert Giegerich and
Enno Ohlebusch and
Stephan Thesing},
title = {Semantic Matching for Left-Linear Convergent Rewrite Systems},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {11},
year = {1999},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-11/A99-11.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/ButowGOT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KastnerT99,
author = {Daniel K{\"{a}}stner and
Stephan Thesing},
title = {Cache Aware Pre-Runtime Scheduling},
journal = {Real Time Syst.},
volume = {17},
number = {2-3},
pages = {235--256},
year = {1999},
url = {https://doi.org/10.1023/A:1008142508047},
doi = {10.1023/A:1008142508047},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KastnerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/FerdinandKLMSSTTW99,
author = {Christian Ferdinand and
Daniel K{\"{a}}stner and
Marc Langenbach and
Florian Martin and
Michael Schmidt and
J{\"{o}}rn Schneider and
Henrik Theiling and
Stephan Thesing and
Reinhard Wilhelm},
editor = {Kurt Beiersd{\"{o}}rfer and
Gregor Engels and
Wilhelm Sch{\"{a}}fer},
title = {Run-Time Guarantees for Real-Time Systems - The {USES} Approach},
booktitle = {Informatik '99 - Informatik {\"{u}}berwindet Grenzen, 29. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Paderborn, 5.-9. Oktober
1999},
series = {Informatik Aktuell},
pages = {410--419},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-662-01069-3\_60},
doi = {10.1007/978-3-662-01069-3\_60},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/FerdinandKLMSSTTW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/KastnerT98,
author = {Daniel K{\"{a}}stner and
Stephan Thesing},
editor = {Frank Mueller and
Azer Bestavros},
title = {Cache-Sensitive Pre-runtime Scheduling},
booktitle = {Languages, Compilers, and Tools for Embedded Systems, {ACM} {SIGPLAN}
Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1474},
pages = {131--145},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057786},
doi = {10.1007/BFB0057786},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/KastnerT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ButowGOT95,
author = {Bernd B{\"{u}}tow and
Robert Giegerich and
Enno Ohlebusch and
Stephan Thesing},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {A New Strategy for Semantic Matching},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {81--96},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026815},
doi = {10.1007/BFB0026815},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/ButowGOT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22: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:
