Freie Universität Berlin
Institut für Informatik
 

AG Programmiersprachen

Publikationen

2006

• Dirk Draheim, Gerald Weber. The Core NSP Type System. In: Proceedings of WMR 2006 -- Workshop on Web Maintenance and Reengineering, 2006, to appear.
• Dirk Draheim, John Grundy, John Hosking, Christof Lutteroth, Gerald Weber. Realistic Load Testing of Web Applications. In: Proceedings of CSMR 2006 - 10th European Conference on Software Maintenance and Reengineering. IEEE Press, March 2006.
• Dirk Draheim, Gerald Weber (Editors). Trends in Enterprise Application Architecture, LNCS 3888, Springer, March 2006.

  2005

• Dirk Draheim, Gerald Weber (Editors). Proceedings of the VLDB Workshop on Trends In Enterprise Application Architecture, to appear.
• Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, and Gerald Weber. Integrated Model-Based Software Development, Data Access and Data Migration. Accepted for: MoDELS/UML 2005 - ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, LNCS, Springer, to appear.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. A Type System for Reflective Program Generators. Accepted for: GPCE 2005 - Generative Programming and Component Engineering, LNCS, Springer, to appear.
• Sascha Deutschkron, Dirk Draheim. Integration von OpenOffice.org in eine Haushalt- und Controllingsoftware. Accepted for: GI-INFORMATIK 2005, LNI, Springer, to appear.
• Dirk Draheim and Gerald Weber. A Qualitative Analysis of Emerging Collaborative Web Structures. Technical Report UoA-SE-2005-5, Software Engineering Programme, The University of Auckland, 2005.
• Dirk Draheim and Gerald Weber. End-User Development of Web Applications. Technical Report UoA-SE-2005-4, Software Engineering Programme, The University of Auckland, 2005.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. Robust Content Creation with Form-Oriented User Interfaces. Accepted for: CHINZ 2005 - 6th International Conference of the ACM's Special Interest Group on Computer-Human Interaction, to appear.
• Natalie Ardet. Identity Disclosure using Paralinguistic Patterns. 2005 IEEE Symposium on Security and Privacy.
• Natalie Ardet. Idiolect-based Identity Disclosure and Authorship Attribution in Web-based Social Spaces. In: Proceedings of WEBIST 2005: International Conference on Web Information Systems and Technologies, to appear.
• Dirk Draheim. Parsimonious Data Modeling. Talk at the University of Edinburgh, 2005.
• Dirk Draheim. Form-Oriented Analysis - Modeling Submit/Response Style Systems. Talk at the Gdansk University of Technology, 2005.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. Integrating Code Generators into the C# Language. In: Proceedings of ICITA 2005: The 3rd International Conference on Information Technology and Applications. IEEE Press, to appear.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. Generative Programming for C#. ACM SIGPLAN Notices. ACM Press, to appear.
• Dirk Draheim, Gerald Weber. Modelling Form-Based Interfaces with Bipartite State Machines. Journal Interacting with Computers, vol. 17, no. 2. Elsevier, 2005, pp. 207-228.
• Dirk Draheim. A Strongly Typed Approach to User Interfaces of Submit/Response Style Systems. Talk at the Department of Computer Science, University of Birmingham, 2005.
• Dirk Draheim, Dima Suliman, Winfried Neun. Employing Computer Algebra for Classifying Mathematical Web Content. Algorithmic Algebra and Logic 2005 - Conference in Honor of the 60th Birthday of Volker Weispfenning, Universität Passau, to appear.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. Revangie - A Source Code Independent Reverse Engineering Tool for Dynamic Web Sites. Accepted for: Proceedings of CSMR 2005 - 9th European Conference on Software Maintenance and Reengineering. IEEE Press, to appear.
• Dirk Draheim, Gerald Weber. Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer, 2005.

  2004

• Natalie Ardet. Computer Aided Virtual Ethnography. in 2. Doktorandenworkshop des Instituts für Informatik, November 2004, Technical Report, Freie Universität Berlin (B 04-15)
• Dirk Draheim, Christof Lutteroth, and Gerald Weber. Generator Code Opaque Recovery of Form-Oriented Web Site Models. Accepted as poster for: The 11th IEEE Working Conference on Reverse Engineering. IEEE Press, to appear.
• Margarita Esponda Argüerop, Raul Rojas. Learning Algorithms with an Electronic Chalkboard over the Web. In: Proceedings of ICWL 2004 - 3rd International Conference of Advances in Web-Based Learning. LNCS 3143, Springer, 2004.
• Margarita Esponda Argüerop. A New Algorithmic Animation Framework for the Classroom and for the Internet, Ph.D-thesis, Freie Universität Berlin, July 2004.
• Dirk Draheim, Christof Lutteroth, and Gerald Weber. Source Code Independent Reverse Engineering of Dynamic Web Sites. Technical Report B-04-10, Institute of Computer Science, Freie Universität Berlin, June 2004.
• Dirk Draheim, Winfried Neun, and Dima Suliman. Classifying Differential Equations on the Web. In: Proceedings of MKM 2004 - Third International Conference on Mathematical Knowledge Management. LNCS 3119. Springer, 2004.
• Dirk Draheim, Winfried Neun, and Dima Suliman. Finding and Analyzing Mathematical Formulae in MathML and OpenMath on the Web. In: V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov (Eds.). Proceedings of the 7th Workshop on Computer Algebra in Scientific Computing. Institut für Informatik, Technische Universität München, ISBN 3-9808546-2-0, July 2004.
• Dirk Draheim, Winfried Neun, and Dima Suliman. Searching and Classifying Differential Equations on the Web. ZIB-Report 04-22. Konrad-Zuse-Zentrum für Informationstechnik Berlin, June 2004.
• Natalie Ardet. Norwegian Black Metal. in Proceeedings of 14th Nordic Musicological Congress, NMK 2004.
• Dirk Draheim and Gerald Weber. Co-Knowledge Acquisition of Software Organizations and Academy. Accepted for: LSO 2004 - 6th International Workshop on Learning Software Organisations. LNCS, Springer, to appear.
• Dirk Draheim. Form-Oriented Analysis - A Descriptive Approach. Talk at the IT University Göteborg, 2004.
• Dirk Draheim, Matthias Horn, Ina Schulz. The Schema Evolution and Data Migration Framework of the Environmental Mass Database IMIS. Accepted for: SSDBM 2004 - 16th International Conference on Scientific and Statistical Database Management. IEEE Press, to appear.
• Dirk Draheim and Gerald Weber. Specification and Generation of Model 2 Web Interfaces. Accepted for: APCHI 2004 - 6th Asia-Pacific Conference on Computer-Human Interaction. LNCS, Springer, to appear.
• Natalie Ardet and Matthias Thome. Virtual Ethnography: a Computer-Based Approach. in Proceedings of 19th International Conference on Computers and their Applications, CATA 2004.
• Natalie Ardet. Teenagers, Internet and Black Metal. in Proceedings of Conference on Interdisciplinary Musicology, CIM 2004.
• Dirk Draheim, Christof Lutteroth and Gerald Weber. An Analytical Comparison of Generative Programming Technologies. Technical Report B-04-02, Institute of Computer Science, Freie Universität Berlin, January 2004.
• Dirk Draheim, Matthias Horn, Ina Schulz. A Framework for Multi-Tier Type Evolution and Data Migration. Technial Report B-04-01, Institute of Computer Science, Freie Universität Berlin, January 2004.

  2003

• Natalie Ardet. PBS: ein Prüfungsberatungsystem. in Doktoranden-Workshop Oktober 2003, Technical Report, Freie Universität Berlin (B 03-17)
• Dirk Draheim, Christof Lutteroth and Gerald Weber. Factory: Statically Type-Safe Integration of Genericity and Reflection. Accepted for the 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. ACIS, 2003.
• Dirk Draheim and Gerald Weber. Modeling Submit/Response Style Systems with Form Charts and Dialogue Constraints. Accepted for the Workshop on Human Computer Interface for Semantic Web and Web Applications. Springer LNCS, 2003.
• Dirk Draheim and Lukasz Pekacki. Process-Centric Analytical Processing of Version Control Data. Accepted for the International Workshop on Principles of Software Evolution 2003. IEEE Press, 2003.
• Dirk Draheim. Modeling Submit/Response Style Systems. Talk at the Department of Electrical Engineering, University of Calgary, 2003.
• Dirk Draheim. Einsatz von Typsystemen für Server Pages-basierte Präsentationsschichten. Talk at the Institute of Computer Science, Universität Freiburg.
• Gerald Weber. Modellierung Formularbasierter Systeme. Talk at the Institute of Computer Science, Universität Freiburg.
• Dirk Draheim and Lukasz Pekacki. Analytical Processing of Version Control Data: Towards a Process-Centric Viewpoint. Technical Report B-03-07, Institute of Computer Science, Free University Berlin, May 2003.
• Dirk Draheim. A CSCW and Project Management Tool for Learning Software Engineering. Accepted for FIE 2003 - Frontiers in Education: Engineering as a Human Endeavor.
• Dirk Draheim and Gerald Weber. Storyboarding Form-Based Interfaces. In: Proceedings of INTERACT 2003 - Ninth IFIP TC13 International Conference on Human-Computer Interaction. IOS Press, 2003.
• Dirk Draheim. Das Software-Projekt im Hochschulunterricht - Lernziele, Einflußgrößen, Vorschläge. Talk in the Computer Science Colloquium of Universität Potsdam, June 2003.
• Gerald Weber. Form Oriented Analysis. Talk in the DB Systems Colloquium, February 2003.
• Dirk Draheim. Feldstudien: Architektur für Unternehmensapplikationen. Talk in the DB Systems Colloquium, February 2003.
• Dirk Draheim. Ein kombiniertes CSCW-/Projektmanagementwerkzeug für den Softwareprozeß EASE. Angenommen zu GML 2003 - 1. Workshop "Grundfragen multimedialer Lehre".
• Dirk Draheim, Elfriede Fehr, and Gerald Weber. Improving the Web Presentation Layer Architecture. In (X. Zhou, Y. Zhang, M.E. Orlowska, Editors): Web Technologies and Applications. LNCS 2642, Springer, 2003.
• Dirk Draheim, Elfriede Fehr, and Gerald Weber. JSPick - A Server Pages Design Recovery Tool. Accepted for CSMR 2003 - 7th European Conference on Software Maintenance and Reengineering. IEEE, 2003.
• Dirk Draheim. Learning Software Engineering with EASE. In (Tom J. van Weert and Robert K. Munro, Editors): Informatics and the Digital Society. Kluwer Academic Publishers, January 2003.
• Raymond Morel, Dirk Draheim, Marc Pilloud, and Muddassar Farooq. Recommendations of the Working Group on Social Issues and Powershifts at SECIII. In (Tom J. van Weert and Robert K. Munro, Editors): Informatics and the Digital Society. Kluwer Academic Publishers, January 2003.

  2002

• Dirk Draheim. Typed Server Pages, Ph.D-thesis, Freie Universität Berlin, November 2002.
• Gerald Weber. Semantics of Form-Oriented Analysis, Ph.D-thesis, Freie Universität Berlin, November 2002.
• Dirk Draheim and Gerald Weber. Strongly Typed Server Pages. In: Proceedings of The Fifth Workshop on Next Generation Information Technologies and Systems, LNCS, Springer-Verlag, June 2002.
• Dirk Draheim, Christof Lutteroth, and Gerald Weber. An Analytical Comparison of Generative Programming Technologies. Talk at the 19. Workshop GI Working Group 2.1.4.
• Gerald Weber. Modeling Web Interfaces with Form Oriented Analysis. Talk in the FhG ISST Research Colloquium.
• Dirk Draheim, Elfriede Fehr, and Gerald Weber. The Definition of the NSP Type System. Technical Report B-02-11, Institute of Computer Science, Free University Berlin, October 2002
• Dirk Draheim and Gerald Weber. An Introduction to State History Diagrams. Technical Report B-02-09, Institute of Computer Science, Free University Berlin, March 2002 , available for download soon
• Dirk Draheim and Gerald Weber. Form Charts and Dialogue Constraints. Technical Report B-02-08, Institute of Computer Science, Free University Berlin, March 2002
• Dirk Draheim and Gerald Weber. An Overview of State-of-the-Art Architectures for Active Web Sites. Technical Report B-02-07, Institute of Computer Science, Free University Berlin, March 2002
• Dirk Draheim and Gerald Weber. An Introduction to Form Storyboarding. Technical Report B-02-06, Institute of Computer Science, Free University Berlin, March 2002
• Dirk Draheim and Gerald Weber. Strong Complex Typed Dialogue-Oriented Server Pages. Technical Report B-02-05, Institute of Computer Science, Free University Berlin, March 2002

  2001

• Dirk Draheim, Gerald Weber. Specification and Generation of JSP Dialogues with Gently. In: Proceedings of NetObjectDays 2001, tranSIT, ISBN 3-00-008419-3, September 2001
• Dirk Draheim. Integration von Polymorphismus und Subtypen für den Pi-Kalkül. in: Wolfgang Goerigk, Elke Pulvermüller, Andreas Speck (Hrsg.). 18. Workshop der GI-Fachgruppe 2.1.4: Sprachen, Architekturen und neue objektorientierte Softwaretechniken. Christian-Albrechts-Universität zu Kiel, Institut für Informatik und Praktische Mathematik, Bericht Nr. 2018, Oktober 2001

  2000

  1999

• Rajeev Wankar, Rainald Ehrig, N.S.Chaudhari, Elfriede Fehr. Implementation of A Parallel Algorithm for the Symmetric Positive Definite Systems of Equations on the CRAY-T3E. Technical Report B-17-99, November 1999.
• Rajeev Wankar, Elfriede Fehr, N.S.Chaudhari. An Efficient Parallel Algorithm for the All Pairs Shortest Path Problem using Processor Arrays with Reconfigurable Bus Systems. Technical Report B-13-99, July 1999.
• Rajeev Wankar, Elfriede Fehr, N.S.Chaudhari. A Fast Parallel Algorithm for Special Linear Systems of Equations using Processor Arrays with Reconfigurable Bus Systems. Technical Report B-2-99, January 1999.
• M. Dahm. Byte Code Engineering. In: Clemens Cap, editor, Proceedings JIT'99. Springer, 1999.

  1998

• Dirk Pape. Higher Order Demand Propagation. In: K. Hammond and A.J.T. Davie and C. Clack (eds.), Implementation of Functional Languages (IFL '98) London, UK, LNCS 1595 , pp. 155-170, Springer Verlag, September 1998.
• Dirk Pape. The Safety of Higher Order Demand Propagation. Technical Report B 98-16.
• Dirk Pape. Higher Order Demand Propagation. Technical Report B 98-15.
• B. Bokowski, M. Dahm. Poor Man's Genericity for Java. In: Clemens Cap, editor, Proceedings JIT'98. Springer, 1998.
• M. Dahm. Byte Code Engineering with the JavaClass API. Technical report, Freie Universität Berlin, 1998.

  1997

• Matthias Horn. Nutzung von Auswertungskontexten für die Parallelisierung lazy funktionaler Sprachen. In: Vortragsband zum Workshop "Alternative Konzepte für Programmiersprachen" 1997. Bericht Nr. 9712 Christian Albrechts Universität Kiel

  1996

• Matthias Horn. A Different Integration of Multithreading into the STGM. In: Proceedings of the 8th International Workshop on Implementation of Functional Languages 1996, pages 169-185.
• Matthias Horn. Efficient Runtime Representation of Evaluation Transformers. In: Proceedings of the Third Massey Functional Programming Workshop 1996, pages 45-54.
• Matthias Horn. Improving Parallel Implementations of Lazy Functional Languages Using Evaluation Transformers. In: Proceedings of the 5th International Workshop on Functional and Logic Programming 1996.
• Matthias Horn. Improved Integration of Multithreading into the STGM. Technical Report B96-07.

  1995

• Matthias Horn. Improving Parallel Implementations of Lazy Functional Languages Using Evaluation Transformers Technical Report B95-15.

  1994

• Elfriede Fehr. Mathematische Aspekte der Programmiersprachen. In: R.-H. Schulz (Hrsg.): Mathematische Aspekte der Angewandten Informatik, BI 1994, S. 147-164.
• Heiko Dörr. Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time. Technical Report B94-08.
• Heiko Dörr. An Abstract Machine for the Execution of Graph Grammars. Technical Report B94-07.