STEM

STEM Publications

• ECSEL Licentiate theses
• Other theses supported by ECSEL
• Patents
• Journal papers and book chapters
• Conference papers
• Submitted papers
• Other technical papers and presentations

ECSEL Licentiate theses

• Jesper Andersson. Towards Reactive Software Architectures. Linköping Studies in Science and Technology, Lic thesis 769, Linköpings universitet, 1999.
• Erik Berglund. Use-Oriented Documentation in software Development. Linköping Studies in Science and Technology, Lic thesis 790, Linköpings universitet, 1999.
• David Byers. Towards Estimating Software Testability Using Static Analysis, Linköping Studies in Science and Technology, Lic thesis 626, Linköpings universitet, 1997.
• Tobias Ritzau. Real-Time Reference Counting in RT-Java. Linköping Studies in Science and Technology, Lic thesis 748, Linköpings universitet, 1999.

Other theses supported by ECSEL

• Vanja Josifovski. Design, Implementation and Evaluation of a Distributed Mediator System for Data Integration. Ph.D. thesis 582, Linköpings universitet, 1999.
• Anders Subotic. Software Quality Inspection, Linköping Studies in Science and Technology, Lic thesis 800, Linköpings universitet, 1999.

Patents

Journal papers and book chapters

• David Byers. Full-text indexing of non-textual resources. Computer Networks and ISDN systems, Vol. 30, pp 141-148, 1998.
• T. Ericsson, Anders Subotic, S. Ursing. TIM - A Test Improvement Model. Software Testing Verification & Reliabity, No 7, Vol 4, pp 229-246, 1997.
• Vanja Josifovski, Tore Risch. Functional Query Optimization over Object-Oriented Views for Data Integration. Journal of Intelligent Information Systems (JIIS), Vol. 12, No. 2-3, 1999.
• K. Sheshadri, Peter Fritzson. A Mathematica-based PDE-Solver Generator. Accepted to Scientific Programming, 2000.

Conference papers

• Jesper Andersson. Dynamism and `ilities' - Architectural Design for Quality Requirements in Component Systems. Proceedings of First Nordic Workshop on Software Architectures (NOSA98), Ronneby, August 1998.
• Jesper Andersson. Reactive Dynamic Architectures. Proceedings of the Third International Workshop on Software Architectures (ISAW-3), ACP-Press, Orlando, November 1998.
• Jesper Andersson. Dimensions of Dynamism. Proceedings of the 2nd Nordic Workshop on Software Architectures (NOSA'99), Ronneby, August 1999.
• Jesper Andersson, Bengt Lennartsson. Reactive Architectures with Architectural Agents. Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), IEEE (CD-ROM), January 1999.
• Jesper Andersson, Marcus Comstedt, Tobias Ritzau. Runtime Support for Dynamic Java Architectures. Workshop on Object-oriented software architectures at ECOOP'98, Brussels, July 1998.
• Peter Aronsson, Levon Saldamli, Peter Fritzson. Automatic Generation of a Code Generator for SHARC ADPS-2106x. Proceedings of ICSPAT konferensen, 1999.
• Erik Berglund. Writing for Adaptable Documentation. Proceedings of of IPCC/SIGDOC 2000, pp 24-27, Cambridge Massachusetts USA, 2000.
• Erik Berglund, Henrik Eriksson. Intermediate Knowledge trough Conceptual Source-Code Organization. Proceedings of the 10:th International Conference on Software Engineering & Knowledge Engineering, pp 112-115, San Francisco Bay CA USA, 1998.
• Erik Berglund, Henrik Eriksson. Distributed Interactive Simulation for Group-Distance Exercises on the Web. Proceedings of the 1998 International Conference on Web-based Modelling & Simulation, pp 91-95, San Diego CA USA, 1998.
• Erik Berglund, Henrik Eriksson. Intermediate Knowledge through Conceptual Source-Code Organization.. Proceedings of the Tenth International Conference on Software Engineering and Knowledge Engineering, pp. 112-115, San Francisco, USA, 1998,
• Erik Berglund, Henrik Eriksson. Dynamic Software Component Documentation. Proceedings of the the Second Workshop on Learning Software Organizations, in conjunction with the Second International Conference on Product Focused Software Process Improvement, pp 39-46, Oulu, Finland, 2000
• Mattias Broxvall, Peter Jonsson. Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time. Proceedings of the 5th Int'l Conf. on Principles and Practice of Constraint Programming (CP-99), pp. 129-143, Alexandria, VA, USA, Oct, 1999.
• Mathias Broxvall, Peter Jonsson. Disjunctive Temporal Reasoning in Partially Ordered Time Structures Proceedings of the 17th (US) National Conference on Artificial Intelligence (AAAI-2000), pp. 464-469, Austin, TX, USA, Jul-Aug 2000.
• Mathias Broxvall, Peter Jonsson, Jochen Renz. Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP-2000), pp. 114-127, Singapore, Sep 2000.
• David Byers, Magnus Engström, Mariam Kamkar. The Design of a Test Case Definition. Third International Workshop on Automated Debugging, AADEBUG'97, Linköping, Sweden, May 26-27, 1997.
• David Byers, Mariam Kamkar. Towards Software Testability Based on Static Analysis. Nordic Workshop on Programming Environment Research, Aalborg, May 29-31, 1996.
• Carl Cederberg, Jon Edvardsson, Mariam Kamkar. Domestic Control System - STEM POS. Proceedings of the 13th Conference on Software Engineering Education and Training, Theme: Software Engineering Coming of Age, March 6-8, 2000, Austin, Texas, USA.
• Claudiu Duma, Almut Herzog, Nahid Shahmehri. Towards Secure e-Services. Proceedings of the IEEE WET-ICE International Workshop on Enterprise Security, pp 221-222, Gaithersburg, Maryland, USA, 2000.
• J.-P. Ekros, A. Subotic. Capture-Recapture: Models, Methods, and the Reality. 23rd Annual NASA SE Workshop, NASA/Goddard Space Flight Center, Greenbelt, Maryland, December 2-3, 1998.
• T. Ericsson, Anders Subotic, S. Ursing. Towards a Test Improvement Model. Proceedings of the 4th European Conference Software Testing Analysis & Review, Amsterdam, December, 1996.
• Vanja Josifovski, Timour Katchaounov, Tore Risch. Optimizing queries in distributed and composable mediators. Proceedings of the 4th Conference on Cooperative Information Systems, CoopIS'99, Edinburgh, Scotland, September 1999.
• Vanja Josifovski, Tore Risch. Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations. Proceedings of the 25th Intl. Conf. On Very Large Databases, Edinburgh, Scotland, September 1999.
• Vanja Josifovski, Tore Risch. Distributed Mediation using a Light-Weight OODBMS. Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, Lisbon, Portugal, June 1999.
• Mikael Lindvall, Magnus Runesson. The Visibility of Maintenance in Object Models: An Empirical Study". Proceedings of the IEEE conference in Software Maintenance 1998 (ICSM'98), Washington, USA, November 1998.
• Tobias Ritzau. Real-time Reference Counting. Java for Embedded Systems Workshop, May 2000.
• Tobias Ritzau, Jesper Andersson. Dynamic Code Update in JDrums. Proceedings of the ICSE'00 workshop on Software Engineering for Wearable and Pervasive Computing(WOOSA'00), Limerick, June 2000.
• Tobias Ritzau, Marcel Beemster, Christian Probst, Florian Liekweg. JoC - the Joses Compiler Presented at the Java for Embedded Systems workshop, London, May 2000.
• Anders Subotic. Improved Software Quality by Adopting Control Charts. Presentation at the 1998 Pacific Northwest Software Quality Conference, October 12-15, 1998, Oregon, USA.
• Anders Subotic, Mary E. Helander, Niclas Ohlsson. Occurrence Sampling to Improve Software Maintenance Processes. Proceedings of the 1997 Workshop on Empirical Studies of Software Maintenance.
• Yuxiao Zhao, Kristian Sandahl. XML-Based Frameworks for Internet Commerce. Proceedings of International Conference on Enterprise Information Systems (ICEIS'2000), pp511-516. Staffordshire, UK, July 5-7, 2000.

Submitted papers

• Erik Berglund. Supporting the Java Programmer Using DHTML: the Dynamic Javadoc System. Submitted to 10:th international World Wide Web Conference
• Marcus Comstedt, Peter Fritzson. Experiences from generating a full-scale Java compiler from a formal specification using RML. Submitted to Journal of Systems and Software.
• Yuxiao Zhao. The concept of integration in enterprise systems. Submitted to the European Conference on Information Systems.

Other technical papers and presentations

• Jesper Anderssson. Intelligent software architectures using architectural agents. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Jesper Anderssson. Dynamic component systems. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Jesper Andersson, Pär Danielsson, Torbjörn Hulten, Tobias Ritzau. Dynamic deployment of Java applications. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Peter Aronsson. An integrated interactive development environment for DSP software based on Mathematica and MathCode. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Erik Berglund. Use-oriented API reference documentation. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Erik Berglund, Henrik Eriksson. Intermediate knowledge through conceptual source-code organization. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Mattias Broxvall. Computational Complexity of Point Algebras for Nonlinear Time. Master's thesis, 1999. Awarded "best master's thesis" by the Swedish Artificial Intelligence Society.
• Mattias Broxvall. Towards a complete classification of tractability in point algebras for nonlinear time. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• David Byers. Putting research into practise: implementing static slicing in Java. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• David Byers, Ture Pålsson. Syntax-directed construction of value dependence graphs. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Carl Cederberg, Jon Edvardsson. Remote controlling of residential: perspectives on project-oriented study in software. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Jon Edvardsson. A survey on automatic test data generation. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Vanja Josifovski, Tore Risch. Optimization of functional queries in a mediator database system. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Tobias Ritzau. Compile-time garbage collection for real-time systems. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Magnus Runesson. The impact of software maintenance on inheritance scalability in object oriented source code. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Magnus Runesson, Johan Moe, Mikael Patel. The evolution of component interfaces in an industrial project. Ericsson Conference on Software Engineering, Copenhagen, June 1-2, 1999.
• Levon Saldamli. Integration of large-scale mechanical model simulation and landscape models. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Anders Subotic. What do doctoral students do? - measuring intellectual work. Proceedings of the First Conference on Computer Science and Engineering in Linköping, 1998.
• Andrew Tsirkin, Iakov Nakhimovski. An efficient implementation of the two-phase commit protocol. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.
• Yuxiao Zhao, Mary Helander, Kristian Sandahl, Joachim Karlsson. Decision making for Make vs Buy of software components. Proceedings of the Second Conference on Computer Science and Engineering in Linköping, 1999.