BibTeX records: Olaf Owe

download as .bib file

@article{DBLP:journals/jlp/KaramiOR19,
  author    = {Farzane Karami and
               Olaf Owe and
               Toktam Ramezanifarkhani},
  title     = {An evaluation of interaction paradigms for active objects},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {103},
  pages     = {154--183},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jlamp.2018.11.008},
  doi       = {10.1016/j.jlamp.2018.11.008},
  timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KaramiOR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DinJOY18,
  author    = {Crystal Chang Din and
               Einar Broch Johnsen and
               Olaf Owe and
               Ingrid Chieh Yu},
  title     = {A modular reasoning system using uninterpreted predicates for code
               reuse},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {95},
  pages     = {82--102},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2017.11.004},
  doi       = {10.1016/j.jlamp.2017.11.004},
  timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DinJOY18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ramezanifarkhani18,
  author    = {Toktam Ramezanifarkhani and
               Olaf Owe and
               Shukun Tokas},
  title     = {A secrecy-preserving language for distributed and object-oriented
               systems},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {99},
  pages     = {1--25},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2018.04.001},
  doi       = {10.1016/j.jlamp.2018.04.001},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/Ramezanifarkhani18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LeeLO18,
  author    = {Ming{-}Chang Lee and
               Jia{-}Chun Lin and
               Olaf Owe},
  title     = {EasyChoose: {A} Continuous Feature Extraction and Review Highlighting
               Scheme on Hadoop {YARN}},
  booktitle = {32nd {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
  pages     = {996--1002},
  year      = {2018},
  crossref  = {DBLP:conf/aina/2018},
  url       = {https://doi.org/10.1109/AINA.2018.00145},
  doi       = {10.1109/AINA.2018.00145},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/LeeLO18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07379,
  author    = {Ming{-}Chang Lee and
               Jia{-}Chun Lin and
               Olaf Owe},
  title     = {Privacy Mining from IoT-based Smart Homes},
  journal   = {CoRR},
  volume    = {abs/1808.07379},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.07379},
  archivePrefix = {arXiv},
  eprint    = {1808.07379},
  timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-07379},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OweM17,
  author    = {Olaf Owe and
               Charlie McDowell},
  title     = {On detecting over-eager concurrency in asynchronously communicating
               concurrent object systems},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {90},
  pages     = {158--175},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2017.02.005},
  doi       = {10.1016/j.jlamp.2017.02.005},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/OweM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/OweR17,
  author    = {Olaf Owe and
               Toktam Ramezanifarkhani},
  title     = {Confidentiality of Interactions in Concurrent Object-Oriented Systems},
  booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
               - {ESORICS} 2017 International Workshops, {DPM} 2017 and {CBT} 2017,
               Oslo, Norway, September 14-15, 2017, Proceedings},
  pages     = {19--34},
  year      = {2017},
  crossref  = {DBLP:conf/esorics/2017dpm},
  url       = {https://doi.org/10.1007/978-3-319-67816-0\_2},
  doi       = {10.1007/978-3-319-67816-0\_2},
  timestamp = {Wed, 13 Sep 2017 11:56:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/OweR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OweRF17,
  author    = {Olaf Owe and
               Toktam Ramezanifarkhani and
               Elahe Fazeldehkordi},
  title     = {Hoare-Style Reasoning from Multiple Contracts},
  booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  pages     = {263--278},
  year      = {2017},
  crossref  = {DBLP:conf/ifm/2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1\_17},
  doi       = {10.1007/978-3-319-66845-1\_17},
  timestamp = {Mon, 11 Sep 2017 12:15:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/OweRF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/BubelDHJOSY16,
  author    = {Richard Bubel and
               Ferruccio Damiani and
               Reiner H{\"{a}}hnle and
               Einar Broch Johnsen and
               Olaf Owe and
               Ina Schaefer and
               Ingrid Chieh Yu},
  title     = {Proof Repositories for Compositional Verification of Evolving Software
               Systems - Managing Change When Proving Software Correct},
  journal   = {Trans. Found. Mastering Chang.},
  volume    = {1},
  pages     = {130--156},
  year      = {2016},
  crossref  = {DBLP:journals/fomac/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-46508-1\_8},
  doi       = {10.1007/978-3-319-46508-1\_8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fomac/BubelDHJOSY16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JohnsenOCB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Owe16,
  author    = {Olaf Owe},
  title     = {Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented
               Concurrent Systems},
  booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  pages     = {210--225},
  year      = {2016},
  crossref  = {DBLP:conf/ifm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0\_14},
  doi       = {10.1007/978-3-319-33693-0\_14},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/Owe16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/Owe16,
  author    = {Olaf Owe},
  title     = {Verifiable Programming of Object-Oriented and Distributed Systems},
  booktitle = {From Action Systems to Distributed Systems - The Refinement Approach.},
  pages     = {61--79},
  year      = {2016},
  crossref  = {DBLP:books/crc/asds2016},
  url       = {https://doi.org/10.1201/b20053-8},
  doi       = {10.1201/b20053-8},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/crc/p/Owe16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohansenO16,
  author    = {Christian Johansen and
               Olaf Owe},
  title     = {Dynamic Structural Operational Semantics},
  journal   = {CoRR},
  volume    = {abs/1612.00666},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.00666},
  archivePrefix = {arXiv},
  eprint    = {1612.00666},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JohansenO16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DinO15,
  author    = {Crystal Chang Din and
               Olaf Owe},
  title     = {Compositional reasoning about active objects with shared futures},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {3},
  pages     = {551--572},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-014-0322-y},
  doi       = {10.1007/s00165-014-0322-y},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/DinO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DovlandJOY15,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe and
               Ingrid Chieh Yu},
  title     = {A proof system for adaptable class hierarchies},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {1},
  pages     = {37--53},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2014.09.001},
  doi       = {10.1016/j.jlamp.2014.09.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DovlandJOY15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DinO14,
  author    = {Crystal Chang Din and
               Olaf Owe},
  title     = {A sound and complete reasoning system for asynchronous communication
               with shared futures},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {83},
  number    = {5-6},
  pages     = {360--383},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jlamp.2014.03.003},
  doi       = {10.1016/j.jlamp.2014.03.003},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DinO14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/DinOB14,
  author    = {Crystal Chang Din and
               Olaf Owe and
               Richard Bubel},
  title     = {Runtime Assertion Checking and Theorem Proving for Concurrent and
               Distributed Systems},
  booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
               on Model-Driven Engineering and Software Development, Lisbon, Portugal,
               7 - 9 January, 2014},
  pages     = {480--487},
  year      = {2014},
  crossref  = {DBLP:conf/modelsward/2014},
  url       = {https://doi.org/10.5220/0004877804800487},
  doi       = {10.5220/0004877804800487},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/DinOB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/OweY14,
  author    = {Olaf Owe and
               Ingrid Chieh Yu},
  title     = {Deadlock detection of active objects with synchronous and asynchronous
               method calls},
  booktitle = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
               Fredrikstad, Norway, November 17-19, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/nik/2014},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/19},
  timestamp = {Tue, 05 May 2015 12:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/OweY14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OweST13,
  author    = {Olaf Owe and
               Martin Steffen and
               Jan Arne Telle},
  title     = {The 18th International Symposium on Fundamentals of Computation Theory},
  journal   = {Inf. Comput.},
  volume    = {231},
  pages     = {1--2},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ic.2013.08.001},
  doi       = {10.1016/j.ic.2013.08.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/OweST13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/KazemeyniOJB13a,
  author    = {Fatemeh Kazemeyni and
               Olaf Owe and
               Einar Broch Johnsen and
               Ilangko Balasingham},
  title     = {Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless
               Sensor Networks},
  booktitle = {Integration of Reusable Systems [extended versions of the best papers
               which were presented at {IEEE} International Conference on Information
               Reuse and Integration and {IEEE} International Workshop on Formal
               Methods Integration, San Francisco, CA, USA, August 2013]},
  pages     = {127--150},
  year      = {2013},
  crossref  = {DBLP:conf/iri/2013s},
  url       = {https://doi.org/10.1007/978-3-319-04717-1\_6},
  doi       = {10.1007/978-3-319-04717-1\_6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iri/KazemeyniOJB13a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/KazemeyniOJB13,
  author    = {Fatemeh Kazemeyni and
               Olaf Owe and
               Einar Broch Johnsen and
               Ilangko Balasingham},
  title     = {Learning-based routing in mobile wireless sensor networks: Applying
               formal modeling and analysis},
  booktitle = {{IEEE} 14th International Conference on Information Reuse {\&}
               Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
  pages     = {504--511},
  year      = {2013},
  crossref  = {DBLP:conf/iri/2013},
  url       = {https://doi.org/10.1109/IRI.2013.6642512},
  doi       = {10.1109/IRI.2013.6642512},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iri/KazemeyniOJB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DinDJO12,
  author    = {Crystal Chang Din and
               Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe},
  title     = {Observable behavior of distributed systems: Component reasoning for
               concurrent objects},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {3},
  pages     = {227--256},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2012.01.003},
  doi       = {10.1016/j.jlap.2012.01.003},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DinDJO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenTOS12,
  author    = {Einar Broch Johnsen and
               Thi Mai Thuong Tran and
               Olaf Owe and
               Martin Steffen},
  title     = {Safe locking for multi-threaded Java with exceptions},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {3},
  pages     = {257--283},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2011.11.002},
  doi       = {10.1016/j.jlap.2011.11.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/JohnsenTOS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KazemeyniJOB12,
  author    = {Fatemeh Kazemeyni and
               Einar Broch Johnsen and
               Olaf Owe and
               Ilangko Balasingham},
  title     = {Formal modeling and validation of a power-efficient grouping protocol
               for WSNs},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {3},
  pages     = {284--297},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2011.12.001},
  doi       = {10.1016/j.jlap.2011.12.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KazemeyniJOB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KazemeyniJOB12,
  author    = {Fatemeh Kazemeyni and
               Einar Broch Johnsen and
               Olaf Owe and
               Ilangko Balasingham},
  title     = {MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative
               Analysis},
  booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
               Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {143--157},
  year      = {2012},
  crossref  = {DBLP:conf/ifm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30729-4\_11},
  doi       = {10.1007/978-3-642-30729-4\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/KazemeyniJOB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DinDO12,
  author    = {Crystal Chang Din and
               Johan Dovland and
               Olaf Owe},
  title     = {Compositional Reasoning about Shared Futures},
  booktitle = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  pages     = {94--108},
  year      = {2012},
  crossref  = {DBLP:conf/sefm/2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7\_7},
  doi       = {10.1007/978-3-642-33826-7\_7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/DinDO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/DamianiODSJY12,
  author    = {Ferruccio Damiani and
               Olaf Owe and
               Johan Dovland and
               Ina Schaefer and
               Einar Broch Johnsen and
               Ingrid Chieh Yu},
  title     = {A transformational proof system for delta-oriented programming},
  booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
               Brazil - September 2-7, 2012, Volume 2},
  pages     = {53--60},
  year      = {2012},
  crossref  = {DBLP:conf/splc/2012-2},
  url       = {https://doi.org/10.1145/2364412.2364422},
  doi       = {10.1145/2364412.2364422},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/splc/DamianiODSJY12},
  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},
  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, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-4630},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DovlandJOS11,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe and
               Martin Steffen},
  title     = {Incremental reasoning with lazy behavioral subtyping for multiple
               inheritance},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {10},
  pages     = {915--941},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.09.006},
  doi       = {10.1016/j.scico.2010.09.006},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/DovlandJOS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BenteaO11,
  author    = {Lucian Bentea and
               Olaf Owe},
  title     = {A Probabilistic Framework for Object-Oriented Modeling and Analysis
               of Distributed Systems},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  pages     = {105--122},
  year      = {2011},
  crossref  = {DBLP:conf/foveoos/2011},
  url       = {https://doi.org/10.1007/978-3-642-31762-0\_8},
  doi       = {10.1007/978-3-642-31762-0\_8},
  timestamp = {Thu, 15 Jun 2017 21:38:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/BenteaO11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/JohnsenTOS11,
  author    = {Einar Broch Johnsen and
               Thi Mai Thuong Tran and
               Olaf Owe and
               Martin Steffen},
  title     = {Safe Locking for Multi-threaded Java},
  booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  pages     = {158--173},
  year      = {2011},
  crossref  = {DBLP:conf/fsen/2011},
  url       = {https://doi.org/10.1007/978-3-642-29320-7\_11},
  doi       = {10.1007/978-3-642-29320-7\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/JohnsenTOS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KazemeyniJOB11,
  author    = {Fatemeh Kazemeyni and
               Einar Broch Johnsen and
               Olaf Owe and
               Ilangko Balasingham},
  title     = {Group Selection by Nodes in Wireless Sensor Networks Using Coalitional
               Game Theory},
  booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  pages     = {253--262},
  year      = {2011},
  crossref  = {DBLP:conf/iceccs/2011},
  url       = {https://doi.org/10.1109/ICECCS.2011.32},
  doi       = {10.1109/ICECCS.2011.32},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/KazemeyniJOB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2011,
  editor    = {Olaf Owe and
               Martin Steffen and
               Jan Arne Telle},
  title     = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6914},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4},
  doi       = {10.1007/978-3-642-22953-4},
  isbn      = {978-3-642-22952-7},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fct/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/OweST10,
  author    = {Olaf Owe and
               Martin Steffen and
               Arild B. Torjusen},
  title     = {Model Testing Asynchronously Communicating Objects using Modulo {AC}
               Rewriting},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {264},
  number    = {3},
  pages     = {69--84},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2010.12.015},
  doi       = {10.1016/j.entcs.2010.12.015},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/OweST10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DovlandJOS10,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe and
               Martin Steffen},
  title     = {Lazy behavioral subtyping},
  journal   = {J. Log. Algebr. Program.},
  volume    = {79},
  number    = {7},
  pages     = {578--607},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.jlap.2010.07.008},
  doi       = {10.1016/j.jlap.2010.07.008},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DovlandJOS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClarkeJO10,
  author    = {Dave Clarke and
               Einar Broch Johnsen and
               Olaf Owe},
  title     = {Concurrent Objects {\`{a}} la Carte},
  booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
               Willem-Paul de Roever},
  pages     = {185--206},
  year      = {2010},
  crossref  = {DBLP:conf/birthday/2010roever},
  url       = {https://doi.org/10.1007/978-3-642-11512-7\_12},
  doi       = {10.1007/978-3-642-11512-7\_12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/ClarkeJO10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KazemeyniJOB10,
  author    = {Fatemeh Kazemeyni and
               Einar Broch Johnsen and
               Olaf Owe and
               Ilangko Balasingham},
  title     = {Grouping Nodes in Wireless Sensor Networks Using Coalitional Game
               Theory},
  booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  pages     = {95--109},
  year      = {2010},
  crossref  = {DBLP:conf/forte/2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7\_9},
  doi       = {10.1007/978-3-642-13464-7\_9},
  timestamp = {Wed, 14 Nov 2018 10:55:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/KazemeyniJOB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/JohnsenOST10,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Rudolf Schlatte and
               Silvia Lizeth {Tapia Tarifa}},
  title     = {Validating Timed Models of Deployment Components with Parametric Concurrency},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  pages     = {46--60},
  year      = {2010},
  crossref  = {DBLP:conf/foveoos/2010},
  url       = {https://doi.org/10.1007/978-3-642-18070-5\_4},
  doi       = {10.1007/978-3-642-18070-5\_4},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/JohnsenOST10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JohnsenOST10,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Rudolf Schlatte and
               Silvia Lizeth {Tapia Tarifa}},
  title     = {Dynamic Resource Reallocation between Deployment Components},
  booktitle = {Formal Methods and Software Engineering - 12th International Conference
               on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
               17-19, 2010. Proceedings},
  pages     = {646--661},
  year      = {2010},
  crossref  = {DBLP:conf/icfem/2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4\_42},
  doi       = {10.1007/978-3-642-16901-4\_42},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/JohnsenOST10},
  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},
  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, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-4262},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JohnsenBKO09,
  author    = {Einar Broch Johnsen and
               Jasmin Christian Blanchette and
               Marcel Kyas and
               Olaf Owe},
  title     = {Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {243},
  pages     = {89--103},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.007},
  doi       = {10.1016/j.entcs.2009.07.007},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/JohnsenBKO09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/OweS09,
  author    = {Olaf Owe and
               Gerardo Schneider},
  title     = {Wrap Your Objects Safely},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {1},
  pages     = {127--143},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.09.032},
  doi       = {10.1016/j.entcs.2009.09.032},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/OweS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OweS09,
  author    = {Olaf Owe and
               Gerardo Schneider},
  title     = {Guest Editors' Foreword},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {5},
  pages     = {289--290},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2009.02.011},
  doi       = {10.1016/j.jlap.2009.02.011},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/OweS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OweS09a,
  author    = {Olaf Owe and
               Gerardo Schneider},
  title     = {Formal languages and analysis of contract-oriented software},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {5},
  pages     = {291--292},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2009.02.012},
  doi       = {10.1016/j.jlap.2009.02.012},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/OweS09a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenOS09,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Gerardo Schneider},
  title     = {Guest Editors' Foreword},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {7},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2009.06.001},
  doi       = {10.1016/j.jlap.2009.06.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/JohnsenOS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DovlandJOS09,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe and
               Martin Steffen},
  title     = {Incremental Reasoning for Multiple Inheritance},
  booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  pages     = {215--230},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7\_15},
  doi       = {10.1007/978-3-642-00255-7\_15},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/DovlandJOS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DovlandJO08,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe},
  title     = {Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent
               Objects},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {203},
  number    = {3},
  pages     = {19--34},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.04.084},
  doi       = {10.1016/j.entcs.2008.04.084},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DovlandJO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BlanchetteO08,
  author    = {Jasmin Christian Blanchette and
               Olaf Owe},
  title     = {An Open System Operational Semantics for an Object-Oriented and Component-Based
               Language},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {215},
  pages     = {151--169},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.026},
  doi       = {10.1016/j.entcs.2008.06.026},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BlanchetteO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JohnsenOT08,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Arild B. Torjusen},
  title     = {Validating Behavioral Component Interfaces in Rewriting Logic},
  journal   = {Fundam. Inform.},
  volume    = {82},
  number    = {4},
  pages     = {341--359},
  year      = {2008},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/JohnsenOT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DovlandJOS08,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe and
               Martin Steffen},
  title     = {Lazy Behavioral Subtyping},
  booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
               Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  pages     = {52--67},
  year      = {2008},
  crossref  = {DBLP:conf/fm/2008},
  url       = {https://doi.org/10.1007/978-3-540-68237-0\_6},
  doi       = {10.1007/978-3-540-68237-0\_6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/DovlandJOS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GiambiagiORS08,
  author    = {Pablo Giambiagi and
               Olaf Owe and
               Anders P. Ravn and
               Gerardo Schneider},
  title     = {Contract-Oriented Software Development for Internet Services},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {72},
  year      = {2008},
  url       = {http://ercim-news.ercim.eu/contract-oriented-software-development-for-internet-services},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/GiambiagiORS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JohnsenO07,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {An Asynchronous Communication Model for Distributed Concurrent Objects},
  journal   = {Software and System Modeling},
  volume    = {6},
  number    = {1},
  pages     = {39--58},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10270-006-0011-2},
  doi       = {10.1007/s10270-006-0011-2},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/JohnsenO07},
  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},
  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 = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/JohnsenOBK07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OweSS07,
  author    = {Olaf Owe and
               Gerardo Schneider and
               Martin Steffen},
  title     = {Components, objects, and contracts},
  booktitle = {Proceedings of the 2007 Conference Specification and Verification
               of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
               3-4, 2007},
  pages     = {95--98},
  year      = {2007},
  crossref  = {DBLP:conf/sigsoft/2007savcbs},
  url       = {https://doi.org/10.1145/1292316.1292328},
  doi       = {10.1145/1292316.1292328},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/OweSS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JohnsenOT06,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Arild B. Torjusen},
  title     = {Validating Behavioral Component Interfaces in Rewriting Logic},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {159},
  pages     = {187--204},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.069},
  doi       = {10.1016/j.entcs.2005.12.069},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/JohnsenOT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JohnsenOY06,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Ingrid Chieh Yu},
  title     = {Creol: {A} type-safe object-oriented model for distributed concurrent
               systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {365},
  number    = {1-2},
  pages     = {23--66},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.tcs.2006.07.031},
  doi       = {10.1016/j.tcs.2006.07.031},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JohnsenOY06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/YuJO06,
  author    = {Ingrid Chieh Yu and
               Einar Broch Johnsen and
               Olaf Owe},
  title     = {Type-Safe Runtime Class Upgrades in Creol},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
               June 14-16, 2006, Proceedings},
  pages     = {202--217},
  year      = {2006},
  crossref  = {DBLP:conf/fmoods/2006},
  url       = {https://doi.org/10.1007/11768869\_16},
  doi       = {10.1007/11768869\_16},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/YuJO06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GiambiagiOSR06,
  author    = {Pablo Giambiagi and
               Olaf Owe and
               Gerardo Schneider and
               Anders P. Ravn},
  title     = {Language-based support for service oriented architectures: Future
               directions},
  booktitle = {{ICSOFT} 2006, First International Conference on Software and Data
               Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
  pages     = {339--344},
  year      = {2006},
  crossref  = {DBLP:conf/icsoft/2006},
  timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/GiambiagiOSR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JohnsenOA05,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Eyvind W. Axelsen},
  title     = {A Run-Time Environment for Concurrent Objects With Asynchronous Method
               Calls},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {117},
  pages     = {375--392},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.06.012},
  doi       = {10.1016/j.entcs.2004.06.012},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/JohnsenOA05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JohnsenOS05,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Isabelle Simplot{-}Ryl},
  title     = {A Dynamic Class Construct for Asynchronous Concurrent Objects},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  pages     = {15--30},
  year      = {2005},
  crossref  = {DBLP:conf/fmoods/2005},
  url       = {https://doi.org/10.1007/11494881\_2},
  doi       = {10.1007/11494881\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/JohnsenOS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/JohnsenO05,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {Inheritance in the Presence of Asynchronous Method Calls},
  booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
               2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
               HI, {USA}},
  year      = {2005},
  crossref  = {DBLP:conf/hicss/2005},
  url       = {https://doi.org/10.1109/HICSS.2005.323},
  doi       = {10.1109/HICSS.2005.323},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/JohnsenO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcc/AredoO05,
  author    = {Demissie B. Aredo and
               Olaf Owe},
  title     = {Model-Based Verification in the Development of Dependable Systems},
  booktitle = {International Symposium on Information Technology: Coding and Computing
               {(ITCC} 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, {USA}},
  pages     = {327--334},
  year      = {2005},
  crossref  = {DBLP:conf/itcc/2005-2},
  url       = {https://doi.org/10.1109/ITCC.2005.203},
  doi       = {10.1109/ITCC.2005.203},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itcc/AredoO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/DovlandJO05,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Olaf Owe},
  title     = {Verification of Concurrent Objects with Asynchronous Method Calls},
  booktitle = {2005 {IEEE} International Conference on Software - Science, Technology
               and Engineering (SwSTE 2005), 22-23 February 2005, Herzelia, Israel},
  pages     = {141--150},
  year      = {2005},
  crossref  = {DBLP:conf/swste/2005},
  url       = {https://doi.org/10.1109/SWSTE.2005.24},
  doi       = {10.1109/SWSTE.2005.24},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/swste/DovlandJO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OweKL04,
  author    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {A Biography of Ole-Johan Dahl},
  booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  pages     = {1--7},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004dahl},
  url       = {https://doi.org/10.1007/978-3-540-39993-3\_1},
  doi       = {10.1007/978-3-540-39993-3\_1},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/OweKL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OweKL04a,
  author    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {A Bibliography of Ole-Johan Dahl},
  booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  pages     = {8--14},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004dahl},
  url       = {https://doi.org/10.1007/978-3-540-39993-3\_2},
  doi       = {10.1007/978-3-540-39993-3\_2},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/OweKL04a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohnsenO04,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {Object-Oriented Specification and Open Distributed Systems},
  booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  pages     = {137--164},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004dahl},
  url       = {https://doi.org/10.1007/978-3-540-39993-3\_9},
  doi       = {10.1007/978-3-540-39993-3\_9},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/JohnsenO04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenO04,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously
               Communicating Objects},
  booktitle = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  pages     = {274--295},
  year      = {2004},
  crossref  = {DBLP:conf/fmco/2004},
  url       = {https://doi.org/10.1007/11561163\_12},
  doi       = {10.1007/11561163\_12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/JohnsenO04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JohnsenO04,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {An Asynchronous Communication Model for Distributed Concurrent Objects},
  booktitle = {2nd International Conference on Software Engineering and Formal Methods
               {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  pages     = {188--197},
  year      = {2004},
  crossref  = {DBLP:conf/sefm/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.6},
  doi       = {10.1109/SEFM.2004.6},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/JohnsenO04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004dahl,
  editor    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  series    = {Lecture Notes in Computer Science},
  volume    = {2635},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96089},
  doi       = {10.1007/b96089},
  isbn      = {3-540-21366-X},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2004dahl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JohnsenO02,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {A Compositional Formalism for Object Viewpoints},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
               {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
               Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
               Enschede, The Netherlands},
  pages     = {45--60},
  year      = {2002},
  crossref  = {DBLP:conf/fmoods/2002},
  timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/JohnsenO02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JohnsenZOA02,
  author    = {Einar Broch Johnsen and
               Wenhui Zhang and
               Olaf Owe and
               Demissie B. Aredo},
  title     = {Combining Graphical and Formal Development of Open Distributed Systems},
  booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
               Turku, Finland, May 15-18, 2002, Proceedings},
  pages     = {319--338},
  year      = {2002},
  crossref  = {DBLP:conf/ifm/2002},
  url       = {https://doi.org/10.1007/3-540-47884-1\_18},
  doi       = {10.1007/3-540-47884-1\_18},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/JohnsenZOA02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/JohnsenO02,
  author    = {Einar Broch Johnsen and
               Olaf Owe},
  title     = {Composition and Refinement for Partial Object Specifications},
  booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
               2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
               Proceedings},
  year      = {2002},
  crossref  = {DBLP:conf/ipps/2002},
  url       = {https://doi.org/10.1109/IPDPS.2002.1016622},
  doi       = {10.1109/IPDPS.2002.1016622},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/JohnsenO02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HaveraaenO01,
  author    = {Magne Haveraaen and
               Olaf Owe},
  title     = {Guest Editors' Foreword},
  journal   = {Nord. J. Comput.},
  volume    = {8},
  number    = {3},
  pages     = {277--278},
  year      = {2001},
  timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/njc/HaveraaenO01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/JohnsenOMV01,
  author    = {Einar Broch Johnsen and
               Olaf Owe and
               Ellen Munthe{-}Kaas and
               J{\"{u}}ri Vain},
  title     = {Incremental Fault-Tolerant Design in an Object-Oriented Setting},
  booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
               December 2001, Hong Kong, China, Proceedings},
  pages     = {223--230},
  year      = {2001},
  crossref  = {DBLP:conf/apaqs/2001},
  url       = {https://doi.org/10.1109/APAQS.2001.990023},
  doi       = {10.1109/APAQS.2001.990023},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apaqs/JohnsenOMV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JohnsenZOA01,
  author    = {Einar Broch Johnsen and
               Wenhui Zhang and
               Olaf Owe and
               Demissie B. Aredo},
  title     = {Specification of Distributed Systems with a Combination of Graphica
               and Formal Languages},
  booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
               December 2001, Macau, China},
  pages     = {105},
  year      = {2001},
  crossref  = {DBLP:conf/apsec/2001},
  url       = {https://doi.org/10.1109/APSEC.2001.991465},
  doi       = {10.1109/APSEC.2001.991465},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/JohnsenZOA01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ZhangOJA01,
  author    = {Wenhui Zhang and
               Olaf Owe and
               Einar Broch Johnsen and
               Demissie B. Aredo},
  title     = {Integrating {UML} and {OUN} for Specification of Open Distributed
               Systems},
  booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
               Italy},
  pages     = {122},
  year      = {2001},
  crossref  = {DBLP:conf/vl/2001},
  url       = {https://doi.org/10.1109/HCC.2001.995249},
  doi       = {10.1109/HCC.2001.995249},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/ZhangOJA01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DahlOB98,
  author    = {Ole{-}Johan Dahl and
               Olaf Owe and
               Tore J. Bastiansen},
  title     = {Subtyping and Constructive Specification},
  journal   = {Nord. J. Comput.},
  volume    = {5},
  number    = {1},
  year      = {1998},
  timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/njc/DahlOB98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1995,
  editor    = {Magne Haveraaen and
               Olaf Owe and
               Ole{-}Johan Dahl},
  title     = {Recent Trends in Data Type Specification, 11th Workshop on Specification
               of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
               Norway, September 19-23, 1995, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1130},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61629-2},
  doi       = {10.1007/3-540-61629-2},
  isbn      = {3-540-61629-2},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compass/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Owe93,
  author    = {Olaf Owe},
  title     = {Partial Logics Reconsidered: {A} Conservative Approach},
  journal   = {Formal Asp. Comput.},
  volume    = {5},
  number    = {3},
  pages     = {208--223},
  year      = {1993},
  url       = {https://doi.org/10.1007/BF01211555},
  doi       = {10.1007/BF01211555},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Owe93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Elvang-GoranssonO93,
  author    = {Morten Elvang{-}G{\o}ransson and
               Olaf Owe},
  title     = {A Simple Sequent Calculus for Partial Functions},
  journal   = {Theor. Comput. Sci.},
  volume    = {114},
  number    = {2},
  pages     = {317--330},
  year      = {1993},
  url       = {https://doi.org/10.1016/0304-3975(93)90077-7},
  doi       = {10.1016/0304-3975(93)90077-7},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Elvang-GoranssonO93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Owe92,
  author    = {Olaf Owe},
  title     = {Axiomatic Treatment of Processes with shared Variables Revisited},
  journal   = {Formal Asp. Comput.},
  volume    = {4},
  number    = {4},
  pages     = {323--340},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01211310},
  doi       = {10.1007/BF01211310},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Owe92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OweD91,
  author    = {Olaf Owe and
               Ole{-}Johan Dahl},
  title     = {Generator Induction in Order Sorted Algebras},
  journal   = {Formal Asp. Comput.},
  volume    = {3},
  number    = {1},
  pages     = {2--20},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01211433},
  doi       = {10.1007/BF01211433},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/OweD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DahlO91,
  author    = {Ole{-}Johan Dahl and
               Olaf Owe},
  title     = {Formal Development with {ABEL}},
  booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
               of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
               1991, Proceedings, Volume 2: Tutorials},
  pages     = {320--362},
  year      = {1991},
  crossref  = {DBLP:conf/fm/1991-2},
  url       = {https://doi.org/10.1007/BFb0019999},
  doi       = {10.1007/BFb0019999},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/DahlO91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/LuckhamHKO87,
  author    = {David C. Luckham and
               Friedrich W. von Henke and
               Bernd Krieg{-}Br{\"{u}}ckner and
               Olaf Owe},
  title     = {{ANNA} - {A} Language for Annotating Ada Programs, Reference Manual},
  series    = {Lecture Notes in Computer Science},
  volume    = {260},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-17980-1},
  doi       = {10.1007/3-540-17980-1},
  isbn      = {3-540-17980-1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/LuckhamHKO87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2018,
  editor    = {Leonard Barolli and
               Makoto Takizawa and
               Tomoya Enokido and
               Marek R. Ogiela and
               Lidia Ogiela and
               Nadeem Javaid},
  title     = {32nd {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8424835},
  isbn      = {978-1-5386-2195-0},
  timestamp = {Fri, 17 Aug 2018 07:34:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2017dpm,
  editor    = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
               Guillermo Navarro{-}Arribas and
               Hannes Hartenstein and
               Jordi Herrera{-}Joancomart{\'{\i}}},
  title     = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
               - {ESORICS} 2017 International Workshops, {DPM} 2017 and {CBT} 2017,
               Oslo, Norway, September 14-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10436},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67816-0},
  doi       = {10.1007/978-3-319-67816-0},
  isbn      = {978-3-319-67815-3},
  timestamp = {Wed, 13 Sep 2017 11:56:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2017dpm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2017,
  editor    = {Nadia Polikarpova and
               Steve Schneider},
  title     = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10510},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1},
  doi       = {10.1007/978-3-319-66845-1},
  isbn      = {978-3-319-66844-4},
  timestamp = {Mon, 11 Sep 2017 12:15:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/fomac/2016-1,
  editor    = {Bernhard Steffen},
  title     = {Transactions on Foundations for Mastering Change {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9960},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46508-1},
  doi       = {10.1007/978-3-319-46508-1},
  isbn      = {978-3-319-46507-4},
  timestamp = {Mon, 19 Feb 2018 19:06:56 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fomac/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2016,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marieke Huisman},
  title     = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9681},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0},
  doi       = {10.1007/978-3-319-33693-0},
  isbn      = {978-3-319-33692-3},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/crc/asds2016,
  editor    = {Luigia Petre and
               Emil Sekerinski},
  title     = {From Action Systems to Distributed Systems - The Refinement Approach},
  publisher = {Chapman and Hall/CRC},
  year      = {2016},
  url       = {https://doi.org/10.1201/b20053},
  doi       = {10.1201/b20053},
  isbn      = {978-1-4987-0158-7},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {https://dblp.org/rec/bib/books/crc/asds2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2014,
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Joaquim Filipe and
               Rui C{\'{e}}sar das Neves},
  title     = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
               on Model-Driven Engineering and Software Development, Lisbon, Portugal,
               7 - 9 January, 2014},
  publisher = {SciTePress},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7008823},
  isbn      = {978-989-758-007-9},
  timestamp = {Tue, 17 Nov 2015 15:54:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nik/2014,
  title     = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
               Fredrikstad, Norway, November 17-19, 2014},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2014},
  url       = {http://ojs.bibsys.no/index.php/NIK/issue/view/3},
  timestamp = {Tue, 05 May 2015 12:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2013s,
  editor    = {Thouraya Bouabana{-}Tebibel and
               Stuart H. Rubin},
  title     = {Integration of Reusable Systems [extended versions of the best papers
               which were presented at {IEEE} International Conference on Information
               Reuse and Integration and {IEEE} International Workshop on Formal
               Methods Integration, San Francisco, CA, USA, August 2013]},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {263},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-04717-1},
  doi       = {10.1007/978-3-319-04717-1},
  isbn      = {978-3-319-04716-4},
  timestamp = {Fri, 26 May 2017 00:48:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2013s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2013,
  title     = {{IEEE} 14th International Conference on Information Reuse {\&}
               Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6621630},
  isbn      = {978-1-4799-1050-2},
  timestamp = {Thu, 22 Dec 2016 12:35:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2012,
  editor    = {John Derrick and
               Stefania Gnesi and
               Diego Latella and
               Helen Treharne},
  title     = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
               Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7321},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30729-4},
  doi       = {10.1007/978-3-642-30729-4},
  isbn      = {978-3-642-30728-7},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2012,
  editor    = {George Eleftherakis and
               Mike Hinchey and
               Mike Holcombe},
  title     = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7504},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7},
  doi       = {10.1007/978-3-642-33826-7},
  isbn      = {978-3-642-33825-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2012-2,
  editor    = {Eduardo Santana de Almeida and
               Christa Schwanninger and
               David Benavides},
  title     = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
               Brazil - September 2-7, 2012, Volume 2},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2364412},
  isbn      = {978-1-4503-1095-6},
  timestamp = {Sun, 09 Sep 2012 16:59:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/2012-2},
  bibsource = {dblp computer science bibliography, https://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, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-4327},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2011,
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Dilian Gurov},
  title     = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7421},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31762-0},
  doi       = {10.1007/978-3-642-31762-0},
  isbn      = {978-3-642-31761-3},
  timestamp = {Thu, 15 Jun 2017 21:38:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7141},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29320-7},
  doi       = {10.1007/978-3-642-29320-7},
  isbn      = {978-3-642-29319-1},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2011,
  editor    = {Isabelle Perseil and
               Karin K. Breitman and
               Roy Sterritt},
  title     = {16th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5773346},
  isbn      = {978-0-7695-4381-9},
  timestamp = {Tue, 14 Jun 2016 17:22:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010roever,
  editor    = {Dennis Dams and
               Ulrich Hannemann and
               Martin Steffen},
  title     = {Concurrency, Compositionality, and Correctness, Essays in Honor of
               Willem-Paul de Roever},
  series    = {Lecture Notes in Computer Science},
  volume    = {5930},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11512-7},
  doi       = {10.1007/978-3-642-11512-7},
  isbn      = {978-3-642-11511-0},
  timestamp = {Tue, 23 May 2017 01:06:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2010roever},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2010,
  editor    = {John Hatcliff and
               Elena Zucca},
  title     = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6117},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7},
  doi       = {10.1007/978-3-642-13464-7},
  isbn      = {978-3-642-13463-0},
  timestamp = {Wed, 14 Nov 2018 10:55:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2010,
  editor    = {Bernhard Beckert and
               Claude March{\'{e}}},
  title     = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6528},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18070-5},
  doi       = {10.1007/978-3-642-18070-5},
  isbn      = {978-3-642-18069-9},
  timestamp = {Fri, 19 May 2017 01:25:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2010,
  editor    = {Jin Song Dong and
               Huibiao Zhu},
  title     = {Formal Methods and Software Engineering - 12th International Conference
               on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
               17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6447},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4},
  doi       = {10.1007/978-3-642-16901-4},
  isbn      = {978-3-642-16900-7},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2010},
  bibsource = {dblp computer science bibliography, https://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, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5423},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2008,
  editor    = {Jorge Cu{\'{e}}llar and
               T. S. E. Maibaum and
               Kaisa Sere},
  title     = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
               Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5014},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68237-0},
  doi       = {10.1007/978-3-540-68237-0},
  isbn      = {978-3-540-68235-6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2008},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/fmco/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007savcbs,
  editor    = {Arnd Poetzsch{-}Heffter},
  title     = {Proceedings of the 2007 Conference Specification and Verification
               of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
               3-4, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-721-6},
  timestamp = {Mon, 03 Nov 2008 12:27:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2007savcbs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2006,
  editor    = {Roberto Gorrieri and
               Heike Wehrheim},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
               June 14-16, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4037},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11768869},
  doi       = {10.1007/11768869},
  isbn      = {3-540-34893-X},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoft/2006,
  editor    = {Joaquim Filipe and
               Boris Shishkov and
               Markus Helfert},
  title     = {{ICSOFT} 2006, First International Conference on Software and Data
               Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {972-8865-69-4},
  timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2005,
  editor    = {Martin Steffen and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3535},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136996},
  doi       = {10.1007/b136996},
  isbn      = {3-540-26181-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/2005,
  title     = {38th Hawaii International Conference on System Sciences {(HICSS-38}
               2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
               HI, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9518},
  isbn      = {0-7695-2268-8},
  timestamp = {Wed, 23 Jul 2014 20:34:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itcc/2005-2,
  title     = {International Symposium on Information Technology: Coding and Computing
               {(ITCC} 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=30769},
  timestamp = {Thu, 09 Jul 2015 16:49:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itcc/2005-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/swste/2005,
  title     = {2005 {IEEE} International Conference on Software - Science, Technology
               and Engineering (SwSTE 2005), 22-23 February 2005, Herzelia, Israel},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9728},
  isbn      = {0-7695-2335-8},
  timestamp = {Fri, 16 Jan 2015 15:08:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/swste/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004dahl,
  editor    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  series    = {Lecture Notes in Computer Science},
  volume    = {2635},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96089},
  doi       = {10.1007/b96089},
  isbn      = {3-540-21366-X},
  timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2004dahl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {3657},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561163},
  doi       = {10.1007/11561163},
  isbn      = {3-540-29131-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2004,
  title     = {2nd International Conference on Software Engineering and Formal Methods
               {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9328},
  isbn      = {0-7695-2222-X},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2002,
  editor    = {Bart Jacobs and
               Arend Rensink},
  title     = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
               {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
               Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
               Enschede, The Netherlands},
  series    = {{IFIP} Conference Proceedings},
  volume    = {209},
  publisher = {Kluwer},
  year      = {2002},
  isbn      = {0-7923-7683-8},
  timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2002,
  editor    = {Michael J. Butler and
               Luigia Petre and
               Kaisa Sere},
  title     = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
               Turku, Finland, May 15-18, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2335},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-47884-1},
  doi       = {10.1007/3-540-47884-1},
  isbn      = {3-540-43703-7},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2002,
  title     = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
               2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7926},
  isbn      = {0-7695-1573-8},
  timestamp = {Fri, 01 Aug 2014 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apaqs/2001,
  title     = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
               December 2001, Hong Kong, China, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7761},
  isbn      = {0-7695-1287-9},
  timestamp = {Thu, 19 Mar 2015 16:19:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apaqs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2001,
  title     = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
               December 2001, Macau, China},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7784},
  isbn      = {0-7695-1408-1},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2001,
  title     = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
               Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7811},
  isbn      = {0-7803-7198-4},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1991-2,
  editor    = {S{\o}ren Prehn and
               W. J. Toetenel},
  title     = {{VDM} '91 - Formal Software Development, 4th International Symposium
               of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
               1991, Proceedings, Volume 2: Tutorials},
  series    = {Lecture Notes in Computer Science},
  volume    = {552},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0019994},
  doi       = {10.1007/BFb0019994},
  isbn      = {3-540-54868-8},
  timestamp = {Sat, 20 May 2017 15:32:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/1991-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier