DESS Publications

• ITEA Symposium Material: DESS Project Posters & Results Sheet, 3rd ITEA Symposium, Amsterdam, The Netherlands, October 10-11 2002
  • DESS Posters (not yet available)
  • DESS Results Sheet (PDF format)
  • DESS Sofware Engineering Session Presentation (PDF format)
• Organized Conferences
  • Ada-Europe 2001: Fueled by the work conducted in the DESS project, the K.U.Leuven (co-) organized the 6th International Conference on Reliable Software Technologies. This conference that took place in Leuven (near Brussels), Belgium, from May 14th to May 18th, 2001. This annual event offers a technical program and exhibitions as well as a series of tutorials and workshops. The conference provides an international forum for researchers, developers and users of reliable software technologies and embedded systems in particular. Presentations and discussions cover applied and theoretical work currently conducted to support the development and maintenance of software systems. As such UML, XML, Ada and RUP are just some technologies addressed in this year's conference that are also at the heart of the DESS project. The proceedings of the conference are published in the Lecture Notes in Computer Science (LNCS) Series by Springer.
• Publications
  • JPure - Purified Java Execution Environment for Controller Networks, D. Beuche, et al. , Proceedings of the International IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES '2000), Paderborn, Deutschland, Okt. 2000, published by Kluwer Academic Press, 2001, ISBN 0-7923-7345-6
  • Requirements Engineering in Automotive Development: Experiences and Challenges, M. Weber andJ. Weisbrod, DaimlerChrysler Research, IEEE focus on Requirements Engineering, ECOOP 2000, Cannes, France
  • Tuning Parameters for Component Based Design with Memory Constraints, Y. Barbaix et al., K.U.Leuven, PCS workshop, ECOOP 2000, Cannes, France
  • Toward a Unified Terminology for Component-based Development, S. Van Baelen et al., K.U.Leuven, WCOP workshop, ECOOP 2000, Cannes, France
  • TAXYS: a Tool for the Development and Verification of Real-Time Embedded Systems, E. Closse et al., France Telecom R&D, CAV 2001
  • Consistent Design of Embedded Real-Time Systems with UML-RT, J. Kuester et al., University of Paderborn/C-LAB, ISORC 2001
  • A Classification of Real-Time Specifications Complexity, V. del Bianco et al., Cefriel/Politecnico di Milano, SIVOES workshop, ECOOP 2001, Budapest, Hungary
  • An application of the DESS modeling approach: The Car Speed Regulator, Vieri del Bianco, Luigi Lavazza, Marco Mauri SIVOES workshop, ECOOP 2001, Budapest, Hungary
  • Handling Timing Constraints with Virtual Timers, Y. Barbaix et al., K.U.Leuven, SIVOES workshop, ECOOP 2001, Budapest, Hungary
  • Combining UML and formal notations for modelling real-time systems, Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Wien, 10-14, September 2001.
  • Deriving executable process descriptions from UML, E. Di Nitto, L. Lavazza, M. Schiavoni, E. Tracanella, M. Trombetta, ICSE 2002, International Conference on Software Engineering, Buenos Aires, Argentina, 19-25 may 2002.
• Presentations
  • OO Formal Methods in DESS (Real-Time & Embedded Applications), V. del Bianco et al., Cefriel/Politecnico di Milano, SIVOES workshop, ECOOP 2001, Budapest, Hungary