BibTeX records: Johan Dovland

download as .bib file

@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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/DovlandJOY15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DamianiDJS14,
  author    = {Ferruccio Damiani and
               Johan Dovland and
               Einar Broch Johnsen and
               Ina Schaefer},
  title     = {Verifying traits: an incremental proof system for fine-grained reuse},
  journal   = {Formal Aspects Comput.},
  volume    = {26},
  number    = {4},
  pages     = {761--793},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-013-0278-3},
  doi       = {10.1007/s00165-013-0278-3},
  timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/DamianiDJS14.bib},
  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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/DinDJO12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DovlandJY12,
  author    = {Johan Dovland and
               Einar Broch Johnsen and
               Ingrid Chieh Yu},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Tracking Behavioral Constraints during Object-Oriented Software Evolution},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7609},
  pages     = {253--268},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_19},
  doi       = {10.1007/978-3-642-34026-0\_19},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/DovlandJY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DinDO12,
  author    = {Crystal Chang Din and
               Johan Dovland and
               Olaf Owe},
  editor    = {George Eleftherakis and
               Mike Hinchey and
               Mike Holcombe},
  title     = {Compositional Reasoning about Shared Futures},
  booktitle = {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},
  pages     = {94--108},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7\_7},
  doi       = {10.1007/978-3-642-33826-7\_7},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/DinDO12.bib},
  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},
  editor    = {Eduardo Santana de Almeida and
               Christa Schwanninger and
               David Benavides},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2364412.2364422},
  doi       = {10.1145/2364412.2364422},
  timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
  biburl    = {https://dblp.org/rec/conf/splc/DamianiODSJY12.bib},
  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 = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/DovlandJOS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DamianiDJS11,
  author    = {Ferruccio Damiani and
               Johan Dovland and
               Einar Broch Johnsen and
               Ina Schaefer},
  editor    = {Stephen N. Freund},
  title     = {Verifying traits: a proof system for fine-grained reuse},
  booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
               Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
  pages     = {8:1--8:6},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2076674.2076682},
  doi       = {10.1145/2076674.2076682},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/DamianiDJS11.bib},
  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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/DovlandJOS10.bib},
  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},
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Incremental Reasoning for Multiple Inheritance},
  booktitle = {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},
  pages     = {215--230},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7\_15},
  doi       = {10.1007/978-3-642-00255-7\_15},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/DovlandJOS09.bib},
  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   = {Electron. 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, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/DovlandJO08.bib},
  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},
  editor    = {Jorge Cu{\'{e}}llar and
               T. S. E. Maibaum and
               Kaisa Sere},
  title     = {Lazy Behavioral Subtyping},
  booktitle = {{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},
  pages     = {52--67},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68237-0\_6},
  doi       = {10.1007/978-3-540-68237-0\_6},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/DovlandJOS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/KhatchadourianDS08,
  author    = {Raffi Khatchadourian and
               Johan Dovland and
               Neelam Soundarajan},
  editor    = {Curtis Clifton},
  title     = {Enforcing behavioral constraints in evolving aspect-oriented programs},
  booktitle = {Proceedings of the 7th Workshop on Foundations of Aspect-Oriented
               Languages, {FOAL} 2008, Brussels, Belgium, April 1, 2008},
  pages     = {19--28},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1394496.1394499},
  doi       = {10.1145/1394496.1394499},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/foal/KhatchadourianDS08.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/SWSTE.2005.24},
  doi       = {10.1109/SWSTE.2005.24},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/swste/DovlandJO05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics