- Timing Model Derivation – Static Analysis of Hardware Description Languages
M. Schlickling
Saarland University, 2013.
[url]
[bib]
@phdthesis{Schlickling13,
author = {Marc Schlickling},
title = {Timing Model Derivation -- Static Analysis of Hardware Description Languages},
school = {Saarland University},
year = {2013},
month = {January},
isbn = {978-3-8442-4513-4},
publisher = {epubli GmbH},
url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-8442-4513-4}
}
- Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
D. Grund
Saarland University, 2012.
[url]
[bib]
@phdthesis{Grund12,
author = {Daniel Grund},
title = {Static Cache Analysis for Real-Time Systems -- {LRU}, {FIFO}, {PLRU}},
school = {Saarland University},
year = {2012},
isbn = {978-3-8442-1699-8},
publisher = {ePubli GmbH},
url = {https://www.epubli.de/shop/buch/Static-Cache-Analysis-for-Real-Time-Systems-Daniel-Grund-9783844216998/13092}
}
- Relational Cache Analysis for Static Timing Analysis
S. Hahn, and D. Grund
Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12), 2012.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Hahn12,
author = {Sebastian Hahn and Daniel Grund},
title = {Relational Cache Analysis for Static Timing Analysis},
booktitle = {Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12)},
year = {2012},
pages = {102--111},
month = {July},
doi = {10.1109/ECRTS.2012.14},
isbn = {978-1-4673-2032-0},
issn = {1068-3070},
location = {Pisa, Italy},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ecrts12-relcana.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/ecrts12-rel_cache_ana.pdf}
}
- Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
S. Altmeyer, R. I. Davis, and C. Maiza
Real-Time Systems, 2012.
[doi]
[bib]
@article{Altmeyer12,
author = {Sebastian Altmeyer and Robert I. Davis and Claire Maiza},
title = {Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems},
journal = {Real-Time Systems},
year = {2012},
doi = {10.1007/s11241-012-9152-2}
}
- Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
Advances in Real-Time Systems, 2012.
[doi]
[bib]
@inproceedings{Wilhelm12,
author = {Reinhard Wilhelm and Philipp Lucas and Oleg Parshin and Lili Tan and Bj\"orn Wachter},
title = {Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints},
booktitle = {Advances in Real-Time Systems},
year = {2012},
pages = {123--143},
doi = {10.1007/978-3-642-24349-3_6}
}
- Symbolic Representations in WCET Analysis
S. Wilhelm
Saarland University, 2012.
[url]
[bib]
@phdthesis{Wilhelm12b,
author = {Stephan Wilhelm},
title = {Symbolic Representations in {WCET} Analysis},
school = {Saarland University},
year = {2012},
isbn = {978-3-8442-2463-4},
publisher = {ePubli GmbH},
url = {http://www.epubli.de/shop/buch/Symbolic-Representations-in-WCET-Analysis-Stephan-Wilhelm-9783844224634/16575}
}
- Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
M. Pister
Saarland University, 2012.
[url]
[bib]
@phdthesis{Pister12,
author = {Markus Pister},
title = {Timing Model Derivation -- Pipeline Analyzer Generation from Hardware Description Languages},
school = {Saarland University},
year = {2012},
month = {October},
isbn = {978-3-937436-40-1},
publisher = {Pirrot Verlag},
url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-937436-40-1}
}
- Meeting Real-Time Requirements with Multi-core Processors
D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, and C. Ferdinand
Computer Safety, Reliability, and Security, Springer, 2012.
[doi]
[bib]
@incollection{Kaestner12,
author = {Daniel Kästner and Marc Schlickling and Markus Pister and Chritoph Cullmann and Gernot Gebhard and Reinhold Heckmann and Christian Ferdinand},
title = {Meeting Real-Time Requirements with Multi-core Processors},
booktitle = {Computer Safety, Reliability, and Security},
publisher = {Springer},
year = {2012},
editor = {Ortmeier, Frank and Daniel, Peter},
volume = {7613},
series = {Lecture Notes in Computer Science},
pages = {117--131},
doi = {10.1007/978-3-642-33675-1_10},
isbn = {978-3-642-33674-4}
}
- Branch Target Buffers: WCET Analysis Framework and Timing Predictability
D. Grund, J. Reineke, and G. Gebhard
Journal of Systems Architecture, 57 (6), 2011.
[doi]
[pdf]
[bib]
@article{Grund10b,
author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
journal = {Journal of Systems Architecture},
year = {2011},
volume = {57},
pages = {625--637},
number = {6},
doi = {10.1016/j.sysarc.2010.05.013},
issn = {1383-7621},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/jsa10-BTBs.pdf}
}
- A Template for Predictability Definitions with Supporting Evidence
D. Grund, J. Reineke, and R. Wilhelm
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011.
[doi]
[url]
[slides]
[bib]
@inproceedings{Grund11,
author = {Daniel Grund and Jan Reineke and Reinhard Wilhelm},
title = {A Template for Predictability Definitions with Supporting Evidence},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
year = {2011},
editor = {Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm},
volume = {18},
series = {OpenAccess Series in Informatics (OASIcs)},
pages = {22--31},
address = {Dagstuhl, Germany},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
doi = {10.4230/OASIcs.PPES.2011.22},
isbn = {978-3-939897-28-6},
issn = {2190-6807},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ppes11-predictability_template.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3078},
urn = {urn:nbn:de:0030-drops-30785}
}
- Software Structure and WCET Predictability
G. Gebhard, C. Cullmann, and R. Heckmann
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011.
[doi]
[url]
[bib]
@inproceedings{Gebhard11,
author = {Gernot Gebhard and Christoph Cullmann and Reinhold Heckmann},
title = {Software Structure and {WCET} Predictability},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
year = {2011},
editor = {Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm},
volume = {18},
series = {OpenAccess Series in Informatics (OASIcs)},
pages = {1--10},
address = {Dagstuhl, Germany},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
doi = {10.4230/OASIcs.PPES.2011.1},
isbn = {978-3-939897-28-6},
issn = {2190-6807},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3083},
urn = {urn:nbn:de:0030-drops-30836}
}
- Precise and Efficient Parametric Path Analysis
E. Althaus, S. Altmeyer, and R. Naujoks
LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, 2011.
[bib]
@inproceedings{Althaus11,
author = {Ernst Althaus and Sebastian Altmeyer and Rouven Naujoks},
title = {Precise and Efficient Parametric Path Analysis},
booktitle = {LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems},
year = {2011},
pages = {141--150},
address = {New York, NY, USA},
month = {April},
publisher = {ACM},
isbn = {978-1-4503-0555-6},
location = {Chicago, IL, USA}
}
- Precise WCET Calculation in Highly Variant Real-Time Systems
P. Montag, and S. Altmeyer
Proceedings of IEEE/ACM Design, Automation, and Test in Europe, 2011.
[bib]
@inproceedings{Montag11,
author = {Pascal Montag and Sebastian Altmeyer},
title = {Precise {WCET} Calculation in Highly Variant Real-Time Systems},
booktitle = {Proceedings of IEEE/ACM Design, Automation, and Test in Europe},
year = {2011},
month = {March},
location = {Grenoble, France}
}
- Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
S. Altmeyer, and C. Maiza
Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011.
[bib]
@inproceedings{Altmeyer11a,
author = {Sebastian Altmeyer and Claire Maiza},
title = {Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems -- Status Report},
booktitle = {Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar},
year = {2011},
editor = {Robert I. Davis and Nathan Fisher},
pages = {1--2},
month = {July},
location = {Porto, Portugal}
}
- Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
S. Altmeyer, R. I. Davis, and C. Maiza
Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011.
[bib]
@inproceedings{Altmeyer11b,
author = {Sebastian Altmeyer and Robert I. Davis and Claire Maiza},
title = {Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems},
booktitle = {Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11)},
year = {2011},
editor = {Robert I. Davis and Nathan Fisher},
pages = {261--271},
month = {December},
location = {Vienna, Austria}
}
- Semi-Automatic Derivation of Timing Models for WCET Analysis
M. Schlickling, and M. Pister
LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010.
[doi]
[bib]
@inproceedings{Schlickling10,
author = {Marc Schlickling and Markus Pister},
title = {Semi-Automatic Derivation of Timing Models for {WCET} Analysis},
booktitle = {LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems},
year = {2010},
pages = {67--76},
month = {April},
publisher = {ACM},
doi = {10.1145/1755888.1755899},
location = {Stockholm, Sweden}
}
- Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
S. Altmeyer, C. Maiza, and J. Reineke
LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Altmeyer10,
author = {Sebastian Altmeyer and Claire Maiza and Jan Reineke},
title = {Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches},
booktitle = {LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems},
year = {2010},
pages = {153--162},
address = {New York, NY, USA},
month = {April},
publisher = {ACM},
doi = {10.1145/1755888.1755911},
isbn = {978-1-60558-953-4},
location = {Stockholm, Sweden},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/resilienceAnalysisAVACS09.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/ResilienceAnalysisLCTES10.pdf}
}
- Predictability Considerations in the Design of Multi-Core Embedded Systems
C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
Proceedings of Embedded Real Time Software and Systems, 2010.
[pdf]
[bib]
@inproceedings{Cullmann10,
author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Reinhard Wilhelm},
title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
booktitle = {Proceedings of Embedded Real Time Software and Systems},
year = {2010},
pages = {36--42},
month = {May},
url = {http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0049_final.pdf}
}
- Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
D. Grund, and J. Reineke
Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10), 2010.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund10,
author = {Daniel Grund and Jan Reineke},
title = {Precise and Efficient {FIFO}-Replacement Analysis Based on Static Phase Detection},
booktitle = {Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10)},
year = {2010},
pages = {155--164},
month = {July},
doi = {10.1109/ECRTS.2010.8},
isbn = {978-1-4244-7546-9},
issn = {1068-3070},
location = {Brussels, Belgium},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ecrts10-fifo.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/ecrts10-fifo_phases.pdf}
}
- Timing Anomalies Reloaded
G. Gebhard
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010.
[bib]
@inproceedings{Gebhard10,
author = {Gernot Gebhard},
title = {Timing Anomalies Reloaded},
booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2010},
editor = {Bj\"orn Lisper},
pages = {5--15},
month = {July},
publisher = {Austrian Computer Society},
}
- Toward Precise PLRU Cache Analysis
D. Grund, and J. Reineke
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010.
[pdf]
[pdf]
[slides]
[bib]
@inproceedings{Grund10a,
author = {Daniel Grund and Jan Reineke},
title = {Toward Precise {PLRU} Cache Analysis},
booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2010},
editor = {Bj\"orn Lisper},
pages = {28--39},
month = {July},
publisher = {Austrian Computer Society},
pdf = {http://drops.dagstuhl.de/opus/volltexte/2010/2822/pdf/4.pdf},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/wcet10-plru.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/wcet10-plru.pdf}
}
- Integrating Abstract Caches with Symbolic Pipeline Analysis
S. Wilhelm, and C. Cullmann
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010.
[bib]
@inproceedings{Wilhelm10a,
author = {Stephan Wilhelm and Christoph Cullmann},
title = {Integrating Abstract Caches with Symbolic Pipeline Analysis},
booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2010},
editor = {Bj\"orn Lisper},
pages = {40--48},
month = {July},
publisher = {Austrian Computer Society},
}
- On the Use of context Information for Precise Measurement-Based Execution-Time Estimation
S. Stattelmann, and F. Martin
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010.
[bib]
@inproceedings{Stattelmann10,
author = {Stafan Stattelmann and Florian Martin},
title = {On the Use of context Information for Precise Measurement-Based Execution-Time Estimation},
booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2010},
editor = {Bj\"orn Lisper},
pages = {68--79},
month = {July},
publisher = {Austrian Computer Society},
}
- Precomputing Memory Locations for Parametric Allocations
J. Herter, and S. Altmeyer
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010.
[pdf]
[pdf]
[slides]
[bib]
@inproceedings{Herter10,
author = {J\"org Herter and Sebastian Altmeyer},
title = {Precomputing Memory Locations for Parametric Allocations},
booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2010},
editor = {Bj\"orn Lisper},
pages = {125--136},
month = {July},
publisher = {Austrian Computer Society},
pdf = {http://drops.dagstuhl.de/opus/volltexte/2010/2832/pdf/14.pdf},
slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/precomputingParametricAllocationsWCET10.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/precomputingParametricAllocationsWCET10.pdf}
}
- Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems
S. Altmeyer, and C. Burguière
Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010.
[bib]
@inproceedings{Altmeyer10a,
author = {Sebastian Altmeyer and Claire Burgui\`ere},
title = {Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems},
booktitle = {Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar},
year = {2010},
editor = {Robert I. Davis and Nathan Fisher},
pages = {5--6},
month = {July},
}
- Predictability Considerations in the Design of Multi-Core Embedded Systems
C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
Ingénieurs de l'Automobile, 807, 2010.
[bib]
@article{Cullmann10a,
author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Simon Wegener and Reinhard Wilhelm},
title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
journal = {Ing\'enieurs de l'Automobile},
year = {2010},
volume = {807},
pages = {36--42},
month = {September},
issn = {0020-1200}
}
- Abstract Interpretation of FIFO Replacement
D. Grund, and J. Reineke
Static Analysis, 16th International Symposium, SAS 2009, 2009.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund09,
author = {Daniel Grund and Jan Reineke},
title = {Abstract Interpretation of {FIFO} Replacement},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009},
year = {2009},
editor = {Jens Palsberg and Zhendong Su},
volume = {5673},
series = {LNCS},
pages = {120--136},
month = {August},
publisher = {Springer},
doi = {10.1007/978-3-642-03237-0},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/sas09-fifo.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/sas09-AI_FIFO.pdf}
}
- Branch Target Buffers: WCET Analysis Framework and Timing Predictability
D. Grund, J. Reineke, and G. Gebhard
15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund09a,
author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
booktitle = {15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009},
year = {2009},
month = {August},
doi = {10.1109/RTCSA.2009.8},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/rtcsa09-btb.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rtcsa09-BTBs.pdf}
}
- Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009.
[doi]
[bib]
@article{Wilhelm09,
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 Transactions on {CAD} of Integrated Circuits and Systems},
year = {2009},
volume = {28},
pages = {966--978},
number = {7},
month = {July},
doi = {10.1109/TCAD.2009.2013287}
}
- Semi-Automatic Derivation of Abstract Processor Models
M. Pister, M. Schlickling, and M. A. Maksoud
Technical Report, ES_PASS, 2009.
[bib]
@techreport{Pister09,
author = {Markus Pister and Marc Schlickling and Mohamed Abdel Maksoud},
title = {Semi-Automatic Derivation of Abstract Processor Models},
institution = {ES_PASS},
year = {2009},
type = {Reports of {ES_PASS}},
month = {June},
}
- Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
J. Reineke, and R. Sen
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Reineke09,
author = {Jan Reineke and Rathijit Sen},
title = {Sound and Efficient {WCET} Analysis in the Presence of Timing Anomalies},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/preciseAndEfficientTimingAnomaliesWCET09.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET09.pdf}
}
- Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
C. Burguière, J. Reineke, and S. Altmeyer
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Burgui`ere09,
author = {Claire Burgui\`ere and Jan Reineke and Sebastian Altmeyer},
title = {Cache-Related Preemption Delay Computation for Set-Associative Caches---Pitfalls and Solutions},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/CRPDPitfallsWCET09.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2285/pdf/Burguiere.2285.pdf}
}
- Making Dynamic Memory Allocation Static To Support WCET Analyses
J. Herter, and J. Reineke
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Herter09,
author = {J\"org Herter and Jan Reineke},
title = {Making Dynamic Memory Allocation Static To Support {WCET} Analyses},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/makingDynamicAllocationStaticWCET09.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2284/pdf/Herter.2284.pdf}
}
- A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
S. Altmeyer, and C. Burguière
Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009.
[doi]
[bib]
@inproceedings{Altmeyer09,
author = {Sebastian Altmeyer and Claire Burgui\`ere},
title = {A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay},
booktitle = {Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09)},
year = {2009},
pages = {109--118},
month = {July},
publisher = {IEEE Computer Society},
doi = {10.1109/ECRTS.2009.21},
isbn = {978-0-7695-3724-5}
}
- An Abstraction-Aware Compiler for VHDL Models
M. A. Maksoud, M. Pister, and M. Schlickling
Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009.
[doi]
[bib]
@inproceedings{Maksoud09,
author = {Mohamed Abdel Maksoud and Markus Pister and Marc Schlickling},
title = {An Abstraction-Aware Compiler for {VHDL} Models},
booktitle = {Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09)},
year = {2009},
pages = {3--9},
month = {December},
publisher = {IEEE Computer Society},
doi = {10.1109/ICCES.2009.5383321},
isbn = {978-1-4244-5842-4}
}
- Improving Timing Analysis for Matlab Simulink/Stateflow
L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009.
[pdf]
[bib]
@inproceedings{Tan09a,
author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
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)},
year = {2009},
editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
pages = {59--63},
url = {http://ceur-ws.org/Vol-507/paper05.pdf}
}
- Operating Mode Specific WCET Analysis
P. Lucas, O. Parshin, and R. Wilhelm
Proceedings of JRWRTC, 2009.
[bib]
@inproceedings{Lucas09,
author = {Philipp Lucas and Oleg Parshin and Reinhard Wilhelm},
title = {Operating Mode Specific {WCET} Analysis},
booktitle = {Proceedings of JRWRTC},
year = {2009},
editor = {Charlotte Seidner},
month = {October},
}
- Symbolic State Traversal for WCET Analysis
S. Wilhelm, and B. Wachter
International Conference on Embedded Software, 2009.
[bib]
@inproceedings{Wilhelm09a,
author = {Stephan Wilhelm and Bj\"orn Wachter},
title = {Symbolic State Traversal for {WCET} Analysis},
booktitle = {International Conference on Embedded Software},
year = {2009},
pages = {137--146},
month = {October},
}
- Designing Predictable Multicore Architectures for Avionics and Automotive Systems
R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
Workshop on Reconciling Performance with Predictability (RePP), 2009.
[pdf]
[bib]
@inproceedings{Wilhelm09b,
author = {Reinhard Wilhelm and Christian Ferdinand and Christoph Cullmann and Daniel Grund and Jan Reineke and Beno\^it Triquet},
title = {Designing Predictable Multicore Architectures for Avionics and Automotive Systems},
booktitle = {Workshop on Reconciling Performance with Predictability ({RePP})},
year = {2009},
month = {October},
url = {http://www.tik.ee.ethz.ch/~jchen/RePP/papers/2-3.pdf}
}
- The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008.
[doi]
[bib]
@article{Wilhelm08,
author = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"om},
title = {The Worst-case Execution Time Problem---Overview of Methods and Survey of Tools},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
year = {2008},
volume = {7},
number = {3},
doi = {10.1145/1347375.1347389}
}
- Abstract Interpretation with Applications to Timing Validation
R. Wilhelm, and B. Wachter
CAV, 2008.
[pdf]
[bib]
@inproceedings{Wilhelm08a,
author = {Reinhard Wilhelm and Bj\"orn Wachter},
title = {Abstract Interpretation with Applications to Timing Validation},
booktitle = {CAV},
year = {2008},
editor = {Aarti Gupta and Sharad Malik},
volume = {5123},
series = {LNCS},
pages = {22--36},
publisher = {Springer Verlag},
note = {Princeton, NJ, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/cav08-ai-tutorial.pdf}
}
- Sensitivity of Cache Replacement Policies
J. Reineke, and D. Grund
Technical Report, SFB/TR 14 AVACS, 2008.
[pdf]
[bib]
@techreport{Reineke08a,
author = {Jan Reineke and Daniel Grund},
title = {Sensitivity of Cache Replacement Policies},
institution = {SFB/TR 14 AVACS},
year = {2008},
type = {Reports of SFB/TR 14 AVACS},
number = {36},
month = {March},
note = {ISSN: 1860-9821, http://www.avacs.org},
access = {open},
bibtex = {atr036.bib},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {R2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_036.pdf}
}
- CAMA: Cache-Aware Memory Allocation for WCET Analysis
J. Herter, J. Reineke, and R. Wilhelm
Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008.
[pdf]
[slides]
[bib]
@inproceedings{Herter08a,
author = {J\"org Herter and Jan Reineke and Reinhard Wilhelm},
title = {{CAMA}: Cache-Aware Memory Allocation for {WCET} Analysis},
booktitle = {Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems},
year = {2008},
editor = {Marco Caccamo},
pages = {24--27},
month = {July},
slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/ecrtswip08.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/camaecrts08.pdf}
}
- WCET Analysis for Preemptive Systems
S. Altmeyer, and G. Gebhard
Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008.
[bib]
@inproceedings{Altmeyer08,
author = {Sebastian Altmeyer and Gernot Gebhard},
title = {{WCET} Analysis for Preemptive Systems},
booktitle = {Proceedings of the 8th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2008},
editor = {Raimund Kirner},
pages = {105--112},
address = {Prague, Czech Republic},
month = {July},
publisher = {OCG},
}
- Parametric Timing Analysis for Complex Architectures
S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008.
[bib]
@inproceedings{Altmeyer08a,
author = {Sebastian Altmeyer and Christian H\"umbert and Bj\"orn Lisper and Reinhard Wilhelm},
title = {Parametric Timing Analysis for Complex Architectures},
booktitle = {Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ({RTCSA}'08)},
year = {2008},
pages = {367--376},
address = {Kaohsiung, Taiwan},
month = {August},
publisher = {IEEE Computer Society},
}
- Caches in WCET Analysis
J. Reineke
Universität des Saarlandes, 2008.
[pdf]
[slides]
[bib]
@phdthesis{Reineke08,
author = {Jan Reineke},
title = {Caches in {WCET} Analysis},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {November},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/phdDefenseReineke.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/DissertationCachesInWCETAnalysis.pdf}
}
- New Developments in WCET Analysis
C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007.
[bib]
@incollection{Ferdinand07,
author = {Christian Ferdinand and Florian Martin and Christoph Cullmann and Marc Schlickling and Ingmar Stein and Stephan Thesing and Reinhold Heckmann},
title = {New Developments in {WCET} Analysis},
booktitle = {Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
publisher = {Springer Verlag},
year = {2007},
editor = {Thomas Reps and Mooly Sagiv and J\"org Bauer},
volume = {4444},
series = {LNCS},
pages = {12--52},
isbn = {978-3-540-71315-9}
}
- A Framework for Static Analysis of VHDL Code
M. Schlickling, and M. Pister
Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007.
[ps]
[bib]
@inproceedings{Schlickling07,
author = {Marc Schlickling and Markus Pister},
title = {A Framework for Static Analysis of {VHDL} Code},
booktitle = {Proceedings of 7th International Workshop on Worst-case Execution Time ({WCET}) Analysis},
year = {2007},
editor = {Christine Rochange},
month = {July},
url = {http://www.irit.fr/wcet2007/finalpapers/schlickling.ps}
}
- Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
S. Wilhelm, and B. Wachter
Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007.
[pdf]
[bib]
@inproceedings{Wilhelm07a,
author = {Stephan Wilhelm and Bj\"orn Wachter},
title = {Towards Symbolic State Traversal for Efficient {WCET} Analysis of Abstract Pipeline and Cache Models},
booktitle = {Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis},
year = {2007},
month = {July},
url = {http://www.irit.fr/wcet2007/finalpapers/wilhelm.pdf}
}
- Timing Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Real-Time Systems, 37 (2), 2007.
[doi]
[pdf]
[slides]
[bib]
@article{Reineke07,
author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
title = {Timing Predictability of Cache Replacement Policies},
journal = {Real-Time Systems},
year = {2007},
volume = {37},
pages = {99--122},
number = {2},
month = {November},
doi = {10.1007/s11241-007-9032-3},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/predictabilityCacheReplacement.ppt},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rts07-predictability.pdf}
}
- Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006.
[bib]
@inproceedings{Eisinger06,
author = {Jochen Eisinger and Ilia Polian and Bernd Becker and Alexander Metzner and Stephan Thesing and Reinhard Wilhelm},
title = {Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis},
booktitle = {9th IEEE Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems (DDECS 2006)},
year = {2006},
editor = {Matteo Sonza Reorda and Ondrej Nov\'ak and Bernd Straube and Hanna Kub\'atov\'a and Zdenek Kot\'asek and Pavel Kubal\'ik and Raimund Ubar and Jiri Bucek},
pages = {15--20},
publisher = {IEEE Computer Society Press},
}
- A Definition and Classification of Timing Anomalies
J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006.
[pdf]
[slides]
[bib]
@inproceedings{Reineke06b,
author = {Jan Reineke and Bj\"orn Wachter and Stephan Thesing and Reinhard Wilhelm and Ilia Polian and Jochen Eisinger and Bernd Becker},
title = {A Definition and Classification of Timing Anomalies},
booktitle = {Proceedings of 6th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2006},
month = {July},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/timingAnomaliesWCET06.ppt},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET06.pdf}
}
- Determining Bounds on Execution Times
R. Wilhelm
Handbook on Embedded Systems, CRC Press, 2006.
[bib]
@incollection{Wilhelm06,
author = {Reinhard Wilhelm},
title = {Determining Bounds on Execution Times},
booktitle = {Handbook on Embedded Systems},
publisher = {CRC Press},
year = {2006},
editor = {Richard Zurawski},
chapter = {14},
}
- Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Technical Report, SFB/TR 14 AVACS, 2006.
[pdf]
[bib]
@techreport{Reineke06a,
author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
title = {Predictability of Cache Replacement Policies},
institution = {SFB/TR 14 AVACS},
year = {2006},
type = {Reports of SFB/TR 14 AVACS},
number = {9},
month = {September},
note = {ISSN: 1860-9821, http://www.avacs.org},
access = {open},
bibtex = {atr009.bib},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {R2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_009.pdf}
}
- The Worst Case Execution Time Tool Challenge 2006: The External Test
L. Tan
2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2006.
[url]
[bib]
@inproceedings{Tan06,
author = {Lili Tan},
title = {The Worst Case Execution Time Tool Challenge 2006: The External Test},
booktitle = {2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06)},
year = {2006},
editor = {Tiziana Margaris and Anna Philippou and Bernhard Steffen},
address = {Paphos, Cyprus},
month = {November},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4463719&isnumber=4463676}
}
- The Worst Case Execution Time Tool Challenge 2006
L. Tan
Technical Report, University Duisburg-Essen, 2006.
[pdf]
[bib]
@techreport{Tan06a,
author = {Lili Tan},
title = {The Worst Case Execution Time Tool Challenge 2006},
institution = {University Duisburg-Essen},
year = {2006},
type = {Technical Reports of {WCET} Tool Challenge},
number = {1},
month = {December},
url = {https://www.rw.cdl.uni-saarland.de/people/lili/private/papers/TanWCETChallenge.pdf}
}
- Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
S. Altmeyer
Universität des Saarlandes, 2006.
[bib]
@mastersthesis{Altmeyer06,
author = {Sebastian Altmeyer},
title = {Parametric {WCET} Analysis, Parameter Framework and Parametric Path Analysis},
school = {Universit\"at des Saarlandes},
year = {2006},
}
- PLRU Cache Domino Effects
C. Berg
6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006.
[url]
[pdf]
[bib]
@inproceedings{Berg06,
author = {Christoph Berg},
title = {{PLRU} Cache Domino Effects},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis},
year = {2006},
editor = {Frank Mueller},
number = {06902},
series = {Dagstuhl Seminar Proceedings},
month = {July},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
bibtex = {2006/berg06-plru.bib},
issn = {1862-4405},
pdf = {http://www.df7cb.de/cs/publications/2006/berg06-plru.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/672/}
}
- Timing Analysis and Timing Predictability
R. Wilhelm
FMCO 2004, 2005.
[bib]
@inproceedings{Wilhelm05,
author = {Reinhard Wilhelm},
title = {Timing Analysis and Timing Predictability},
booktitle = {FMCO 2004},
year = {2005},
editor = {F.S. de Boer et al.},
volume = {3657},
series = {LNCS},
pages = {317--323},
publisher = {Springer Verlag},
}
- Efficient Analysis of Pipeline Models for WCET Computation
S. Wilhelm
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005.
[bib]
@inproceedings{Wilhelm05b,
author = {Stephan Wilhelm},
title = {Efficient Analysis of Pipeline Models for {WCET} Computation},
booktitle = {Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis},
year = {2005},
}
- Requirements for and Design of a Processor with Predictable Timing
C. Berg, J. Engblom, and R. Wilhelm
Design of Systems with Predictable Behaviour, 2004.
[url]
[bib]
@inproceedings{Berg04,
author = {Christoph Berg and Jakob Engblom and Reinhard Wilhelm},
title = {Requirements for and Design of a Processor with Predictable Timing},
booktitle = {Design of Systems with Predictable Behaviour},
year = {2004},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2004/5}
}
- Component-Wise Instruction-Cache Behavior Prediction
A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
ATVA 2004, 2004.
[bib]
@inproceedings{Rakib04,
author = {Abdur Rakib and Oleg Parshin and Stephan Thesing and Reinhard Wilhelm},
title = {Component-Wise Instruction-Cache Behavior Prediction},
booktitle = {ATVA 2004},
year = {2004},
volume = {3299},
series = {LNCS},
pages = {211--229},
}
- Design for Timing Predictability
L. Thiele, and R. Wilhelm
Real-Time Systems, 28, 2004.
[bib]
@article{Thiele04,
author = {Lothar Thiele and Reinhard Wilhelm},
title = {Design for Timing Predictability},
journal = {Real-Time Systems},
year = {2004},
volume = {28},
pages = {157--177},
publisher = {Kluwer}
}
- Formal Analysis of Processor Timing Models
R. Wilhelm
Model Checking Software, 11th International SPIN Workshop, 2004.
[bib]
@inproceedings{Wilhelm04a,
author = {Reinhard Wilhelm},
title = {Formal Analysis of Processor Timing Models},
booktitle = {Model Checking Software, 11th International SPIN Workshop},
year = {2004},
editor = {Susanne Graf and Laurent Mounier},
volume = {2989},
series = {LNCS},
pages = {1--4},
publisher = {Springer Verlag},
}
- Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
R. Wilhelm
VMCAI 2004, 2004.
[url]
[bib]
@inproceedings{Wilhelm04b,
author = {Reinhard Wilhelm},
title = {Why {AI} + {ILP} is Good for {WCET}, But {MC} Is Not, Nor {ILP} Alone},
booktitle = {VMCAI 2004},
year = {2004},
volume = {2937},
series = {LNCS},
pages = {309--322},
url = {https://www.rw.cdl.uni-saarland.de/people/wilhelm/private/pubs/AIvsMC.ppt}
}
- The Influence of Processor Architecture on the Design and the Results of WCET Tools
R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm
Proceedings of the IEEE, 91 (7), 2003.
[bib]
@article{Heckmann03,
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 = {Proceedings of the IEEE},
year = {2003},
volume = {91},
pages = {1038--1054},
number = {7},
month = {July},
}
- An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics
S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand
Proceedings of the International Performance and Dependability Symposium (IPDS), 2003.
[bib]
@inproceedings{Thesing03,
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},
booktitle = {Proceedings of the International Performance and Dependability Symposium (IPDS)},
year = {2003},
pages = {625--632},
month = {June},
publisher = {IEEE Computer Society Press},
}
- Validierung des Zeitverhaltens von kritischer Echtzeit-Software
C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
GI Jahrestagung (1), 2003.
[pdf]
[bib]
@inproceedings{Ferdinand03,
author = {Christian Ferdinand and Daniel K\"astner 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},
title = {{V}alidierung des {Z}eitverhaltens von kritischer {E}chtzeit-{S}oftware},
booktitle = {GI Jahrestagung (1)},
year = {2003},
pages = {335--339},
language = {ngerman},
url = {http://www.bmw-carit.de/gi/papers/Validierung_des_Zeitverhaltens_von_kritischer_Echtzeit-Software.pdf}
}
- Pipeline Modeling for Timing Analysis
M. Langenbach, S. Thesing, and R. Heckmann
Proceedings of the Static Analyses Symposium (SAS), 2002.
[bib]
@inproceedings{Langenbach02,
author = {Marc Langenbach and Stephan Thesing and Reinhold Heckmann},
title = {Pipeline Modeling for Timing Analysis},
booktitle = {Proceedings of the Static Analyses Symposium (SAS)},
year = {2002},
volume = {2477},
series = {LNCS},
address = {Madrid, Spain},
}
- Reliable and Precise WCET Determination for a Real-Life Processor
C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm
Embedded Software Workshop, 2001.
[bib]
@inproceedings{Ferdinand01,
author = {Christian Ferdinand and Reinhold Heckmann and Marc Langenbach and Florian Martin and Michael Schmidt and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
title = {Reliable and Precise {WCET} Determination for a Real-Life Processor},
booktitle = {Embedded Software Workshop},
year = {2001},
volume = {2211},
pages = {469--485},
address = {Lake Tahoe, USA},
month = {October},
}
- Fast and Precise WCET Prediction by Separate Cache and Path Analyses
H. Theiling, C. Ferdinand, and R. Wilhelm
Real-Time Systems, 18 (2/3), 2000.
[bib]
@article{Theiling00a,
author = {Henrik Theiling and Christian Ferdinand and Reinhard Wilhelm},
title = {Fast and Precise {WCET} Prediction by Separate Cache and Path Analyses},
journal = {Real-Time Systems},
year = {2000},
volume = {18},
number = {2/3},
month = {May},
}
- Run-Time Guarantees for Real-Time Systems—The USES Approach
C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm
Proceedings of Informatik '99 – Arbeitstagung Programmiersprachen, 1999.
[bib]
@inproceedings{Ferdinand99,
author = {Christian Ferdinand and Daniel K\"astner and Marc Langenbach and Florian Martin and Michael Schmidt and J\"orn Schneider and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
title = {Run-Time Guarantees for Real-Time Systems---The {USES} Approach},
booktitle = {{P}roceedings of {I}nformatik '99 -- {A}rbeitstagung {P}rogrammiersprachen},
year = {1999},
address = {Paderborn},
}
- Fast and Efficient Cache Behavior Prediction for Real-Time Systems
C. Ferdinand, and R. Wilhelm
Real-Time Systems, 17(2/3), 1999.
[bib]
@article{Ferdinand99a,
author = {Christian Ferdinand and Reinhard Wilhelm},
title = {Fast and Efficient Cache Behavior Prediction for Real-Time Systems},
journal = {Real-Time Systems},
year = {1999},
volume = {17(2/3)},
pages = {131--181},
publisher = {Kluwer}
}
- Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation
J. Schneider, and C. Ferdinand
In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999.
[bib]
@inproceedings{Schneider99,
author = {J\"orn Schneider and Christian Ferdinand},
title = {Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation},
booktitle = {In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems},
year = {1999},
}
- Pipeline Behaviour Prediction for Superscalar Processors
J. Schneider, C. Ferdinand, and R. Wilhelm
Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999.
[bib]
@techreport{Schneider99a,
author = {J\"orn Schneider and Christian Ferdinand and Reinhard Wilhelm},
title = {Pipeline Behaviour Prediction for Superscalar Processors},
institution = {FB 14 - Informatik, Universit\"at des Saarlandes},
year = {1999},
number = {A/02/99},
}
- Cache Behavior Prediction by Abstract Interpretation
C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
Science of Computer Programming, 1998.
[bib]
@article{Ferdinand98a,
author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
title = {Cache Behavior Prediction by Abstract Interpretation},
journal = {Science of {C}omputer {P}rogramming},
year = {1998},
}
- On Predicting Data Cache Behaviour for Real-Time Systems
C. Ferdinand, and R. Wilhelm
ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System, 1998.
[bib]
@inproceedings{Ferdinand98b,
author = {Christian Ferdinand and Reinhard Wilhelm},
title = {On Predicting Data Cache Behaviour for Real-Time Systems},
booktitle = {ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System},
year = {1998},
}
- Statische Pipeline-Analyse für Echtzeitsysteme
J. Schneider
Technical Report, Universität des Saarlandes, 1998.
[bib]
@techreport{Schneider98,
author = {J\"orn Schneider},
title = {{S}tatische {P}ipeline-{A}nalyse f\"ur {E}chtzeitsysteme},
institution = {Universit\"at des Saarlandes},
year = {1998},
type = {Diploma Thesis},
}
- Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
H. Theiling, and C. Ferdinand
Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), 1998.
[bib]
@inproceedings{Theiling98b,
author = {Henrik Theiling and Christian Ferdinand},
title = {Combining Abstract Interpretation and {ILP} for Microarchitecture Modelling and Program Path Analysis},
booktitle = {Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS)},
year = {1998},
address = {Madrid, Spain},
}
- Cache Behavior Prediction for Real-Time Systems
C. Ferdinand
Technical Report, Universität des Saarlandes, 1997.
[bib]
@techreport{Ferdinand97b,
author = {Christian Ferdinand},
title = {Cache Behavior Prediction for Real-Time Systems},
institution = {Universit\"at des Saarlandes},
year = {1997},
type = {Ph{D} {T}hesis},
}
- Applying Compiler Techniques to Cache Behavior Prediction
C. Ferdinand, F. Martin, and R. Wilhelm
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems, 1997.
[ps]
[bib]
@inproceedings{Ferdinand97d,
author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
title = {Applying Compiler Techniques to Cache Behavior Prediction},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems},
year = {1997},
pages = {37--46},
address = {Las Vegas, Nevada},
month = {June},
organization = {ACM SIGPLAN},
url = {https://www.rw.cdl.uni-saarland.de/people/ferdi/private/ferdi_lctrts97.ps}
}
- Cache Behavior Prediction by Abstract Interpretation
C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
Technical Report, Universität des Saarlandes, 1997.
[bib]
@techreport{Ferdinand97e,
author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
title = {Cache Behavior Prediction by Abstract Interpretation},
institution = {Universit\"at des Saarlandes},
year = {1997},
type = {{T}echnical {R}eport 05/97},
}
- Cache Behavior Prediction by Abstract Interpretation
M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
Proceedings of SAS'96, Static Analysis Symposium, 1996.
[bib]
@inproceedings{Alt96,
author = {Martin Alt and Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
title = {Cache Behavior Prediction by Abstract Interpretation},
booktitle = {Proceedings of SAS'96, Static Analysis Symposium},
year = {1996},
volume = {1145},
series = {LNCS},
publisher = {Springer Verlag},
}
- Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
S. Altmeyer, and C. Maiza
Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011.
[bib]
@inproceedings{Altmeyer11a,
author = {Sebastian Altmeyer and Claire Maiza},
title = {Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems -- Status Report},
booktitle = {Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar},
year = {2011},
editor = {Robert I. Davis and Nathan Fisher},
pages = {1--2},
month = {July},
location = {Porto, Portugal}
}
- Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
S. Altmeyer, R. I. Davis, and C. Maiza
Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011.
[bib]
@inproceedings{Altmeyer11b,
author = {Sebastian Altmeyer and Robert I. Davis and Claire Maiza},
title = {Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems},
booktitle = {Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11)},
year = {2011},
editor = {Robert I. Davis and Nathan Fisher},
pages = {261--271},
month = {December},
location = {Vienna, Austria}
}
- Semi-Automatic Derivation of Timing Models for WCET Analysis
M. Schlickling, and M. Pister
LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010.
[doi]
[bib]
@inproceedings{Schlickling10,
author = {Marc Schlickling and Markus Pister},
title = {Semi-Automatic Derivation of Timing Models for {WCET} Analysis},
booktitle = {LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems},
year = {2010},
pages = {67--76},
month = {April},
publisher = {ACM},
doi = {10.1145/1755888.1755899},
location = {Stockholm, Sweden}
}
- Best Probabilistic Transformers
B. Wachter, and L. Zhang
VMCAI, 2010.
[pdf]
[bib]
@inproceedings{Wachter10,
author = {Bj\"orn Wachter and Lijun Zhang},
title = {Best Probabilistic Transformers},
booktitle = {VMCAI},
year = {2010},
pages = {362--379},
publisher = {Springer Verlag},
url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/vmcai10-ai-mdp.pdf}
}
- A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
P. Backes, and J. Reineke
Transformation Tool Contest 2010, 2010.
[pdf]
[slides]
[bib]
@inproceedings{Backes10a,
author = {Peter Backes and Jan Reineke},
title = {A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System},
booktitle = {Transformation Tool Contest 2010},
year = {2010},
volume = {WP10-03},
series = {{CTIT} Workshop Proceedings},
pages = {107--118},
address = {Enschede},
publisher = {University of Twente},
slides = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc10s.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc2010.pdf}
}
- Abstract Topology Analysis of the Join Phase of the Merge Protocol
P. Backes, and J. Reineke
Transformation Tool Contest 2010, 2010.
[pdf]
[slides]
[bib]
@inproceedings{Backes10,
author = {Peter Backes and Jan Reineke},
title = {Abstract Topology Analysis of the Join Phase of the Merge Protocol},
booktitle = {Transformation Tool Contest 2010},
year = {2010},
volume = {WP10-03},
series = {{CTIT} Workshop Proceedings},
pages = {127--133},
address = {Enschede},
publisher = {University of Twente},
slides = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc10bs.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc2010b.pdf}
}
- Computing the Maximum Blocking Time for Scheduling with Deferred Preemption
S. Altmeyer, C. Burguière, and R. Wilhelm
Workshop on Software Technologies for Future Dependable Distributed Systems, 2009.
[doi]
[bib]
@inproceedings{Altmeyer09a,
author = {Sebastian Altmeyer and Claire Burgui\`ere and Reinhard Wilhelm},
title = {Computing the Maximum Blocking Time for Scheduling with Deferred Preemption},
booktitle = {Workshop on Software Technologies for Future Dependable Distributed Systems},
year = {2009},
doi = {10.1109/STFSSD.2009.12}
}
- Abstract Interpretation of FIFO Replacement
D. Grund, and J. Reineke
Static Analysis, 16th International Symposium, SAS 2009, 2009.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund09,
author = {Daniel Grund and Jan Reineke},
title = {Abstract Interpretation of {FIFO} Replacement},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009},
year = {2009},
editor = {Jens Palsberg and Zhendong Su},
volume = {5673},
series = {LNCS},
pages = {120--136},
month = {August},
publisher = {Springer},
doi = {10.1007/978-3-642-03237-0},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/sas09-fifo.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/sas09-AI_FIFO.pdf}
}
- Branch Target Buffers: WCET Analysis Framework and Timing Predictability
D. Grund, J. Reineke, and G. Gebhard
15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund09a,
author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
booktitle = {15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009},
year = {2009},
month = {August},
doi = {10.1109/RTCSA.2009.8},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/rtcsa09-btb.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rtcsa09-BTBs.pdf}
}
- Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009.
[doi]
[bib]
@article{Wilhelm09,
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 Transactions on {CAD} of Integrated Circuits and Systems},
year = {2009},
volume = {28},
pages = {966--978},
number = {7},
month = {July},
doi = {10.1109/TCAD.2009.2013287}
}
- INFAMY: An Infinite-State Markov Model Checker
E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
Computer Aided Verification, 2009.
[doi]
[bib]
@inproceedings{Hahn09,
author = {Ernst Moritz Hahn and Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
title = {{INFAMY}: An Infinite-State Markov Model Checker},
booktitle = {Computer Aided Verification},
year = {2009},
editor = {Ahmed Bouajjani and Oded Maler},
volume = {5643},
series = {LNCS},
pages = {641--647},
publisher = {Springer},
doi = {10.1007/978-3-642-02658-4_49}
}
- Best Probabilistic Transformers and Beyond
B. Wachter, and L. Zhang
Technical Report, SFB/TR 14 AVACS, 2009.
[pdf]
[bib]
@techreport{Wachter09,
author = {Bj\"orn Wachter and Lijun Zhang},
title = {Best Probabilistic Transformers and Beyond},
institution = {SFB/TR 14 AVACS},
year = {2009},
type = {Reports of SFB/TR 14 AVACS},
number = {48},
month = {April},
note = {ISSN: 1860-9821, http://www.avacs.org.},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {S2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_048.pdf}
}
- Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
J. Reineke, and R. Sen
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Reineke09,
author = {Jan Reineke and Rathijit Sen},
title = {Sound and Efficient {WCET} Analysis in the Presence of Timing Anomalies},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/preciseAndEfficientTimingAnomaliesWCET09.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET09.pdf}
}
- Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
C. Burguière, J. Reineke, and S. Altmeyer
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Burgui`ere09,
author = {Claire Burgui\`ere and Jan Reineke and Sebastian Altmeyer},
title = {Cache-Related Preemption Delay Computation for Set-Associative Caches---Pitfalls and Solutions},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/CRPDPitfallsWCET09.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2285/pdf/Burguiere.2285.pdf}
}
- Making Dynamic Memory Allocation Static To Support WCET Analyses
J. Herter, and J. Reineke
Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
[pdf]
[slides]
[bib]
@inproceedings{Herter09,
author = {J\"org Herter and Jan Reineke},
title = {Making Dynamic Memory Allocation Static To Support {WCET} Analyses},
booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2009},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/makingDynamicAllocationStaticWCET09.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2284/pdf/Herter.2284.pdf}
}
- A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
S. Altmeyer, and C. Burguière
Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009.
[doi]
[bib]
@inproceedings{Altmeyer09,
author = {Sebastian Altmeyer and Claire Burgui\`ere},
title = {A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay},
booktitle = {Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09)},
year = {2009},
pages = {109--118},
month = {July},
publisher = {IEEE Computer Society},
doi = {10.1109/ECRTS.2009.21},
isbn = {978-0-7695-3724-5}
}
- An Abstraction-Aware Compiler for VHDL Models
M. A. Maksoud, M. Pister, and M. Schlickling
Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009.
[doi]
[bib]
@inproceedings{Maksoud09,
author = {Mohamed Abdel Maksoud and Markus Pister and Marc Schlickling},
title = {An Abstraction-Aware Compiler for {VHDL} Models},
booktitle = {Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09)},
year = {2009},
pages = {3--9},
month = {December},
publisher = {IEEE Computer Society},
doi = {10.1109/ICCES.2009.5383321},
isbn = {978-1-4244-5842-4}
}
- Improving Timing Analysis for Matlab Simulink/Stateflow
L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009.
[pdf]
[bib]
@inproceedings{Tan09a,
author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
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)},
year = {2009},
editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
pages = {59--63},
url = {http://ceur-ws.org/Vol-507/paper05.pdf}
}
- Symbolic State Traversal for WCET Analysis
S. Wilhelm, and B. Wachter
International Conference on Embedded Software, 2009.
[bib]
@inproceedings{Wilhelm09a,
author = {Stephan Wilhelm and Bj\"orn Wachter},
title = {Symbolic State Traversal for {WCET} Analysis},
booktitle = {International Conference on Embedded Software},
year = {2009},
pages = {137--146},
month = {October},
}
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
Fundamenta Informaticae, 95, 2009.
[url]
[bib]
@article{Hahn09a,
author = {E. Moritz Hahn and Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
title = {Time-Bounded Model Checking of Infinite-State Continuous-Time {Markov} Chains},
journal = {Fundamenta Informaticae},
year = {2009},
volume = {95},
pages = {129--155},
url = {http://dx.doi.org/10.3233/FI-2009-145}
}
- The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008.
[doi]
[bib]
@article{Wilhelm08,
author = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"om},
title = {The Worst-case Execution Time Problem---Overview of Methods and Survey of Tools},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
year = {2008},
volume = {7},
number = {3},
doi = {10.1145/1347375.1347389}
}
- Probabilistic CEGAR
H. Hermanns, B. Wachter, and L. Zhang
CAV, 2008.
[pdf]
[bib]
@inproceedings{Hermanns08,
author = {Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
title = {Probabilistic {CEGAR}},
booktitle = {CAV},
year = {2008},
editor = {Aarti Gupta and Sharad Malik},
volume = {5123},
series = {LNCS},
pages = {162--175},
publisher = {Springer Verlag},
note = {Princeton, NJ, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/cav08-pcegar.pdf}
}
- Abstract Interpretation with Applications to Timing Validation
R. Wilhelm, and B. Wachter
CAV, 2008.
[pdf]
[bib]
@inproceedings{Wilhelm08a,
author = {Reinhard Wilhelm and Bj\"orn Wachter},
title = {Abstract Interpretation with Applications to Timing Validation},
booktitle = {CAV},
year = {2008},
editor = {Aarti Gupta and Sharad Malik},
volume = {5123},
series = {LNCS},
pages = {22--36},
publisher = {Springer Verlag},
note = {Princeton, NJ, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/cav08-ai-tutorial.pdf}
}
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
L. Zhang, H. Hermanns, E. M. Hahn, and B. Wachter
ACSD, 2008.
[pdf]
[bib]
@inproceedings{Zhang08,
author = {Lijun Zhang and Holger Hermanns and E. Moritz Hahn and Bj\"orn Wachter},
title = {Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains},
booktitle = {ACSD},
year = {2008},
note = {Xi'an, China},
url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/acsd08-time-bounded.pdf}
}
- Sensitivity of Cache Replacement Policies
J. Reineke, and D. Grund
Technical Report, SFB/TR 14 AVACS, 2008.
[pdf]
[bib]
@techreport{Reineke08a,
author = {Jan Reineke and Daniel Grund},
title = {Sensitivity of Cache Replacement Policies},
institution = {SFB/TR 14 AVACS},
year = {2008},
type = {Reports of SFB/TR 14 AVACS},
number = {36},
month = {March},
note = {ISSN: 1860-9821, http://www.avacs.org},
access = {open},
bibtex = {atr036.bib},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {R2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_036.pdf}
}
- Estimating the Performance of Cache Replacement Policies
D. Grund, and J. Reineke
MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2008.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund08,
author = {Daniel Grund and Jan Reineke},
title = {Estimating the Performance of Cache Replacement Policies},
booktitle = {MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign},
year = {2008},
pages = {101--111},
month = {June},
doi = {10.1109/MEMCOD.2008.4547695},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/memocode08-policy_performance.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/memocode08-policy_performance.pdf}
}
- Relative Competitiveness of Cache Replacement Policies
J. Reineke, and D. Grund
SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2008.
[doi]
[pdf]
[bib]
@inproceedings{Reineke08b,
author = {Jan Reineke and Daniel Grund},
title = {Relative Competitiveness of Cache Replacement Policies},
booktitle = {SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems},
year = {2008},
pages = {431--432},
address = {New York, NY, USA},
month = {June},
publisher = {ACM},
doi = {10.1145/1375457.1375506},
isbn = {978-1-60558-005-0},
location = {Annapolis, MD, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/sigmetrics08-rel_comp.pdf}
}
- Relative Competitive Analysis of Cache Replacement Policies
J. Reineke, and D. Grund
LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, 2008.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Reineke08c,
author = {Jan Reineke and Daniel Grund},
title = {Relative Competitive Analysis of Cache Replacement Policies},
booktitle = {LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems},
year = {2008},
pages = {51--60},
address = {New York, NY, USA},
month = {June},
publisher = {ACM},
doi = {10.1145/1375657.1375665},
isbn = {978-1-60558-104-0},
location = {Tucson, AZ, USA},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/relativeCompetitiveAnalysisLCTES08.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/lctes08-rel_comp.pdf}
}
- CAMA: Cache-Aware Memory Allocation for WCET Analysis
J. Herter, J. Reineke, and R. Wilhelm
Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008.
[pdf]
[slides]
[bib]
@inproceedings{Herter08a,
author = {J\"org Herter and Jan Reineke and Reinhard Wilhelm},
title = {{CAMA}: Cache-Aware Memory Allocation for {WCET} Analysis},
booktitle = {Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems},
year = {2008},
editor = {Marco Caccamo},
pages = {24--27},
month = {July},
slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/ecrtswip08.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/camaecrts08.pdf}
}
- WCET Analysis for Preemptive Systems
S. Altmeyer, and G. Gebhard
Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008.
[bib]
@inproceedings{Altmeyer08,
author = {Sebastian Altmeyer and Gernot Gebhard},
title = {{WCET} Analysis for Preemptive Systems},
booktitle = {Proceedings of the 8th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2008},
editor = {Raimund Kirner},
pages = {105--112},
address = {Prague, Czech Republic},
month = {July},
publisher = {OCG},
}
- Parametric Timing Analysis for Complex Architectures
S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008.
[bib]
@inproceedings{Altmeyer08a,
author = {Sebastian Altmeyer and Christian H\"umbert and Bj\"orn Lisper and Reinhard Wilhelm},
title = {Parametric Timing Analysis for Complex Architectures},
booktitle = {Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ({RTCSA}'08)},
year = {2008},
pages = {367--376},
address = {Kaohsiung, Taiwan},
month = {August},
publisher = {IEEE Computer Society},
}
- Caches in WCET Analysis
J. Reineke
Universität des Saarlandes, 2008.
[pdf]
[slides]
[bib]
@phdthesis{Reineke08,
author = {Jan Reineke},
title = {Caches in {WCET} Analysis},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {November},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/phdDefenseReineke.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/DissertationCachesInWCETAnalysis.pdf}
}
- Topology Analysis of Dynamic Communication Systems
P. Backes
Universität des Saarlandes, 2008.
[bib]
@mastersthesis{Backes08,
author = {Peter Backes},
title = {Topology Analysis of Dynamic Communication Systems},
school = {Universit\"at des Saarlandes},
year = {2008},
type = {Diploma thesis},
month = {March},
}
- The Spotlight Principle: On Process-Summarizing State Abstractions
B. Wachter, and B. Westphal
Verification, Model Checking and Abstract Interpretation, 2007.
[bib]
@inproceedings{Wachter07,
author = {Bj\"orn Wachter and Bernd Westphal},
title = {The Spotlight Principle: On Process-Summarizing State Abstractions},
booktitle = {Verification, Model Checking and Abstract Interpretation},
year = {2007},
editor = {Andreas Podelski and Byron Cook},
volume = {4349},
series = {LNCS},
publisher = {Springer Verlag},
note = {Nice, France},
}
- New Developments in WCET Analysis
C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007.
[bib]
@incollection{Ferdinand07,
author = {Christian Ferdinand and Florian Martin and Christoph Cullmann and Marc Schlickling and Ingmar Stein and Stephan Thesing and Reinhold Heckmann},
title = {New Developments in {WCET} Analysis},
booktitle = {Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
publisher = {Springer Verlag},
year = {2007},
editor = {Thomas Reps and Mooly Sagiv and J\"org Bauer},
volume = {4444},
series = {LNCS},
pages = {12--52},
isbn = {978-3-540-71315-9}
}
- A Framework for Static Analysis of VHDL Code
M. Schlickling, and M. Pister
Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007.
[ps]
[bib]
@inproceedings{Schlickling07,
author = {Marc Schlickling and Markus Pister},
title = {A Framework for Static Analysis of {VHDL} Code},
booktitle = {Proceedings of 7th International Workshop on Worst-case Execution Time ({WCET}) Analysis},
year = {2007},
editor = {Christine Rochange},
month = {July},
url = {http://www.irit.fr/wcet2007/finalpapers/schlickling.ps}
}
- Probabilistic Model Checking Modulo Theories
B. Wachter, L. Zhang, and H. Hermanns
Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, 2007.
[bib]
@inproceedings{Wachter07a,
author = {Bj\"orn Wachter and Lijun Zhang and Holger Hermanns},
title = {Probabilistic Model Checking Modulo Theories},
booktitle = {Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems},
year = {2007},
month = {September},
}
- Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
S. Wilhelm, and B. Wachter
Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007.
[pdf]
[bib]
@inproceedings{Wilhelm07a,
author = {Stephan Wilhelm and Bj\"orn Wachter},
title = {Towards Symbolic State Traversal for Efficient {WCET} Analysis of Abstract Pipeline and Cache Models},
booktitle = {Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis},
year = {2007},
month = {July},
url = {http://www.irit.fr/wcet2007/finalpapers/wilhelm.pdf}
}
- Timing Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Real-Time Systems, 37 (2), 2007.
[doi]
[pdf]
[slides]
[bib]
@article{Reineke07,
author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
title = {Timing Predictability of Cache Replacement Policies},
journal = {Real-Time Systems},
year = {2007},
volume = {37},
pages = {99--122},
number = {2},
month = {November},
doi = {10.1007/s11241-007-9032-3},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/predictabilityCacheReplacement.ppt},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rts07-predictability.pdf}
}
- On Probabilistic CEGAR
H. Hermanns, B. Wachter, and L. Zhang
Technical Report, SFB/TR 14 AVACS, 2007.
[pdf]
[bib]
@techreport{Hermanns07,
author = {Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
title = {On Probabilistic {CEGAR}},
institution = {SFB/TR 14 AVACS},
year = {2007},
type = {Reports of SFB/TR 14 AVACS},
number = {33},
month = {December},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle andErnst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {S2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_033.pdf}
}
- Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
J. Bauer, and R. Wilhelm
Technical Report, Dagstuhl, 2006.
[pdf]
[bib]
@techreport{Bauer06b,
author = {J\"org Bauer and Reinhard Wilhelm},
title = {Analysis of Dynamic Communicating Systems by Hierarchical Abstraction},
institution = {Dagstuhl},
year = {2006},
type = {Seminar Proceedings 06081},
month = feb,
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/dagstuhl06081.pdf}
}
- Specification and Verification of Dynamic Communication Systems
J. Bauer, I. Schaefer, T. Toben, and B. Westphal
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on, 2006.
[pdf]
[bib]
@inproceedings{Bauer06a,
author = {J\"org Bauer and Ina Schaefer and Tobe Toben and Bernd Westphal},
title = {Specification and Verification of Dynamic Communication Systems},
booktitle = {Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on},
year = {2006},
publisher = {IEEE Computer Society Press},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/acsd06.pdf}
}
- Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006.
[bib]
@inproceedings{Eisinger06,
author = {Jochen Eisinger and Ilia Polian and Bernd Becker and Alexander Metzner and Stephan Thesing and Reinhard Wilhelm},
title = {Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis},
booktitle = {9th IEEE Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems (DDECS 2006)},
year = {2006},
editor = {Matteo Sonza Reorda and Ondrej Nov\'ak and Bernd Straube and Hanna Kub\'atov\'a and Zdenek Kot\'asek and Pavel Kubal\'ik and Raimund Ubar and Jiri Bucek},
pages = {15--20},
publisher = {IEEE Computer Society Press},
}
- A Definition and Classification of Timing Anomalies
J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006.
[pdf]
[slides]
[bib]
@inproceedings{Reineke06b,
author = {Jan Reineke and Bj\"orn Wachter and Stephan Thesing and Reinhard Wilhelm and Ilia Polian and Jochen Eisinger and Bernd Becker},
title = {A Definition and Classification of Timing Anomalies},
booktitle = {Proceedings of 6th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
year = {2006},
month = {July},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/timingAnomaliesWCET06.ppt},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET06.pdf}
}
- Determining Bounds on Execution Times
R. Wilhelm
Handbook on Embedded Systems, CRC Press, 2006.
[bib]
@incollection{Wilhelm06,
author = {Reinhard Wilhelm},
title = {Determining Bounds on Execution Times},
booktitle = {Handbook on Embedded Systems},
publisher = {CRC Press},
year = {2006},
editor = {Richard Zurawski},
chapter = {14},
}
- Explaining Data Type Reduction in the Shape Analysis Framework
B. Wachter
Workshop Trustworthy Software 2006, 2006.
[bib]
@inproceedings{Wachter06,
author = {Bj\"orn Wachter},
title = {Explaining Data Type Reduction in the Shape Analysis Framework},
booktitle = {Workshop Trustworthy Software 2006},
year = {2006},
editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
publisher = {Internationales Begegnungs- und Forschungszentrum f\"ur Informatik (IBFI), Schloss Dagstuhl, Germany},
optaddress = {Dagstuhl, Germany}
}
- Analysis of Communication Topologies by Partner Abstraction
J. Bauer
Universität des Saarlandes, 2006.
[bib]
@phdthesis{Bauer06,
author = {J\"org Bauer},
title = {Analysis of Communication Topologies by Partner Abstraction},
school = {Universit\"at des Saarlandes},
year = {2006},
isbn = {978-3-937436-12-8},
publisher = {Verlag Pirrot, 66125 Saarbr\"ucken}
}
- Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Technical Report, SFB/TR 14 AVACS, 2006.
[pdf]
[bib]
@techreport{Reineke06a,
author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
title = {Predictability of Cache Replacement Policies},
institution = {SFB/TR 14 AVACS},
year = {2006},
type = {Reports of SFB/TR 14 AVACS},
number = {9},
month = {September},
note = {ISSN: 1860-9821, http://www.avacs.org},
access = {open},
bibtex = {atr009.bib},
editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
series = {ATR},
subproject = {R2},
url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_009.pdf}
}
- Efficient Algorithms for Feasibility and Optimality
W. Damm, A. Metzner, F. Eisenbrand, G. Shmonin, R. Wilhelm, and S. Winkel
Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006.
[bib]
@inproceedings{Damm06,
author = {Werner Damm and Alexander Metzner and Friedrich Eisenbrand and Gennady Shmonin and Reinhard Wilhelm and Sebastian Winkel},
title = {Efficient Algorithms for Feasibility and Optimality},
booktitle = {Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06)},
year = {2006},
}
- Codegenerierung für CSP-OZ
B. Franzen
[bib]
@misc{Franzen06,
author = {B\"arbel Franzen},
title = {Codegenerierung f\"ur {CSP-OZ}},
howpublished = {Universit\"at des Saarlandes},
year = {2006},
}
- A Semantics for Procedure Local Heaps and its Abstractions
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005.
[pdf]
[bib]
@inproceedings{Rinetzky05,
author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {A Semantics for Procedure Local Heaps and its Abstractions},
booktitle = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
year = {2005},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/popl05.pdf}
}
- Timing Analysis and Timing Predictability
R. Wilhelm
FMCO 2004, 2005.
[bib]
@inproceedings{Wilhelm05,
author = {Reinhard Wilhelm},
title = {Timing Analysis and Timing Predictability},
booktitle = {FMCO 2004},
year = {2005},
editor = {F.S. de Boer et al.},
volume = {3657},
series = {LNCS},
pages = {317--323},
publisher = {Springer Verlag},
}
- Component-Wise Instruction-Cache Behavior Prediction
A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
ATVA 2004, 2004.
[bib]
@inproceedings{Rakib04,
author = {Abdur Rakib and Oleg Parshin and Stephan Thesing and Reinhard Wilhelm},
title = {Component-Wise Instruction-Cache Behavior Prediction},
booktitle = {ATVA 2004},
year = {2004},
volume = {3299},
series = {LNCS},
pages = {211--229},
}
- Static Program Analysis via 3-Valued Logic
T. Reps, S. Sagiv, and R. Wilhelm
CAV 2004, 2004.
[bib]
@inproceedings{Reps04,
author = {Thomas Reps and Shmuel Sagiv and Reinhard Wilhelm},
title = {Static Program Analysis via 3-Valued Logic},
booktitle = {CAV 2004},
year = {2004},
volume = {3114},
series = {LNCS},
pages = {15--30},
}
- A Semantics for Procedure Local Heaps and its Abstractions
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
Technical Report, AVACS, 2004.
[pdf]
[bib]
@techreport{Rinetzky04,
author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
title = {A Semantics for Procedure Local Heaps and its Abstractions},
institution = {AVACS},
year = {2004},
type = {Tech. Rep.},
number = {1},
month = {September},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/avacsTR1.pdf}
}
- Design for Timing Predictability
L. Thiele, and R. Wilhelm
Real-Time Systems, 28, 2004.
[bib]
@article{Thiele04,
author = {Lothar Thiele and Reinhard Wilhelm},
title = {Design for Timing Predictability},
journal = {Real-Time Systems},
year = {2004},
volume = {28},
pages = {157--177},
publisher = {Kluwer}
}
- Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
R. Wilhelm
VMCAI 2004, 2004.
[url]
[bib]
@inproceedings{Wilhelm04b,
author = {Reinhard Wilhelm},
title = {Why {AI} + {ILP} is Good for {WCET}, But {MC} Is Not, Nor {ILP} Alone},
booktitle = {VMCAI 2004},
year = {2004},
volume = {2937},
series = {LNCS},
pages = {309--322},
url = {https://www.rw.cdl.uni-saarland.de/people/wilhelm/private/pubs/AIvsMC.ppt}
}
- SIMD Code Generation in Data-Parallel Programming
N. Fritz
Universität des Saarlandes, 2009.
[bib]
@phdthesis{Fritz09,
author = {Nicolas Fritz},
title = {{SIMD} Code Generation in Data-Parallel Programming},
school = {Universit\"at des Saarlandes},
year = {2009},
}
- Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008.
[doi]
[pdf]
[bib]
@inproceedings{Boissinot08,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
title = {Fast Liveness Checking for {SSA}-Form Programs},
booktitle = {CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization},
year = {2008},
pages = {35--44},
address = {New York, NY, USA},
month = {April},
publisher = {ACM},
award = {Best Paper Award},
doi = {10.1145/1356058.1356064},
isbn = {978-1-59593-978-4},
location = {Boston, MA, USA},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cgo08-liveness.pdf}
}
- A Fast Cutting-Plane Algorithm for Optimal Coalescing (EAPLS Best Paper Award)
D. Grund, and S. Hack
Compiler Construction - CC 2007, 2007.
[doi]
[pdf]
[slides]
[bib]
@inproceedings{Grund07,
author = {Daniel Grund and Sebastian Hack},
title = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
booktitle = {Compiler Construction - CC 2007},
year = {2007},
editor = {Shriram Krishnamurthi and Martin Odersky},
volume = {4420},
series = {Lecture Notes In Computer Science},
pages = {111--125},
month = {March},
publisher = {Springer Verlag},
note = {Braga, Portugal},
award = {EAPLS Best Paper Award},
doi = {10.1007/978-3-540-71229-9_8},
slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/cc07-opt_coalescing-talk.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cc07-opt_coalescing.pdf}
}
- Fast Liveness Checking for SSA-Form Programs
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
Technical Report, INRIA, 2007.
[url]
[bib]
@techreport{Boissinot07,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
title = {Fast Liveness Checking for {SSA}-Form Programs},
institution = {INRIA},
year = {2007},
number = {RR-2007-45},
month = {November},
url = {http://hal.inria.fr/inria-00192219/en/}
}
- Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Compiler Construction - CC 2006, 2006.
[doi]
[pdf]
[bib]
@inproceedings{Hack06a,
author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
title = {Register Allocation for Programs in {SSA} Form},
booktitle = {Compiler Construction - CC 2006},
year = {2006},
editor = {Andreas Zeller and Alan Mycroft},
volume = {3923},
series = {Lecture Notes In Computer Science},
month = {March},
publisher = {Springer Verlag},
note = {Vienna, Austria},
doi = {10.1007/11688839_20},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/cc06-ra_ssa.pdf}
}
- Kopienminimierung in einem SSA-basierten Registerzuteiler
D. Grund
Universität Karlsruhe, 2005.
[pdf]
[bib]
@mastersthesis{Grund05,
author = {Daniel Grund},
title = {{K}opienminimierung in einem {SSA}-basierten {R}egisterzuteiler},
school = {Universit\"at Karlsruhe},
year = {2005},
month = {August},
institution = {IPD Goos},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/da05_grund.pdf}
}
- Towards Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Technical Report, University of Karlsruhe, 2005.
[pdf]
[bib]
@techreport{Hack05a,
author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
title = {Towards Register Allocation for Programs in {SSA} Form},
institution = {University of Karlsruhe},
year = {2005},
month = {September},
organization = {Universit\"at Karlsruhe},
url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/tr05_ra_ssa.pdf}
}
- Generic Software Pipelining at the Assembly Level
M. Pister, and D. Kästner
Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005), 2005.
[pdf]
[bib]
@inproceedings{Pister05a,
author = {Markus Pister and Daniel K\"astner},
title = {Generic Software Pipelining at the Assembly Level},
booktitle = {Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005)},
year = {2005},
pages = {50--62},
address = {Dallas/Texas (USA)},
month = oct,
publisher = {ACM},
url = {https://www.rw.cdl.uni-saarland.de/people/pister/private/papers/scopes2005.pdf}
}
- Exploring the Performance Potential of Itanium Processors with ILP-based Scheduling
S. Winkel
Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2004.
[bib]
@inproceedings{Winkel04,
author = {Sebastian Winkel},
title = {Exploring the Performance Potential of {Itanium} Processors with {ILP}-based Scheduling},
booktitle = {Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
year = {2004},
address = {Palo Alto},
month = mar,
}
- Post-Pass Compaction Techniques
B. De Bus, D. Kästner, D. Chanet, L. V. Put, and B. De Sutter
Communications of the ACM, 46 (8), 2003.
[bib]
@article{Bus03,
author = {B. De Bus and Daniel K\"astner and D. Chanet and L. Van Put and B. De Sutter},
title = {Post-Pass Compaction Techniques},
journal = {Communications of the ACM},
year = {2003},
volume = {46},
pages = {41--46},
number = {8},
month = aug,
}
- Reconstructing Control Flow from Predicated Assembly Code
B. Decker, and D. Kästner
Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003), 2003.
[bib]
@inproceedings{Decker03,
author = {Bj\"orn Decker and Daniel K\"astner},
title = {Reconstructing Control Flow from Predicated Assembly Code},
booktitle = {Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003)},
year = {2003},
volume = {2826},
series = {LNCS},
pages = {81--100},
publisher = {Springer Verlag},
}
- TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes
D. Kästner
Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003, 2003.
[bib]
@inproceedings{Kastner03,
author = {Daniel K\"astner},
title = {{TDL}: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes},
booktitle = {Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003},
year = {2003},
volume = {2830},
series = {LNCS},
pages = {18--36},
publisher = {Springer Verlag},
}
- Compiler Optimizations by ILP-Based Approximations
D. Kästner
SIAM Conference on Optimization, 2002.
[bib]
@article{Kastner02,
author = {Daniel K\"astner},
title = {Compiler Optimizations by {ILP}-Based Approximations},
journal = {SIAM Conference on Optimization},
year = {2002},
address = {Toronto},
}
- Generic Control Flow Reconstruction from Assembly Code
D. Kästner, and S. Wilhelm
Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices, 37 (7), 2002.
[bib]
@article{Kastner02a,
author = {Daniel K\"astner and Stephan Wilhelm},
title = {Generic Control Flow Reconstruction from Assembly Code},
journal = {Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices},
year = {2002},
volume = {37},
number = {7},
month = jun,
publisher = {ACM SIGPLAN Notices}
}
- Optimal Global Scheduling for Itanium Processor Family
S. Winkel
Proceedings of the EPIC-2 Workshop, 2002.
[pdf]
[bib]
@inproceedings{Winkel02,
author = {Sebastian Winkel},
title = {Optimal Global Scheduling for {Itanium} Processor Family},
booktitle = {Proceedings of the EPIC-2 Workshop},
year = {2002},
address = {Istanbul},
month = nov,
url = {https://www.rw.cdl.uni-saarland.de/people/sewi/private/EPIC-2.pdf}
}
- ILP-Based Approximations for Retargetable Code Optimization
D. Kästner
Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001), 2001.
[bib]
@inproceedings{Kastner01,
author = {Daniel K\"astner},
title = {{ILP}-Based Approximations for Retargetable Code Optimization},
booktitle = {Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001)},
year = {2001},
address = {Hong Kong},
}
- ILP-Based Instruction Scheduling for IA-64
D. Kästner, and S. Winkel
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2001.
[pdf]
[bib]
@inproceedings{Kastner01a,
author = {Daniel K\"astner and Sebastian Winkel},
title = {{ILP}-Based Instruction Scheduling for {IA-64}},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems},
year = {2001},
address = {Snowbird},
month = jun,
url = {https://www.rw.cdl.uni-saarland.de/people/sewi/private/lctes01-2.pdf}
}
- PROPAN: A Retargetable System for Postpass Optimisations and Analyses
D. Kästner
Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2000.
[bib]
@article{Kastner00a,
author = {Daniel K\"astner},
title = {{PROPAN}: A Retargetable System for Postpass Optimisations and Analyses},
journal = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems},
year = {2000},
month = jun,
}
- A Retargetable System for Postpass Optimisations and Analyses
D. Kästner
Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000.
[bib]
@inproceedings{Kastner00b,
author = {Daniel K\"astner},
title = {A Retargetable System for Postpass Optimisations and Analyses},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems},
year = {2000},
}
- TDL—A Hardware and Assembly Description Language
D. Kästner
Technical Report, Universität des Saarlandes, 2000.
[bib]
@techreport{Kastner00c,
author = {Daniel K\"astner},
title = {{TDL}---A Hardware and Assembly Description Language},
institution = {Universit\"at des Saarlandes},
year = {2000},
}
- TDL: A Hardware and Assembly Description Language
D. Kästner
Technical Report, Transferbereich 14, University of Saarland, 1999.
[bib]
@techreport{Kastner99,
author = {Daniel K\"astner},
title = {{TDL}: A Hardware and Assembly Description Language},
institution = {Transferbereich 14, University of Saarland},
year = {1999},
number = {TDL1.4},
}
- TDL – Eine Architekturbeschreibungssprache für Postpassoptimierungen und -analysen
D. Kästner
Proceedings of the DSP Deutschland, 1999.
[bib]
@article{Kastner99a,
author = {Daniel K\"astner},
title = {{TDL} -- {E}ine {A}rchitekturbeschreibungssprache f\"ur {P}ostpassoptimierungen und -analysen},
journal = {Proceedings of the DSP Deutschland},
year = {1999},
}
- Code Optimization by Integer Linear Programming
D. Kästner, and M. Langenbach
Proceedings of the 8th International Conference on Compiler Construction CC99, 1999.
[bib]
@inproceedings{Kastnerniel99,
author = {Daniel K\"astner and Marc Langenbach},
title = {Code Optimization by Integer Linear Programming},
booktitle = {Proceedings of the 8th International Conference on Compiler Construction CC99},
year = {1999},
editor = {Stefan J\"ahnichen},
volume = {1575},
series = {LNCS},
pages = {122--136},
month = {March},
publisher = {Springer Verlag},
}
- Integer Linear Programming vs. Graph Based Methods in Code Generation
D. Kästner, and M. Langenbach
Technical Report, University of the Saarland, Saarbrücken, Germany, 1998.
[bib]
@techreport{Kastnerniel98,
author = {Daniel K\"astner and Marc Langenbach},
title = {Integer Linear Programming vs. Graph Based Methods in Code Generation},
institution = {University of the Saarland},
year = {1998},
number = {A/01/98},
address = {Saarbr\"ucken, Germany},
month = jan,
}
- Operations Research Methods in Compiler Backends
D. Kästner, and R. Wilhelm
Mathematical Communications, 3 (2), 1998.
[bib]
@article{Kastner98,
author = {Daniel K\"astner and Reinhard Wilhelm},
title = {Operations Research Methods in Compiler Backends},
journal = {Mathematical {C}ommunications},
year = {1998},
volume = {3},
pages = {159--183},
number = {2},
}
- Tree Automata for Code Selection
C. Ferdinand, H. Seidl, and R. Wilhelm
Code Generation – Concepts, Tools, Techniques, 1992.
[bib]
@inproceedings{Ferdinand92,
author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
title = {Tree Automata for Code Selection},
booktitle = {Code Generation -- Concepts, Tools, Techniques},
year = {1992},
editor = {R. Giegerich and S. L. Graham},
volume = {1},
pages = {31--50},
month = {May},
publisher = {Springer Verlag},
}
- Baumautomaten zur Codeselektion
C. Ferdinand, H. Seidl, and R. Wilhelm
Festschrift zum 60. Geburtstag von Guenter Hotz, 1992.
[bib]
@inproceedings{Ferdinand92a,
author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
title = {{B}aumautomaten zur {C}odeselektion},
booktitle = {Festschrift zum 60. Geburtstag von Guenter Hotz},
year = {1992},
editor = {J. Buchmann and H. Ganzinger and W. J. Paul},
pages = {121--144},
address = {Saarbruecken, Germany},
}
- Timing Model Derivation – Static Analysis of Hardware Description Languages
M. Schlickling
Saarland University, 2013.
[url]
[bib]
@phdthesis{Schlickling13,
author = {Marc Schlickling},
title = {Timing Model Derivation -- Static Analysis of Hardware Description Languages},
school = {Saarland University},
year = {2013},
month = {January},
isbn = {978-3-8442-4513-4},
publisher = {epubli GmbH},
url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-8442-4513-4}
}
- Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
D. Grund
Saarland University, 2012.
[url]
[bib]
@phdthesis{Grund12,
author = {Daniel Grund},
title = {Static Cache Analysis for Real-Time Systems -- {LRU}, {FIFO}, {PLRU}},
school = {Saarland University},
year = {2012},
isbn = {978-3-8442-1699-8},
publisher = {ePubli GmbH},
url = {https://www.epubli.de/shop/buch/Static-Cache-Analysis-for-Real-Time-Systems-Daniel-Grund-9783844216998/13092}
}
- Symbolic Representations in WCET Analysis
S. Wilhelm
Saarland University, 2012.
[url]
[bib]
@phdthesis{Wilhelm12b,
author = {Stephan Wilhelm},
title = {Symbolic Representations in {WCET} Analysis},
school = {Saarland University},
year = {2012},
isbn = {978-3-8442-2463-4},
publisher = {ePubli GmbH},
url = {http://www.epubli.de/shop/buch/Symbolic-Representations-in-WCET-Analysis-Stephan-Wilhelm-9783844224634/16575}
}
- Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
M. Pister
Saarland University, 2012.
[url]
[bib]
@phdthesis{Pister12,
author = {Markus Pister},
title = {Timing Model Derivation -- Pipeline Analyzer Generation from Hardware Description Languages},
school = {Saarland University},
year = {2012},
month = {October},
isbn = {978-3-937436-40-1},
publisher = {Pirrot Verlag},
url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-937436-40-1}
}
- SIMD Code Generation in Data-Parallel Programming
N. Fritz
Universität des Saarlandes, 2009.
[bib]
@phdthesis{Fritz09,
author = {Nicolas Fritz},
title = {{SIMD} Code Generation in Data-Parallel Programming},
school = {Universit\"at des Saarlandes},
year = {2009},
}
- CGiS: High-Level Data-Parallel GPU Programming
P. Lucas
Universität des Saarlandes, 2008.
[bib]
@phdthesis{Lucas08,
author = {Philipp Lucas},
title = {{CGiS}: High-Level Data-Parallel {GPU} Programming},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {January},
}
- Caches in WCET Analysis
J. Reineke
Universität des Saarlandes, 2008.
[pdf]
[slides]
[bib]
@phdthesis{Reineke08,
author = {Jan Reineke},
title = {Caches in {WCET} Analysis},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {November},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/phdDefenseReineke.pdf},
url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/DissertationCachesInWCETAnalysis.pdf}
}
- Analysis of Communication Topologies by Partner Abstraction
J. Bauer
Universität des Saarlandes, 2006.
[bib]
@phdthesis{Bauer06,
author = {J\"org Bauer},
title = {Analysis of Communication Topologies by Partner Abstraction},
school = {Universit\"at des Saarlandes},
year = {2006},
isbn = {978-3-937436-12-8},
publisher = {Verlag Pirrot, 66125 Saarbr\"ucken}
}
- Offline Drawing of Dynamic Graphs
C. Görg
Universität des Saarlandes, 2005.
[bib]
@phdthesis{Gorg05,
author = {Carsten G\"org},
title = {Offline Drawing of Dynamic Graphs},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
S. Thesing
Universität des Saarlandes, 2004.
[bib]
@phdthesis{Thesing04,
author = {Stephan Thesing},
title = {Safe and Precise {WCET} Determination by Abstract Interpretation of Pipeline Models},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Optimal Global Instruction Scheduling for the Itanium Processor Architecture
S. Winkel
Universität des Saarlandes, 2004.
[bib]
@phdthesis{Winkel04a,
author = {Sebastian Winkel},
title = {Optimal Global Instruction Scheduling for the {Itanium} Processor Architecture},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Combined Schedulability and WCET Analysis for Real-Time Operating Systems
J. Schneider
Universität des Saarlandes, 2003.
[bib]
@phdthesis{Schneider03,
author = {J\"orn Schneider},
title = {Combined Schedulability and {WCET} Analysis for Real-Time Operating Systems},
school = {Universit\"at des Saarlandes},
year = {2003},
}
- Control Flow Graphs for Real-Time System Analysis
H. Theiling
Universität des Saarlandes, 2003.
[bib]
@phdthesis{Theiling03,
author = {Henrik Theiling},
title = {Control Flow Graphs for Real-Time System Analysis},
school = {Universit\"at des Saarlandes},
year = {2003},
}
- Generierung interaktiver Animationen für den Übersetzerbau
A. Kerren
Universität des Saarlandes, 2002.
[bib]
@phdthesis{Kerren02,
author = {Andreas Kerren},
title = {{G}enerierung interaktiver {A}nimationen f\"ur den {\"U}bersetzerbau},
school = {Universit\"at des Saarlandes},
year = {2002},
}
- Language-Based Security
P. Laud
Universität des Saarlandes, 2002.
[bib]
@phdthesis{Laud02,
author = {Peeter Laud},
title = {Language-Based Security},
school = {Universit\"at des Saarlandes},
year = {2002},
}
- A Demand-Driven Solver for Constraint-Based Control Flow Analysis
C. Probst
Universität des Saarlandes, 2002.
[bib]
@phdthesis{Probst02,
author = {Christian Probst},
title = {A Demand-Driven Solver for Constraint-Based Control Flow Analysis},
school = {Universit\"at des Saarlandes},
year = {2002},
}
- Retargetable Postpass Optimisation by Integer Linear Programming
D. Kästner
Universität des Saarlandes, 2000.
[bib]
@phdthesis{Kastner00,
author = {Daniel K\"astner},
title = {Retargetable Postpass Optimisation by Integer Linear Programming},
school = {Universit\"at des Saarlandes},
year = {2000},
}
- Generating Program Analyzers
F. Martin
Universität des Saarlandes, 1999.
[bib]
@phdthesis{Martin99a,
author = {Florian Martin},
title = {Generating Program Analyzers},
school = {Universit\"at des Saarlandes},
year = {1999},
}
- On Parallel Compilation
M. Alt
Universität des Saarlandes, 1997.
[bib]
@phdthesis{Alt97,
author = {Martin Alt},
title = {On Parallel Compilation},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Abstrakte Interpretationen logischer Programme: Theorie, Implementierung, Generierung
C. Fecht
Universität des Saarlandes, 1997.
[bib]
@phdthesis{Fecht97,
author = {Christian Fecht},
title = {{A}bstrakte {I}nterpretationen logischer {P}rogramme: {T}heorie, {I}mplementierung, {G}enerierung},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Cache Behaviour Prediction for Real-Time Systems
C. Ferdinand
Universität des Saarlandes, 1997.
[bib]
@phdthesis{Ferdinand97c,
author = {Christian Ferdinand},
title = {Cache Behaviour Prediction for Real-Time Systems},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Semantics-Directed Generation of Compilers and Abstract Machines
S. Diehl
Universität des Saarlandes, 1996.
[bib]
@phdthesis{Diehl96,
author = {Stephan Diehl},
title = {Semantics-Directed Generation of Compilers and Abstract Machines},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Visualisierungstechniken für den Compilerbau
G. Sander
Universität des Saarlandes, 1996.
[bib]
@phdthesis{Sander96,
author = {Georg Sander},
title = {{V}isualisierungstechniken f\"ur den {C}ompilerbau},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Parallele Implementierung funktionaler Programmiersprachen
M. Raber
Universität des Saarlandes, 1995.
[bib]
@phdthesis{Raber95,
author = {Martin Raber},
title = {{P}arallele {I}mplementierung funktionaler {P}rogrammiersprachen},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Properties, Transformations and Global Events in Concurrent Systems
S. Zhou
Universität des Saarlandes, 1994.
[bib]
@phdthesis{Zhou94,
author = {Shengzong Zhou},
title = {Properties, Transformations and Global Events in Concurrent Systems},
school = {Universit\"at des Saarlandes},
year = {1994},
}
- Power Domain Constructions
R. Heckmann
Universität des Saarlandes, 1991.
[bib]
@phdthesis{Heckmann91,
author = {Reinhold Heckmann},
title = {Power Domain Constructions},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Automatische Erzeugung von hardwarenahen Treiber-Komponenten und Einbettung in eine UNIX-Umgebung
M. Lehser
Universität des Saarlandes, 1989.
[bib]
@phdthesis{Lehser89,
author = {Martina Lehser},
title = {{A}utomatische {E}rzeugung von hardwarenahen {T}reiber-{K}omponenten und {E}inbettung in eine {UNIX}-{U}mgebung},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Gaphreduktion für funktionale Sprachen
H. Oberhauser
Universität des Saarlandes, 1988.
[bib]
@phdthesis{Oberhauser88,
author = {Hans-Georg Oberhauser},
title = {{G}aphreduktion f\"ur funktionale {S}prachen},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Relevanzanalyse – Eine Kombination von Striktheits- und Datenflußanalyse zur effizientern Auswertung funktionaler Programme
D. Maurer
Universität des Saarlandes, 1987.
[bib]
@phdthesis{Maurer87,
author = {Dieter Maurer},
title = {{R}elevanzanalyse -- {E}ine {K}ombination von {S}triktheits- und {D}atenflu{\ss}analyse zur effizientern {A}uswertung funktionaler {P}rogramme},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren
P. Raber
Universität des Saarlandes, 1986.
[bib]
@phdthesis{Raber86,
author = {Peter Raber},
title = {{L}istenkonstrukte und ihre {A}ttributierung in einem {S}ystem zur {G}enerierung von {B}aumtransformatoren},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Generierung von Systemen zur Transformation Attributierter Operatorbäume Komponenten des Systems und Mechanisman der Generierung
U. Möncke
Universität des Saarlandes, 1985.
[bib]
@phdthesis{Moncke85,
author = {Ulrich M\"oncke},
title = {{G}enerierung von {S}ystemen zur {T}ransformation {A}ttributierter {O}peratorb\"aume {K}omponenten des {S}ystems und {M}echanisman der {G}enerierung},
school = {Universit\"at des Saarlandes},
year = {1985},
}
- POCO – Ein protables System zur Generierung protabler Compiler
M. Eulenstein
Universität des Saarlandes, 1984.
[bib]
@phdthesis{Eulenstein84,
author = {Michael Eulenstein},
title = {{POCO} -- {E}in protables {S}ystem zur {G}enerierung protabler {C}ompiler},
school = {Universit\"at des Saarlandes},
year = {1984},
}
- Die Erzeugung optimaler Codes für Series-prallel-graphs in polynomieller Zeit
G. Reiner
Universität des Saarlandes, 1982.
[bib]
@phdthesis{Reiner82,
author = {G\"uthler Reiner},
title = {{D}ie {E}rzeugung optimaler {C}odes f\"ur {S}eries-prallel-graphs in polynomieller {Z}eit},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Towards Shape Analysis of B-Trees
J. Herter
Universität des Saarlandes, 2008.
[pdf]
[bib]
@mastersthesis{Herter08,
author = {J\"org Herter},
title = {Towards Shape Analysis of {B}-Trees},
school = {Universit\"at des Saarlandes},
year = {2008},
month = {January},
url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/TowardsShapeAnalysisOfBTrees.pdf}
}
- Topology Analysis of Dynamic Communication Systems
P. Backes
Universität des Saarlandes, 2008.
[bib]
@mastersthesis{Backes08,
author = {Peter Backes},
title = {Topology Analysis of Dynamic Communication Systems},
school = {Universit\"at des Saarlandes},
year = {2008},
type = {Diploma thesis},
month = {March},
}
- Generating Code from Abstracted VHDL Models
M. A. Maksoud
Universität des Saarlandes, 2007.
[bib]
@mastersthesis{Maksoud07,
author = {Mohamed Abdel Maksoud},
title = {Generating Code from Abstracted {VHDL} Models},
school = {Universit\"at des Saarlandes},
year = {2007},
language = {english}
}
- A Pattern Matcher Generator for Retargetable Code Generation and Optimisation
G. Gebhard
Universität des Saarlandes, 2006.
[pdf]
[bib]
@mastersthesis{Gebhard06,
author = {Gernot Gebhard},
title = {A Pattern Matcher Generator for Retargetable Code Generation and Optimisation},
school = {Universit\"at des Saarlandes},
year = {2006},
url = {https://www.rw.cdl.uni-saarland.de/people/gebhard/private/diplom.pdf}
}
- Analyse von Pfadausschlüssen auf Maschinencode
I. Stein
Universität des Saarlandes, Saarbrücken, 2006.
[bib]
@mastersthesis{Stein06,
author = {Ingmar Stein},
title = {{A}nalyse von {P}fadausschl\"ussen auf {M}aschinencode},
school = {Universit\"at des Saarlandes},
year = {2006},
type = {Diplomarbeit},
address = {Saarbr\"ucken},
month = {Februaryruar},
language = {ngerman},
read = {No}
}
- Statische Berechnung sicherer Schleifengrenzen auf Maschinencode
C. Cullmann
Universität des Saarlandes, 2006.
[bib]
@mastersthesis{Cullmann06,
author = {Christoph Cullmann},
title = {{S}tatische {B}erechnung sicherer {S}chleifengrenzen auf {M}aschinencode},
school = {Universit\"at des Saarlandes},
year = {2006},
language = {ngerman}
}
- Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
S. Altmeyer
Universität des Saarlandes, 2006.
[bib]
@mastersthesis{Altmeyer06,
author = {Sebastian Altmeyer},
title = {Parametric {WCET} Analysis, Parameter Framework and Parametric Path Analysis},
school = {Universit\"at des Saarlandes},
year = {2006},
}
- Interaktive dreidimensionale webbasierte Simulation von Meteoriteneinschlägen
K. Chu
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Chu05,
author = {Khoa Chu},
title = {{I}nteraktive dreidimensionale webbasierte {S}imulation von {M}eteoriteneinschl\"agen},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Algorithm Animation using Shape Analysis with Special Regard to Binary Trees
S. Parduhn
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Parduhn05,
author = {Sascha Parduhn},
title = {Algorithm Animation using Shape Analysis with Special Regard to Binary Trees},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Generisches Softwarepipelining auf Assemblerebene
M. Pister
Universität des Saarlandes, 2005.
[pdf]
[bib]
@mastersthesis{Pister05,
author = {Markus Pister},
title = {Generisches {S}oftwarepipelining auf {A}ssemblerebene},
school = {Universit\"at des Saarlandes},
year = {2005},
url = {https://www.rw.cdl.uni-saarland.de/people/pister/private/papers/GenSoftpipe.pdf}
}
- Hierarchisches Zeichnen dynamischer Graphen
M. Pohl
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Pohl05,
author = {Mathias Pohl},
title = {{H}ierarchisches {Z}eichnen dynamischer {G}raphen},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Shape Analysis of Sets
J. Reineke
Universität des Saarlandes, Germany, 2005.
[pdf]
[slides]
[bib]
@mastersthesis{Reineke05,
author = {Jan Reineke},
title = {Shape Analysis of Sets},
school = {Universit\"at des Saarlandes, Germany},
year = {2005},
month = {June},
slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf}
}
- Generisches Slicing auf Maschinencode
M. Schlickling
Universität des Saarlandes, 2005.
[pdf]
[bib]
@mastersthesis{Schlickling05,
author = {Marc Schlickling},
title = {{G}enerisches {S}licing auf {M}aschinencode},
school = {Universit\"at des Saarlandes},
year = {2005},
url = {https://www.rw.cdl.uni-saarland.de/people/schlickling/private/GenStaSlicing.pdf}
}
- Attributierte Transformationsgrammatiken: die Reattributierung
A. Schütte
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Schutte05,
author = {Alois Sch\"utte},
title = {{A}ttributierte {T}ransformationsgrammatiken: die {R}eattributierung},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Checking Universally Quantified Temporal Properties with Three-Valued Analysis
B. Wachter
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Wachter05,
author = {Bj\"orn Wachter},
title = {Checking Universally Quantified Temporal Properties with Three-Valued Analysis},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Entwurf und Implementierung einer retargierbaren Programmiersprache für fernprogrammierbare Roboter
A. Wagner
Universität des Saarlandes, 2005.
[bib]
@mastersthesis{Wagner05,
author = {Andreas Wagner},
title = {{E}ntwurf und {I}mplementierung einer retargierbaren {P}rogrammiersprache f\"ur fernprogrammierbare {R}oboter},
school = {Universit\"at des Saarlandes},
year = {2005},
}
- Modellierung dreidimensionaler Simulationen mit Hilfe von Verhaltensautomaten
C. Lambert
Universität des Saarlandes, 2004.
[bib]
@mastersthesis{Lambert04,
author = {Christian Lambert},
title = {{M}odellierung dreidimensionaler {S}imulationen mit {H}ilfe von {V}erhaltensautomaten},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Instruktionsanordnung durch Tabu-Suche
S. Wiegratz
Universität des Saarlandes, 2004.
[bib]
@mastersthesis{Wiegratz04,
author = {Steffen Wiegratz},
title = {{I}nstruktionsanordnung durch {T}abu-{S}uche},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Analyse und Visualisierung von Softwaresystemen in Bezug auf Stabilität, Wartbarkeit und Wiederverwendbarkeit
M. J. Wilhelm
Universität des Saarlandes, 2004.
[bib]
@mastersthesis{Wilhelm04,
author = {Michael Johannes Wilhelm},
title = {{A}nalyse und {V}isualisierung von {S}oftwaresystemen in {B}ezug auf {S}tabilit\"at, {W}artbarkeit und {W}iederverwendbarkeit},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions
O. Parshin
Universität des Saarlandes, 2004.
[bib]
@mastersthesis{Parshin04,
author = {Oleg Parshin},
title = {Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions},
school = {Universit\"at des Saarlandes},
year = {2004},
}
- Ein Server-basierter Interpreter für ein Online-Tutorial über Programmieren in Java
C. Bieg
Universität des Saarlandes, 2003.
[bib]
@mastersthesis{Bieg03,
author = {Claudia Bieg},
title = {{E}in {S}erver-basierter {I}nterpreter f\"ur ein {O}nline-{T}utorial \"uber {P}rogrammieren in {J}ava},
school = {Universit\"at des Saarlandes},
year = {2003},
}
- Generic Reconstruction of Control Flow for Guarded Code from Assembly
B. Decker
Universität des Saarlandes, 2002.
[bib]
@mastersthesis{Decker02,
author = {Bj\"orn Decker},
title = {Generic Reconstruction of Control Flow for Guarded Code from Assembly},
school = {Universit\"at des Saarlandes},
year = {2002},
}
- A Control-Flow Analysis for Multi-Threaded Java with Security Applications
J. Bauer
Universität des Saarlandes, 2001.
[ps]
[bib]
@mastersthesis{Bauer01,
author = {J\"org Bauer},
title = {A Control-Flow Analysis for Multi-Threaded {Java} with Security Applications},
school = {Universit\"at des Saarlandes},
year = {2001},
url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/diplom.ps.gz}
}
- Alexsa. Algorithm Explanation by Shape Analysis Extensions to the TVLA System
R. Bieber
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Bieber01,
author = {Ronald Bieber},
title = {{Alexsa}. Algorithm Explanation by Shape Analysis Extensions to the {TVLA} System},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Ein Framework für die Erfassung komponentenbasierter Modelle und deren Präsentation mittels Java3D
P. Blanchebarbe
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Blanchebarbe01,
author = {Peter Blanchebarbe},
title = {{E}in {F}ramework f\"ur die {E}rfassung komponentenbasierter {M}odelle und deren {P}r\"asentation mittels {Java3D}},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- PSL – Eine Sprache zur Spezifikation von Datenflussanalysen
D. Bobbert
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Bobbert01,
author = {Daniel Bobbert},
title = {{PSL} -- {E}ine {S}prache zur {S}pezifikation von {D}atenflussanalysen},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Statischer Methodenaufruf in Java
H. Dewes
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Dewes01,
author = {Holger Dewes},
title = {{S}tatischer {M}ethodenaufruf in {Java}},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Generische Value-Analyse für Maschinenprogramme
N. Fritz
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Fritz01,
author = {Nico Fritz},
title = {{G}enerische {V}alue-{A}nalyse f\"ur {M}aschinenprogramme},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Layout animierter Graphen
C. Görg
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Gorg01,
author = {Carsten G\"org},
title = {{L}ayout animierter {G}raphen},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Implementierung und Anwendung der GANIMAL Laufzeitumgebung
T. Weller
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Weller01,
author = {Torsten Weller},
title = {{I}mplementierung und {A}nwendung der {GANIMAL} {L}aufzeitumgebung},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen
S. Wilhelm
Universität des Saarlandes, 2001.
[bib]
@mastersthesis{Wilhelm01,
author = {Stephan Wilhelm},
title = {{G}enerische {R}ekonstruktion von {K}ontrollflussgraphen aus {A}ssemblerprogrammen},
school = {Universit\"at des Saarlandes},
year = {2001},
}
- Implementierung von VRML mit Constraints
J. Keller
Universität des Saarlandes, 2000.
[bib]
@mastersthesis{Keller00,
author = {J\"org Keller},
title = {{I}mplementierung von {VRML} mit {C}onstraints},
school = {Universit\"at des Saarlandes},
year = {2000},
}
- Kooperative Lernsoftware
M. Ohlmann
Universität des Saarlandes, 2000.
[bib]
@mastersthesis{Ohlmann00,
author = {Michael Ohlmann},
title = {{K}ooperative {L}ernsoftware},
school = {Universit\"at des Saarlandes},
year = {2000},
}
- Analyse des Verhaltens von mehrstufigen Caches mit Schreibstrategien
M. Haase
Universität des Saarlandes, 1999.
[bib]
@mastersthesis{Haase99,
author = {Michael Haase},
title = {{A}nalyse des {V}erhaltens von mehrstufigen {C}aches mit {S}chreibstrategien},
school = {Universit\"at des Saarlandes},
year = {1999},
}
- Erstellung von Laufzeitgarantien für sicherheitskritische Systeme am Beispiel einer Flugsteuerung
D. Kreutzer
Universität des Saarlandes, 1999.
[bib]
@mastersthesis{Kreutzer99,
author = {Daniel Kreutzer},
title = {{E}rstellung von {L}aufzeitgarantien f\"ur sicherheitskritische {S}ysteme am {B}eispiel einer {F}lugsteuerung},
school = {Universit\"at des Saarlandes},
year = {1999},
}
- Generierung interaktiver Animationen von abstrakten Maschinen
T. Kunze
Universität des Saarlandes, 1999.
[bib]
@mastersthesis{Kunze99,
author = {Thomas Kunze},
title = {{G}enerierung interaktiver {A}nimationen von abstrakten {M}aschinen},
school = {Universit\"at des Saarlandes},
year = {1999},
}
- Entwurf und Implementierung eines Kontrollflußgenerators
M. Schmidt
Universität des Saarlandes, 1999.
[bib]
@mastersthesis{Schmidt99,
author = {Michael Schmidt},
title = {{E}ntwurf und {I}mplementierung eines {K}ontrollflu{\ss}generators},
school = {Universit\"at des Saarlandes},
year = {1999},
}
- Entwurfsmuster in verteilten Anwendungen am Beispiel des Projekts Televerwaltung Saar
A. Placzek
Universität des Saarlandes, 1998.
[bib]
@mastersthesis{Placzek98,
author = {Andreas Placzek},
title = {{E}ntwurfsmuster in verteilten {A}nwendungen am {B}eispiel des {P}rojekts {T}eleverwaltung {S}aar},
school = {Universit\"at des Saarlandes},
year = {1998},
}
- Datenbankbasiertes System zur Meßdatenerfassung, Bearbeitung, Berechnung und Präsentation bei statischen Seilversuchen
R. Schlosser
Universität des Saarlandes, 1998.
[bib]
@mastersthesis{Schlosser98,
author = {Roland Schlosser},
title = {{D}atenbankbasiertes {S}ystem zur {M}e{\ss}datenerfassung, {B}earbeitung, {B}erechnung und {P}r\"asentation bei statischen {S}eilversuchen},
school = {Universit\"at des Saarlandes},
year = {1998},
}
- Statische Pipeline-Analyse für Echtzeitsysteme
J. Schneider
Universität des Saarlandes, 1998.
[bib]
@mastersthesis{Schneider98a,
author = {J\"orn Schneider},
title = {{S}tatische {P}ipeline-{A}nalyse f\"ur {E}chtzeitsysteme},
school = {Universit\"at des Saarlandes},
year = {1998},
}
- Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden
H. Theiling
Universität des Saarlandes, 1998.
[bib]
@mastersthesis{Theiling98a,
author = {Henrik Theiling},
title = {{\"U}ber die {V}erwendung ganzzahliger linearer {P}rogrammierung zur {S}uche nach l\"angsten {P}rogrammpfaden},
school = {Universit\"at des Saarlandes},
year = {1998},
}
- Analyse der Datenverteilung für Implementierungen der Sprache 2DT auf Parallelrechnern mit verteiltem Speicher
S. Bergmann
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Bergmann97,
author = {Stephan Bergmann},
title = {{A}nalyse der {D}atenverteilung f\"ur {I}mplementierungen der {S}prache {2DT} auf {P}arallelrechnern mit verteiltem {S}peicher},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Ein Sortensystem für die logische Programmiersprache eXu KRL
M. Ferdinand
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Ferdinand97f,
author = {Matthias Ferdinand},
title = {{E}in {S}ortensystem f\"ur die logische {P}rogrammiersprache {eXu KRL}},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Genaue Laufzeiten für Kommunikationsoperationen paralleler Maschinen mit verteiltem Speicher
R. Foschia
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Foschia97,
author = {Riccardo Foschia},
title = {{G}enaue {L}aufzeiten f\"ur {K}ommunikationsoperationen paralleler {M}aschinen mit verteiltem {S}peicher},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Animation der semantischen Analyse
A. Kerren
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Kerren97,
author = {Andreas Kerren},
title = {{A}nimation der semantischen {A}nalyse},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x
D. Kästner
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Kastner97,
author = {Daniel K\"astner},
title = {{I}nstruktionsanordnung und {R}egisterallokation auf der {B}asis ganzzahliger linearer {P}rogrammierung f\"ur den digitalen {S}ignalprozessor {ADSP-2106x}},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Instruktionsanordnungen unter Verwendung graphbasierter Algorithmen für den digitalen Signalprozessor ADSP-2106x
M. Langenbach
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Langenbach97,
author = {Marc Langenbach},
title = {{I}nstruktionsanordnungen unter {V}erwendung graphbasierter {A}lgorithmen f\"ur den digitalen {S}ignalprozessor {ADSP-2106x}},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Generierung effizienter Datentypen für PAG
O. Lauer
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Lauer97,
author = {Oliver Lauer},
title = {{G}enerierung effizienter {D}atentypen f\"ur {PAG}},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens
T. Ramrath
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Ramrath97,
author = {Thomas Ramrath},
title = {{E}ntwurf und {I}mplementierung eines {F}rontends f\"ur {A}nalysen zur {V}orhersage des {C}ache- und {P}ipeline-{V}erhaltens},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Parallele Simulation des Abflußgeschehens in Kanalnetzen
R. Ruth
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Ruth97,
author = {Ralf Ruth},
title = {{P}arallele {S}imulation des {A}bflu{\ss}geschehens in {K}analnetzen},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches
M. Sicks
Universität des Saarlandes, 1997.
[bib]
@mastersthesis{Sicks97,
author = {Martin Sicks},
title = {{A}dre{\ss}bestimmung zur {V}orhersage des {V}erhaltens von {D}aten-{C}aches},
school = {Universit\"at des Saarlandes},
year = {1997},
}
- Konfigurationsmanagement im LAN
S. W. J. Mautes
Universität des Saarlandes, 1996.
[bib]
@mastersthesis{Mautes96,
author = {Stefan Wolfgang Johannes Mautes},
title = {{K}onfigurationsmanagement im {LAN}},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Ein Übersetzer für die Wissensrepräsentationssprache eXu
T. Müller
Universität des Saarlandes, 1996.
[bib]
@mastersthesis{Muller96,
author = {Thomas M\"uller},
title = {{E}in {\"U}bersetzer f\"ur die {W}issensrepr\"asentationssprache {eXu}},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Beschreibungssprache zur Generierung von Datenstrukturen für den Übersetzerbau
C. Rübel
Universität des Saarlandes, 1996.
[bib]
@mastersthesis{Rubel96,
author = {Christian R\"ubel},
title = {{B}eschreibungssprache zur {G}enerierung von {D}atenstrukturen f\"ur den {\"U}bersetzerbau},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Visualisierungstechniken für den Compilerbau
G. Sander
Universität des Saarlandes, 1996.
[bib]
@mastersthesis{Sander96a,
author = {Georg Sander},
title = {{V}isualisierungstechniken f\"ur den {C}ompilerbau},
school = {Universit\"at des Saarlandes},
year = {1996},
}
- Entwicklung der Messwerterfassung und -auswertung für einen dynamischen Drahtseilprüfstand
O. Backes
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Backes95,
author = {Oliver Backes},
title = {{E}ntwicklung der {M}esswerterfassung und -auswertung f\"ur einen dynamischen {D}rahtseilpr\"ufstand},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Ein allgemeines Verfahren zur Hyperlink Generierung in strukturierter Dokumentation
A. Engel
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Engel95,
author = {Anette Engel},
title = {{E}in allgemeines {V}erfahren zur {H}yperlink {G}enerierung in strukturierter {D}okumentation},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Visualisierung der abstrakten P-Maschine
G. Kohlmann
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Kohlmann95,
author = {Gernot Kohlmann},
title = {{V}isualisierung der abstrakten {P}-{M}aschine},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Die Generierung von Synchronisierungscode eines parallelen Übersetzers im CoSy-Modell
W. Kölsch
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Kolsch95,
author = {Wolfgang K\"olsch},
title = {{D}ie {G}enerierung von {S}ynchronisierungscode eines parallelen {\"U}bersetzers im {CoSy}-{M}odell},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Entwurf und Implementierung eines Generators für Datenflußanalysatoren
F. Martin
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Martin95b,
author = {Florian Martin},
title = {{E}ntwurf und {I}mplementierung eines {G}enerators f\"ur {D}atenflu{\ss}analysatoren},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Zeigeranalyse für imperative Programmiersprachen
C. Probst
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Probst95,
author = {Christian Probst},
title = {{Z}eigeranalyse f\"ur imperative {P}rogrammiersprachen},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- EXAM, Eine abstrakte Maschine zur Realisierung der ordnungssortierten Wissensrepräsentationssprache eXu
M. Röhrig
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Rohrig95,
author = {Martin R\"ohrig},
title = {{EXAM}, {E}ine abstrakte {M}aschine zur {R}ealisierung der ordnungssortierten {W}issensrepr\"asentationssprache {eXu}},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Statische Prozessverteilung in Hope
P. Schwarz
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Schwarz95,
author = {Peter Schwarz},
title = {{S}tatische {P}rozessverteilung in {Hope}},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Visualisierung der abstrakten Maschine WiM
S. Wirtz
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Wirtz95,
author = {Stefan Wirtz},
title = {{V}isualisierung der abstrakten {M}aschine {WiM}},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Transformationen zur Verbesserung der Datenlokalität in Bezug auf Cachespeicher
P. Zeimetz
Universität des Saarlandes, 1995.
[bib]
@mastersthesis{Zeimetz95,
author = {Patrik Zeimetz},
title = {{T}ransformationen zur {V}erbesserung der {D}atenlokalit\"at in {B}ezug auf {C}achespeicher},
school = {Universit\"at des Saarlandes},
year = {1995},
}
- Appraise - Ein abstrakter Interpreter für die Sprache Prolog
W. Berger
Universität des Saarlandes, 1994.
[bib]
@mastersthesis{Berger94,
author = {Wolfgang Berger},
title = {{Appraise} - {E}in abstrakter {I}nterpreter f\"ur die {S}prache {Prolog}},
school = {Universit\"at des Saarlandes},
year = {1994},
}
- Entwicklung und Implementierung eines Visualisierungswerkzeugs für Anwendungen im Übersetzerbau
I. Lemke
Universität des Saarlandes, 1994.
[bib]
@mastersthesis{Lemke94,
author = {Iris Lemke},
title = {{E}ntwicklung und {}Implementierung eines {V}isualisierungswerkzeugs f\"ur {A}nwendungen im {\"U}bersetzerbau},
school = {Universit\"at des Saarlandes},
year = {1994},
}
- Generische Baumanalysatorengeneratoren
C. Peper
Universität des Saarlandes, 1994.
[bib]
@mastersthesis{Peper94,
author = {Christian Peper},
title = {{G}enerische {B}aumanalysatorengeneratoren},
school = {Universit\"at des Saarlandes},
year = {1994},
}
- Automatisierte Softwareverteilung im LAN-/WAN-/Host-Environment
M. J. Wilhelm
Universität des Saarlandes, 1994.
[bib]
@mastersthesis{Wilhelm94,
author = {Michael Johannes Wilhelm},
title = {{A}utomatisierte {S}oftwareverteilung im {LAN}-/{WAN}-/{H}ost-{E}nvironment},
school = {Universit\"at des Saarlandes},
year = {1994},
}
- SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System
B. Braune
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Braune93,
author = {Beatrix Braune},
title = {{SiATeX}. {E}ine interaktive {A}rbeits- und {G}raphikumgebung f\"ur {TeX} unter dem {X11} {W}indow {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie
A. Dierstein
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Dierstein93,
author = {Anne Dierstein},
title = {{P}arallelisierung mit automatischer {D}atenaufteilung f\"ur imperative {P}rogrammiersprachen. {T}eil 1: {P}arallelisierungsstrategie},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente
K. Emde
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Emde93,
author = {Katja Emde},
title = {{A}lternativer {S}eitenumbruch f\"ur logisch ausgezeichnete {D}okumente},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung
R. Hayer
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Hayer93,
author = {Roman Hayer},
title = {{P}arallelisierung mit automatischer {D}atenaufteilung f\"ur imperative {P}rogrammiersprachen. {T}eil 2: {A}utomatische {D}atenaufteilung},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Lastverteilungsstrategien für die Parallele G-Maschine
H. Korn
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Korn93,
author = {Heinfried Korn},
title = {{L}astverteilungsstrategien f\"ur die {P}arallele {G}-{M}aschine},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene
P. Mohammadzadeh
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Mohammadzadeh93,
author = {Parinaz Mohammadzadeh},
title = {{D}arstellung eines {G}raphen mit minimaler {\"U}berkreuzung der {K}anten in der {E}bene},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme
G. Müller
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Muller93,
author = {G. M\"uller},
title = {{A}nwendung der {E}volutionsstrategie zur {L}astverteilung paralleler funktionaler {P}rogramme},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- Generische Vektorisierung imperativer Programmiersprachen
T. Vogelgesang
Universität des Saarlandes, 1993.
[bib]
@mastersthesis{Vogelgesang93,
author = {Timo Vogelgesang},
title = {{G}enerische {V}ektorisierung imperativer {P}rogrammiersprachen},
school = {Universit\"at des Saarlandes},
year = {1993},
}
- PHOENICS – Eine interaktive, inkrementelle Programmierumgebung für Pascal
M. Greim
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Greim92,
author = {Michael Greim},
title = {{PHOENICS} -- {E}ine interaktive, inkrementelle {P}rogrammierumgebung f\"ur {Pascal}},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Algorithmen zum Linienschnitt-Problem
B. Groß
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Gross92,
author = {Bettina Gro{\ss}},
title = {{A}lgorithmen zum {L}inienschnitt-{P}roblem},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Spezifikation und Implementierung eines ADA-Font-Ends mittels übersetzer-erzeugender Systeme. Teil 1: Deklarationen, Nameclass-Analyse und Transformationen
P. Keller
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Keller92,
author = {Paul Keller},
title = {{S}pezifikation und {I}mplementierung eines {ADA}-{F}ont-{E}nds mittels \"ubersetzer-erzeugender {S}ysteme. {T}eil 1: {D}eklarationen, {N}ameclass-{A}nalyse und {T}ransformationen},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Analysen und Übersetzung von FORK – Teil 1
K. Käppner
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Kappner92,
author = {Karin K\"appner},
title = {{A}nalysen und {\"U}bersetzung von {FORK} -- {T}eil 1},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Partielle Auswertung für die funktionale Programmiersprache Hope
V. Schöpfer
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Schopfer92,
author = {Volker Sch\"opfer},
title = {{P}artielle {A}uswertung f\"ur die funktionale {P}rogrammiersprache {Hope}},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Visualisierung der abstrakten Maschine MaMa
B. Steiner
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Steiner92,
author = {Barbara Steiner},
title = {{V}isualisierung der abstrakten {M}aschine {MaMa}},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Analysen und Übersetzung von FORK – Teil 2
M. Welter
Universität des Saarlandes, 1992.
[bib]
@mastersthesis{Welter92,
author = {Markus Welter},
title = {{A}nalysen und {\"U}bersetzung von {FORK} -- {T}eil 2},
school = {Universit\"at des Saarlandes},
year = {1992},
}
- Konstruktion eines Baumtransformators für nicht eindeutige Termersetungssysteme
J. Fechner
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Fechner91,
author = {J\"urgen Fechner},
title = {{K}onstruktion eines {B}aumtransformators f\"ur nicht eindeutige {T}ermersetungssysteme},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Übersetzung der funktionalen Programmiersprache Hope für die parallele G-Maschine
L. Fuchs
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Fuchs91,
author = {Ludwin Fuchs},
title = {{\"U}bersetzung der funktionalen {P}rogrammiersprache {Hope} f\"ur die parallele {G}-{M}aschine},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Weiterentwicklung eines Codeselektorgenerators und Anwendung auf den NSC32000
N. Mathis
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Mathis91,
author = {Nicole Mathis},
title = {{W}eiterentwicklung eines {C}odeselektorgenerators und {A}nwendung auf den {NSC32000}},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Spezifikation und Vergleich der Basiswindowsysteme von X und NeWS unter Berücksichtigung der Graphikmodelle und Fensterbehandlung
L. Meiss
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Meiss91,
author = {Liane Meiss},
title = {{S}pezifikation und {V}ergleich der {B}asiswindowsysteme von {X} und {NeWS} unter {B}er\"ucksichtigung der {G}raphikmodelle und {F}ensterbehandlung},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Verteilte Garbage Collection Algorithmen
A. Paltz
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Paltz91,
author = {Andreas Paltz},
title = {{V}erteilte {G}arbage {C}ollection {A}lgorithmen},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- PASCAL. Interpretation und Visualisierung
N. Truxa
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Truxa91,
author = {Nikola Truxa},
title = {{PASCAL}. {I}nterpretation und {V}isualisierung},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Automatische Erzeugung der Analysenkomponente eines Maschinencodeoptimierers nach dem Ansatz von Robert Giegerich
D. Uebel
Universität des Saarlandes, 1991.
[bib]
@mastersthesis{Uebel91,
author = {Dirk Uebel},
title = {{A}utomatische {E}rzeugung der {A}nalysenkomponente eines {M}aschinencodeoptimierers nach dem {A}nsatz von {R}obert {G}iegerich},
school = {Universit\"at des Saarlandes},
year = {1991},
}
- Ein Übersetzer für die funktionale Sprache TraFoLa
M. Alt
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Alt90,
author = {Martin Alt},
title = {Ein \"Ubersetzer f\"ur die funktionale Sprache {TraFoLa}},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Trama. Eine abstrakte Maschine zur Implementierung der funktionalen Programmiersprache TraFoLa
C. Fecht
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Fecht90,
author = {Christian Fecht},
title = {{Trama}. {E}ine abstrakte {M}aschine zur {I}mplementierung der funktionalen {P}rogrammiersprache {TraFoLa}},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Pattern-Matching in TraFoLa
C. Ferdinand
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Ferdinand90a,
author = {Christian Ferdinand},
title = {Pattern-Matching in {TraFoLa}},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Power Domain Constructions (Potenzbereich-Konstruktionen)
R. Heckmann
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Heckmann90,
author = {Reinhold Heckmann},
title = {Power Domain Constructions ({P}otenzbereich-{K}onstruktionen)},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Source-to-Source Transformation. Eine Studie des Transformatorsystems OPTRAN anhand eines SPL4-C-Compilers
G. Horsch
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Horsch90,
author = {G\"unter Horsch},
title = {{S}ource-to-{S}ource {T}ransformation. {E}ine {S}tudie des {T}ransformatorsystems {OPTRAN} anhand eines {SPL4-C}-{C}ompilers},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Spezifikation und Implementierung eines ADA-Front-Ends mittels Übersetzer-erzeugender Systeme. Teil 2: Auflösung der Überladung und Erzeugung der DIANA-Form
T. Maas
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Maas90,
author = {Thomas Maas},
title = {{S}pezifikation und {I}mplementierung eines {ADA}-{F}ront-{E}nds mittels {\"U}bersetzer-erzeugender {S}ysteme. {T}eil 2: {A}ufl\"osung der {\"U}berladung und {E}rzeugung der {DIANA}-{F}orm},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Entwicklung und Implementierung eines polymorphen Typsystems für die funktionale Programmiersprache TraFoLa
G. Sander
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Sander90,
author = {Georg Sander},
title = {{E}ntwicklung und {I}mplementierung eines polymorphen {T}ypsystems f\"ur die funktionale {P}rogrammiersprache {TraFoLa}},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Attributauswertung für zyklische Attributierungen
E. Thieser
Universität des Saarlandes, 1990.
[bib]
@mastersthesis{Thieser90,
author = {Elisabeth Thieser},
title = {{A}ttributauswertung f\"ur zyklische {A}ttributierungen},
school = {Universit\"at des Saarlandes},
year = {1990},
}
- Partielle Auswertung imperativer Programmiersprachen
W. Backes
Universität des Saarlandes, 1989.
[bib]
@mastersthesis{Backes89,
author = {Wolfgang Backes},
title = {{P}artielle {A}uswertung imperativer {P}rogrammiersprachen},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil A – Spezifikationsprobleme und Vergleich unterschiedlicher Eigenschaften des OPTRAN-Systems
B. Edelmann
Universität des Saarlandes, 1989.
[bib]
@mastersthesis{Edelmann89,
author = {Bernd Edelmann},
title = {{R}egisterverteilung mit {H}ilfe des baumtransformierenden {S}ystems {OPTRAN} -- {T}eil {A} -- {S}pezifikationsprobleme und {V}ergleich unterschiedlicher {E}igenschaften des {OPTRAN}-{S}ystems},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil B – Beschreibung und Vergleich eines lokalen-globalen Algorithmus mit einem rein globalen Algorithmus
S. Edelmann
Universität des Saarlandes, 1989.
[bib]
@mastersthesis{Edelmann89a,
author = {Stefan Edelmann},
title = {{R}egisterverteilung mit {H}ilfe des baumtransformierenden {S}ystems {OPTRAN} -- {T}eil {B} -- {B}eschreibung und {V}ergleich eines lokalen-globalen {A}lgorithmus mit einem rein globalen {A}lgorithmus},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Spezifikation von Graphiken und Realisierung graphischer Funktionen in einer Funktionalen Programmiersprache
M. Hippchen
Universität des Saarlandes, 1989.
[bib]
@mastersthesis{Hippchen89,
author = {Markus Hippchen},
title = {{S}pezifikation von {G}raphiken und {R}ealisierung graphischer {F}unktionen in einer {F}unktionalen {P}rogrammiersprache},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Konzept zur Hintereinanderschaltung von Transformationseinheiten sowie zur Implementierung zyklischer Attributierungen durch nichtzyklische unter Benutzung der Reattributierung
W. Thome
Universität des Saarlandes, 1989.
[bib]
@mastersthesis{Thome89,
author = {Winfried Thome},
title = {{K}onzept zur {H}intereinanderschaltung von {T}ransformationseinheiten sowie zur {I}mplementierung zyklischer {A}ttributierungen durch nichtzyklische unter {B}enutzung der {R}eattributierung},
school = {Universit\"at des Saarlandes},
year = {1989},
}
- Ein Pretty-Print Generator für das OPTRAN System
T. Geiger
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Geiger88,
author = {Thomas Geiger},
title = {{E}in {P}retty-{P}rint {G}enerator f\"ur das {OPTRAN} {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Ein Vergleich von Lambda- und Kombinatorgraphreduktion
F. Gergen
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Gergen88,
author = {Franz-Werner Gergen},
title = {{E}in {V}ergleich von {L}ambda- und {K}ombinatorgraphreduktion},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Dynamische Verwaltung von Codeblöcken bei der parallelen Implementierung funktionaler Sprachen
M. Raber
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Raber88,
author = {Martin Raber},
title = {{D}ynamische {V}erwaltung von {C}odebl\"ocken bei der parallelen {I}mplementierung funktionaler {S}prachen},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Verwaltung zyklicher Strukturen in parallelen Graphreduktionssystemen durch Reference Counting
T. Remmel
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Remmel88,
author = {Thomas Remmel},
title = {{V}erwaltung zyklicher {S}trukturen in parallelen {G}raphreduktionssystemen durch {R}eference {C}ounting},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Generierung des Höheren Kontrollflussgraphen
R. Rojan
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Rojan88,
author = {Rudolf Rojan},
title = {{G}enerierung des {H\"o}heren {K}ontrollflussgraphen},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Entwicklung eines Analysators für Maschinenbeschreibungen
U. Schmitt
Universität des Saarlandes, 1988.
[bib]
@mastersthesis{Schmitt88,
author = {Ursula Schmitt},
title = {{E}ntwicklung eines {A}nalysators f\"ur {M}aschinenbeschreibungen},
school = {Universit\"at des Saarlandes},
year = {1988},
}
- Ansatz eines Analysators von COBOL-Programmen für die Qualitätseigenschaft Prüfungsgerecht
U. Barthen
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Barthen87,
author = {Ulrike Barthen},
title = {{A}nsatz eines {A}nalysators von {COBOL}-{P}rogrammen f\"ur die {Q}ualit\"atseigenschaft {P}r\"ufungsgerecht},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Implementierung funktionaler Programmiersprachen durch Kombinatoren und Berechnung von Striktheitsinformation
A. Lucks-Baus
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Lucks-Baus87,
author = {Anette Lucks-Baus},
title = {{I}mplementierung funktionaler {P}rogrammiersprachen durch {K}ombinatoren und {B}erechnung von {S}triktheitsinformation},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Implementierung eines Verfahrens zur Striktheitsanalyse funktionaler Programme
B. Bellmann
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Bellmann87,
author = {Bernd Bellmann},
title = {{I}mplementierung eines {V}erfahrens zur {S}triktheitsanalyse funktionaler {P}rogramme},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Fallstudie eines Systementwicklungsprozeses am Beispiel der Spezifikation eines menügestützten Dialogsystems als Benutzeroberfläche für ein Mittfahrgelegenheitenvermittlungssystem
F. W. Bollinger
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Bollinger87,
author = {Friedrich Wilhelm Bollinger},
title = {{F}allstudie eines {S}ystementwicklungsprozeses am {B}eispiel der {S}pezifikation eines men\"ugest\"utzten {D}ialogsystems als {B}enutzeroberfl\"ache f\"ur ein {M}ittfahrgelegenheitenvermittlungssystem},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Komprimierung statischer Tabellen für ein baumtransformierendes System
J. Börstler
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Borstler87,
author = {J\"urgen B\"orstler},
title = {{K}omprimierung statischer {T}abellen f\"ur ein baumtransformierendes {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Entwicklung eines Previewers zur interaktiven Arbeit mit TeX
B. Kuhn
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Kuhn87,
author = {Brigitte Kuhn},
title = {{E}ntwicklung eines {P}reviewers zur interaktiven {A}rbeit mit {TeX}},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Eine Untersuchung geeigneter Netzwerke und Arbeitsverteilungsstrategien für die parallele Reduktion von Kombinatorcode
J. Metzger
Universität des Saarlandes, 1987.
[bib]
@mastersthesis{Metzger87,
author = {J\"urgen Metzger},
title = {{E}ine {U}ntersuchung geeigneter {N}etzwerke und {A}rbeitsverteilungsstrategien f\"ur die parallele {R}eduktion von {K}ombinatorcode},
school = {Universit\"at des Saarlandes},
year = {1987},
}
- Semantische Analyse für eine funktionale Porgrammiersprache mit polymorphem Typsystem
M. Baston
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Baston86,
author = {Michael Baston},
title = {{S}emantische {A}nalyse f\"ur eine funktionale {P}orgrammiersprache mit polymorphem {T}ypsystem},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Entwurf und Implementierung eines Literaturinformationssyestems als Beispiel der funktionalen Datenbankprogrammierung mit Hilfe der getypten funktionalen Sprache Hope
H. David
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{David86,
author = {Herwig David},
title = {{E}ntwurf und {I}mplementierung eines {L}iteraturinformationssyestems als {B}eispiel der funktionalen {D}atenbankprogrammierung mit {H}ilfe der getypten funktionalen {S}prache {Hope}},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Eine Modulbibliothek für Pascal-m
W. Degenhardt
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Degenhardt86,
author = {Wolfgang Degenhardt},
title = {{E}ine {M}odulbibliothek f\"ur {Pascal-m}},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Konzept eines Generierungssystems für Codeerzeugung: Die Übertragung des p-Codes auf wechselnde Zielmaschinen
A. Demmer
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Demmer86,
author = {Alexander Demmer},
title = {{K}onzept eines {G}enerierungssystems f\"ur {C}odeerzeugung: {D}ie {\"U}bertragung des p-{C}odes auf wechselnde {Z}ielmaschinen},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Eine interaktive Programmierumgebung für die funktionale Programmiersprache X
G. Hickel
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Hickel86,
author = {Georg Hickel},
title = {{E}ine interaktive {P}rogrammierumgebung f\"ur die funktionale {P}rogrammiersprache {X}},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Komplexe Attribute; Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System
P. Lipps
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Lipps86,
author = {Peter Lipps},
title = {{K}omplexe {A}ttribute; {M}echanismen zur {V}erwaltung und {B}erechnung in einem baumtransformierenden {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Gernerierung eines effizienten Attributschedulers für ein baumtransformierendes System
M. Olk
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Olk86,
author = {Matthias Olk},
title = {{G}ernerierung eines effizienten {A}ttributschedulers f\"ur ein baumtransformierendes {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Registerverteilung und Codeselektion für wechselnde Zielmaschinen
T. Rauber
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Rauber86,
author = {Thomas Rauber},
title = {{R}egisterverteilung und {C}odeselektion f\"ur wechselnde {Z}ielmaschinen},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Vollständige Transfereinheiten vom Typ 1
P. Schley
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Schley86,
author = {Peter Schley},
title = {{V}ollst\"andige {T}ransfereinheiten vom {T}yp 1},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- Effiziente Attributspeicherwaltung für ein baumtransformierendes System
H. Tittelbach
Universität des Saarlandes, 1986.
[bib]
@mastersthesis{Tittelbach86,
author = {Heiner Tittelbach},
title = {{E}ffiziente {A}ttributspeicherwaltung f\"ur ein baumtransformierendes {S}ystem},
school = {Universit\"at des Saarlandes},
year = {1986},
}
- BISAM – Ein maschinenunabhängiger Binder für Pascal-m
W. Keber
Universität des Saarlandes, 1985.
[bib]
@mastersthesis{Keber85,
author = {Wolfgang Keber},
title = {{BISAM} -- {E}in maschinenunabh\"angiger {B}inder f\"ur {Pascal-m}},
school = {Universit\"at des Saarlandes},
year = {1985},
}
- Verfahren zur Generierung LR(k)-Parser-gesteuerter Attributauswerter
R. F. Lackes
Universität des Saarlandes, 1985.
[bib]
@mastersthesis{Lackes85,
author = {Richard Friedrich Lackes},
title = {{V}erfahren zur {G}enerierung {LR(k)}-{P}arser-gesteuerter {A}ttributauswerter},
school = {Universit\"at des Saarlandes},
year = {1985},
}
- Direkte Generierung der Attributberechnung in Form von p-Code
R. Mansfeld
Universität des Saarlandes, 1985.
[bib]
@mastersthesis{Mansfeld85,
author = {Roman Mansfeld},
title = {{D}irekte {G}enerierung der {A}ttributberechnung in {F}orm von p-{C}ode},
school = {Universit\"at des Saarlandes},
year = {1985},
}
- Task-Konzept in ADA
M. Aziz
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Aziz83,
author = {Magda Aziz},
title = {{T}ask-{K}onzept in {ADA}},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Praktische Erfahrungen mit der Anwendung von Software-Engineering Metoden unter besonderer Berücksichtigung von Anforderungen der On-line Transaktionsverarbeitung
R. Guthor
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Guthor83,
author = {Rainer Guthor},
title = {{P}raktische {E}rfahrungen mit der {A}nwendung von {S}oftware-{E}ngineering {M}etoden unter besonderer {B}er\"ucksichtigung von {A}nforderungen der {O}n-line {T}ransaktionsverarbeitung},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Spezifikation einer Datenbasis als Teil eines Mitfahrgelegenheitenvermittlungssystems
T. Heubel
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Heubel83,
author = {Thomas Heubel},
title = {{S}pezifikation einer {D}atenbasis als {T}eil eines {M}itfahrgelegenheitenvermittlungssystems},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Techniken zur Unterstützung quellsprachnahen Testens
C. Kimmel
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Kimmel83,
author = {Christian Kimmel},
title = {{T}echniken zur {U}nterst\"utzung quellsprachnahen {T}estens},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Attributierte Transformationsgrammatiken
M. Schmigalla
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Schmigalla83,
author = {Michael Schmigalla},
title = {{A}ttributierte {T}ransformationsgrammatiken},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Ein System zur Verwaltung getrennt übersetzbarer Einheiten der Programmiersprache ADA
F. Schuhmacher
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Schuhmacher83,
author = {Franz-Rudolf Schuhmacher},
title = {{E}in {S}ystem zur {V}erwaltung getrennt \"ubersetzbarer {E}inheiten der {P}rogrammiersprache {ADA}},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- ADA-Editor. Teil II – Aspekte der Implementierung
B. Sieloff
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Sieloff83,
author = {Bernard Sieloff},
title = {{ADA}-{E}ditor. {T}eil {II} -- {A}spekte der {I}mplementierung},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Attributierte Transformationsgrammatiken: die Baumanalyse und Untersuchungen zu Transformationsstrategien
B. Weisgerber
Universität des Saarlandes, 1983.
[bib]
@mastersthesis{Weisgerber83,
author = {Beatrix Weisgerber},
title = {{A}ttributierte {T}ransformationsgrammatiken: die {B}aumanalyse und {U}ntersuchungen zu {T}ransformationsstrategien},
school = {Universit\"at des Saarlandes},
year = {1983},
}
- Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator
W. Dithmar
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Dithmar82,
author = {Wolfram Dithmar},
title = {{I}mplementierung eines {C}ompiler-erzeugenden-{S}ystems auf einem {M}ikrorechner: der {A}ttributierungsgenerator},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Implementierung eines Compiler-Generators auf einem Mikrorechner: Intraktives Lernprogramm
F. Jakobs
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Jakobs82,
author = {Franz-Josef Jakobs},
title = {{I}mplementierung eines {C}ompiler-{G}enerators auf einem {M}ikrorechner: {I}ntraktives {L}ernprogramm},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- ADA-Editor. Teil I – Grundlagen
U. Kasper
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Kasper82,
author = {Udo Kasper},
title = {{ADA}-{E}ditor. {T}eil {I} -- {G}rundlagen},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Pascal Testsystem Simplifier
V. Licher
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Licher82,
author = {Veronika Licher},
title = {{P}ascal {T}estsystem {S}implifier},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Ein LALR(1)-Parsergenerator
H. Oberhauser
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Oberhauser82,
author = {Hans-Georg Oberhauser},
title = {{E}in {LALR(1)}-{P}arsergenerator},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Ein LR-Scanner-Generator
P. Pfahler
Universität des Saarlandes, 1982.
[bib]
@mastersthesis{Pfahler82,
author = {Peter Pfahler},
title = {{E}in {LR}-{S}canner-{G}enerator},
school = {Universit\"at des Saarlandes},
year = {1982},
}
- Paketorientierte Übertragungsdienste in Verteilten Systemen
M. Schneider
Universität des Saarlandes, 1981.
[bib]
@mastersthesis{Schneider81,
author = {Martina Schneider},
title = {{P}aketorientierte {\"U}bertragungsdienste in {V}erteilten {S}ystemen},
school = {Universit\"at des Saarlandes},
year = {1981},
}
- Pascal Testsystem: Ablaufsteuerung
A. Brück
Universität des Saarlandes, 1980.
[bib]
@mastersthesis{Bruck80,
author = {Arno Br\"uck},
title = {{Pascal} {T}estsystem: {A}blaufsteuerung},
school = {Universit\"at des Saarlandes},
year = {1980},
}
- Pascal Testsystem: Symbolische Ausführung
H. Dorr
Universität des Saarlandes, 1980.
[bib]
@mastersthesis{Dorr80,
author = {Hans-J\"urgen Dorr},
title = {{Pascal} {T}estsystem: {S}ymbolische {A}usf\"uhrung},
school = {Universit\"at des Saarlandes},
year = {1980},
}
- Ein LR-Scanner-Generator
J. Lörscher
Universität des Saarlandes, 1980.
[bib]
@mastersthesis{Lorscher80,
author = {Josef L\"orscher},
title = {{E}in {LR}-{S}canner-{G}enerator},
school = {Universit\"at des Saarlandes},
year = {1980},
}
- Automatische Implementierung von monotonen Rahmen für Datenflussprobleme
T. Räuchle
Universität des Saarlandes, 1980.
[bib]
@mastersthesis{Rauchle80,
author = {Thomas R\"auchle},
title = {{A}utomatische {I}mplementierung von monotonen {R}ahmen f\"ur {D}atenflussprobleme},
school = {Universit\"at des Saarlandes},
year = {1980},
}
- Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren
M. Holbach
Universität des Saarlandes, 1979.
[bib]
@mastersthesis{Holbach79,
author = {Manfred Holbach},
title = {{D}ie {R}ealisierung des {LCF}-{K}ommandos {SIMPL} durch {B}aumtransformatoren},
school = {Universit\"at des Saarlandes},
year = {1979},
}