SC Harvester Papers Database Interface

Component Models for Reasoning

C. Seceleanu, I. Crnkovic. In: Computer. 2013

Evaluating long-term predictive power of standard reliability growth models on automotive systems

Rakesh Rana, M. Staron, C. Berger, J. Hansson, Martin Nilsson et al. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE). 2013

Real-time radar signal processing on Massively Parallel Processor Arrays

Zain-ul-Abdin, A. Ahlander, B. Svensson. In: 2013 Asilomar Conference on Signals, Systems and Computers. 2013

Achieving Simplicity with the Three-Layer Product Model

J. Bosch. In: Computer. 2013

Strong and weak contract formalism for third-party component reuse

Irfan Šljivo, B. Gallina, Jan Carlson, H. Hansson. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 2013

Mode switch timing analysis for component-based multi-mode systems

Hang Yin, H. Hansson. In: J. Syst. Archit.. 2013

Generation of human walking paths

A. Papadopoulos, L. Bascetta, G. Ferretti. In: Autonomous Robots. 2013

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems

Benedikt Eberhardinger, J. Steghöfer, F. Nafz, W. Reif. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE). 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude

Zeynab Sabahi-Kaviani, R. Khosravi, M. Sirjani, P. C. Ölveczky, Ehsan Khamespanah. In: . 2013

Towards code generation from design models for embedded systems on heterogeneous CPU-GPU platforms

Federico Ciccozzi. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA). 2013

Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores

H. Faragardi, B. Lisper, Thomas Nolte. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA). 2013

Analysing timed Rebeca using McErlang

H. Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, M. Sirjani. In: . 2013

Pivots and Architectural Decisions: Two Sides of the Same Medal?

J. Bosch, J. V. D. Veen. In: . 2013

Comparing between Maximum Likelihood Estimator and Non-linear Regression Estimation Procedures for NHPP Software Reliability Growth Modelling

Rakesh Rana, M. Staron, C. Berger, J. Hansson, Martin Nilsson et al. In: 2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement. 2013

Measuring and Visualizing Code Stability -- A Case Study at Three Companies

M. Staron, J. Hansson, R. Feldt, Anders Henriksson, Wilhelm Meding et al. In: 2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement. 2013