Stefan Björnander, Doctoral student (not working at IDT anymore)
Stefan Björnander graduated as a Master of Engineering in Computer Science at Umeå University in 1995 and started as an industrial Ph.D. candidate at CrossControl AB in Västerås in August 2011. He comes most recently from Mälardalen University, where he was a Ph.D. candidate working with formal verification. At CrossControl AB he works with SafeCer, which is an ARTEMIS-financed project targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. SafeCer will also develop certification guidelines for other domains. Stefan defended his licentiate thesis in December, 2012.
Towards Automatic Verification of Safety Properties in AADL System Models (Aug 2013) Stefan Björnander, Patrick Graydon, Rikard Land Proceedings of the 31st International System Safety Conference (ISSC)
Methods and Tool Support for Analyzing Architectural Models of Embedded Systems (Dec 2012) Stefan Björnander
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)
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
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
The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics (Jan 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson