Hide menu

RISE
Integrational Software Engineering

Publications 2002-2007


2007

Mikhail Chalabine, Christoph Kessler.
A Formal Framework for Automated Round-trip Software Engineering in Static Aspect Weaving and Transformations. Accepted for publication in ACM SIGSOFT/IEEE 29th Int. Conference on Software Engineering (ICSE-2007), Minneapolis, USA, May 2007.

Christoph Kessler, Peter Fritzson, Mattias Eriksson:
NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation. Conditionally accepted for publication in: Bo Kågström, Erik Elmroth, Jack Dongarra and Jerzy Wasniewski (eds.): PARA'06 State-of-the-Art in Scientific and Parallel Computing, Umea, Sweden, June 2006. Springer LNCS, to appear (2007).

Christoph Kessler, Andrzej Bednarski, Mattias Eriksson:
Classification and generation of schedules for VLIW processors. Accepted for publication in Concurrency and Computation - Practice and Experience, to appear (2007).

2006

Borg, A., Patel, M., and K. Sandahl. "Good Practice and Improvement Model of Handling Capacity Requirements of Large Telecommunication Systems", in the proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06), pp. 245-250, Minneapolis/St. Paul, Minnesota, USA, September 11-15, 2006.

Andrzej Bednarski. (PhD Thesis) Integrated Optimal Code Generation for Digital Signal Processors. Linköping Studies in Science and Technology, Disseration No. 1021. Linköping, 2006.
Supervisor: Christoph Kessler

Jon Edvardsson. (PhD Thesis). Techniques for Automatic Generation of Tests from Programs and Specifications. Linköping Studies in Science and Technology, Disseration No. 1034. Linköping, 2006.
Supervisor: Mariam Kamkar.

Anders Fernström, Ingemar Axelsson, Peter Fritzson, Anders Sandholm, Adrian Pop. OMNotebook – Interactive WYSIWYG Book Software for Teaching Programming. In Proc. of the Workshop on Developing Computer Science Education – How Can It Be Done?. Linköping University, Dept. Computer & Inf. Science, Linköping, Sweden, March 10, 2006.

Christoph Kessler and Peter Fritzson. NestStepModelica – Mathematical Modeling and Bulk-Synchronous Parallel Simulation [Extended Abstract]. In Electronic abstracts of PARA'06, Umeå, June 19-20, 2006.

Adrian Pop and Peter Fritzson. An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications. Published electronically at www.entcs.org in Proceedings of Structural Operational Semantics 2006 – A Satellite Workshop of CONCUR 2006. Bonn, Germany, Aug 26, 2006.

Olof Johansson, Adrian Pop, and Peter Fritzson. Engineering Design Tool Standards and Interfacing Possibilities to Modelica Simulation Tools. In Proceedings of the 5th International Modelica Conference (Modelica'2006), Vienna, Austria, Sept. 4-5, 2006.

Adrian Pop, Peter Fritzson, Andreas Remar, Elmir Jagudin, and David Akhvlediani. OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging. In Proceedings of the 5th International Modelica Conference (Modelica'2006), Vienna, Austria, Sept. 4-5, 2006.

Adrian Pop and Peter Fritzson. MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. In Proceedings of Joint Modular Languages Conference 2006 (JMLC2006) LNCS Springer Verlag. Jesus College, Oxford, England, Sept 13-15, 2006.

Christoph Kessler, Andrzej Bednarski. Optimal integrated code generation for VLIW architectures (Journal paper), Concurrency and Computation: Practice and Experience, vol. 18: 1353-1390, Wiley, 2006

Andrzej Bednarski, Christoph Kessler. Optimal Integrated VLIW Code Generation with Integer Linear Programming.Proc. Euro-Par 2006 conference, Springer LNCS 4128, pp. 461-472, Aug. 2006.

Håkan Mattson, Christoph Kessler. Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids. In: J. Dongarra, K. Madsen and J. Wasniewski, eds., Proceedings of PARA'04 Workshop on State-of-the-art in Scientific Computing, Lyngby, Denmark, June 2004. Springer LNCS vol. 3732, pp. 519-526, 2006.

Andrzej Bednarski, Christoph Kessler. Integer Linear Programming versus Dynamic Programming for Optimal Integrated VLIW Code Generation. Proc. CPC-2006 Workshop on Compilers for Parallel Computers, Jan. 2006, A Coruna, Spain.

Christoph Kessler, Andrzej Bednarski. Classification and generation of schedules for VLIW processors. Proc. of CPC'06 12th Int. Workshop on Compilers for Parallel Computers, A Coruna, Spain, Jan. 2006, pp. 60-72.

M. Chalabine, C. Kessler and P. Bunus. Automated Roundtrip Software Engineering in Aspect Weaving Systems. In Proc. of the 21st IEEE/ACM Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, Sept. 2006.

Mattias Eriksson, Christoph Kessler, and Mikhail Chalabine. Load Balancing of Irregular Parallel Divide-and-Conquer Algorithms in Group-SPMD Programming Environments. Proc. 8th Workshop on Parallel Systems and Algorithms (PASA 2006), Frankfurt am Main, Germany, March 2006. GI Lecture Notes in Informatics (LNI), vol. P-81, pp. 313-322, 2006.

C.W. Kessler, A. Bednarski. Classification and generation of schedules for VLIW processors. Proc. of CPC'06 12th Int. Workshop on Compilers for Parallel Computers, A Coruna, Spain, Jan. 2006, pp. 60-72.

Chalabine, M., and Kessler, C.: Identifying Crosscutting Concerns in Parallel Programs. In Proc. HICSS-39 Hawaii Int. Conference on System Sciences, Hawaii, USA, Jan. 2006.

2005

Proceedings: Thomas Gschwind, Uwe Assmann, and Oscar Nierstrasz, editors. Proceedings of Software Composition (SC) - Workshop at ETAPS 2005, Lecture Notes in Computer Science, No TBA, Edinburgh, April 2005.

Proceedings: Assmann, Uwe and Rensink, Arend and Aksit, Mehmet (eds), Proceedings of MDA - Foundations and Applications (MDAFA), July 2005, Springer LNCS 3599.

Adrian Pop. Contributions to Meta-Modeling Tools and Methods. Licentiate Thesis No. 1162, Department of Computer and Information Science, Linköping University, Sweden, June, 2005.

John Wilander. Policy and Implementation Assurance for Software Security. Licentiate Thesis No. 1207, Department of Computer and Information Science, Linköping University, Sweden, November, 2005.

Chalabine. M., and Kessler, C.: Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving. Accepted for publication in Proc. APPT'05 Sixth International Workshop on Advanced Parallel Processing Technologies (APPT 2005), Hong Kong, China, 27-28 Oct. 2005, Springer LNCS.

Hunt, J., Uwe Assmann, Klaus Wachsmuth, Fridtjof Siebert, Andy Walter, Roman Schnider, Anders Henriksson, Marc Richard-Foy, Jean-Noel Meunier, Thomas Vieil, Frank Lippert, Tobias Ritzau, Marc Schanne, Alexander Christoph, Xiaogang Zhang, Ana Cruijtos, Georg Strobl, and Tjago Sepulveda (2005): The HIDOORS Methodology - Using Java in Realtime and Embeeded Systems. aicas GmbH, Karlsruhe, Germany, 2005.

Johansson, O., Pop, A., Fritzson, P. ModelicaDB - A Tool for Searching, Analysing, Crossreferencing and Checking of Modelica Libraries, Proc. 4th International Modelica Conference (Modelica2005), March 7-9, 2005, Hamburg, Germany.

Fritzson Peter, Adrian Pop, and Peter Aronsson. Towards Comprehensive Meta-Modeling and Meta-Programming Capabilities in Modelica. In Proceedings of the 4th International Modelica Conference, Hamburg, Germany, March 7-8, 2005.

Adrian Pop and Peter Fritzson. Debugging Natural Semantics Specifications. In Proceedings of the 6:th ACM International Symposium on Automated and Analysis-Driven Debugging (AADEBUG’2005), Monterey, California, September 19-21, 2005.

Adrian Pop and Peter Fritzson: A Portable Debugger for Algorithmic Modelica Code. In Proceedings of the 4th International Modelica Conference, Hamburg, Germany, March 7-8, 2005.

John Wilander, Pia Fåk. Pattern Matching Security Properties of Code using Dependence Graphs. In Proceedings of the 1st International Workshop on Code Based Software Security Assessments (CoBaSSA 2005), November 7, 2005, in Pittsburgh, Pennsylvania, USA. Pages 5--8.

John Wilander. Modeling and Visualizing Security Properties of Code using Dependence Graphs. Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS'05), October 20-21, 2005, Västerås, Sweden

John Wilander, Jens Gustavsson. Security Requirements - A Field Study of Current Practice. Symposium on Requirements Engineering for Information Security (SREIS 2005), August 29th, 2005, Paris, France.

Uwe Assmann, Reuse in Semantic Applications, Reasoning Web, First International Summer School 2005, springer, july, 2005, lncs, 3564,

Uwe Assmann, and Bartho, Andreas and Hartmann, Falk and Savga, Ilie and Wittek, Barbara, Trustworthy Instantiation of Frameworks, springer, dec, 2005, lncs.

2004

Book: Peter Fritzson (2004). Principles of Object-Oriented Modeling and Simulation with Modelica. 940pp. Wiley-IEEE Press, 2004.

Proceedings: Uwe Assmann, editor. Proceedings of Software Composition (SC) – Workshop at ETAPS 2004, volume 114, Barcelona, Electronic Notes in Theoretical Computer Science (ENTCS), April 2004.

Proceedings: Uwe Assmann, Mehmet Aksit, Arend Rensink, editors. Proceedings of MDA - Foundations and Applications (MDAFA), Lecture Notes in Computer Science, No 5399. Springer. Linköping University, Sweden, June 2004.

Proceedings: Kristian Sandahl, editor, Proceedings of Software Engineering Research and Practice in Sweden, 2004 (SERPS’04). October 2004, Linköping University, Sweden.

Andreas Borg (2004): Contributions to Management and Validation of Non-Functional Requirements. Licentiate thesis no. 1126, Department of Computer and Information Science, Linköping University, Sweden, November 23, 2004.

Uwe Assmann (2004): Architectural styles for active documents. In Special Edition “Software Composition” in Science of Computer Programming, January 2004.

Adrian Pop, Olof Johansson, and Peter Fritzson. An integrated framework for model-driven design and development using Modelica. In Proceedings of the 45th Conference on Simulation and Modelling of the Scandinavian Simulation Society (SIMS2004), 23-24 September 2004, Copenhagen, Denmark.

Pop, A., Savga, I., Assmann, U., Fritzson, P. (2004): Composition of XML dialects: A ModelicaXML case study, In U. Assmann, E. Pulvermüller, P. Cointe, N. Bouraquadi, and I. Cointe, editors, Proceedings of Software Composition (SC-2004) - Workshop affiliated with European Joint Conferences on Theory and Practice of Software (ETAPS'04), March 27 - April 4, 2004, Barcelona, Spain. In: Electronic Notes in Theoretical Computer Science Volume 114, 17 January 2005, Pages 137-152, Proc. of the Software Composition Workshop (SC 2004).

Borg, A., J. Karlsson, S. Olsson, and K. Sandahl. Supporting Requirements Selection by Measuring Feature Use, in the proceedings of the Tenth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'04), Riga, Latvia, pp. 77-82, June 7-8, 2004.

Borg, A., J. Karlsson, S. Olsson, and K. Sandahl. Measuring the Use of Features in a Requirements Engineering Tool-An Industrial Case Study, in the proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden, pp. 101-110, Linköping, Sweden, October 21-22, 2004.

Gustavsson, J., and Staijen, T., Assmann, U. (2004): Runtime Evolution as an Aspect. Proc. of First International Workshop on Foundations of Unanticipated Software Evolution. Barcelona, Spain, 2004.

Gustavsson, J.: Strategies for Handling the Activity Problem in Runtime Software Evolution by Reducing Activity. Proceedings of International Conference on Software Maintenance, Chicago, Illinois, USA, 2004.

J. Edvardsson, M. Kamkar, M. Göthe-Lundgren, A. Westerlund. Two-step reduction for finding a minimal-sized partition in automatic partitioning. Proceedings of the 5th Conference on Computer Science and Engineering (CCSSE’04), Linköping. ECSEL, Linköpings universitet, October 2004.

Henriksson, A., Uwe Assmann, and James Hunt (2004). Improving software quality in safety-critical applications by model-driven design verification. In Stefania Gnesi, editor, Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria, September 2004. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.

Johansson, O., Pop, A., Fritzson, P. (2004): A functionality coverage analysis of industrially used ontology languages, Proc. Workshop on Model Driven Architecture: Foundations and Applications (MDAFA2004), June 10-11, 2004, Linköping, Sweden

2003

Book: Uwe Assmann (2003). Invasive Software Composition. 334pp. Springer, Feb. 2003.

Moe, J., (2003) Observing the Dynamic Behaviour of Large Distributed Systems to Improve Development and Testing - An Empirical Study in Software Engineering. Linköping Studies in Science and Technology, Dissertation No. 852, PhD Dissertation, Department of Computer and Information Science, Linköping University, Sweden.

Carl Cederberg (2003). Experiments in Indirect Fault Injection with Open Source and Industrial Software. Linköping Studies in Science and Technology, Licentiate Thesis No. 1055. Department of Computer and Information Science, Linköping University, Sweden.

Marcus Comstedt (2003). Towards a Link-Time Weaving of Binary Components. Linköping Studies in Science and Technology, Licentiate Thesis No. 1049. Department of Computer and Information Science, Linköping University, Sweden.

Jon Edvardsson (2003). Contributions to Program- and Specification-based Test Data Generation. Linköping Studies in Science and Technology, Licentiate Thesis No. 999. Department of Computer and Information Science, Linköping University, Sweden.

Jens Gustavsson (2003). Towards Unanticipated Runtime Software Evolution. Linköping Studies in Science and Technology, Licentiate Thesis No. 1008. Department of Computer and Information Science, Linköping University, Sweden.

Uwe Assmann, Neumann, R. (2003): Quo vadis Komponentensysteme? HMD Wirtschaftsinformatik, (231), 2003.

Assmann, U. Automatic Roundtrip Engineering. In U. Assmann, E. Pulvermüller, P. Cointe, N. Bouraquadi, and I. Cointe, editors, Proceedings of Software Composition (SC) - Workshop at ETAPS 2003, volume 82 of Electronic Notes in Theoretical Computer Science (ENTCS), Warsaw, Poland, April 2003. Elsevier.

Assmann, U. Composing Frameworks and Components for Families of Semantic Web Applications. International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 03), LNCS 2901, pages 1-15, Dec 2003 Mumbay, India, Springer.

Assmann, U. and Lövdahl, J. (2003a) Integrating graph rewrite tooling with the standard software process. In International Conference on Graph Transformations in Industrial Applications (AGTIVE 03), Lecture Notes in Computer Science, Orlando, October 2003. IEEE.

Assmann, U. and Lövdahl, J. (2003b) A demo of OptimixJ. In International Conference on Graph Transformations in Industrial Applications (AGTIVE 03), Lecture Notes in Computer Science, Orlando, October 2003. IEEE.

Assmann, U. (2005). Reuse in semantic applications, Reasoning Web. In Norbert Eisinger and Jan Maluszynski, editors, First International Summer School of REWERSE (Reasoning on the Semantic Web), Berlin. Springer Lecture Notes in Computer Science 3564, July 2005.

Assmann, U., and Bartho, Andreas and Hartmann, Falk and Savga, Ilie and Wittek, Barbara, Trustworthy Instantiation of Frameworks, to appear in Springer LNCS No. ???, Dec. 2005

Bednarski, A., Kessler, C. (2004): Energy-Optimal Integrated VLIW Code Generation. Proc. of CPC'04 11th Int. Workshop on Compilers for Parallel Computers, Seeon, Germany, pp. 227-238, July 2004.

Borg, A., Yong, A., Carlshamre, P. and Sandahl, K. (2003). The Bad Conscience of Requirements Engineering: An Investigation in Real-world Treatment of Non-Functional Requirements. Proceedings of Third Conference of Software Engineering Research and Practise in Sweden, SERPS'03, October 23-24, 2003, Lund, Sweden, pp 1-8.

Chalabine, M. Kessler, C.W. and Wiklund, S. (2003). Optimizing Intensive Interprocess Communication in a Parallelised Telecommunication Traffic Simulator. Proc. of High-Performance Computing (track of the Advanced Simulation Technology Conference), HPC'03, April 2003, Orlando, Florida, USA.

Edvardsson, J. Derivation of a Minimal Set of Tests in Automatic Partitioning. Third Conference on Software Engineering Research and Practice in Sweden (SERPS'03). October 23-24, 2003. Lund, Sweden.

Larsson, H., Burbeck, K. (2003). CODEX – An Automatic Round-Trip Engineering System. Proceedings of the Model Driven Architecture: Foundations and Applications Workshop, (MDAFA'03). 26-27 June, 2003. Twente, The Netherlands, pp 37-48.

Moe, J., Carr, D., and Patel, M. (2003) Using Observation and Refinement to Improve Distributed Systems Test, In Proceedings of the 7th European Conference on Software Maintenance and Reengineering, Benevento, Italy, March 26-28, pp. 153-159.

Pop, A. and Fritzson, P. (2003). ModelicaXML: A Modelica XML Representation with Applications. Modelica 2003 Conference, November 3-4, 2003, Linköping, Sweden.


Page responsible: Webmaster
Last updated: 2012-05-07