BibTeX records: Joakim Bjørk

download as .bib file

@article{DBLP:journals/scp/JohnsenOCB16,
  author       = {Einar Broch Johnsen and
                  Olaf Owe and
                  Dave Clarke and
                  Joakim Bj{\o}rk},
  title        = {A formal model of service-oriented dynamic object groups},
  journal      = {Sci. Comput. Program.},
  volume       = {115-116},
  pages        = {3--22},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2014.11.014},
  doi          = {10.1016/J.SCICO.2014.11.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JohnsenOCB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tale/GravenB16,
  author       = {Olaf Hallan Graven and
                  Joakim Bj{\o}rk},
  title        = {The use of an Arduino pocket lab to increase motivation in Electrical
                  engineering students for programming},
  booktitle    = {{IEEE} International Conference on Teaching, Assessment, and Learning
                  for Engineering, {TALE} 2016, Bangkok, Thailand, December 7-9, 2016},
  pages        = {239--243},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/TALE.2016.7851800},
  doi          = {10.1109/TALE.2016.7851800},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/tale/GravenB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BjorkBJST13,
  author       = {Joakim Bj{\o}rk and
                  Frank S. de Boer and
                  Einar Broch Johnsen and
                  Rudolf Schlatte and
                  Silvia Lizeth Tapia Tarifa},
  title        = {User-defined schedulers for real-time concurrent objects},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {9},
  number       = {1},
  pages        = {29--43},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11334-012-0184-5},
  doi          = {10.1007/S11334-012-0184-5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/BjorkBJST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4630,
  author       = {Joakim Bj{\o}rk and
                  Dave Clarke and
                  Einar Broch Johnsen and
                  Olaf Owe},
  editor       = {Natallia Kokash and
                  Ant{\'{o}}nio Ravara},
  title        = {A Type-Safe Model of Adaptive Object Groups},
  booktitle    = {Proceedings 11th International Workshop on Foundations of Coordination
                  Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
                  8, 2012},
  series       = {{EPTCS}},
  volume       = {91},
  pages        = {1--15},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.91.1},
  doi          = {10.4204/EPTCS.91.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-4630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4262,
  author       = {Joakim Bj{\o}rk and
                  Einar Broch Johnsen and
                  Olaf Owe and
                  Rudolf Schlatte},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Lightweight Time Modeling in Timed Creol},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {67--81},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.4},
  doi          = {10.4204/EPTCS.36.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4262.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/HagalislettoBYE07,
  author       = {Anders Moen Hagalisletto and
                  Joakim Bj{\o}rk and
                  Ingrid Chieh Yu and
                  P{\aa} Enger},
  title        = {Constructing and Refining Large-Scale Railway Models Represented by
                  Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {C}},
  volume       = {37},
  number       = {4},
  pages        = {444--460},
  year         = {2007},
  url          = {https://doi.org/10.1109/TSMCC.2007.897323},
  doi          = {10.1109/TSMCC.2007.897323},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/HagalislettoBYE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenOBK07,
  author       = {Einar Broch Johnsen and
                  Olaf Owe and
                  Joakim Bj{\o}rk and
                  Marcel Kyas},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {An Object-Oriented Component Model for Heterogeneous Nets},
  booktitle    = {Formal Methods for Components and Objects, 6th International Symposium,
                  {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5382},
  pages        = {257--279},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-92188-2\_11},
  doi          = {10.1007/978-3-540-92188-2\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmco/JohnsenOBK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics