BibTeX records: Stefan Björnander

• > Home > Persons > Stefan Björnander

@inproceedings{DBLP:conf/issre/BjornanderLGLC12,
  author       = {Stefan Bj{\"{o}}rnander and
                  Rikard Land and
                  Patrick J. Graydon and
                  Kristina Lundqvist and
                  Philippa Conmy},
  title        = {A Method to Formally Evaluate Safety Case Evidences against a System
                  Architecture Model},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {337--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.101},
  doi          = {10.1109/ISSREW.2012.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BjornanderLGLC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BjornanderSLP11,
  author       = {Stefan Bj{\"{o}}rnander and
                  Cristina Cerschi Seceleanu and
                  Kristina Lundqvist and
                  Paul Pettersson},
  editor       = {Isabelle Perseil and
                  Karin K. Breitman and
                  Roy Sterritt},
  title        = {{ABV} - {A} Verifier for the Architecture Analysis and Design Language
                  {(AADL)}},
  booktitle    = {16th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  pages        = {355--360},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICECCS.2011.43},
  doi          = {10.1109/ICECCS.2011.43},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BjornanderSLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mompes/AletiBGM09,
  author       = {Aldeida Aleti and
                  Stefan Bj{\"{o}}rnander and
                  Lars Grunske and
                  Indika Meedeniya},
  title        = {ArcheOpterix: An extendable tool for architecture optimization of
                  {AADL} models},
  booktitle    = {{ICSE} 2009 Workshop on Model-Based Methodologies for Pervasive and
                  Embedded Software, {MOMPES} 2009, May 16, 2009, Vancouver, Canada},
  pages        = {61--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/MOMPES.2009.5069138},
  doi          = {10.1109/MOMPES.2009.5069138},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mompes/AletiBGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qosa/BjornanderGL09,
  author       = {Stefan Bj{\"{o}}rnander and
                  Lars Grunske and
                  Kristina Lundqvist},
  editor       = {Raffaela Mirandola and
                  Ian Gorton and
                  Christine Hofmeister},
  title        = {Timed Simulation of Extended AADL-Based Architecture Specifications
                  with Timed Abstract State Machines},
  booktitle    = {Architectures for Adaptive Software Systems, 5th International Conference
                  on the Quality of Software Architectures, QoSA 2009, East Stroudsburg,
                  PA, USA, June 24-26, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5581},
  pages        = {101--115},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02351-4\_7},
  doi          = {10.1007/978-3-642-02351-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/qosa/BjornanderGL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}