Stefan Björnander

According to our database, Stefan Björnander authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.

Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

ABV - A Verifier for the Architecture Analysis and Design Language (AADL).

Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2009

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.

Stefan Björnander, Lars Grunske, Kristina Lundqvist

Proceedings of the Architectures for Adaptive Software Systems, 2009

ArcheOpterix: An extendable tool for architecture optimization of AADL models.

Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009