Markus Schordan, TU Wien
| [P28] | Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Albrecht Kadlec Journal of Software and System Modelling, Springer online-edition, published on-line April 9, 2010, DOI: http://dx.doi.org/10.1007/s10270-010-0161-0, 27 pages. |
| [P27] | The Language of the Visitor Design Pattern Markus Schordan Journal of Universal Computer Science (JUCS), Vol. 12, No. 7, pp. 849-867, August 2006. Special Issue: Selected Papers from The 10th Brazilian Symposium on Programming Languages. Issue edited by Mariza Andrade Silva Bigonha and Alex de Vasconcellos Garcia Download: [postscript][pdf][bibtex] |
| [P26] | Parallel Object-Oriented Framework Optimization Daniel Quinlan, Markus Schordan, Brian Miller, and Markus Kowarschik Concurrency and Computation: Practice and Experience Volume 16, Issue 2-3 , pp. 293-302 Special Issue: Compilers for Parallel Computers. Issue Edited by Michael O'Boyle. Copyright © 2004 John Wiley & Sons, Ltd. Download: [pdf] |
| [P25] |
From Trusted Annotations to Verified Knowledge Adrian Prantl, Jens Knoop, Raimund Kirner, Markus Schordan, and Albrecht Kadlec In Post-Workshop Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland, Austrian Computer Society, Volume 252, ISBN 978-3-85403-252-6, pp. 39 - 49, 2009. |
| [P24] |
From Trusted Annotations to Verified Knowledge Adrian Prantl, Jens Knoop, Raimund Kirner, Markus Schordan, and Albrecht Kadlec In Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland, pp. 35 - 45, June 30, 2009. |
| [P23] |
Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach Dietmar Schreiner, Markus Schordan, and Jens Knoop 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. |
| [P22] |
Component Based Middleware-Synthesis for AUTOSAR Basic Software Dietmar Schreiner, Markus Schordan, Karl M. Göschka 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. |
| [P21] |
Constraint Solving for High-Level WCET Analysis Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska In Proceedings of the 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008), pp. 77-88, Udine, Italy, December 12, 2008. |
| [P20] |
ALL-TIMES - a European Project on Integrating Timing Technology Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Marek Jersak, Guillem Bernat In Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), pp. 445-459, Springer, Porto Sani, Greece, Editors: Tiziana Margaria and Bernhard Steffen. |
| [P19] |
Source Code based Component Recognition in Software Stacks for Embedded Systems Dietmar Schreiner, Markus Schordan, Gergo Barany, Karl Göschka In Proceedings of the 4th ASME/IEEE International Conference of Mechatronic and Embedded Systems and Applications (MESA 2008), pp. 463-468, ISBN: 978-1-4244-2368-2, Beijing, China, Oct 12-15, 2008. |
| [P18] |
Towards a Common WCET Annotation Language: Essential Ingredients Raimund Kirner, Albrecht Kadlec, Peter Puschner, Adrian Prantl, Markus Schordan, Jens Knoop In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, pp. 53 - 65., Prague, Czech Republic, July 1, 2008. |
| [P17] |
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis Adrian Prantl, Markus Schordan, Jens Knoop In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, pp. 141 - 148, Prague, Czech Republic, July 1, 2008. |
| [P16] |
WCET Analysis: The Annotation Language Challenge Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel 7th Workshop on WCET Analysis, Pisa, Italy, July 3, 2007. In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007), pp. 83-99, 2007. |
[P15] |
Classification and Utilization of Abstractions for Optimization Daniel Quinlan, Markus Schordan, Qing Yi, and Andreas Saebjornsen Leveraging Applications of Formal Methods, First International Symposium , ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers (ISoLA'04) Lecture Notes in Computer Science, Volume 4313, pp. 57-73, Springer Verlag, ISSN 0302-9743, ISBN 978-3-540-48928-3, November 02, 2006. Download: [postscript] |
| [P14] |
The Language of the Visitor Design Pattern Markus Schordan 10th Brazilian Symposium on Programming Languages (SBLP'06) Itatiaia, Rio de Janeiro, Brazil, May 2006. Proceedings of the 10th Brazilian Symposium on Programming Languages, pp. 235-248, ISBN 85-7669-071-3, ANAIS, May 2006. Download: [postscript][pdf] |
| [P13] |
Annotating User-Defined Abstractions for Optimization Daniel Quinlan, Markus Schordan, Richard Vuduc, and Qing Yi Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL'06) in conjunction with 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006) Rhodes Island, Greece, April 2006. Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006), Workshop on Performance Optimization for High-Level Languages and Libraries, CDROM, IEEE Computer Society, 2006. Download: [postscript] |
| [P12] |
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar Markus Schordan and Daniel Quinlan Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) Budapest, Hungary, September 2005. Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation, pp. 97-106, IEEE, ISBN 0-7695-2292-0, 2005. Download: [postscript][pdf][bibtex] |
| [P11] |
Toward the Automated Generation of Components from Existing Source Code Daniel Quinlan, Qing Yi, Gary Kumfert, Thomas Epperly, and Tamara Dahlgren, Markus Schordan, and Brian White 2nd Workshop on Productivity and Performance in High-End Computing (P-PHEC) San Francisco, CA, U.S.A, February 2005. Proceedings of the 2nd Workshop on Productivity and Performance in High-End Computing, pp. 12-19, 2005. Download: [pdf] |
| [P10] |
Classification and Utilization of Abstractions for Optimization Daniel Quinlan, Markus Schordan, Qing Yi, and Andreas Saebjornsen 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04) Preliminary Proceedings, pp. 2-9, TR-2004-6, Department of Computer Science, University Cyprus, October 2004. Download: [postscript] |
[P09] |
Semantic-Driven Parallelization of Loops Operating on User-Defined Containers Daniel Quinlan, Markus Schordan, Qing Yi, and Bronis de Supinski 16th Annual Workshop on Languages and Compilers for Parallel Computing (LCPC'03), College Station, TX, USA, October 2-4, 2003. Revised Papers. Lecture Notes in Computer Science, vol. 2958, pp. 524-538, Springer Verlag, May 2004 Download: [postscript] |
[P08] |
A Source-To-Source Architecture for User-Defined Optimizations Markus Schordan and Daniel Quinlan Joint Modular Languages Conference (JMLC'03) Lecture Notes in Computer Science, vol. 2789, pp. 214-223, ISBN 978-3-540-40796-6, Springer Verlag, August 2003. Download: [postscript] |
[P07] |
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives Daniel Quinlan, Markus Schordan, Qing Yi, and Bronis de Supinski Workshop on OpenMP Applications and Tools (WOMPAT'03) Lecture Notes in Computer Science, vol. 2716, pp. 13-25, Springer Verlag, June 2003. Download: [postscript] |
[P06] |
Treating a User-Defined Parallel Library as a Domain-Specific Language Daniel Quinlan, Brian Miller, Bobby Philip, and Markus Schordan 7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'02) In Proceedings of the 16th International Parallel and Distributed Processing Symposium Ft. Lauderdale, USA, pp. 105-114, IEEE Press, April 2002. Download: [postscript] |
[P05] |
The Specification of Source-To-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications Dan Quinlan, Markus Schordan, Bobby Philip, and Markus Kowarschik In Proceedings of the 14th International Workshop on Languages and Compilers for Parallel Computing (LCPC'01) Lecture Notes in Computer Science, vol. 2624, pp. 570-578, Springer Verlag, August 2001. Download: [postscript] |
[P04] |
Virtual Method Resolution with Typed Alias Graphs Markus Schordan and Wolfram Amme In Proceedings of the 8th International Workshop on Compilers for Parallel Computers (CPC'00) Aussois, France, pp. 151-162, January 2000. Download: [postscript] |
[P03] |
PAOLA-Program Analysis of Object-Oriented Languages Wolfram Amme, Markus Schordan, Wilhelm Rossak, and Laszlo Boeszoermenyi International Workshop on Aliasing in Object-Oriented Systems (IWAOOS'99) In European Conference on Object-Oriented Programming (ECOOP'99) Workshop Reader, Lisbon, Portugal, Lecture Notes in Computer Science, vol. 1743, pp. 143-146, Springer Verlag, June 1999. Download: [postscript] |
[P02] |
JavaSet: extending Java by persistent sets Markus Schordan, Harald Kosch, and Laszlo Boeszoermenyi In Proceedings of the 3rd International Austrian-Israeli Technion Symposium, Software for Communication Technologies'99, pp. 58-66, Hagenberg, Linz, Austria, April 1999. Download: [postscript] |
[P01] |
JavaSet: Eine Erweiterung von Java um persistente Mengen Markus Schordan and Harald Kosch In Java-Informations-Tage (JIT'98), pp. 39-48, Springer Verlag, Frankfurt/Main, Germany, November 1998. Download: [postscript] |
| [T09] |
Persistent Analysis Results (download) Adrian Prantl, Jens Knoop, and Markus Schordan 26. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef; in No. 0915 in Technische Berichte des Instituts für Informatik ; Germany, May 4-6, 2009. |
| [T08] |
WCET Tool Challenge 2008: Report Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat and Markus Schordan 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, Czech Republic, July 2-4, 2008. |
| [T07] |
Source-To-Source Analysis with SATIrE - an Example Revisited Markus Schordan In Proceedings of Dagstuhl Seminar 08161: Scalable Program Analysis, 17 pages. Germany, Dagstuhl, April 2008. |
| [T06] |
TuBound - A Tool for Worst-Case Execution Time Analysis Adrian Prantl, Markus Schordan, Jens Knoop 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; In Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages, May 2008. |
| [T05] |
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis Adrian Prantl, Markus Schordan, Jens Knoop In Dagstuhl Seminar Proceedings 08003, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2008, ISBN: 978-3-939897-10-1, 8 pages, 2008. |
| [T04] |
WCET Annotation Languages Reconsidered: The Annotation Language Challenge Albrect Kadlec, Raimund Kirner, Jens Knoop, Adran Prantl, Markus Schordan Ingomar Wenzel 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; In Proceedings of "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages, May 2008. |
| [T03] |
An Example of Source-To-Source Analysis with SATIrE Markus Schordan In 25. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte, 9 pages. Bad Honnef, Germany, May 2008. |
| [T02] |
Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code Markus Schordan In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, pp. 194-199, Bericht A-07-07, Schriftenreihe A, der Institute für Informatik und Mathematik der Universität zu Lübeck, Timmerdorfer Strand, Germany, October 2007. |
| [T01] |
Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions Markus Schordan In 24. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte, 10 pages. Bad Honnef, Germany, May 2007. |
| [DIS] | Analysis of Object-Oriented Programs with Flow-Shape Graphs Markus Schordan PhD thesis, University of Klagenfurt, Austria, June 2001. [postscript] [Austrian Research Centers Entry] |