Dipl.-Inf. Markus Degen
contact
- address
- Universität Freiburg
Institut für Informatik
Georges-Köhler-Allee 079
79110 Freiburg i. Br.
Germany - room
- 00-013, building 079
- phone
- +49 761 203 8054
- fax
- +49 761 203 8052
- degen [at] informatik [dot] uni-freiburg [dot] de
research
I'm a Ph.D. student at the Institute for Computer Science at the University of Freiburg, Germany. I'm a scholar of the graduate school Embedded Microsystems, founded by the DFG.
publications
- Markus Degen, Peter Thiemann, and Stefan Wehr
Eager and Delayed Contract Monitoring for Call-by-value and Call-by-name Evaluation
Journal of Logic and Algebraic Programming, To appear. - Markus Degen, Peter Thiemann, and Stefan Wehr
True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness)
In 4. Arbeitstagung Programmiersprachen (ATPS'09). Lübeck, Germany. October 2009. - Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin
Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, and Michael Sperber
Auf dem Weg zu einer robusten Programmierausbildung
In Tagungsband zur 3. GI-Fachtagung Hochschuldidaktik Informatik. Potsdam, Germany. December 2008. - Markus Degen, Peter Thiemann, and Stefan Wehr
Typinferenz für Java(X).
In Tagungsband zum 25. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, 2008, in press. - Markus Degen, Peter Thiemann, and Stefan Wehr
Contract Monitoring and Call-by-name Evaluation (extended abstract)
In 20th Nordic Workshop on Programming Theory. Tallinn, Estonia. November 2008. - Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, and Stefan Wehr
HtDP and DMdA in the Battlefield - A Case Study in First-year Programming Instruction
In Proceedings of the 2008 Workshop on Functional and Declarative Programming in Education. Victoria, BC, Canada. 2008. - Markus Degen, Peter Thiemann, and Stefan Wehr
Tracking Linear and Affine Resources with Java(X)
In Erik Ernst, editor, Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 4609, pp. 550-574, Berlin, Germany. Springer-Verlag, 2007. - Markus Degen, Peter Thiemann, and Stefan Wehr.
Tracking linear and affine resources with Java(X).
In Tagungsband zum 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS). Timmendorf, Germany, 2007, pp. 30-35. - Stefan Wehr, Markus Degen, and Peter Thiemann.
Design-by-contract für funktionale Sprachen mit verzögerter Auswertung.
In Tagungsband zum 24. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, May 2007. - Markus Degen
Übersetzen und Optimieren von Simulink Modellen.
In GI Softwaretechnik-Trends Band. 2006. - Janis Fehr, Sebastian Kupferschmid, Markus Degen
Mathe-Vorkurs für angehende Informatiker und MSTler.
Skript und Onlinebuch - Markus Degen
Übertragen gelernter Klauseln im Kontext von Planen als Erfüllbarkeit.
Diplomarbeit. Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik, März 2005.
teaching
courses I co-organized
- Objektorientierte Programmiersprachen. Seminar. WS 2006/2007
- Informatik Theorie I. Vorlesung. SS 2006
- Programmierwerkzeuge. Proseminar. WS 2005/06.
- Java, Grundlagen und Erweiterungen. Seminar. WS 2005/06.
- JDance2000. Softwarepraktikum. WS 2002/03.