|
|
|
Biography 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 is due to defend his licentiate thesis on June 8, 2012. |
| |
Latest publications
[ Show all publications ]
| | A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model, Stefan Björnander, Rikard Land (former), Patrick Graydon, Kristina Lundqvist, Philippa Comny (The University of York), 2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012), IEEE Computer Society, Dallas, Texas, U.S.A., November, 2012 |
| | A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011 |
| | ABV – A Verifier for the Architecture Analysis and Design Language (AADL), Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, Sixth IEEE International Workshop UML and AADL at ICECCS 2011 , April, 2011 |
|
| |
Research projects
|
| |
|
|
