Publications
Number of publications matching the search criterion: 12
Licentiate Thesis (1)
Methods and Tool Support for Analyzing Architectural Models of Embedded Systems (Dec 2012) Stefan Björnander
Journal article (1)
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Conference/Workshop Paper (5)
Towards Automatic Verification of Safety Properties in AADL System Models (Aug 2013) -- Best Paper Award-- Stefan Björnander, Patrick Graydon, Rikard Land 31st International System Safety Conference (ISSC'13)
A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model (Nov 2012) Stefan Björnander, Rikard Land, Patrick Graydon, Kristina Lundqvist, Philippa Conmy 2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012)
ABV – A Verifier for the Architecture Analysis and Design Language (AADL) (Apr 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson Sixth IEEE International Workshop UML and AADL at ICECCS 2011
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines (Jun 2009) Stefan Björnander, Lars Grunske , Kristina Lundqvist QoSA 09: Proceedings of the 31st International Workshop on Software Quality
ArcheOpterix: An Extendable Tool for Architecture Optimization of AADL Models (May 2009) Aldeida Aleti , Stefan Björnander, Lars Grunske , Indika Meedeniya ICSE 09: Proceedings of the 31st International Workshop on Software Quality
Report - MRTC (1)
The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics (Jan 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
Report (4)
C4-01 TR M52, An Evaluation of the Architecture Analysis and Design Language for Automobile Applications (Mar 2009) Stefan Björnander, Lars Grunske
C4-01 TR M51, Modeling an Adaptive Cruise Controller in the Architecture Analysis and Design Language: A Case Study (Nov 2008) Stefan Björnander, Lars Grunske
C4-01 TR M50, Adaptive Cruise Controllers – A Literature Review (Aug 2008) Stefan Björnander, Lars Grunske
C4-01 TR M49, Architecture Description Languages for Automotive Systems – A Literature Review (Jul 2008) Stefan Björnander, Lars Grunske
