Stefan Björnander

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Linear Regression

Bp Neural Network

Monte Carlo Simulation

Selection Mechanism

Top Venues

ISSRE Workshops

Publications

Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. ISSRE Workshops (2012)
Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS (2011)
Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya
ArcheOpterix: An extendable tool for architecture optimization of AADL models. MOMPES (2009)
Stefan Björnander, Lars Grunske, Kristina Lundqvist
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA (2009)