Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olaf Owe
@article{DBLP:journals/scp/ArshadHJOW24,
author = {Hamed Arshad and
Ross Horne and
Christian Johansen and
Olaf Owe and
Tim A. C. Willemse},
title = {XACML2mCRL2: Automatic transformation of {XACML} policies into mCRL2
specifications},
journal = {Sci. Comput. Program.},
volume = {232},
pages = {103046},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103046},
doi = {10.1016/J.SCICO.2023.103046},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArshadHJOW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/24/BaramashetruTO24,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Integrating Data Privacy Compliance in Active Object Languages},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {263--288},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_10},
doi = {10.1007/978-3-031-51060-1\_10},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/BaramashetruTO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11564,
author = {Daniel Gerbi Duguma and
Juliana Zhang and
Meysam Aboutalebi and
Shiliang Zhang and
Catherine Banet and
Cato Bj{\o}rkli and
Chinmayi Prabhu Baramashetru and
Frank Eliassen and
Hui Zhang and
Jonathan Muringani and
Josef Noll and
Knut Inge Fostervold and
Lars B{\"{o}}cker and
Lee Andrew Bygrave and
Matin Bagherpour and
Maunya Doroudi Moghadam and
Olaf Owe and
Poushali Sengupta and
Roman Vitenberg and
Sabita Maharjan and
Thiago Garrett and
Yushuai Li and
Zhengyu Shan},
title = {Privacy-preserving transactive energy systems: Key topics and open
research challenges},
journal = {CoRR},
volume = {abs/2312.11564},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11564},
doi = {10.48550/ARXIV.2312.11564},
eprinttype = {arXiv},
eprint = {2312.11564},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ArshadJOPS22,
author = {Hamed Arshad and
Christian Johansen and
Olaf Owe and
Pablo Picazo{-}Sanchez and
Gerardo Schneider},
title = {Semantic Attribute-Based Encryption: {A} framework for combining {ABE}
schemes with semantic technologies},
journal = {Inf. Sci.},
volume = {616},
pages = {558--576},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.10.132},
doi = {10.1016/J.INS.2022.10.132},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ArshadJOPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/TokasOR22,
author = {Shukun Tokas and
Olaf Owe and
Toktam Ramezanifarkhani},
title = {Static checking of GDPR-related privacy compliance for object-oriented
distributed systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {125},
pages = {100733},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100733},
doi = {10.1016/J.JLAMP.2021.100733},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/TokasOR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/OweF22,
author = {Olaf Owe and
Elahe Fazeldehkordi},
title = {A lightweight approach to smart contracts supporting safety, security,
and privacy},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100772},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100772},
doi = {10.1016/J.JLAMP.2022.100772},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/OweF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ArshadJO22,
author = {Hamed Arshad and
Christian Johansen and
Olaf Owe},
title = {Semantic Attribute-Based Access Control: {A} review on current status
and future perspectives},
journal = {J. Syst. Archit.},
volume = {129},
pages = {102625},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102625},
doi = {10.1016/J.SYSARC.2022.102625},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/ArshadJO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArshadHJOW22,
author = {Hamed Arshad and
Ross Horne and
Christian Johansen and
Olaf Owe and
Tim A. C. Willemse},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Process Algebra Can Save Lives: Static Analysis of {XACML} Access
Control Policies Using mCRL2},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {11--30},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_2},
doi = {10.1007/978-3-031-08679-3\_2},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ArshadHJOW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BaramashetruTOG22,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe and
Nils Gruschka},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Policy Language to Capture Compliance of Data Protection Requirements},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {289--309},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_16},
doi = {10.1007/978-3-031-07727-2\_16},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BaramashetruTOG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TokasO20,
author = {Shukun Tokas and
Olaf Owe},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {A Formal Framework for Consent Management},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {169--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_10},
doi = {10.1007/978-3-030-50086-3\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/TokasO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/KaramiOS20,
author = {Farzane Karami and
Olaf Owe and
Gerardo Schneider},
editor = {Mikael Asplund and
Simin Nadjm{-}Tehrani},
title = {Information-Flow Control by Means of Security Wrappers for Active
Object Languages with Futures},
booktitle = {Secure {IT} Systems - 25th Nordic Conference, NordSec 2020, Virtual
Event, November 23-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12556},
pages = {74--91},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-70852-8\_5},
doi = {10.1007/978-3-030-70852-8\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/KaramiOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08099,
author = {Ming{-}Chang Lee and
Jia{-}Chun Lin and
Olaf Owe},
title = {{PDS:} Deduce Elder Privacy from Smart Homes},
journal = {CoRR},
volume = {abs/2001.08099},
year = {2020},
url = {https://arxiv.org/abs/2001.08099},
eprinttype = {arXiv},
eprint = {2001.08099},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10900,
author = {Farzane Karami and
Olaf Owe and
Gerardo Schneider},
title = {Security Wrappers for Information-Flow Control in Active Object Languages
with Futures},
journal = {CoRR},
volume = {abs/2002.10900},
year = {2020},
url = {https://arxiv.org/abs/2002.10900},
eprinttype = {arXiv},
eprint = {2002.10900},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iot/LeeLO19,
author = {Ming{-}Chang Lee and
Jia{-}Chun Lin and
Olaf Owe},
title = {{PDS:} Deduce elder privacy from smart homes},
journal = {Internet Things},
volume = {7},
year = {2019},
url = {https://doi.org/10.1016/j.iot.2019.100072},
doi = {10.1016/J.IOT.2019.100072},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iot/LeeLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/JohansenO19,
author = {Christian Johansen and
Olaf Owe},
title = {Dynamic structural operational semantics},
journal = {J. Log. Algebraic Methods Program.},
volume = {107},
pages = {79--107},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.006},
doi = {10.1016/J.JLAMP.2019.05.006},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/JohansenO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. Algebraic Methods 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 = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KaramiOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/FazeldehkordiOR19,
author = {Elahe Fazeldehkordi and
Olaf Owe and
Toktam Ramezanifarkhani},
editor = {Apostolos P. Fournaris and
Manos Athanatos and
Konstantinos Lampropoulos and
Sotiris Ioannidis and
George Hatzivasilis and
Ernesto Damiani and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Alberto Siena and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial
Agent Systems},
booktitle = {Computer Security - {ESORICS} 2019 International Workshops, IOSec,
MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11981},
pages = {258--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42051-2\_18},
doi = {10.1007/978-3-030-42051-2\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/FazeldehkordiOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JohansenO19,
author = {Christian Johansen and
Olaf Owe},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Summary of: Dynamic Structural Operational Semantics},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {525--528},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_30},
doi = {10.1007/978-3-030-34968-4\_30},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JohansenO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KaramiOR19,
author = {Farzane Karami and
Olaf Owe and
Toktam Ramezanifarkhani},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Summary of: An Evaluation of Interaction Paradigms for Active Objects},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {529--533},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_31},
doi = {10.1007/978-3-030-34968-4\_31},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KaramiOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismict/FazeldehkordiON19,
author = {Elahe Fazeldehkordi and
Olaf Owe and
Josef Noll},
title = {Security and Privacy in IoT Systems: {A} Case Study of Healthcare
Products},
booktitle = {13th International Symposium on Medical Information and Communication
Technology, {ISMICT} 2019, Oslo, Norway, May 8-10, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISMICT.2019.8743971},
doi = {10.1109/ISMICT.2019.8743971},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismict/FazeldehkordiON19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/OweLF19,
author = {Olaf Owe and
Jia{-}Chun Lin and
Elahe Fazeldehkordi},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {A Flexible Framework for Program Evolution and Verification},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {177--189},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007690301790191},
doi = {10.5220/0007690301790191},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/OweLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/OweFL19,
author = {Olaf Owe and
Elahe Fazeldehkordi and
Jia{-}Chun Lin},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {A Framework for Flexible Program Evolution and Verification of Distributed
Systems},
booktitle = {Model-Driven Engineering and Software Development - 7th International
Conference, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22,
2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1161},
pages = {320--349},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37873-8\_14},
doi = {10.1007/978-3-030-37873-8\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/OweFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/primelife/TokasOR19,
author = {Shukun Tokas and
Olaf Owe and
Toktam Ramezanifarkhani},
editor = {Michael Friedewald and
Melek {\"{O}}nen and
Eva Lievens and
Stephan Krenn and
Samuel Fricker},
title = {Language-Based Mechanisms for Privacy-by-Design},
booktitle = {Privacy and Identity Management. Data for Better Living: {AI} and
Privacy - 14th {IFIP} {WG} 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International
Summer School, Windisch, Switzerland, August 19-23, 2019, Revised
Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {576},
pages = {142--158},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-42504-3\_10},
doi = {10.1007/978-3-030-42504-3\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/primelife/TokasOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/FazeldehkordiON19,
author = {Elahe Fazeldehkordi and
Olaf Owe and
Josef Noll},
title = {Security and Privacy Functionalities in IoT},
booktitle = {17th International Conference on Privacy, Security and Trust, {PST}
2019, Fredericton, NB, Canada, August 26-28, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PST47121.2019.8949054},
doi = {10.1109/PST47121.2019.8949054},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pst/FazeldehkordiON19.bib},
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. Algebraic Methods 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 = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DinJOY18.bib},
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. Algebraic Methods 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 = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Ramezanifarkhani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LeeLO18,
author = {Ming{-}Chang Lee and
Jia{-}Chun Lin and
Olaf Owe},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Marek R. Ogiela and
Lidia Ogiela and
Nadeem Javaid},
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},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/AINA.2018.00145},
doi = {10.1109/AINA.2018.00145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LeeLO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/LeeLO18,
author = {Ming{-}Chang Lee and
Jia{-}Chun Lin and
Olaf Owe},
editor = {Leonard Barolli and
Fang{-}Yie Leu and
Tomoya Enokido and
Hsing{-}Chung Chen},
title = {Privacy Mining from IoT-Based Smart Homes},
booktitle = {Advances on Broadband and Wireless Computing, Communication and Applications,
Proceedings of the 13th International Conference on Broadband and
Wireless Computing, Communication and Applications, {BWCCA} 2018,
Taichung, Taiwan, October 27-29, 2018},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {25},
pages = {304--315},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02613-4\_27},
doi = {10.1007/978-3-030-02613-4\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bwcca/LeeLO18.bib},
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},
eprinttype = {arXiv},
eprint = {1808.07379},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07379.bib},
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. Algebraic Methods 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 = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OweM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/OweR17,
author = {Olaf Owe and
Toktam Ramezanifarkhani},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Hannes Hartenstein and
Jordi Herrera{-}Joancomart{\'{\i}}},
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},
series = {Lecture Notes in Computer Science},
volume = {10436},
pages = {19--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67816-0\_2},
doi = {10.1007/978-3-319-67816-0\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/OweR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OweRF17,
author = {Olaf Owe and
Toktam Ramezanifarkhani and
Elahe Fazeldehkordi},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Hoare-Style Reasoning from Multiple Contracts},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {263--278},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_17},
doi = {10.1007/978-3-319-66845-1\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/OweRF17.bib},
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 = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {130--156},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_8},
doi = {10.1007/978-3-319-46508-1\_8},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fomac/BubelDHJOSY16.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JohnsenOCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Owe16,
author = {Olaf Owe},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
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},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {210--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_14},
doi = {10.1007/978-3-319-33693-0\_14},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Owe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/Owe16,
author = {Olaf Owe},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Verifiable Programming of Object-Oriented and Distributed Systems},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {61--79},
publisher = {Chapman and Hall/CRC},
year = {2016},
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/books/crc/p/Owe16.bib},
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},
eprinttype = {arXiv},
eprint = {1612.00666},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JohansenO16.bib},
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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DinO15.bib},
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. 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/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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DinO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/DinOB14,
author = {Crystal Chang Din and
Olaf Owe and
Richard Bubel},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
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},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004877804800487},
doi = {10.5220/0004877804800487},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/DinOB14.bib},
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},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2014},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/19},
timestamp = {Fri, 05 Feb 2021 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/nik/OweY14.bib},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/OweST13.bib},
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},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
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]},
series = {Advances in Intelligent Systems and Computing},
volume = {263},
pages = {127--150},
publisher = {Springer},
year = {2013},
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/conf/iri/KazemeyniOJB13a.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IRI.2013.6642512},
doi = {10.1109/IRI.2013.6642512},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/KazemeyniOJB13.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}
}
@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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenTOS12.bib},
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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KazemeyniJOB12.bib},
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},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
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},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {143--157},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_11},
doi = {10.1007/978-3-642-30729-4\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KazemeyniJOB12.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}
}
@inproceedings{DBLP:journals/corr/abs-1208-4630,
author = {Joakim Bj{\o}rk and
Dave Clarke and
Einar Broch Johnsen and
Olaf Owe},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Type-Safe Model of Adaptive Object Groups},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {1--15},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.1},
doi = {10.4204/EPTCS.91.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/foveoos/BenteaO11,
author = {Lucian Bentea and
Olaf Owe},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
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},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {105--122},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_8},
doi = {10.1007/978-3-642-31762-0\_8},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BenteaO11.bib},
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},
editor = {Farhad Arbab and
Marjan Sirjani},
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},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {158--173},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_11},
doi = {10.1007/978-3-642-29320-7\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/JohnsenTOS11.bib},
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},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
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},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.32},
doi = {10.1109/ICECCS.2011.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KazemeyniJOB11.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/2011.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/birthday/ClarkeJO10,
author = {Dave Clarke and
Einar Broch Johnsen and
Olaf Owe},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Concurrent Objects {\`{a}} la Carte},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {185--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_12},
doi = {10.1007/978-3-642-11512-7\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClarkeJO10.bib},
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},
editor = {John Hatcliff and
Elena Zucca},
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},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {95--109},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_9},
doi = {10.1007/978-3-642-13464-7\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/KazemeyniJOB10.bib},
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},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
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},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_4},
doi = {10.1007/978-3-642-18070-5\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foveoos/JohnsenOST10.bib},
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},
editor = {Jin Song Dong and
Huibiao Zhu},
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},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {646--661},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_42},
doi = {10.1007/978-3-642-16901-4\_42},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JohnsenOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4262,
author = {Joakim Bj{\o}rk and
Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Lightweight Time Modeling in Timed Creol},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {67--81},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.4},
doi = {10.4204/EPTCS.36.4},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OweST10,
author = {Olaf Owe and
Martin Steffen and
Arild B. Torjusen},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Model Testing Asynchronously Communicating Objects using Modulo {AC}
Rewriting},
booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
2010, Paphos, Cyprus, March 21, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {3},
pages = {69--84},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.015},
doi = {10.1016/J.ENTCS.2010.12.015},
timestamp = {Fri, 10 Mar 2023 10:51:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OweST10.bib},
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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OweS09.bib},
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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OweS09a.bib},
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. Algebraic Methods 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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenOS09.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}
}
@inproceedings{DBLP:journals/entcs/OweS09,
author = {Olaf Owe and
Gerardo Schneider},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {Wrap Your Objects Safely},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {127--143},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.032},
doi = {10.1016/J.ENTCS.2009.09.032},
timestamp = {Fri, 24 Feb 2023 15:09:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OweS09.bib},
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. Informaticae},
volume = {82},
number = {4},
pages = {341--359},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JohnsenOT08.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:journals/entcs/JohnsenBKO09,
author = {Einar Broch Johnsen and
Jasmin Christian Blanchette and
Marcel Kyas and
Olaf Owe},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {89--103},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.007},
doi = {10.1016/J.ENTCS.2009.07.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsenBKO09.bib},
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 = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GiambiagiORS08.bib},
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 = {Softw. Syst. Model.},
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, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JohnsenO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenOBK07,
author = {Einar Broch Johnsen and
Olaf Owe and
Joakim Bj{\o}rk and
Marcel Kyas},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {An Object-Oriented Component Model for Heterogeneous Nets},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {257--279},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_11},
doi = {10.1007/978-3-540-92188-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenOBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OweSS07,
author = {Olaf Owe and
Gerardo Schneider and
Martin Steffen},
editor = {Arnd Poetzsch{-}Heffter},
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},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292328},
doi = {10.1145/1292316.1292328},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/OweSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DovlandJO08,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe},
editor = {Dina Q. Goldin and
Farhad Arbab},
title = {Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent
Objects},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
pages = {19--34},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.084},
doi = {10.1016/J.ENTCS.2008.04.084},
timestamp = {Mon, 13 Feb 2023 11:56:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DovlandJO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlanchetteO08,
author = {Jasmin Christian Blanchette and
Olaf Owe},
editor = {Markus Lumpe and
Eric Madelaine},
title = {An Open System Operational Semantics for an Object-Oriented and Component-Based
Language},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects of
Component Software, {FACS} 2007, Sophia-Antipolis, France, September
19-21, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {215},
pages = {151--169},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.026},
doi = {10.1016/J.ENTCS.2008.06.026},
timestamp = {Mon, 20 Feb 2023 08:38:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlanchetteO08.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JohnsenOY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/YuJO06,
author = {Ingrid Chieh Yu and
Einar Broch Johnsen and
Olaf Owe},
editor = {Roberto Gorrieri and
Heike Wehrheim},
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},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {202--217},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_16},
doi = {10.1007/11768869\_16},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/YuJO06.bib},
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},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
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},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GiambiagiOSR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JohnsenOS05,
author = {Einar Broch Johnsen and
Olaf Owe and
Isabelle Simplot{-}Ryl},
editor = {Martin Steffen and
Gianluigi Zavattaro},
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},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {15--30},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_2},
doi = {10.1007/11494881\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/JohnsenOS05.bib},
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}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.323},
doi = {10.1109/HICSS.2005.323},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/JohnsenO05.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ITCC.2005.203},
doi = {10.1109/ITCC.2005.203},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itcc/AredoO05.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 = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swste/DovlandJO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsenOT06,
author = {Einar Broch Johnsen and
Olaf Owe and
Arild B. Torjusen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Validating Behavioral Component Interfaces in Rewriting Logic},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {187--204},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.069},
doi = {10.1016/J.ENTCS.2005.12.069},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsenOT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OweKL04,
author = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
editor = {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},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {1--7},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_1},
doi = {10.1007/978-3-540-39993-3\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OweKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OweKL04a,
author = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
editor = {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},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {8--14},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_2},
doi = {10.1007/978-3-540-39993-3\_2},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OweKL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohnsenO04,
author = {Einar Broch Johnsen and
Olaf Owe},
editor = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
title = {Object-Oriented Specification and Open Distributed Systems},
booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
Dahl},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {137--164},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_9},
doi = {10.1007/978-3-540-39993-3\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JohnsenO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenO04,
author = {Einar Broch Johnsen and
Olaf Owe},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
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},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {274--295},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_12},
doi = {10.1007/11561163\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenO04.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.6},
doi = {10.1109/SEFM.2004.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JohnsenO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsenOA05,
author = {Einar Broch Johnsen and
Olaf Owe and
Eyvind W. Axelsen},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {A Run-Time Environment for Concurrent Objects With Asynchronous Method
Calls},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {375--392},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.012},
doi = {10.1016/J.ENTCS.2004.06.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsenOA05.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2004dahl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JohnsenO02,
author = {Einar Broch Johnsen and
Olaf Owe},
editor = {Bart Jacobs and
Arend Rensink},
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},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {45--60},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/JohnsenO02.bib},
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},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
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},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {319--338},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_18},
doi = {10.1007/3-540-47884-1\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JohnsenZOA02.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016622},
doi = {10.1109/IPDPS.2002.1016622},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/JohnsenO02.bib},
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/journals/njc/HaveraaenO01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.990023},
doi = {10.1109/APAQS.2001.990023},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/JohnsenOMV01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991465},
doi = {10.1109/APSEC.2001.991465},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/JohnsenZOA01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995249},
doi = {10.1109/HCC.2001.995249},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/ZhangOJA01.bib},
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/journals/njc/DahlOB98.bib},
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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1995.bib},
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 Aspects Comput.},
volume = {5},
number = {3},
pages = {208--223},
year = {1993},
url = {https://doi.org/10.1007/BF01211555},
doi = {10.1007/BF01211555},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Owe93.bib},
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, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Elvang-GoranssonO93.bib},
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 Aspects Comput.},
volume = {4},
number = {4},
pages = {323--340},
year = {1992},
url = {https://doi.org/10.1007/BF01211310},
doi = {10.1007/BF01211310},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Owe92.bib},
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 Aspects Comput.},
volume = {3},
number = {1},
pages = {2--20},
year = {1991},
url = {https://doi.org/10.1007/BF01211433},
doi = {10.1007/BF01211433},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OweD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DahlO91,
author = {Ole{-}Johan Dahl and
Olaf Owe},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
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},
series = {Lecture Notes in Computer Science},
volume = {552},
pages = {320--362},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0019999},
doi = {10.1007/BFB0019999},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DahlO91.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/LuckhamHKO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DahlO85,
author = {Ole{-}Johan Dahl and
Olaf Owe},
title = {A presentation of the specification and verification project "ABEL"},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {10},
number = {4},
pages = {28--32},
year = {1985},
url = {https://doi.org/10.1145/1012497.1012507},
doi = {10.1145/1012497.1012507},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/DahlO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/HenkeLKO85,
author = {Friedrich W. von Henke and
David C. Luckham and
Bernd Krieg{-}Br{\"{u}}ckner and
Olaf Owe},
editor = {John G. P. Barnes and
Gerald A. Fisher},
title = {Semantic specification of Ada packages},
booktitle = {Proceedings of the 1985 Annual {ACM} SIGAda International Conference
on Ada, SIGAda 1985, Paris, France, May 14-16, 1985},
pages = {185--196},
publisher = {Cambridge University Press},
year = {1985},
url = {https://dl.acm.org/doi/10.1145/324426.324392},
doi = {10.1145/324426.324392},
timestamp = {Wed, 04 May 2022 13:02:17 +0200},
biburl = {https://dblp.org/rec/conf/sigada/HenkeLKO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-02 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
