Informatik
Headerbild
Suche

Publikationen

Veröffentlichungen des Instituts für Informatik

WCET 2009

Adrian Prantl, Jens Knoop, Raimund Kirner, Markus Schordan, and Albrecht Kadlec: From Trusted Annotations to Verified Knowledge. In Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland, pp. 35 - 45, June 30, 2009.

 

INTED 2009

Wahl Harald, Mense Alexander, Pucher Robert K.: Using Experiences gained by Blended Learning on the way to E-Learning. In Proceedings of the INTED 2009, International Technology, Education and Development Conference. Valencia (Spain) 9th–11th March, 2009. Edited by L. Gómez Chova, D. Martí Belenguer, I. Candel Torres. Published by International Association of Technology, Education and Development (IATED), ISBN: 978-84-612-7578-6, Depósito Legal: V-662-2009 (reviewed Paper, Vortrag)

 

ISORC 2009

Dietmar Schreiner, Markus Schordan, and Jens Knoop: Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach.
In Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), Tokyo, Japan, ISBN 978-0-7695-3573-9, pp. 288 - 292, March 17-20, 2009.

Dietmar Schreiner, Markus Schordan, Karl M. Göschka: Component Based Middleware-Synthesis for AUTOSAR Basic Software. Proceedings of the '12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC09), Tokyo, Japan, ISBN 978-0-7695-3573-9, March 17-20, 2009.

WLPE 2008

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska: Constraint Solving for High-Level WCET Analysis. In Proceedings of the 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008), pp. 77-88, Udine, Italy, December 12, 2008.

 

DICFO

Hofmann Alexander: Motivierende interdisziplinäre Projekte, Teilnahme an Fußballroboter-Weltmeisterschaft, DICFO – Forum Hochschuldidaktik: Beispiele guter Lehre an Fachhochschulen. 1. Auflage, ISBN-13: 978-3950222760, pp 61–65, FO.FO.S, 2008 (Buchbeitrag) 

 

ISOLA 2008

Gustafsson Jan, Lisper Björn, Schordan Markus, Ferdinand Christian, Jersak Marek, Bernat Guillem: ALL-TIMES – a European Project on Integrating Timing Technology. Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), p 445–459, Springer, Porto Sani, Greece, Editor(s):Tiziana Margaria and Bernhard Steffen.

 

MESA 2008

Schreiner D., Schordan Markus, Barany G., Göschka K.: Source Code Based Component Recognition in Software Stacks for Embedded Systems, Proceedings of the "4th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2008)", pp. 463–468, ISBN 978-1-4244-2368-2, Beijing, China, Oct 12–15, 2008. (Reviewed Paper, Vortrag)


SSPSV 2008

Schordan Markus: Static Analysis Tool Integration, Arbeitstreffen Sprachbasierte Software-Sicherheit durch Programmanalyse, Semantik und Verifikation, Deutschland, Karlsruhe, Oktober 2008 (Vortrag)

 

WCET 2008

Kirner R., Kadlec A., Puschner P., Prantl A., Schordan Markus, and Knoop J.: Towards a Common WCET Annotation Language: Essential Ingredients, Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, 53 - 65. (reviewed Paper, Vortrag)

 

Prantl A., Schordan Markus, and Knoop J., TuBound – A Conceptually New Tool for Worst-Case Execution Time Analysis. In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, 141–148. (reviewed Paper, Vortrag) Also: Schloß Dagstuhl – Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 8 pages.

 

Holsti Niklas, Gustafsson Jan, Bernat Guillem (eds.), Ballabriga Clément, Bonenfant Armelle, Bourgade Roman, Cassé Hugues, Cordes Daniel,  Kadlec Albrecht, Kirner Raimund, Knoop Jens, Lokuciejewski Paul, Merriam Nicholas, De Michiel Marianne, Prantl Adrian, Rieder Bernhard, Rochange Christine, Sainrat Pascal, Schordan Markus: WCET Tool Challenge 2008: Report. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008) (Prague, Czech Republic, July 2–4, 2008). (Report)

 

