Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Reinhard Wilhelm
@inproceedings{DBLP:conf/sas/KastnerWF23,
author = {Daniel K{\"{a}}stner and
Reinhard Wilhelm and
Christian Ferdinand},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Abstract Interpretation in Industry - Experience and Lessons Learned},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {10--27},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_2},
doi = {10.1007/978-3-031-44245-2\_2},
timestamp = {Wed, 08 Nov 2023 08:45:55 +0100},
biburl = {https://dblp.org/rec/conf/sas/KastnerWF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/x/W2022,
author = {Reinhard Wilhelm},
title = {Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten
eines Informatikers von geringem Verstande},
publisher = {Amazon / Via tolino media},
year = {2022},
url = {https://www.amazon.de/dp/B09ZVJQ6ZR},
isbn = {9783754675946},
timestamp = {Fri, 06 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/x/W2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Wilhelm22,
author = {Reinhard Wilhelm},
title = {Principles of Abstract Interpretation: \emph{By Patrick Cousot} {MIT}
Press, 2021, {ISBN} 9780262044905, pp. 1-819. Reviewed by Reinhard
Wilhelm},
journal = {Formal Aspects Comput.},
volume = {34},
number = {2},
pages = {1--3},
year = {2022},
url = {https://doi.org/10.1145/3546953},
doi = {10.1145/3546953},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/Wilhelm22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Wilhelm21,
author = {Reinhard Wilhelm},
title = {Foundations of programming languages},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {1279--1280},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00561-4},
doi = {10.1007/S00165-021-00561-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Wilhelm21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Wilhelm0GK21,
author = {Reinhard Wilhelm and
Markus Pister and
Gernot Gebhard and
Daniel K{\"{a}}stner},
editor = {Jian{-}Jia Chen},
title = {Testing Implementation Soundness of a {WCET} Analysis Tool},
booktitle = {A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated
to Peter Marwedel on the Occasion of His 70th Birthday},
pages = {5--17},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-47487-4\_2},
doi = {10.1007/978-3-030-47487-4\_2},
timestamp = {Fri, 14 May 2021 08:34:22 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Wilhelm0GK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm21,
author = {Reinhard Wilhelm},
title = {Software und das 8. Gebot - Glosse},
journal = {Inform. Spektrum},
volume = {44},
number = {1},
pages = {67--68},
year = {2021},
url = {https://doi.org/10.1007/s00287-021-01331-5},
doi = {10.1007/S00287-021-01331-5},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm21a,
author = {Reinhard Wilhelm},
title = {Verifizierter Interessenskonflikt - Glosse},
journal = {Inform. Spektrum},
volume = {44},
number = {2},
pages = {136--137},
year = {2021},
url = {https://doi.org/10.1007/s00287-021-01344-0},
doi = {10.1007/S00287-021-01344-0},
timestamp = {Sat, 18 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21,
author = {Reinhard Wilhelm},
title = {Kreisl{\"{a}}ufe des Lebens},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/kreislaeufe-des-lebens/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21a,
author = {Reinhard Wilhelm},
title = {Das Gl{\"{u}}ck, Heribert zu hei{\ss}en},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/das-glueck-heribert-zu-heissen/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21b,
author = {Reinhard Wilhelm},
title = {Den Kontrolleur kontrollieren},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/den-kontrolleur-kontrollieren/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21c,
author = {Reinhard Wilhelm},
title = {TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/technoking-elon-musk-und-risikomaximierter-minister-andi-scheuer/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21d,
author = {Reinhard Wilhelm},
title = {Geadeltes Gem{\"{u}}se},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/geadeltes-gemuese/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21e,
author = {Reinhard Wilhelm},
title = {Fucking Bitche},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/fucking-bitche/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21f,
author = {Reinhard Wilhelm},
title = {Das kleine und das gro{\ss}e Gesch{\"{a}}ft bei Amazon},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/das-kleine-und-das-grosse-geschaeft-bei-amazon/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21g,
author = {Reinhard Wilhelm},
title = {Graduelle Mitgliedschaft},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/graduelle-mitgliedschaft/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21h,
author = {Reinhard Wilhelm},
title = {Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist sch{\"{o}}n!},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/eine-bahnfahrt-die-ist-lustig-eine-bahnfahrt-die-ist-schoen/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21i,
author = {Reinhard Wilhelm},
title = {Standardisierung und Kommunikation},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/standardisierung-und-kommunikation/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21j,
author = {Reinhard Wilhelm},
title = {Open Access to the University Cash Box},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/open-access-to-the-university-cash-box/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21j.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21k,
author = {Reinhard Wilhelm},
title = {Taliban in Wikipedia},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/taliban-in-wikipedia/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21k.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21l,
author = {Reinhard Wilhelm},
title = {Weiche oder harte Wegbiegung},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/weiche-oder-harte-wegbiegung/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21l.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21m,
author = {Reinhard Wilhelm},
title = {Die Automatisierung nachgeordneter Prozesse},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/die-automatisierung-nachgeordneter-prozesse/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21m.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21n,
author = {Reinhard Wilhelm},
title = {Der Niedergang des Schlapph{\"{u}}tefilms},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/einsichten-eines-informatikers-von-geringem-verstande/der-niedergang-des-schlapphuetefilms/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21n.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neeivgv/Wilhelm21o,
author = {Reinhard Wilhelm},
title = {Trekking oder Tracking, das ist hier die Frage},
journal = {Neue Einsichten eines Informatikers von geringem Verstande},
volume = {2021},
year = {2021},
url = {https://krass-und-konkret.de/autorenblogs/trekking-oder-tracking-das-ist-hier-die-frage/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neeivgv/Wilhelm21o.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/20/W2020,
author = {Reinhard Wilhelm},
title = {Einsichten eines Informatikers von geringem Verstande - Glossen aus
dem Informatik Spektrum},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-658-28386-5},
doi = {10.1007/978-3-658-28386-5},
isbn = {978-3-658-28385-8},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/W2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wilhelm20,
author = {Reinhard Wilhelm},
title = {Real time spent on real time},
journal = {Commun. {ACM}},
volume = {63},
number = {10},
pages = {54--60},
year = {2020},
url = {https://doi.org/10.1145/3375545},
doi = {10.1145/3375545},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Wilhelm20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/Wilhelm20,
author = {Reinhard Wilhelm},
title = {Determining Reliable and Precise Execution Time Bounds of Real-Time
Software},
journal = {{IT} Prof.},
volume = {22},
number = {3},
pages = {64--69},
year = {2020},
url = {https://doi.org/10.1109/MITP.2020.2972138},
doi = {10.1109/MITP.2020.2972138},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/Wilhelm20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Wilhelm20,
author = {Reinhard Wilhelm},
title = {Real Time Spent on Real Time},
booktitle = {41st {IEEE} Real-Time Systems Symposium, {RTSS} 2020, Houston, TX,
USA, December 1-4, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RTSS49844.2020.00011},
doi = {10.1109/RTSS49844.2020.00011},
timestamp = {Tue, 02 Mar 2021 14:35:33 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Wilhelm20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20,
author = {Reinhard Wilhelm},
title = {Geladen bis zum Limit - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {6},
pages = {453--454},
year = {2020},
url = {https://doi.org/10.1007/s00287-019-01225-7},
doi = {10.1007/S00287-019-01225-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20a,
author = {Reinhard Wilhelm},
title = {B{\"{a}}r, Bulle, Dachs und Co - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {1},
pages = {63--64},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01235-w},
doi = {10.1007/S00287-020-01235-W},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20b,
author = {Reinhard Wilhelm},
title = {Google, {\"{u}}bersetze! - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {2},
pages = {164--165},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01254-7},
doi = {10.1007/S00287-020-01254-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20c,
author = {Reinhard Wilhelm},
title = {Die Bahn gew{\"{a}}hrt eine Freifahrt - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {3},
pages = {232--233},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01255-6},
doi = {10.1007/S00287-020-01255-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20d,
author = {Reinhard Wilhelm},
title = {Daten- und Personenpfade - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {4},
pages = {308--309},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01278-z},
doi = {10.1007/S00287-020-01278-Z},
timestamp = {Mon, 07 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20e,
author = {Reinhard Wilhelm},
title = {Die Seuche am Hals - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {5},
pages = {356--357},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01290-3},
doi = {10.1007/S00287-020-01290-3},
timestamp = {Mon, 07 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm20f,
author = {Reinhard Wilhelm},
title = {Tiefes Leid und enorme Gro{\ss}z{\"{u}}gigkeit - Glosse},
journal = {Inform. Spektrum},
volume = {43},
number = {6},
pages = {444--445},
year = {2020},
url = {https://doi.org/10.1007/s00287-020-01315-x},
doi = {10.1007/S00287-020-01315-X},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm20f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/HerterKMW19,
author = {J{\"{o}}rg Herter and
Daniel K{\"{a}}stner and
Christoph Mallon and
Reinhard Wilhelm},
title = {Benchmarking static code analyzers},
journal = {Reliab. Eng. Syst. Saf.},
volume = {188},
pages = {336--346},
year = {2019},
url = {https://doi.org/10.1016/j.ress.2019.03.031},
doi = {10.1016/J.RESS.2019.03.031},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/HerterKMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/ClausJW19,
author = {Volker Claus and
Stefan J{\"{a}}hnichen and
Reinhard Wilhelm},
editor = {Klaus David and
Kurt Geihs and
Martin Lange and
Gerd Stumme},
title = {{GI} 50 - und wie geht es weiter?},
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 = {25},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/inf2019\_03},
doi = {10.18420/INF2019\_03},
timestamp = {Tue, 04 Jul 2023 17:43:40 +0200},
biburl = {https://dblp.org/rec/conf/gi/ClausJW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/X19,
author = {Reinhard Wilhelm},
title = {Der rollende Fortschritt - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {1},
pages = {67},
year = {2019},
url = {https://doi.org/10.1007/s00287-019-01146-5},
doi = {10.1007/S00287-019-01146-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/X19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm19,
author = {Reinhard Wilhelm},
title = {Autonom gefahren - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {2},
pages = {148},
year = {2019},
url = {https://doi.org/10.1007/s00287-019-01160-7},
doi = {10.1007/S00287-019-01160-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm19a,
author = {Reinhard Wilhelm},
title = {Im goldenen Zeitalter der Kommunikation - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {3},
pages = {220--221},
year = {2019},
url = {https://doi.org/10.1007/s00287-019-01170-5},
doi = {10.1007/S00287-019-01170-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm19b,
author = {Reinhard Wilhelm},
title = {Letzte R{\"{a}}tsel - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {4},
pages = {310--312},
year = {2019},
url = {https://doi.org/10.1007/s00287-019-01188-9},
doi = {10.1007/S00287-019-01188-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm19c,
author = {Reinhard Wilhelm},
title = {Au, Toren schafft Autorenschaft - Glosse},
journal = {Inform. Spektrum},
volume = {42},
number = {5},
pages = {370--371},
year = {2019},
url = {https://doi.org/10.1007/s00287-019-01196-9},
doi = {10.1007/S00287-019-01196-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm19c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Wilhelm18,
author = {Reinhard Wilhelm},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {On the Road to Conviction: An Email Exchange with Edward Lee},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {524--537},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_29},
doi = {10.1007/978-3-319-95246-8\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Wilhelm18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wilhelm18,
author = {Reinhard Wilhelm},
editor = {Florian Brandner},
title = {Mixed Feelings About Mixed Criticality (Invited Paper)},
booktitle = {18th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2018, July 3, 2018, Barcelona, Spain},
series = {OASIcs},
volume = {63},
pages = {1:1--1:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.WCET.2018.1},
doi = {10.4230/OASICS.WCET.2018.1},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/Wilhelm18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/WilhelmRW18,
author = {Reinhard Wilhelm and
Jan Reineke and
Simon Wegener},
editor = {Umut Durak and
J{\"{u}}rgen Becker and
Sven Hartmann and
Nikolaos S. Voros},
title = {Keeping up with Real Time},
booktitle = {Advances in Aeronautical Informatics, Technologies Towards Flight
4.0},
pages = {121--133},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75058-3\_9},
doi = {10.1007/978-3-319-75058-3\_9},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/18/WilhelmRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm18,
author = {Reinhard Wilhelm},
title = {Gesund oder ungesund, das ist hier die Frage - Glosse},
journal = {Inform. Spektrum},
volume = {41},
number = {1},
pages = {67--68},
year = {2018},
url = {https://link.springer.com/article/10.1007/s00287-018-1086-1},
doi = {10.1007/S00287-018-1086-1},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm18a,
author = {Reinhard Wilhelm},
title = {Autonomer Optimismus - Glosse},
journal = {Inform. Spektrum},
volume = {41},
number = {2},
pages = {149--150},
year = {2018},
url = {https://link.springer.com/article/10.1007/s00287-018-1099-9},
doi = {10.1007/S00287-018-1099-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm18b,
author = {Reinhard Wilhelm},
title = {Die Individualisierung des Nutzen - Glosse},
journal = {Inform. Spektrum},
volume = {41},
number = {6},
pages = {449},
year = {2018},
url = {https://link.springer.com/article/10.1007/s00287-018-01137-y},
doi = {10.1007/S00287-018-01137-Y},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HerterKMW17,
author = {J{\"{o}}rg Herter and
Daniel K{\"{a}}stner and
Christoph Mallon and
Reinhard Wilhelm},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Benchmarking Static Code Analyzers},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {197--212},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_13},
doi = {10.1007/978-3-319-66266-4\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HerterKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaboardiHWZ17,
author = {Marco Gaboardi and
Jan Hoffmann and
Reinhard Wilhelm and
Florian Zuleger},
title = {Resource Bound Analysis (Dagstuhl Seminar 17291)},
journal = {Dagstuhl Reports},
volume = {7},
number = {7},
pages = {72--87},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.7.72},
doi = {10.4230/DAGREP.7.7.72},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GaboardiHWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm17,
author = {Reinhard Wilhelm},
title = {K{\"{u}}nstliche Begeisterung und abgrundtiefes Lernen - Glosse},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {225--226},
year = {2017},
url = {https://link.springer.com/article/10.1007/s00287-017-1022-9},
doi = {10.1007/S00287-017-1022-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm17a,
author = {Reinhard Wilhelm},
title = {Mit besten Empfehlungen - Glosse},
journal = {Inform. Spektrum},
volume = {40},
number = {6},
pages = {612},
year = {2017},
url = {https://link.springer.com/article/10.1007/s00287-017-1081-y},
doi = {10.1007/S00287-017-1081-Y},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/LvGRW016,
author = {Mingsong Lv and
Nan Guan and
Jan Reineke and
Reinhard Wilhelm and
Wang Yi},
title = {A Survey on Static Cache Analysis for Real-Time Systems},
journal = {Leibniz Trans. Embed. Syst.},
volume = {3},
number = {1},
pages = {05:1--05:48},
year = {2016},
url = {https://doi.org/10.4230/LITES-v003-i001-a005},
doi = {10.4230/LITES-V003-I001-A005},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lites/LvGRW016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReinekeW16,
author = {Jan Reineke and
Reinhard Wilhelm},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Static Timing Analysis - What is Special?},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {74--87},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_4},
doi = {10.1007/978-3-319-27810-0\_4},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ReinekeW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm16,
author = {Reinhard Wilhelm},
title = {Revolution{\"{a}}re bibliometrische Ma{\ss}e - Glosse},
journal = {Inform. Spektrum},
volume = {39},
number = {3},
pages = {250--251},
year = {2016},
url = {https://link.springer.com/article/10.1007/s00287-016-0970-9},
doi = {10.1007/S00287-016-0970-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm16a,
author = {Reinhard Wilhelm},
title = {{GLOSSE} 4.0 - Glosse},
journal = {Inform. Spektrum},
volume = {39},
number = {5},
pages = {407},
year = {2016},
url = {https://link.springer.com/article/10.1007/s00287-016-0991-4},
doi = {10.1007/S00287-016-0991-4},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm16b,
author = {Reinhard Wilhelm},
title = {Das WissPersPlan-Problem - Glosse},
journal = {Inform. Spektrum},
volume = {39},
number = {6},
pages = {486--487},
year = {2016},
url = {https://link.springer.com/article/10.1007/s00287-016-0998-x},
doi = {10.1007/S00287-016-0998-X},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/0001RW15,
author = {Sebastian Hahn and
Jan Reineke and
Reinhard Wilhelm},
title = {Towards compositionality in execution time analysis: definition and
challenges},
journal = {{SIGBED} Rev.},
volume = {12},
number = {1},
pages = {28--36},
year = {2015},
url = {https://doi.org/10.1145/2752801.2752805},
doi = {10.1145/2752801.2752805},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigbed/0001RW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001RW15,
author = {Sebastian Hahn and
Jan Reineke and
Reinhard Wilhelm},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Toward Compact Abstractions for Processor Pipelines},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {205--220},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_14},
doi = {10.1007/978-3-319-23506-6\_14},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001RW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/WilhelmS15,
author = {Reinhard Wilhelm and
Otto Spaniol},
title = {Die Energiewende in ihrem Lauf, ... - Glosse},
journal = {Inform. Spektrum},
volume = {38},
number = {2},
pages = {163--164},
year = {2015},
url = {https://link.springer.com/article/10.1007/s00287-015-0885-x},
doi = {10.1007/S00287-015-0885-X},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/WilhelmS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm15,
author = {Reinhard Wilhelm},
title = {Der Algorithmus - eine moderne Menschheitsplage - Glosse},
journal = {Inform. Spektrum},
volume = {38},
number = {4},
pages = {330--331},
year = {2015},
url = {https://link.springer.com/article/10.1007/s00287-015-0907-8},
doi = {10.1007/S00287-015-0907-8},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm15a,
author = {Reinhard Wilhelm},
title = {Kluge Elterei - Glosse},
journal = {Inform. Spektrum},
volume = {38},
number = {5},
pages = {433--434},
year = {2015},
url = {https://link.springer.com/article/10.1007/s00287-015-0918-5},
doi = {10.1007/S00287-015-0918-5},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm15b,
author = {Reinhard Wilhelm},
title = {Bedienhilfen - Glosse},
journal = {Inform. Spektrum},
volume = {38},
number = {6},
pages = {577--578},
year = {2015},
url = {https://link.springer.com/article/10.1007/s00287-015-0936-3},
doi = {10.1007/S00287-015-0936-3},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WilhelmG14,
author = {Reinhard Wilhelm and
Daniel Grund},
title = {Computation takes time, but how much?},
journal = {Commun. {ACM}},
volume = {57},
number = {2},
pages = {94--103},
year = {2014},
url = {https://doi.org/10.1145/2500886},
doi = {10.1145/2500886},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WilhelmG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AxerEFGGGJMRRSHW014,
author = {Philip Axer and
Rolf Ernst and
Heiko Falk and
Alain Girault and
Daniel Grund and
Nan Guan and
Bengt Jonsson and
Peter Marwedel and
Jan Reineke and
Christine Rochange and
Maurice Sebastian and
Reinhard von Hanxleden and
Reinhard Wilhelm and
Wang Yi},
title = {Building timing predictable embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4},
pages = {82:1--82:37},
year = {2014},
url = {https://doi.org/10.1145/2560033},
doi = {10.1145/2560033},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/AxerEFGGGJMRRSHW014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Wilhelm14,
author = {Reinhard Wilhelm},
editor = {Michael Fothe and
Thomas Wilke},
title = {Keller im {\"{U}}bersetzerbau},
booktitle = {Keller, Stack und automatisches Ged{\"{a}}chtnis - eine Struktur
mit Potenzial, Tagungsband zum Kolloquium, 14. November 2014 in Jena,
Deutschland},
series = {{LNI}},
volume = {{T-7}},
pages = {43--53},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/33415},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Wilhelm14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ReinekeW14,
author = {Jan Reineke and
Reinhard Wilhelm},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Impact of resource sharing on performance and performance prediction},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--2},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.109},
doi = {10.7873/DATE.2014.109},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ReinekeW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swqd/Wilhelm14,
author = {Reinhard Wilhelm},
editor = {Dietmar Winkler and
Stefan Biffl and
Johannes Bergsmann},
title = {Software Quality Assurance by Static Program Analysis},
booktitle = {Software Quality. Model-Based Approaches for Advanced Software and
Systems Engineering - 6th International Conference, {SWQD} 2014, Vienna,
Austria, January 14-16, 2014. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {166},
pages = {1--11},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-03602-1\_1},
doi = {10.1007/978-3-319-03602-1\_1},
timestamp = {Fri, 25 Jan 2019 12:00:39 +0100},
biburl = {https://dblp.org/rec/conf/swqd/Wilhelm14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm14,
author = {Reinhard Wilhelm},
title = {Die Differenzierung der Mail-Halde - Glosse},
journal = {Inform. Spektrum},
volume = {37},
number = {1},
pages = {67--68},
year = {2014},
url = {https://link.springer.com/article/10.1007/s00287-013-0763-3},
doi = {10.1007/S00287-013-0763-3},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm14a,
author = {Reinhard Wilhelm},
title = {Reisen ins Unwesentliche - Glosse},
journal = {Inform. Spektrum},
volume = {37},
number = {5},
pages = {509--510},
year = {2014},
url = {https://link.springer.com/article/10.1007/s00287-014-0833-1},
doi = {10.1007/S00287-014-0833-1},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm14b,
author = {Reinhard Wilhelm},
title = {Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse},
journal = {Inform. Spektrum},
volume = {37},
number = {6},
pages = {610--611},
year = {2014},
url = {https://link.springer.com/article/10.1007/s00287-014-0846-9},
doi = {10.1007/S00287-014-0846-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0031526,
author = {Reinhard Wilhelm and
Helmut Seidl and
Sebastian Hack},
title = {Compiler Design - Syntactic and Semantic Analysis},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-17540-4},
doi = {10.1007/978-3-642-17540-4},
isbn = {978-3-642-17539-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0031526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SifakisTW13,
author = {Joseph Sifakis and
Lothar Thiele and
Reinhard Wilhelm},
title = {Introduction to the special section on rigorous embedded systems design},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {41:1--41:2},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435237},
doi = {10.1145/2435227.2435237},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SifakisTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurNVWW13,
author = {Deepak Kapur and
Robert Nieuwenhuis and
Andrei Voronkov and
Christoph Weidenbach and
Reinhard Wilhelm},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Harald Ganzinger's Legacy: Contributions to Logics and Programming},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_1},
doi = {10.1007/978-3-642-37651-1\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurNVWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KreikerRRSWY13,
author = {J{\"{o}}rg Kreiker and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {414--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_17},
doi = {10.1007/978-3-642-37651-1\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KreikerRRSWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbelBDDHHJMRSW13,
author = {Andreas Abel and
Florian Benz and
Johannes Doerfert and
Barbara D{\"{o}}rr and
Sebastian Hahn and
Florian Haupenthal and
Michael Jacobs and
Amir H. Moin and
Jan Reineke and
Bernhard Schommer and
Reinhard Wilhelm},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Impact of Resource Sharing on Performance and Performance Prediction:
{A} Survey},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {25--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_3},
doi = {10.1007/978-3-642-40184-8\_3},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AbelBDDHHJMRSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm13,
author = {Reinhard Wilhelm},
title = {M{\"{u}}ll und Metam{\"{u}}ll - Glosse},
journal = {Inform. Spektrum},
volume = {36},
number = {1},
pages = {118},
year = {2013},
url = {https://link.springer.com/article/10.1007/s00287-012-0676-6},
doi = {10.1007/S00287-012-0676-6},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm13a,
author = {Reinhard Wilhelm},
title = {Zwitschernd in den Untergang - Glosse},
journal = {Inform. Spektrum},
volume = {36},
number = {3},
pages = {335},
year = {2013},
url = {https://link.springer.com/article/10.1007/s00287-013-0709-9},
doi = {10.1007/S00287-013-0709-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm13b,
author = {Reinhard Wilhelm},
title = {Achtung Satire: Wasserdampf ade - Glosse},
journal = {Inform. Spektrum},
volume = {36},
number = {6},
pages = {577},
year = {2013},
url = {https://link.springer.com/article/10.1007/s00287-013-0744-6},
doi = {10.1007/S00287-013-0744-6},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030106,
author = {Helmut Seidl and
Reinhard Wilhelm and
Sebastian Hack},
title = {Compiler Design - Analysis and Transformation},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-17548-0},
doi = {10.1007/978-3-642-17548-0},
isbn = {978-3-642-17547-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/OlderogW12,
author = {Ernst{-}R{\"{u}}diger Olderog and
Reinhard Wilhelm},
title = {Turing und die Verifikation},
journal = {Inform. Spektrum},
volume = {35},
number = {4},
pages = {271--279},
year = {2012},
url = {https://doi.org/10.1007/s00287-012-0627-2},
doi = {10.1007/S00287-012-0627-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/OlderogW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WilhelmLPTW12,
author = {Reinhard Wilhelm and
Philipp Lucas and
Oleg Parshin and
Lili Tan and
Bj{\"{o}}rn Wachter},
editor = {Samarjit Chakraborty and
J{\"{o}}rg Ebersp{\"{a}}cher},
title = {Improving the Precision of {WCET} Analysis by Input Constraints and
Model-Derived Flow Constraints},
booktitle = {Advances in Real-Time Systems (to Georg F{\"{a}}rber on the occasion
of his appointment as Professor Emeritus at {TU} M{\"{u}}nchen
after leading the Lehrstuhl f{\"{u}}r Realzeit-Computersysteme
for 34 illustrious years)},
pages = {123--143},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-24349-3\_6},
doi = {10.1007/978-3-642-24349-3\_6},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WilhelmLPTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/WilhelmR12,
author = {Reinhard Wilhelm and
Jan Reineke},
title = {Embedded systems: Many cores - Many problems},
booktitle = {7th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2012, Karlsruhe, Germany, June 20-22, 2012},
pages = {176--180},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SIES.2012.6356583},
doi = {10.1109/SIES.2012.6356583},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/WilhelmR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2012,
editor = {Reinhard Wilhelm and
Heiko Falk and
Wang Yi},
title = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
Embedded Systems 2012, {LCTES} '12, Beijing, China - June 12 - 13,
2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2248418},
doi = {10.1145/2248418},
isbn = {978-1-4503-1212-7},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm12,
author = {Reinhard Wilhelm},
title = {Sehr zu empfehlen - Glosse},
journal = {Inform. Spektrum},
volume = {35},
number = {2},
pages = {157--158},
year = {2012},
url = {https://link.springer.com/article/10.1007/s00287-012-0606-7},
doi = {10.1007/S00287-012-0606-7},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm12a,
author = {Reinhard Wilhelm},
title = {Paradies 2.0 - Glosse},
journal = {Inform. Spektrum},
volume = {35},
number = {3},
pages = {232},
year = {2012},
url = {https://link.springer.com/article/10.1007/s00287-012-0615-6},
doi = {10.1007/S00287-012-0615-6},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm12b,
author = {Reinhard Wilhelm},
title = {"Von Schei{\ss}e befreit", Frei nach Goethe, Faust {I} -
Glosse},
journal = {Inform. Spektrum},
volume = {35},
number = {5},
pages = {376},
year = {2012},
url = {https://link.springer.com/article/10.1007/s00287-012-0649-9},
doi = {10.1007/S00287-012-0649-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm12c,
author = {Reinhard Wilhelm},
title = {The International Swabian Rim Workshop on Extremely Agile Goal-Oriented
Insightbased System Engineering - Glosse},
journal = {Inform. Spektrum},
volume = {35},
number = {6},
pages = {468},
year = {2012},
url = {https://link.springer.com/article/10.1007/s00287-012-0660-1},
doi = {10.1007/S00287-012-0660-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm12c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-manifestos/KreikerTVW11,
author = {J{\"{o}}rg Kreiker and
Andrzej Tarlecki and
Moshe Y. Vardi and
Reinhard Wilhelm},
title = {Modeling, Analysis, and Verification - The Formal Methods Manifesto
2010 (Dagstuhl Perspectives Workshop 10482)},
journal = {Dagstuhl Manifestos},
volume = {1},
number = {1},
pages = {21--40},
year = {2011},
url = {https://doi.org/10.4230/DagMan.1.1.21},
doi = {10.4230/DAGMAN.1.1.21},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/KreikerTVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrundRW11,
author = {Daniel Grund and
Jan Reineke and
Reinhard Wilhelm},
editor = {Philipp Lucas and
Lothar Thiele and
Benoit Triquet and
Theo Ungerer and
Reinhard Wilhelm},
title = {A Template for Predictability Definitions with Supporting Evidence},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded
Systems, {DATE} Workshop {PPES} 2011, March 18, 2011, Grenoble, France},
series = {OASIcs},
volume = {18},
pages = {22--31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.PPES.2011.22},
doi = {10.4230/OASICS.PPES.2011.22},
timestamp = {Wed, 02 Aug 2023 16:29:12 +0200},
biburl = {https://dblp.org/rec/conf/date/GrundRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2011ppes,
editor = {Philipp Lucas and
Lothar Thiele and
Benoit Triquet and
Theo Ungerer and
Reinhard Wilhelm},
title = {Bringing Theory to Practice: Predictability and Performance in Embedded
Systems, {DATE} Workshop {PPES} 2011, March 18, 2011, Grenoble, France},
series = {OASIcs},
volume = {18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2011},
isbn = {978-3-939897-28-6},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/2011ppes.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm11,
author = {Reinhard Wilhelm},
title = {Usability considered harmful - Glosse},
journal = {Inform. Spektrum},
volume = {34},
number = {2},
pages = {228--229},
year = {2011},
url = {https://link.springer.com/article/10.1007/s00287-011-0528-9},
doi = {10.1007/S00287-011-0528-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm11a,
author = {Reinhard Wilhelm},
title = {Brad Bit and Juliette Binom - Glosse},
journal = {Inform. Spektrum},
volume = {34},
number = {3},
pages = {325--326},
year = {2011},
url = {https://link.springer.com/article/10.1007/s00287-011-0543-x},
doi = {10.1007/S00287-011-0543-X},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm11b,
author = {Reinhard Wilhelm},
title = {Auf ewig sicher !? - Glosse},
journal = {Inform. Spektrum},
volume = {34},
number = {4},
pages = {420--421},
year = {2011},
url = {https://link.springer.com/article/10.1007/s00287-011-0552-9},
doi = {10.1007/S00287-011-0552-9},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm11c,
author = {Reinhard Wilhelm},
title = {Die Freuden der rechnergest{\"{u}}tzten Lebensf{\"{u}}hrung
- Glosse},
journal = {Inform. Spektrum},
volume = {34},
number = {6},
pages = {628--629},
year = {2011},
url = {https://link.springer.com/article/10.1007/s00287-011-0582-3},
doi = {10.1007/S00287-011-0582-3},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0025732,
author = {Reinhard Wilhelm and
Helmut Seidl},
title = {Compiler Design - Virtual Machines},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14909-2},
doi = {10.1007/978-3-642-14909-2},
isbn = {978-3-642-14908-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0025732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/WilhelmM10,
author = {Reinhard Wilhelm and
Matteo Maffei},
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {Ubiquitous Verification of Ubiquitous Systems},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
pages = {47--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5\_7},
doi = {10.1007/978-3-642-16256-5\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/WilhelmM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WilhelmABGHRWW10,
author = {Reinhard Wilhelm and
Sebastian Altmeyer and
Claire Burgui{\`{e}}re and
Daniel Grund and
J{\"{o}}rg Herter and
Jan Reineke and
Bj{\"{o}}rn Wachter and
Stephan Wilhelm},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Static Timing Analysis for Hard Real-Time Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {3--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_3},
doi = {10.1007/978-3-642-11319-2\_3},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WilhelmABGHRWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/KirschW09,
author = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {{EMSOFT} 2007 guest editors' introduction},
journal = {Des. Autom. Embed. Syst.},
volume = {13},
number = {1-2},
pages = {3--4},
year = {2009},
url = {https://doi.org/10.1007/s10617-008-9039-6},
doi = {10.1007/S10617-008-9039-6},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/KirschW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BardohlLBW09,
author = {Roswitha Bardohl and
Christian Lindig and
Angelika M{\"{u}}ller{-}von Brochowski and
Reinhard Wilhelm},
title = {Editorial},
journal = {Comput. Sci. Res. Dev.},
volume = {23},
number = {1},
pages = {3--5},
year = {2009},
url = {https://doi.org/10.1007/s00450-009-0052-1},
doi = {10.1007/S00450-009-0052-1},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/BardohlLBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WilhelmGRSPF09,
author = {Reinhard Wilhelm and
Daniel Grund and
Jan Reineke and
Marc Schlickling and
Markus Pister and
Christian Ferdinand},
title = {Memory Hierarchies, Pipelines, and Buses for Future Architectures
in Time-Critical Embedded Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {28},
number = {7},
pages = {966--978},
year = {2009},
url = {https://doi.org/10.1109/TCAD.2009.2013287},
doi = {10.1109/TCAD.2009.2013287},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/WilhelmGRSPF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GawlitzaLRSSW09,
author = {Thomas Gawlitza and
J{\'{e}}r{\^{o}}me Leroux and
Jan Reineke and
Helmut Seidl and
Gr{\'{e}}goire Sutre and
Reinhard Wilhelm},
editor = {Susanne Albers and
Helmut Alt and
Stefan N{\"{a}}her},
title = {Polynomial Precise Interval Analysis Revisited},
booktitle = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5760},
pages = {422--437},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03456-5\_28},
doi = {10.1007/978-3-642-03456-5\_28},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GawlitzaLRSSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/HeinzW09,
author = {Thomas Heinz and
Reinhard Wilhelm},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {Towards device emulation code generation},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {109--118},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542467},
doi = {10.1145/1542452.1542467},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/HeinzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TanWLW09,
author = {Lili Tan and
Bj{\"{o}}rn Wachter and
Philipp Lucas and
Reinhard Wilhelm},
editor = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober},
title = {Improving Timing Analysis for Matlab Simulink/Stateflow},
booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting
and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as
part of the 2009 International Conference on Model Driven Engineering
Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October
6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {507},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-507/paper05.pdf},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/TanWLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/Wilhelm09,
author = {Reinhard Wilhelm},
editor = {Heiko Falk},
title = {The {PROMPT} design principles for predictable multi-core architectures},
booktitle = {12th International Workshop on Software and Compilers for Embedded
Systems, {SCOPES} '09, Nice, France, April 23 - 24, 2009},
pages = {31--32},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1543820.1543826},
doi = {10.1145/1543820.1543826},
timestamp = {Wed, 08 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scopes/Wilhelm09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiBFPW09,
author = {Niklas Holsti and
Guillem Bernat and
Christian Ferdinand and
Peter P. Puschner and
Reinhard Wilhelm},
editor = {Niklas Holsti},
title = {Teaching {WCET} Analysis in Academia and Industry: {A} Panel Discussion},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2278},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/HolstiBFPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/zurawski2009/Wilhelm09,
author = {Reinhard Wilhelm},
editor = {Richard Zurawski},
title = {Determining Bounds on Execution Times},
booktitle = {Embedded Systems Design and Verification - Volume 1 of the Embedded
Systems Handbook},
pages = {9},
publisher = {{CRC} Press},
year = {2009},
url = {https://doi.org/10.1201/9781439807637.ch9},
doi = {10.1201/9781439807637.CH9},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/zurawski2009/Wilhelm09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/cav/WilhelmW08,
author = {Reinhard Wilhelm and
Bj{\"{o}}rn Wachter},
editor = {Aarti Gupta and
Sharad Malik},
title = {Abstract Interpretation with Applications to Timing Validation},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {22--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_6},
doi = {10.1007/978-3-540-70545-1\_6},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/WilhelmW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FrankWESN08,
author = {E. Frank and
Reinhard Wilhelm and
Rolf Ernst and
Alberto L. Sangiovanni{-}Vincentelli and
Marco Di Natale},
editor = {Donatella Sciuto},
title = {Methods, Tools and Standards for the Analysis, Evaluation and Design
of Modern Automotive Architectures},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {659--663},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484753},
doi = {10.1109/DATE.2008.4484753},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/FrankWESN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KastnerWHSPJRF08,
author = {Daniel K{\"{a}}stner and
Reinhard Wilhelm and
Reinhold Heckmann and
Marc Schlickling and
Markus Pister and
Marek Jersak and
Kai Richter and
Christian Ferdinand},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Timing Validation of Automotive Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {93--107},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_8},
doi = {10.1007/978-3-540-88479-8\_8},
timestamp = {Thu, 19 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KastnerWHSPJRF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/Wilhelm08,
author = {Reinhard Wilhelm},
editor = {Falko Bause and
Peter Buchholz},
title = {Architectural Influence on the Timing Predictability},
booktitle = {Proceedings 14th {GI/ITG} Conference on Measurement, Modelling and
Evaluation of Computer and Communication Systems {(MMB} 2008), March
31 - April 2, 2008, Dortmund, Germany},
pages = {11--12},
publisher = {{VDE} Verlag},
year = {2008},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/mmb/Wilhelm08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AltmeyerHLW08,
author = {Sebastian Altmeyer and
Christian Humbert and
Bj{\"{o}}rn Lisper and
Reinhard Wilhelm},
title = {Parametric Timing Analysis for Complex Architectures},
booktitle = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
25-27 August 2008, Proceedings},
pages = {367--376},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTCSA.2008.7},
doi = {10.1109/RTCSA.2008.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AltmeyerHLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/ParduhnSW08,
author = {Sascha A. Parduhn and
Raimund Seidel and
Reinhard Wilhelm},
editor = {Rainer Koschke and
Christopher D. Hundhausen and
Alexandru C. Telea},
title = {Algorithm visualization using concrete and abstract shape graphs},
booktitle = {Proceedings of the {ACM} 2008 Symposium on Software Visualization,
Ammersee, Germany, September 16-17, 2008},
pages = {33--36},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1409720.1409726},
doi = {10.1145/1409720.1409726},
timestamp = {Wed, 17 Mar 2021 18:00:55 +0100},
biburl = {https://dblp.org/rec/conf/softvis/ParduhnSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/BeckerPDFOW07,
author = {Bernd Becker and
Andreas Podelski and
Werner Damm and
Martin Fr{\"{a}}nzle and
Ernst{-}R{\"{u}}diger Olderog and
Reinhard Wilhelm},
title = {{SFB/TR} 14 {AVACS} - Automatic Verification and Analysis of Complex
Systems (Der Sonderforschungsbereich/Transregio 14 {AVACS} - Automatische
Verifikation und Analyse komplexer Systeme)},
journal = {it Inf. Technol.},
volume = {49},
number = {2},
pages = {118--126},
year = {2007},
url = {https://doi.org/10.1524/itit.2007.49.2.118},
doi = {10.1524/ITIT.2007.49.2.118},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/BeckerPDFOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ReinekeGBW07,
author = {Jan Reineke and
Daniel Grund and
Christoph Berg and
Reinhard Wilhelm},
title = {Timing predictability of cache replacement policies},
journal = {Real Time Syst.},
volume = {37},
number = {2},
pages = {99--122},
year = {2007},
url = {https://doi.org/10.1007/s11241-007-9032-3},
doi = {10.1007/S11241-007-9032-3},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/ReinekeGBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YorshRSW07,
author = {Greta Yorsh and
Thomas W. Reps and
Mooly Sagiv and
Reinhard Wilhelm},
title = {Logical characterizations of heap abstractions},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {1},
pages = {5},
year = {2007},
url = {https://doi.org/10.1145/1182613.1182618},
doi = {10.1145/1182613.1182618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YorshRSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KirschW07,
author = {Christoph M. Kirsch and
Reinhard Wilhelm},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Grand challenges in embedded software},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {2--6},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289930},
doi = {10.1145/1289927.1289930},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/KirschW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/FritzLW07,
author = {Nicolas Fritz and
Philipp Lucas and
Reinhard Wilhelm},
editor = {Vikram S. Adve and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
Paul Petersen},
title = {Exploiting {SIMD} Parallelism with the CGiSCompiler Framework},
booktitle = {Languages and Compilers for Parallel Computing, 20th International
Workshop, {LCPC} 2007, Urbana, IL, USA, October 11-13, 2007, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5234},
pages = {246--260},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85261-2\_17},
doi = {10.1007/978-3-540-85261-2\_17},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/FritzLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BauerW07,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Static Analysis of Dynamic Communication Systems by Partner Abstraction},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {249--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_16},
doi = {10.1007/978-3-540-74061-2\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BauerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2007/RepsSW07,
author = {Thomas W. Reps and
Mooly Sagiv and
Reinhard Wilhelm},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Shape Analysis and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation,
Second Edition},
pages = {12},
publisher = {{CRC} Press},
year = {2007},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2007/RepsSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2007,
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-825-1},
timestamp = {Wed, 02 Apr 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2005,
editor = {Reinhard Wilhelm},
title = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 5, 2005, Palma de Mallorca, Spain},
series = {OASIcs},
volume = {1},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06903/},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/YahavRSW06,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
journal = {Log. J. {IGPL}},
volume = {14},
number = {5},
pages = {755--783},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzl009},
doi = {10.1093/JIGPAL/JZL009},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/YahavRSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/FerdinandHWRPW06,
author = {Christian Ferdinand and
Reinhold Heckmann and
Hans{-}J{\"{o}}rg Wolff and
Christian Renz and
Oleg Parshin and
Reinhard Wilhelm},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Towards Model-Driven Development of Hard Real-Time Systems},
booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
pages = {145--160},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70930-5\_10},
doi = {10.1007/978-3-540-70930-5\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/FerdinandHWRPW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LucasFW06,
author = {Philipp Lucas and
Nicolas Fritz and
Reinhard Wilhelm},
editor = {Alan Mycroft and
Andreas Zeller},
title = {The CGiS Compiler-A Tool Demonstration},
booktitle = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3923},
pages = {105--108},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11688839\_10},
doi = {10.1007/11688839\_10},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/LucasFW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AutexierMTWW06,
author = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Preface -- Workshop Trustworthy Software 2006},
booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/693},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/AutexierMTWW06.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/iccS/LucasFW06,
author = {Philipp Lucas and
Nicolas Fritz and
Reinhard Wilhelm},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {The Development of the Data-Parallel {GPU} Programming Language CGiS},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3994},
pages = {200--203},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758549\_31},
doi = {10.1007/11758549\_31},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/LucasFW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DammMESWW06,
author = {Werner Damm and
Alexander Metzner and
Friedrich Eisenbrand and
Gennady Shmonin and
Reinhard Wilhelm and
Sebastian Winkel},
title = {Mapping Task-Graphs on Distributed {ECU} Networks: Efficient Algorithms
for Feasibility and Optimality},
booktitle = {12th {IEEE} Conference on Embedded and Real-Time Computing Systems
and Applications {(RTCSA} 2006), 16-18 August 2006, Sydney, Australia},
pages = {87--90},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTCSA.2006.42},
doi = {10.1109/RTCSA.2006.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/DammMESWW06.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, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcet/ReinekeWTWPEB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6000,
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland
University, Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06000/},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BauerW06,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Abstract Interpretation of Graph Transformation},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/703},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BauerW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BauerW06a,
author = {J{\"{o}}rg Bauer and
Reinhard Wilhelm},
editor = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Markus M{\"{u}}ller{-}Olm},
title = {Analysis of Dynamic Communicating Systems by Hierarchical Abstraction},
booktitle = {Software Verification: Infinite-State Model Checking and Static Program
Analysis, 19.02. - 24.02.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06081},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/727},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BauerW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RinetzkyBRSW05,
author = {Noam Rinetzky and
J{\"{o}}rg Bauer and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A semantics for procedure local heaps and its abstractions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {296--309},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040330},
doi = {10.1145/1040305.1040330},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/RinetzkyBRSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/JohannesSW05,
author = {Dierk Johannes and
Raimund Seidel and
Reinhard Wilhelm},
editor = {Thomas L. Naps and
Wim De Pauw},
title = {Algorithm animation using shape analysis: visualising abstract executions},
booktitle = {Proceedings of the {ACM} 2005 Symposium on Software Visualization,
St. Louis, Missouri, USA, May 14-15, 2005},
pages = {17--26},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1056018.1056021},
doi = {10.1145/1056018.1056021},
timestamp = {Thu, 09 May 2019 13:10:55 +0200},
biburl = {https://dblp.org/rec/conf/softvis/JohannesSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DorFGLLMRRRSWYY05,
author = {Nurit Dor and
John Field and
Denis Gopan and
Tal Lev{-}Ami and
Alexey Loginov and
Roman Manevich and
G. Ramalingam and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav and
Greta Yorsh},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Automatic Verification of Strongly Dynamic Software Systems},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {82--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_11},
doi = {10.1007/978-3-540-69149-5\_11},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DorFGLLMRRRSWYY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/Wilhelm05,
author = {Reinhard Wilhelm},
editor = {Reinhard Wilhelm},
title = {2005 {WCET} Preface - Message from the Workshop Chair},
booktitle = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 5, 2005, Palma de Mallorca, Spain},
series = {OASIcs},
volume = {1},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/817},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/Wilhelm05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Wilhelm05,
author = {Reinhard Wilhelm},
editor = {Richard Zurawski},
title = {Determining Bounds on Execution Times},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch14},
doi = {10.1201/9781420038163.CH14},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/Wilhelm05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ThieleW04,
author = {Lothar Thiele and
Reinhard Wilhelm},
title = {Design for Timing Predictability},
journal = {Real Time Syst.},
volume = {28},
number = {2-3},
pages = {157--177},
year = {2004},
url = {https://doi.org/10.1023/B:TIME.0000045316.66276.6e},
doi = {10.1023/B:TIME.0000045316.66276.6E},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/ThieleW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/FerdinandHW04,
author = {Christian Ferdinand and
Reinhold Heckmann and
Reinhard Wilhelm},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Analyzing the Worst-Case Execution Time by Abstract Interpretation
of Executable Code},
booktitle = {Automotive Software - Connected Services in Mobile Networks, First
Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
10-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4147},
pages = {1--14},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11823063\_1},
doi = {10.1007/11823063\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/FerdinandHW04.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}
}
@inproceedings{DBLP:conf/cav/RepsSW04,
author = {Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Static Program Analysis via 3-Valued Logic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {15--30},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_2},
doi = {10.1007/978-3-540-27813-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RepsSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Wilhelm04,
author = {Reinhard Wilhelm},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Timing Analysis and Timing Predictability},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {317--323},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_14},
doi = {10.1007/11561163\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Wilhelm04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Wilhelm04,
author = {Reinhard Wilhelm},
editor = {Susanne Graf and
Laurent Mounier},
title = {Formal Analysis of Processor Timing Models},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {1--4},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_1},
doi = {10.1007/978-3-540-24732-6\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Wilhelm04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Wilhelm04,
author = {Reinhard Wilhelm},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Why {AI} + {ILP} Is Good for WCET, but {MC} Is Not, Nor {ILP} Alone},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {309--322},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_25},
doi = {10.1007/978-3-540-24622-0\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Wilhelm04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004P3471,
editor = {Lothar Thiele and
Reinhard Wilhelm},
title = {Perspectives Workshop: Design of Systems with Predictable Behaviour,
16.-19. November 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03471},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/portals/03471/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004P3471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BergEW04,
author = {Christoph Berg and
Jakob Engblom and
Reinhard Wilhelm},
editor = {Lothar Thiele and
Reinhard Wilhelm},
title = {Requirements for and Design of a Processor with Predictable Timing},
booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour,
16.-19. November 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03471},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2004/5},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BergEW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ThieleW04,
author = {Lothar Thiele and
Reinhard Wilhelm},
editor = {Lothar Thiele and
Reinhard Wilhelm},
title = {Abstracts Collection},
booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour,
16.-19. November 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03471},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2004/7},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ThieleW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ThieleW04a,
author = {Lothar Thiele and
Reinhard Wilhelm},
editor = {Lothar Thiele and
Reinhard Wilhelm},
title = {Design for Time-Predictability},
booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour,
16.-19. November 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03471},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2004/2},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ThieleW04a.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/esop/YahavRSW03,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Pierpaolo Degano},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {204--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_15},
doi = {10.1007/3-540-36575-3\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/YahavRSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Wilhelm03,
author = {Reinhard Wilhelm},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Run-Time Guarantees for Real-Time Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {166--167},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_13},
doi = {10.1007/978-3-540-40903-8\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Wilhelm03.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/FerdinandHTW03,
author = {Christian Ferdinand and
Reinhold Heckmann and
Henrik Theiling and
Reinhard Wilhelm},
editor = {Jan Gustafsson},
title = {Convenient User Annotations for a {WCET} Tool},
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 = {17--20},
publisher = {Department of Computer Science and Engineering, M{\"{a}}lardalen
University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
year = {2003},
timestamp = {Fri, 06 Feb 2004 14:08:00 +0100},
biburl = {https://dblp.org/rec/conf/wcet/FerdinandHTW03.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}
}
@article{DBLP:journals/corr/cs-LO-0312014,
author = {Greta Yorsh and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
title = {Logical Characterizations of Heap Abstractions},
journal = {CoRR},
volume = {cs.LO/0312014},
year = {2003},
url = {http://arxiv.org/abs/cs/0312014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0312014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagivRW02,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
title = {Parametric shape analysis via 3-valued logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {3},
pages = {217--298},
year = {2002},
url = {https://doi.org/10.1145/514188.514190},
doi = {10.1145/514188.514190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SagivRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2002/WilhelmRS02,
author = {Reinhard Wilhelm and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Shape Analysis and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation},
pages = {175--218},
publisher = {{CRC} Press},
year = {2002},
url = {https://doi.org/10.1201/9781420040579.ch5},
doi = {10.1201/9781420040579.CH5},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2002/WilhelmRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WilhelmMS01,
author = {Reinhard Wilhelm and
Tomasz M{\"{u}}ldner and
Raimund Seidel},
editor = {Stephan Diehl},
title = {Algorithm Explanation: Visualizing Abstract States and Invariants},
booktitle = {Software Visualization, International Seminar Dagstuhl Castle, Germany,
May 20-25, 2001, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2269},
pages = {381--394},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45875-1\_30},
doi = {10.1007/3-540-45875-1\_30},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WilhelmMS01.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}
}
@proceedings{DBLP:conf/cc/2001,
editor = {Reinhard Wilhelm},
title = {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},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7},
doi = {10.1007/3-540-45306-7},
isbn = {3-540-41861-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2001,
editor = {Reinhard Wilhelm},
title = {Informatics - 10 Years Back. 10 Years Ahead},
series = {Lecture Notes in Computer Science},
volume = {2000},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44577-3},
doi = {10.1007/3-540-44577-3},
isbn = {3-540-41635-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/TheilingFW00,
author = {Henrik Theiling and
Christian Ferdinand and
Reinhard Wilhelm},
title = {Fast and Precise {WCET} Prediction by Separated Cache and Path Analyses},
journal = {Real Time Syst.},
volume = {18},
number = {2/3},
pages = {157--179},
year = {2000},
url = {https://doi.org/10.1023/A:1008141130870},
doi = {10.1023/A:1008141130870},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/TheilingFW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/BrauneW00,
author = {Beatrix Braune and
Reinhard Wilhelm},
title = {Focusing in Algorithm Explanation},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {6},
number = {1},
pages = {1--7},
year = {2000},
url = {https://doi.org/10.1109/2945.841117},
doi = {10.1109/2945.841117},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/BrauneW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/WilhelmSR00,
author = {Reinhard Wilhelm and
Shmuel Sagiv and
Thomas W. Reps},
editor = {David A. Watt},
title = {Shape Analysis},
booktitle = {Compiler Construction, 9th International Conference, {CC} 2000, Held
as Part of the European Joint Conferences on the Theory and Practice
of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1781},
pages = {1--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46423-9\_1},
doi = {10.1007/3-540-46423-9\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/WilhelmSR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Lev-AmiRSW00,
author = {Tal Lev{-}Ami and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Putting static analysis to work for verification: {A} case study},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {26--38},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.348031},
doi = {10.1145/347324.348031},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/Lev-AmiRSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Wilhelm99,
author = {Reinhard Wilhelm},
title = {Timing Analysis and Validation for Real-Time Systems - Guest Editor's
Introduction},
journal = {Real Time Syst.},
volume = {17},
number = {2-3},
pages = {127--129},
year = {1999},
url = {https://doi.org/10.1023/A:1008153406230},
doi = {10.1023/A:1008153406230},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Wilhelm99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/FerdinandW99,
author = {Christian Ferdinand and
Reinhard Wilhelm},
title = {Efficient and Precise Cache Behavior Prediction for Real-Time Systems},
journal = {Real Time Syst.},
volume = {17},
number = {2-3},
pages = {131--181},
year = {1999},
url = {https://doi.org/10.1023/A:1008186323068},
doi = {10.1023/A:1008186323068},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/FerdinandW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FerdinandMWA99,
author = {Christian Ferdinand and
Florian Martin and
Reinhard Wilhelm and
Martin Helmut Alt},
title = {Cache Behavior Prediction by Abstract Interpretation},
journal = {Sci. Comput. Program.},
volume = {35},
number = {2},
pages = {163--189},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00010-6},
doi = {10.1016/S0167-6423(99)00010-6},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FerdinandMWA99.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/popl/SagivRW99,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Parametric Shape Analysis via 3-Valued Logic},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {105--118},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292552},
doi = {10.1145/292540.292552},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SagivRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrauneDKW99,
author = {Beatrix Braune and
Stephan Diehl and
Andreas Kerren and
Reinhard Wilhelm},
editor = {Oliver Boldt and
Helmut J{\"{u}}rgensen},
title = {Animation of the Generation and Computation of Finite Automata for
Learning Software},
booktitle = {Automata Implementation, 4th International Workshop on Implementing
Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2214},
pages = {39--47},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45526-4\_4},
doi = {10.1007/3-540-45526-4\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrauneDKW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/1999,
editor = {Y. Annie Liu and
Reinhard Wilhelm},
title = {Proceedings of the {ACM} {SIGPLAN} 1999 Workshop on Languages, Compilers,
and Tools for Embedded Systems (LCTES'99), Atlanta, Georgia, USA,
May 5, 1999},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/314403},
doi = {10.1145/314403},
isbn = {1-58113-136-4},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SagivFRW98,
author = {Shmuel Sagiv and
Nissim Francez and
Michael Rodeh and
Reinhard Wilhelm},
title = {A Logic-Based Approach to Program Flow Analysis},
journal = {Acta Informatica},
volume = {35},
number = {6},
pages = {457--504},
year = {1998},
url = {https://doi.org/10.1007/s002360050128},
doi = {10.1007/S002360050128},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SagivFRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagivRW98,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {1},
pages = {1--50},
year = {1998},
url = {https://doi.org/10.1145/271510.271517},
doi = {10.1145/271510.271517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SagivRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MartinAWF98,
author = {Florian Martin and
Martin Helmut Alt and
Reinhard Wilhelm and
Christian Ferdinand},
editor = {Kai Koskimies},
title = {Analysis of Loops},
booktitle = {Compiler Construction, 7th International Conference, CC'98, Held as
Part of the European Joint Conferences on the Theory and Practice
of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1383},
pages = {80--94},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0026424},
doi = {10.1007/BFB0026424},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/MartinAWF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/FerdinandW98,
author = {Christian Ferdinand and
Reinhard Wilhelm},
editor = {Frank Mueller and
Azer Bestavros},
title = {On Predicting Data Cache Behavior for Real-Time Systems},
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 = {16--30},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057777},
doi = {10.1007/BFB0057777},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/FerdinandW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/WilhelmM97,
author = {Reinhard Wilhelm and
Dieter Maurer},
title = {{\"{U}}bersetzerbau - Theorie, Konstruktion, Generierung, 2.
Auflage},
publisher = {Springer},
year = {1997},
url = {http://rw4.cs.uni-sb.de/compbook.html},
isbn = {3-540-61692-6},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/WilhelmM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HeckmannW97,
author = {Reinhold Heckmann and
Reinhard Wilhelm},
title = {A Functional Description of TEX's Formula Layout},
journal = {J. Funct. Program.},
volume = {7},
number = {5},
pages = {451--485},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002840},
doi = {10.1017/S0956796897002840},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HeckmannW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wilhelm97,
author = {Reinhard Wilhelm},
title = {Program Analysis: {A} Toolmaker's Perspective},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {120--121},
year = {1997},
url = {https://doi.org/10.1145/251595.251618},
doi = {10.1145/251595.251618},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Wilhelm97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0082839,
author = {Reinhard Wilhelm},
title = {Informatik - Grundlagen, Anwendungen, Perspektiven},
series = {Beck'sche Reihe},
volume = {2038},
publisher = {Beck},
year = {1996},
isbn = {978-3-406-40338-5},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0082839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084938,
author = {Reinhard Wilhelm and
Reinhold Heckmann},
title = {Grundlagen der Dokumentenverarbeitung},
publisher = {Addison-Wesley},
year = {1996},
isbn = {978-3-89319-877-1},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0084938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Wilhelm96,
author = {Reinhard Wilhelm},
title = {Program Analysis - {A} Toolmaker's Perspective},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {177},
year = {1996},
url = {https://doi.org/10.1145/242224.242454},
doi = {10.1145/242224.242454},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Wilhelm96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/WilhelmAMR96,
author = {Reinhard Wilhelm and
Martin Helmut Alt and
Florian Martin and
Martin Raber},
editor = {Mads Dam},
title = {Parallel Implementation of Functional Languages},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {279--295},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_13},
doi = {10.1007/3-540-62503-8\_13},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/WilhelmAMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SagivRW96,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {16--31},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237725},
doi = {10.1145/237721.237725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SagivRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AltFMW96,
author = {Martin Helmut Alt and
Christian Ferdinand and
Florian Martin and
Reinhard Wilhelm},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Cache Behavior Prediction by Abstract Interpretation},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {52--66},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_33},
doi = {10.1007/3-540-61739-6\_33},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AltFMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1993perspektiven,
editor = {Reinhard Wilhelm},
title = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
der Informatik", Dagstuhl, November 1993]},
publisher = {Verlag C. H. Beck},
year = {1996},
isbn = {3-406-40338-7},
timestamp = {Wed, 10 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1993perspektiven.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080555,
author = {Reinhard Wilhelm and
Dieter Maurer},
title = {Compiler design},
publisher = {Addison-Wesley},
year = {1995},
isbn = {978-0-201-42290-0},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Ben-AsherRSW95,
author = {Yosi Ben{-}Asher and
Gudula R{\"{u}}nger and
Assaf Schuster and
Reinhard Wilhelm},
title = {2DT-FP: {A} parallel functional programming language on two-dimensional
data},
journal = {Int. J. Parallel Program.},
volume = {23},
number = {5},
pages = {389--422},
year = {1995},
url = {https://doi.org/10.1007/BF02577772},
doi = {10.1007/BF02577772},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Ben-AsherRSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/SanderAFW95,
author = {Georg Sander and
Martin Helmut Alt and
Christian Ferdinand and
Reinhard Wilhelm},
editor = {Franz{-}Josef Brandenburg},
title = {CLaX - {A} Visualized Compiler},
booktitle = {Graph Drawing, Symposium on Graph Drawing, {GD} '95, Passau, Germany,
September 20-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1027},
pages = {459--462},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0021829},
doi = {10.1007/BFB0021829},
timestamp = {Sun, 13 Nov 2022 09:57:38 +0100},
biburl = {https://dblp.org/rec/conf/gd/SanderAFW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/RauberRW95,
author = {Thomas Rauber and
Gudula R{\"{u}}nger and
Reinhard Wilhelm},
editor = {Louis O. Hertzberger and
Giuseppe Serazzi},
title = {An application specific parallel programming paradigm},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {919},
pages = {735--740},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0046708},
doi = {10.1007/BFB0046708},
timestamp = {Wed, 16 Mar 2022 23:55:31 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/RauberRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0088202,
author = {Reinhard Wilhelm and
Dieter Maurer},
title = {Les compilateurs - th{\'{e}}orie, construction, g{\'{e}}n{\'{e}}ration},
publisher = {Masson},
year = {1994},
isbn = {978-2-225-84615-1},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0088202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FerdinandSW94,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
title = {Tree Automata for Code Selection},
journal = {Acta Informatica},
volume = {31},
number = {8},
pages = {741--760},
year = {1994},
url = {https://doi.org/10.1007/BF01178733},
doi = {10.1007/BF01178733},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FerdinandSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BouillonSW94,
author = {Peter G. Bouillon and
Georg Sander and
Reinhard Wilhelm},
title = {Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung},
journal = {Inform. Forsch. Entwickl.},
volume = {9},
number = {2},
pages = {72--81},
year = {1994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BouillonSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Ben-AsherRWS94,
author = {Yosi Ben{-}Asher and
Gudula R{\"{u}}nger and
Reinhard Wilhelm and
Assaf Schuster},
editor = {Peter Fritzson},
title = {Implementing 2DT on a Multiprocessor},
booktitle = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
UK, April 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {786},
pages = {113--127},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57877-3\_8},
doi = {10.1007/3-540-57877-3\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/Ben-AsherRWS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ClausW93,
author = {Volker Claus and
Reinhard Wilhelm},
editor = {Reinhard Wilhelm},
title = {Einleitung},
booktitle = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
der Informatik", Dagstuhl, November 1993]},
pages = {9--12},
publisher = {Verlag C. H. Beck},
year = {1993},
timestamp = {Wed, 10 Jul 2002 11:30:54 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ClausW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Wilhelm93,
author = {Reinhard Wilhelm},
editor = {Reinhard Wilhelm},
title = {Generische und generative Methoden},
booktitle = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
der Informatik", Dagstuhl, November 1993]},
pages = {84--85},
publisher = {Verlag C. H. Beck},
year = {1993},
timestamp = {Wed, 10 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Wilhelm93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WilhelmH93,
author = {Reinhard Wilhelm and
Hans Hagen},
editor = {Reinhard Wilhelm},
title = {Programmiersprachen},
booktitle = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
der Informatik", Dagstuhl, November 1993]},
pages = {86--90},
publisher = {Verlag C. H. Beck},
year = {1993},
timestamp = {Wed, 10 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WilhelmH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WilhelmS93,
author = {Reinhard Wilhelm and
Otto Spaniol},
editor = {Reinhard Wilhelm},
title = {Parallele und verteilte Systeme},
booktitle = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
der Informatik", Dagstuhl, November 1993]},
pages = {90--94},
publisher = {Verlag C. H. Beck},
year = {1993},
timestamp = {Wed, 10 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WilhelmS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Ben-AsherRSW93,
author = {Yosi Ben{-}Asher and
Gudula R{\"{u}}nger and
Assaf Schuster and
Reinhard Wilhelm},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {2DT-FP: An {FP} Based Programming Language for Efficient Parallel
Programming of Multiprocessor Networks},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {42--55},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_4},
doi = {10.1007/3-540-56891-3\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Ben-AsherRSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/AltSW93,
author = {Martin Helmut Alt and
Georg Sander and
Reinhard Wilhelm},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Generation of Synchronization Code for Parallel Compilers},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {420--421},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_99},
doi = {10.1007/3-540-57186-8\_99},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/AltSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prospectra/AltFFW93,
author = {Martin Helmut Alt and
Christian Fecht and
Christian Ferdinand and
Reinhard Wilhelm},
editor = {Berthold Hoffmann and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Transformation Development: TrafoLa-H Subsystem},
booktitle = {Program Development by Specification and Transformation, The {PROSPECTRA}
Methodology, Language Family, and System},
series = {Lecture Notes in Computer Science},
volume = {680},
pages = {539--576},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56733-X\_166},
doi = {10.1007/3-540-56733-X\_166},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prospectra/AltFFW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/WilhelmM92,
author = {Reinhard Wilhelm and
Dieter Maurer},
title = {{\"{U}}bersetzerbau - Theorie, Konstruktion, Generierung},
publisher = {Springer},
year = {1992},
isbn = {3-540-55704-0},
timestamp = {Mon, 28 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/WilhelmM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/FerdinandSW92,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
editor = {Johannes Buchmann and
Harald Ganzinger and
Wolfgang J. Paul},
title = {Baumautomaten zur Codeselektion},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
series = {Teubner-Texte zur Informatik},
volume = {1},
pages = {121--144},
publisher = {Teubner / Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-322-95233-2\_8},
doi = {10.1007/978-3-322-95233-2\_8},
timestamp = {Tue, 16 Jul 2019 08:16:16 +0200},
biburl = {https://dblp.org/rec/books/sp/92/FerdinandSW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BorstlerMW91,
author = {J{\"{u}}rgen B{\"{o}}rstler and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
title = {Table Compression for Tree Automata},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {13},
number = {3},
pages = {295--314},
year = {1991},
url = {https://doi.org/10.1145/117009.117013},
doi = {10.1145/117009.117013},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BorstlerMW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FerdinandSW91,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
editor = {Robert Giegerich and
Susan L. Graham},
title = {Tree Automata for Code Selection},
booktitle = {Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation,
Dagstuhl, Germany, 20-24 May 1991},
series = {Workshops in Computing},
pages = {30--50},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3501-2\_2},
doi = {10.1007/978-1-4471-3501-2\_2},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FerdinandSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/MonckeW91,
author = {Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Henk Alblas and
Borivoj Melichar},
title = {Grammar Flow Analysis},
booktitle = {Attribute Grammars, Applications and Systems, International Summer
School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {545},
pages = {151--186},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54572-7\_6},
doi = {10.1007/3-540-54572-7\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saga/MonckeW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/LippaMW91,
author = {Peter Lipps and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Henk Alblas and
Borivoj Melichar},
title = {An Overview of the {OPTRAN} System},
booktitle = {Attribute Grammars, Applications and Systems, International Summer
School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {545},
pages = {505--506},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54572-7\_21},
doi = {10.1007/3-540-54572-7\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saga/LippaMW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/Wilhelm91,
author = {Reinhard Wilhelm},
editor = {Henk Alblas and
Borivoj Melichar},
title = {Attributive Reevaluation in {OPTRAN}},
booktitle = {Attribute Grammars, Applications and Systems, International Summer
School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {545},
pages = {507},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54572-7\_22},
doi = {10.1007/3-540-54572-7\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saga/Wilhelm91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SagivFRW90,
author = {Shmuel Sagiv and
Nissim Francez and
Michael Rodeh and
Reinhard Wilhelm},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {A Logic-Based Approach to Data Flow Analysis Problem},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {277--292},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024190},
doi = {10.1007/BFB0024190},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/SagivFRW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waga/Wilhelm90,
author = {Reinhard Wilhelm},
editor = {Pierre Deransart and
Martin Jourdan},
title = {Tree Tranformations, Functional Languages, and Attribute Grammars},
booktitle = {Attribute Grammars and their Applications, International Conference
WAGA, Paris, France, September 19-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {461},
pages = {116--129},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53101-7\_9},
doi = {10.1007/3-540-53101-7\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/waga/Wilhelm90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/wi/LoeckxMW89,
author = {Jacques Loeckx and
Kurt Mehlhorn and
Reinhard Wilhelm},
title = {Foundations of Programming Languages},
publisher = {John Wiley},
year = {1989},
url = {http://www.mpi-sb.mpg.de/\%7Emehlhorn/ProgLangBooks.html},
isbn = {0-471-92139-4},
timestamp = {Thu, 31 Oct 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/wi/LoeckxMW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/MaurerW89,
author = {Dieter Maurer and
Reinhard Wilhelm},
title = {MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen},
journal = {Inform. Forsch. Entwickl.},
volume = {4},
number = {2},
pages = {67--88},
year = {1989},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/MaurerW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ThomeW89,
author = {Winfried Thome and
Reinhard Wilhelm},
title = {Simulating Circular Attribute Grammars Through Attribute Reevaluation},
journal = {Inf. Process. Lett.},
volume = {33},
number = {2},
pages = {79--81},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90159-2},
doi = {10.1016/0020-0190(89)90159-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ThomeW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softent/Wilhelm89,
author = {Reinhard Wilhelm},
editor = {Wolfram{-}Manfred Lippe},
title = {{\"{U}}bersetzer f{\"{u}}r imperative, funktionale und logische
Programmiersprachen: Ein Vergleich (eingeladener Vortrag)},
booktitle = {Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung,
veranstaltet vom Fachausschlu{\ss} 2.1 der GI, Marburg, 21.-23. Juni
1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {212},
pages = {156--165},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74872-1\_11},
doi = {10.1007/978-3-642-74872-1\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/softent/Wilhelm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LippsMOW88,
author = {Peter Lipps and
Ulrich M{\"{o}}ncke and
Matthias Olk and
Reinhard Wilhelm},
title = {Attribute (Re)evaluation in {OPTRAN}},
journal = {Acta Informatica},
volume = {26},
number = {3},
pages = {213--239},
year = {1988},
url = {https://doi.org/10.1007/BF00299633},
doi = {10.1007/BF00299633},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LippsMOW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/RaberRHMMOW88,
author = {Martin Raber and
Thomas Remmel and
Erwin Hoffmann and
Dieter Maurer and
Fritz M{\"{u}}ller and
Hans{-}Georg Oberhauser and
Reinhard Wilhelm},
editor = {Uwe Kastens and
Franz J. Rammig},
title = {Complied Graph Reduction on a Processor Network},
booktitle = {Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung,
9.-11. M{\"{a}}rz 1988, Paderborn, Germany, Proceedings},
series = {Informatik-Fachberichte},
volume = {168},
pages = {198--212},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73451-9\_16},
doi = {10.1007/978-3-642-73451-9\_16},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/RaberRHMMOW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LippsMW88,
author = {Peter Lipps and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Dieter K. Hammer},
title = {{OPTRAN} - {A} Language/System for the Specification of Program Transformations:
System Overview and Experiences},
booktitle = {Compiler Compilers and High Speed Compilation, 2nd {CCHSC} Workshop,
Berlin GDR, October 10-14, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {371},
pages = {52--65},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51364-7\_4},
doi = {10.1007/3-540-51364-7\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LippsMW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/WeisgerberW88,
author = {Beatrix Weisgerber and
Reinhard Wilhelm},
editor = {Dieter K. Hammer},
title = {Two Tree Pattern Matchers for Code Selection},
booktitle = {Compiler Compilers and High Speed Compilation, 2nd {CCHSC} Workshop,
Berlin GDR, October 10-14, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {371},
pages = {215--229},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51364-7\_17},
doi = {10.1007/3-540-51364-7\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/WeisgerberW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iii/BastonBLMW88,
author = {M. Baston and
H.{-}J. Bach and
A. Lucks{-}Baus and
Fritz M{\"{u}}ller and
Reinhard Wilhelm},
editor = {Bernhard Gollan and
Wolfgang J. Paul and
Alwine Schmitt},
title = {Implementierung der funktionalen Programmiersprache {HOPE} mit Hilfe
von Kombinatoren},
booktitle = {Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation
der Universit{\"{a}}t des Saarlandes und der Siemens AG, I.I.I.-Forum,
Saarbr{\"{u}}cken, 12.-13. Oktober 1988, Proceedings},
series = {Informatik-Fachberichte},
volume = {184},
pages = {114--131},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-74116-6\_8},
doi = {10.1007/978-3-642-74116-6\_8},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iii/BastonBLMW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iii/BeckerKMW88,
author = {Gerhard Becker and
Brigitte Kuhn and
Dieter Maurer and
Reinhard Wilhelm},
editor = {Bernhard Gollan and
Wolfgang J. Paul and
Alwine Schmitt},
title = {S\({}_{\mbox{iA}}\)T\({}_{\mbox{E}}\)X - eine interaktive Arbeitsumgeubng
f{\"{u}}r T\({}_{\mbox{E}}\)X},
booktitle = {Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation
der Universit{\"{a}}t des Saarlandes und der Siemens AG, I.I.I.-Forum,
Saarbr{\"{u}}cken, 12.-13. Oktober 1988, Proceedings},
series = {Informatik-Fachberichte},
volume = {184},
pages = {162--169},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-74116-6\_10},
doi = {10.1007/978-3-642-74116-6\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iii/BeckerKMW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BurtonMOW87,
author = {F. Warren Burton and
Dieter Maurer and
Hans{-}Georg Oberhauser and
Reinhard Wilhelm},
title = {A Space-Efficient Optimization of Call-by-Need},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {636--642},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233474},
doi = {10.1109/TSE.1987.233474},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BurtonMOW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/teu/LoeckxMW86,
author = {Jacques Loeckx and
Kurt Mehlhorn and
Reinhard Wilhelm},
title = {Grundlagen der Programmiersprachen},
publisher = {Teubner},
year = {1986},
url = {http://www.mpi-sb.mpg.de/\%7Emehlhorn/ProgLangBooks.html},
isbn = {3-519-02254-0},
timestamp = {Thu, 31 Oct 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/teu/LoeckxMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1986,
editor = {Bernard J. Robinet and
Reinhard Wilhelm},
title = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
Federal Republic of Germany, March 17-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {213},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16442-1},
doi = {10.1007/3-540-16442-1},
isbn = {3-540-16442-1},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wilhelm84,
author = {Reinhard Wilhelm},
editor = {Ken Kennedy and
Mary S. Van Deusen and
Larry Landweber},
title = {Inverse Currying Transformation on Attribute Grammars},
booktitle = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
of Programming Languages, Salt Lake City, Utah, USA, January 1984},
pages = {140--147},
publisher = {{ACM} Press},
year = {1984},
url = {https://doi.org/10.1145/800017.800525},
doi = {10.1145/800017.800525},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wilhelm84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/MonckeWW84,
author = {Ulrich M{\"{o}}ncke and
Beatrix Weisgerber and
Reinhard Wilhelm},
editor = {Urs Ammann},
title = {How to Implement a System for Manipulation of Attributed Trees},
booktitle = {Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet
vom Fachausschu{\ss} 2.1 der {GI} und der Schweizer Informatiker Gesellschaft,
Z{\"{u}}rich, 8./9. M{\"{a}}rz 1984, Proceedings},
series = {Informatik-Fachberichte},
volume = {77},
pages = {112--127},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69393-9\_8},
doi = {10.1007/978-3-642-69393-9\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/MonckeWW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm83,
author = {Reinhard Wilhelm},
title = {Symbolische Programmausf{\"{u}}hrung - Das aktuelle Schlagwort},
journal = {Inform. Spektrum},
volume = {6},
number = {3},
pages = {170},
year = {1983},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MesserschmidtW82,
author = {Jan Messerschmidt and
Reinhard Wilhelm},
title = {Constructors for Composed Objects},
journal = {Comput. Lang.},
volume = {7},
number = {2},
pages = {53--59},
year = {1982},
url = {https://doi.org/10.1016/0096-0551(82)90021-2},
doi = {10.1016/0096-0551(82)90021-2},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/MesserschmidtW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wilhelm82,
author = {Reinhard Wilhelm},
editor = {J{\"{u}}rgen Nehmer},
title = {Imperative, pr{\"{a}}dikative und funktionale Programmierung
(Kurzfassung)},
booktitle = {{GI} - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {57},
pages = {188--193},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68603-0\_13},
doi = {10.1007/978-3-642-68603-0\_13},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/Wilhelm82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/Wilhelm82,
author = {Reinhard Wilhelm},
editor = {Hans W{\"{o}}ssner},
title = {{LL-} and LR-Attributed Grammars},
booktitle = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet
vom Fachausschu{\ss} 2 der GI, M{\"{u}}nchen, 9./10. M{\"{a}}rz
1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {53},
pages = {151--164},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68355-8\_12},
doi = {10.1007/978-3-642-68355-8\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/Wilhelm82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/GanzingerGMW82,
author = {Harald Ganzinger and
Robert Giegerich and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {John R. White and
Frances E. Allen},
title = {A Truly Generative Semantics-Directed Compiler Generator},
booktitle = {Proceedings of the {SIGPLAN} '82 Symposium on Compiler Construction,
Boston, Massachusetts, USA, June 23-25, 1982},
pages = {172--184},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800230.806993},
doi = {10.1145/800230.806993},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/GanzingerGMW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/MonckeW82,
author = {Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Hans J{\"{u}}rgen Schneider and
Herbert G{\"{o}}ttler},
title = {Iterative Algorithms on Grammar Graphs},
booktitle = {Proceedings of the 8th Conference Graphtheoretic Concepts in Computer
Science {(WG} '82), Neuenkirchen (near Erlangen), Germany},
pages = {177--194},
publisher = {Hanser, Munich},
year = {1982},
timestamp = {Thu, 04 Feb 2021 13:01:49 +0100},
biburl = {https://dblp.org/rec/conf/wg/MonckeW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Wilhelm81,
author = {Reinhard Wilhelm},
title = {A Modified Tree-to-Tree Correction Problem},
journal = {Inf. Process. Lett.},
volume = {12},
number = {3},
pages = {127--132},
year = {1981},
url = {https://doi.org/10.1016/0020-0190(81)90110-1},
doi = {10.1016/0020-0190(81)90110-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Wilhelm81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GiegerichM81,
author = {Robert Giegerich and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Wilfried Brauer},
title = {Invariance of Approximate Semantics with Respect to Program Transformations},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {1--10},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_1},
doi = {10.1007/978-3-662-01089-1\_1},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/GiegerichM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/GlasnerMW80,
author = {Ingrid Glasner and
Ulrich M{\"{o}}ncke and
Reinhard Wilhelm},
editor = {Hans{-}J{\"{u}}rgen Hoffmann},
title = {OPTRAN, a Language for the Specification of Program Transformations},
booktitle = {Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses
Programmiersprachen der GI, Darmstadt, 11.-12. M{\"{a}}rz 1980,
Proceedings},
series = {Informatik-Fachberichte},
volume = {25},
pages = {125--142},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67600-0\_10},
doi = {10.1007/978-3-642-67600-0\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/GlasnerMW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cad/1980gi,
editor = {Reinhard Wilhelm},
title = {CAD-Fachgespr{\"{a}}ch, {GI} - 10. Jahrestagung, Saarbr{\"{u}}cken,
30. September - 2. Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {34},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67839-4},
doi = {10.1007/978-3-642-67839-4},
isbn = {3-540-10389-9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cad/1980gi.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/1980,
editor = {Reinhard Wilhelm},
title = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7},
doi = {10.1007/978-3-642-67838-7},
isbn = {3-540-10388-0},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/1980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Wilhelm79,
author = {Reinhard Wilhelm},
title = {Computation and Use of Data Flow Information in Optimizing Compilers},
journal = {Acta Informatica},
volume = {12},
pages = {209--225},
year = {1979},
url = {https://doi.org/10.1007/BF00264579},
doi = {10.1007/BF00264579},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Wilhelm79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Wilhelm79,
author = {Reinhard Wilhelm},
title = {Attributierte Grammatiken},
journal = {Inform. Spektrum},
volume = {2},
number = {3},
pages = {123--130},
year = {1979},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Wilhelm79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GiegerichW78,
author = {Robert Giegerich and
Reinhard Wilhelm},
title = {Counter-One-Pass Features in One-Pass Compilation: {A} Formalization
Using Attribute Grammars},
journal = {Inf. Process. Lett.},
volume = {7},
number = {6},
pages = {279--284},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90017-0},
doi = {10.1016/0020-0190(78)90017-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/GiegerichW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Wilhelm77,
author = {Reinhard Wilhelm},
title = {Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte
der Implementierung},
school = {Technical University of Munich, Germany},
year = {1977},
url = {https://d-nb.info/780722329},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Wilhelm77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GiegerichW77,
author = {Robert Giegerich and
Reinhard Wilhelm},
editor = {Hans J{\"{u}}rgen Schneider},
title = {Implementierbarkeit attributierter Grammatiken},
booktitle = {{GI} - 7. Jahrestagung, N{\"{u}}rnberg, 26.-28. September 1977,
Proceedings},
series = {Informatik-Fachberichte},
volume = {10},
pages = {17--36},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/978-3-642-48908-2\_2},
doi = {10.1007/978-3-642-48908-2\_2},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/GiegerichW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GanzingerRW77,
author = {Harald Ganzinger and
Knut Ripken and
Reinhard Wilhelm},
editor = {Bruce Gilchrist},
title = {Automatic Generation of Optimizing Multipass Compilers},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {535--540},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GanzingerRW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GanzingerRW76,
author = {Harald Ganzinger and
Knut Ripken and
Reinhard Wilhelm},
editor = {John A. Gosden and
Olin G. Johnson},
title = {{MUG1} - an incremental compiler-compiler},
booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October
20-22, 1976},
pages = {415--418},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800191.805629},
doi = {10.1145/800191.805629},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/GanzingerRW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WilhelmRCGLN76,
author = {Reinhard Wilhelm and
Knut Ripken and
Joachim Ciesinger and
Harald Ganzinger and
Walter Lahner and
R. Nollmann},
editor = {Raymond T. Yeh and
C. V. Ramamoorthy},
title = {Design Evaluation of the Compiler Generating System {MUGI}},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering,
San Francisco, California, USA, October 13-15, 1976},
pages = {571--576},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {http://dl.acm.org/citation.cfm?id=807733},
timestamp = {Mon, 14 May 2012 18:17:17 +0200},
biburl = {https://dblp.org/rec/conf/icse/WilhelmRCGLN76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GanzingerW75,
author = {Harald Ganzinger and
Reinhard Wilhelm},
editor = {J{\"{o}}rg R. M{\"{u}}hlbacher},
title = {Verschr{\"{a}}nkung von Compiler-Moduln},
booktitle = {{GI} - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975},
series = {Lecture Notes in Computer Science},
volume = {34},
pages = {654--665},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07410-4\_666},
doi = {10.1007/3-540-07410-4\_666},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/gi/GanzingerW75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wilhelm74,
author = {Reinhard Wilhelm},
editor = {Dirk Siefkes},
title = {Code-Optimierung Mittels Attributierter Transformationsgrammatiken},
booktitle = {{GI} - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974},
series = {Lecture Notes in Computer Science},
volume = {26},
pages = {257--266},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07141-5\_228},
doi = {10.1007/3-540-07141-5\_228},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/gi/Wilhelm74.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 2023-11-09 20:02 CET 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:
