SC Harvester Papers Database Interface

Compositional Verification of an Object-Based Model for Reactive Systems

M. Sirjani, A. Movaghar, M. Mousavi. 2001

Fourth ICSE workshop on component-based software engineering: component certificate system prediction

I. Crnkovic, H. Schmidt, J. Stafford, K. Wallnau. In: ACM Sigsoft Software Engineering Notes. 2001

Managing Complex Systems – Challenges for PDM and SCM

I. Crnkovic, Annita Persson Dahlkvist, D. Svensson. In: . 2001

Experiences with Component-Based Software Development in Industrial Control

F. Lüders, I. Crnkovic. 2001

Component-Based Software Engineering – New Paradigm of Software Development

I. Crnkovic, M. Larsson. 2001

Component-Based Development – a New Approach in Software Development

I. Crnkovic, M. Larsson. 2001

Configuration Management for Component-based Systems

M. Larsson, I. Crnkovic. In: . 2001

Product Data Management and Software Configuration Management - Similarities and Differences

Annita Persson Dahlqvist, Ulf Asklund, I. Crnkovic, Allan Hedin, M. Larsson et al. In: . 2001

An Efficient Semi-Hierarchical Array Layout

N. P. Drakenberg, F. Lundevall, B. Lisper. In: . 2001

The Data Field Model

B. Lisper, Per Hammarlund. 2001

Response-time Calculation and Priority Assignment with Integer Programming Methods

B. Lisper, Peter Mellgren. 2001

Using measurements to derive the worst-case execution time

M. Lindgren, H. Hansson, Henrik Thane. In: Proceedings Seventh International Conference on Real-Time Computing Systems and Applications. 2000

Deriving reliability estimates of distributed real-time systems by simulation

M. Lindgren, H. Hansson, C. Norström, S. Punnekkat. In: Proceedings Seventh International Conference on Real-Time Computing Systems and Applications. 2000

Implementation of a software engineering course for computer science students

I. Crnkovic, M. Larsson, F. Lüders. In: Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000. 2000

A Flexible IP Active Networks Architecture

A. Galis, B. Plattner, Jonathan M. Smith, S. Denazis, E. Moeller et al. In: . 2000