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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.