SC Harvester Papers Database Interface

Coordination Models and Languages

M. Sirjani. In: . 2012

Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT

Eduard Paul Enoiu, R. Marinescu, C. Seceleanu, P. Pettersson. In: . 2012

Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines

Christoph Elsner. 2012

Abstract: Software constitutes a major cost factor when developing technical systems. To reduce this cost, systematic reuse of assets is necessary from early on when developing similar products—an approach that has become known as software product line engineering. The automation of product derivation, that is, the automated product creation from core assets, is one of the success factors of product line en...

Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems

B. Gallina, A. Dimov, S. Punnekkat. In: 2011 IEEE International Workshop on Measurements and Networking Proceedings (M&N). 2011

The Promise and Challenge of Runtime Variability

Rafael Capilla, J. Bosch. In: Computer. 2011

Enhancing security requirements engineering by organizational learning

K. Schneider, E. Knauss, S. Houmb, S. Islam, J. Jürjens. In: Requirements Engineering. 2011

Probabilistic Schedulability Guarantees for Dependable Real-Time Systems under Error Bursts

Hüseyin Aysan, R. Dobrin, S. Punnekkat, Rolf Johansson. In: 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications. 2011

The Non-Existence of Risk Attitude

N. Chater, Petter Johansson, Lars Hall. In: Frontiers in Psychology. 2011

Abstract: Where do risk preferences come from? How do we decide if it is safe to eat unpasteurized cheese, whether to take up paragliding or mini-golf as a new hobby, whether to save in government bonds or place our money in a new technology hedge fund?...

Client-side web application slicing

J. Maras, Jan Carlson, I. Crnkovic. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems

Narges Khakpour, M. Sirjani, U. Goltz. In: . 2011

Enabling trade-off analysis of NFRs on models of embedded systems

Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin. In: ETFA2011. 2011

On Generating Security Implementations from Models of Embedded Systems

Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin. In: . 2011

UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems

Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin. In: . 2011

A cloud-based simulation architecture for pandemic influenza simulation.

H. Eriksson, M. Raciti, M. Basile, A. Cunsolo, A. Fröberg et al. In: AMIA ... Annual Symposium proceedings. AMIA Symposium. 2011

Machine Learning for Automatic Classification of Web Service Interface Descriptions

A. Bennaceur, V. Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes et al. In: . 2011