@inproceedings{ZoldaEA2011,
author = {Zolda, Michael and B{\"{u}}nte, Sven and Kirner, Raimund},
month = aug,
title = {Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation},
booktitle = {17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)},
note = {Accepted.},
publisher = {IEEE},
address = {Toyama, Japan},
year = {2011}
}
@inproceedings{wcc2011,
author = {Reinhard von Hanxleden and Niklas Holsti and Bj{\"o}rn Lisper and
Erhard Ploedereder and Reinhard Wilhelm and Armelle Bonenfant and
Hugues Casse and Sven B{\"u}nte and Wolfgang Fellger and Sebastian
Gepperth and Jan Gustafsson and Benedikt Huber and Nazrul Mohammad
Islam and Daniel K{\"a}stner and Raimund Kirner and Laura Kovacs
and Felix Krause and
Marianne de Michiel and Mads Christian Olesen and Adrian Prantl and
Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl and
Simon Wegener and Michael Zolda and Jakob
Zwirchmayr},
title = {{WCET} Tool Challenge 2011: Report},
booktitle = {Proceedings of the 11th International Workshop on Worst-Case Execution
Time (WCET) Analysis},
year = {2011},
address = {Porto, Portugal},
month = {July}
}
@inproceedings{Kirner:WCET2011_secco_compiler,
author = {Raimund Kirner and Michael Zolda},
title = {Compiler Support for Measurement-based Timing Analysis},
booktitle = {Proc. 11th International Workshop on Worst-Case Execution
Time Analysis},
year = {2011},
address = {Porto, Portugal},
month = {July},
publisher = {OCG}
}
@inproceedings{buente:2011a,
author = {B{\"u}nte, Sven and Zolda, Michael and Kirner, Raimund},
booktitle = {Proc. 6th International Symposium on Industrial Embedded Systems
(SIES'11)},
title = {Let's Get Less Optimistic In Measurement-Based Timing Analysis},
year = {2011},
month = jun,
volume = {},
number = {},
pages = {},
publisher = {IEEE},
address = {V\"{a}ster\r{a}s, Sweden},
issn = {}
}
@inproceedings{holzer:schallhart:tautschnig:veith:hvc10,
author = {Andreas Holzer and Christian Schallhart and Michael
Tautschnig and Helmut Veith},
title = {An Introduction to Test Specification in {FQL}},
year = {2011},
booktitle = {Proceedings of Haifa Verification Conference
(HVC 2010)},
editor = {Sharon Barner and Daniel Kroening and Orna
Raz},
pages = {9-22},
publisher = {Springer},
series = {Lecture Notes in Computer
Science},
volume = {6504}
}
@inproceedings{holzer:januzaj:kugele:langer:schallhart:tautschnig:veith:fase11,
author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and
Boris Langer and Christian Schallhart and Michael Tautschnig and Helmut
Veith},
title = {Seamless Testing for Models and Code},
year = {2011},
booktitle = {FASE 2011}
}
@inproceedings{buente:2011,
author = {B{\"{u}}nte, Sven and Zolda, Michael and Tautschnig, Michael and
Kirner, Raimund},
title = {Improving the Confidence in Measurement-Based Timing Analysis},
booktitle = {Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented
Real-time Distributed Computing (ISORC)},
year = {2011},
month = mar,
address = {Newport Beach, USA}
}
@incollection{kirner:2011,
author = {Raimund Kirner and Sven B{\"u}nte and Michael Zolda},
title = {Measurement-Based Timing Analysis for Reconfigurable Embedded Systems},
booktitle = {Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility},
year = {2011},
publisher = {IGI Global}
}
@article{zolda:2010-18,
author = {Michael Zolda and Sven B{\"u}nte and Raimund Kirner},
title = {Context-Sensitivity in IPET for Measurement-Based Timing Analysis},
journal = {4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10)},
year = {2010},
month = oct
}
@inproceedings{holzer:schallhart:tautschnig:veith:ase10,
author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and
Helmut Veith},
title = {How did you specify your test suite ?},
month = sep,
year = {2010},
address = {Antwerp, Belgium},
booktitle = {Proceedings of the 25th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2010)},
pages = {407--416},
publisher = {ACM},
isbn = {978-1-4503-0116-9}
}
@inproceedings{Zolda:RTNS2009_segmentation,
author = {Michael Zolda and Sven B{\"u}nte and Raimund Kirner},
title = {{Towards Adaptable Control Flow Segmentation for Measurement-Based
Execution Time Analysis}},
booktitle = {Proc. 17th International Conference on Real-Time and Network Systems
(RTNS)},
year = {2009},
address = {Paris, France},
month = {Oct.}
}
@inproceedings{holzer:schallhart:tautschnig:veith:vmcai09,
author = {Andreas Holzer and Christian Schallhart and Michael
Tautschnig and Helmut Veith},
title = {Query-Driven Program Testing},
month = jan,
year = {2009},
address = {Savannah, GA, USA},
booktitle = {Proceedings of the Tenth International
Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI 2009)},
editor = {Neil D.~Jones and Markus
M{\"u}ller-Olm},
pages = {151--166},
publisher = {Springer},
series = {Lecture Notes in
Computer Science},
volume = {5403}
}
@inproceedings{zolda:2008:65,
author = {Zolda, Michael and Kirner, Raimund},
month = nov,
title = {Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption},
booktitle = {Junior Scientist Conference 2008},
year = {2008},
pages = {117-118},
publisher = {Technische Universit{\"{a}}t Wien},
address = {Vienna, Austria}
}
@inproceedings{buente:tautschnig:testbench08,
author = {Sven B{\"u}nte and Michael Tautschnig},
title = {A Benchmarking Suite for Measurement-Based {WCET} Analysis Tools},
booktitle = {First International Conference on Software Testing, Verification
and Validation (ICST)},
year = {2008},
address = {Lillehammer, Norway},
month = apr,
publisher = {IEEE Computer Society Press}
}
@inproceedings{holzer:schallhart:tautschnig:veith:cav08,
author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and
Helmut Veith},
title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and
Measurement}},
booktitle = {Proceedings of the 20th International Conference on Computer Aided
Verification (CAV 2008)},
year = {2008},
series = {Lecture Notes in Computer Science},
address = {Princeton, NJ, USA},
month = jul,
publisher = {Springer}
}
@article{buente:2008-56,
author = {Sven B\"unte and Raimund Kirner},
title = {The Acquaintance of Hardware Timing Effects: A Sine Qua
Non to Validate Temporal Requirements in Embedded Real Time
Systems},
journal = {Junior Scientist Conference},
year = {2008},
month = {Nov.}
}
@inproceedings{Zolda:WCET2008-63,
author = {Michael Zolda},
title = {{INFER}: Interactive Timing Profiles based on Bayesian
Networks},
booktitle = {Proc. 8th International Workshop on Worst-Case
Execution Time Analysis},
year = {2008},
month = {Oct.},
annote = {IntID: rr-2008-063, funding: FORTAS}
}
@mastersthesis{kanzler:2008,
author = {Andreas Kanzler},
title = {{Ein graphisches Frontend f\"ur die Zeitanalyse von Echtzeitprogrammen}},
school = {Technische Universit\"at Wien},
year = {2008},
address = {Vienna},
month = {Oct.}
}
This file was generated by bibtex2html 1.94.