RoboCup Workshop 2008

Holzfeind Sebastian, Vlasta Paul, Hofmann Alexander, Pucher Robert K.: Considerations for the Development of a Team for the RoboCup Rescue Simulation League Subunit Virtual Robot. 2nd Austrian RoboCup Workshop 2008, Villach, Austria, 30th May (reviewed Paper, Vortrag)


Gabteni Manuel, Sterzinger Dieter, Pucher Robert K., Hofmann Alexander: Using the Machinetta Framework in the RoboCup Rescue Simulation League, Subdivision Virtual Robots. 2nd Austrian RoboCup Workshop 2008, Villach, Austria, 30th May (reviewed Paper, Vortrag)


Dür Thomas, Hofmann Alexander, Kleinrath Paul, Pucher Robert K:. Colour-Configuration of the Vision System in a RoboCup Small Size League Team the vienna cubes. 2nd Austrian RoboCup Workshop 2008, Villach, Austria, 30th May (reviewed Paper, Vortrag)

 

EDiNEB 2008

Wahl Harald, Pucher Robert K., Mense Alexander, Schmöllebeck Fritz, Hofmann Alexander, Nimmervoll Alexander, Eckkrammer Florian, Gollner Helmut: Do Competitions between Teams in Self Directed Learning Increase the Performance of Students? 15th Annual EDINEB International Conference “Advances in Business Education and Training”, Malaga, Spain, June 11–13, 2008 (Vortrag)

 

Pucher Robert K., Schmöllebeck Fritz, Wahl Harald, Mense Alexander,  Brezowar Gabriela, Gollner Helmut: Competency in Finding Solutions Tailored to Requirements of Customers – Can it be Assessed by Exams? 15th Annual EDINEB International Conference “Advances in Business Education and Training”, Malaga, Spain, June 11–13, 2008 (Vortrag)

 

25. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte

Schordan Markus: An Example of Source-To-Source Analysis with SATIrE. In 25. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte, 9 pages. Bad Honnef, Germany, May 2008. (Non-Reviewed Paper, Vortrag)

 

Dagstuhl Seminar 08161 "Scalable Program Analysis"

Schordan Markus: Source-To-Source Analysis with SATIrE – an Example Revisited. In Proceedings of Dagstuhl Seminar 08161: Scalable Program Analysis, 17 pages. Germany, Dagstuhl, Arpil 2008. (Non-Reviewed Paper, Vortrag)

 

PBL 2008

Wahl Harald, Mense Alexander, Nimmervoll Alexander, Pucher Robert K., Gollner Helmut and Schmöllebeck Fritz: An Innovative Combination of non-Traditional Teaching Methods for Learning in Small Groups. Proceedings of the International Conference PBL2008 ABP, Colima, Mexico, January 30 – February 1, 2008 (reviewed Paper, Vortrag)


Nimmervoll Alexander, Pucher Robert K., Wahl Harald, Gollner Helmut and Schmöllebeck Fritz: Personal PBL Experiences with Theoretical Computer Science Lectures, Proceedings of the International Conference PBL2008 ABP, Colima, Mexico, January 30 – February 1, 2008 (reviewed Paper, Vortrag)


Pucher Robert K., Hofmann Alexander, Mense Alexander, Wahl Harald, Nimmervoll Alexander, Brezowar Gabriela, Schmöllebeck Fritz: Are Human Factors the More Important Factors for the Success of Project Based Learning?, Proceedings of the International Conference PBL2008 ABP, Colima, Mexico, January 30 – February 1, 2008 (reviewed Paper, Vortrag)

 

SICPRO'08

Pucher Robert K., Pucher Karl: VENTILATION OF LONG ROAD TUNNELS – SPECIAL PROBLEMS IN THE CASE OF FIRE, In Proceedings of the International Conference “System Identification and Control Problems” (SICPRO´08), VA Trapeznikov Institute of Control Sciences, Moskau Jan. 28.– 31.2008 ISBN 978-5-91450-002-0 (reviewed Paper, Vortrag)