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, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/scp/JohnsenOCB16},
  bibsource = {dblp computer science bibliography, http://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   = {{ISSE}},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/isse/BjorkBJST13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4630,
  author    = {Joakim Bj{\o}rk and
               Dave Clarke and
               Einar Broch Johnsen and
               Olaf Owe},
  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.},
  pages     = {1--15},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1208-4327},
  url       = {https://doi.org/10.4204/EPTCS.91.1},
  doi       = {10.4204/EPTCS.91.1},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1208-4630},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4262,
  author    = {Joakim Bj{\o}rk and
               Einar Broch Johnsen and
               Olaf Owe and
               Rudolf Schlatte},
  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.},
  pages     = {67--81},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3982},
  url       = {https://doi.org/10.4204/EPTCS.36.4},
  doi       = {10.4204/EPTCS.36.4},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-4262},
  bibsource = {dblp computer science bibliography, http://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. Systems, Man, and Cybernetics, 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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tsmc/HagalislettoBYE07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenOBK07,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Joakim Bj{\o}rk and
               Marcel Kyas},
  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},
  pages     = {257--279},
  year      = {2007},
  crossref  = {DBLP:conf/fmco/2007},
  url       = {https://doi.org/10.1007/978-3-540-92188-2_11},
  doi       = {10.1007/978-3-540-92188-2_11},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmco/JohnsenOBK07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-4327,
  editor    = {Natallia Kokash and
               Ant{\'{o}}nio Ravara},
  title     = {Proceedings 11th International Workshop on Foundations of Coordination
               Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
               8, 2012},
  series    = {{EPTCS}},
  volume    = {91},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.91},
  doi       = {10.4204/EPTCS.91},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1208-4327},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3982,
  editor    = {Peter Csaba {\"{O}}lveczky},
  title     = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010},
  series    = {{EPTCS}},
  volume    = {36},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.36},
  doi       = {10.4204/EPTCS.36},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-3982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2007,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-92188-2},
  doi       = {10.1007/978-3-540-92188-2},
  isbn      = {978-3-540-92187-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmco/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier