Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Einar Broch Johnsen
@article{DBLP:journals/scp/JakobsJKW24,
author = {Marie{-}Christine Jakobs and
Einar Broch Johnsen and
Eduard Kamburjan and
Manuel Wimmer},
title = {Preface for the special issue on "Fundamental Approaches to Software
Engineering" {(FASE} 2022)},
journal = {Sci. Comput. Program.},
volume = {232},
pages = {103055},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103055},
doi = {10.1016/J.SCICO.2023.103055},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JakobsJKW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DinHHJPT24,
author = {Crystal Chang Din and
Reiner H{\"{a}}hnle and
Ludovic Henrio and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa},
title = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {46},
number = {1},
pages = {3:1--3:58},
year = {2024},
url = {https://doi.org/10.1145/3648439},
doi = {10.1145/3648439},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DinHHJPT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GhzouliBJWD24,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski and
Swaib Dragule},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Behavior Trees and State Machines in Robotics Applications},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {73--74},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_20},
doi = {10.18420/SW2024\_20},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/GhzouliBJWD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/24/KobialkaSBJT24,
author = {Paul Kobialka and
Rudolf Schlatte and
Gunnar Rye Bergersen and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Simulating User Journeys with Active Objects},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {199--225},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_8},
doi = {10.1007/978-3-031-51060-1\_8},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/KobialkaSBJT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/24/BoerDHJK24,
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1},
doi = {10.1007/978-3-031-51060-1},
isbn = {978-3-031-51059-5},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/BoerDHJK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/TurinBDDJT23,
author = {Gianluca Turin and
Andrea Borgarelli and
Simone Donetti and
Ferruccio Damiani and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa},
title = {Predicting resource consumption of Kubernetes container systems using
resource models},
journal = {J. Syst. Softw.},
volume = {203},
pages = {111750},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2023.111750},
doi = {10.1016/J.JSS.2023.111750},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/TurinBDDJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VarshosazGJW23,
author = {Mahsa Varshosaz and
Mohsen Ghaffari and
Einar Broch Johnsen and
Andrzej Wasowski},
title = {Formal Specification and Testing for Reinforcement Learning},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {125--158},
year = {2023},
url = {https://doi.org/10.1145/3607835},
doi = {10.1145/3607835},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VarshosazGJW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GhzouliBJWD23,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski and
Swaib Dragule},
title = {Behavior Trees and State Machines in Robotics Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {9},
pages = {4243--4267},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3269081},
doi = {10.1109/TSE.2023.3269081},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GhzouliBJWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KlovstadKJ23,
author = {{\AA}smund Aqissiaq Arild Kl{\o}vstad and
Eduard Kamburjan and
Einar Broch Johnsen},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Compositional Correctness and Completeness for Symbolic Partial Order
Reduction},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.9},
doi = {10.4230/LIPICS.CONCUR.2023.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KlovstadKJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KamburjanKTSGCJ23,
author = {Eduard Kamburjan and
Vidar Norstein Klungre and
Silvia Lizeth Tapia Tarifa and
Rudolf Schlatte and
Martin Giese and
David Cameron and
Einar Broch Johnsen},
editor = {Stefan Hallerstede and
Eduard Kamburjan},
title = {Emerging Challenges in Compositionality and Correctness for Digital
Twins},
booktitle = {Proceedings of the Workshop on Applications of Formal Methods and
Digital Twins co-located with 25th International Symposium on Formal
Methods {(FM} 2023), L{\"{u}}beck, Germany, March 06, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3507},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3507/paper2.pdf},
timestamp = {Fri, 24 Nov 2023 12:33:41 +0100},
biburl = {https://dblp.org/rec/conf/fm/KamburjanKTSGCJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/VoogdKJ23,
author = {Erik Voogd and
{\AA}smund Aqissiaq Arild Kl{\o}vstad and
Einar Broch Johnsen},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Denotational Semantics for Symbolic Execution},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {370--387},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_22},
doi = {10.1007/978-3-031-47963-2\_22},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/VoogdKJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PasslerBDTJ23,
author = {Juliane P{\"{a}}{\ss}ler and
Maurice H. ter Beek and
Ferruccio Damiani and
Silvia Lizeth Tapia Tarifa and
Einar Broch Johnsen},
editor = {Paula Herber and
Anton Wijs},
title = {Formal Modelling and Analysis of a Self-Adaptive Robotic System},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {343--363},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_18},
doi = {10.1007/978-3-031-47705-8\_18},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/PasslerBDTJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/VoogdJSSW23,
author = {Erik Voogd and
Einar Broch Johnsen and
Alexandra Silva and
Zachary J. Susag and
Andrzej Wasowski},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Symbolic Semantics for Probabilistic Programs},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {329--345},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_23},
doi = {10.1007/978-3-031-43835-6\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/VoogdJSSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/SilvaPZATGJC23,
author = {Gustavo Rezende Silva and
Juliane P{\"{a}}{\ss}ler and
Jeroen Zwanepol and
Elvin Alberts and
Silvia Lizeth Tapia Tarifa and
Ilias Gerostathopoulos and
Einar Broch Johnsen and
Carlos Hern{\'{a}}ndez Corbato},
title = {{SUAVE:} An Exemplar for Self-Adaptive Underwater Vehicles},
booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {181--187},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SEAMS59076.2023.00031},
doi = {10.1109/SEAMS59076.2023.00031},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seams/SilvaPZATGJC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04661,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa},
title = {Proving Correctness of Parallel Implementations of Transition System
Specifications},
journal = {CoRR},
volume = {abs/2302.04661},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04661},
doi = {10.48550/ARXIV.2302.04661},
eprinttype = {arXiv},
eprint = {2302.04661},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09220,
author = {Gustavo Rezende Silva and
Juliane P{\"{a}}{\ss}ler and
Jeroen Zwanepol and
Elvin Alberts and
Silvia Lizeth Tapia Tarifa and
Ilias Gerostathopoulos and
Einar Broch Johnsen and
Carlos Hern{\'{a}}ndez Corbato},
title = {{SUAVE:} An Exemplar for Self-Adaptive Underwater Vehicles},
journal = {CoRR},
volume = {abs/2303.09220},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09220},
doi = {10.48550/ARXIV.2303.09220},
eprinttype = {arXiv},
eprint = {2303.09220},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07651,
author = {Gianluca Turin and
Andrea Borgarelli and
Simone Donetti and
Ferruccio Damiani and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa},
title = {Predicting Resource Consumption of Kubernetes Container Systems using
Resource Models},
journal = {CoRR},
volume = {abs/2305.07651},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07651},
doi = {10.48550/ARXIV.2305.07651},
eprinttype = {arXiv},
eprint = {2305.07651},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09951,
author = {Erik Voogd and
Einar Broch Johnsen and
Alexandra Silva and
Zachary J. Susag and
Andrzej Wasowski},
title = {Symbolic Semantics for Probabilistic Programs (extended version)},
journal = {CoRR},
volume = {abs/2307.09951},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09951},
doi = {10.48550/ARXIV.2307.09951},
eprinttype = {arXiv},
eprint = {2307.09951},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14663,
author = {Juliane P{\"{a}}{\ss}ler and
Maurice H. ter Beek and
Ferruccio Damiani and
Silvia Lizeth Tapia Tarifa and
Einar Broch Johnsen},
title = {Formal Modelling and Analysis of a Self-Adaptive Robotic System},
journal = {CoRR},
volume = {abs/2308.14663},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14663},
doi = {10.48550/ARXIV.2308.14663},
eprinttype = {arXiv},
eprint = {2308.14663},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KhaleghianUJAM22,
author = {Salman Khaleghian and
Habib Ullah and
Einar Broch Johnsen and
Anders Andersen and
Andrea Marinoni},
title = {{AFSD:} Adaptive Feature Space Distillation for Distributed Deep Learning},
journal = {{IEEE} Access},
volume = {10},
pages = {84569--84578},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3197646},
doi = {10.1109/ACCESS.2022.3197646},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KhaleghianUJAM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchlatteJKT22,
author = {Rudolf Schlatte and
Einar Broch Johnsen and
Eduard Kamburjan and
Silvia Lizeth Tapia Tarifa},
title = {The {ABS} simulator toolchain},
journal = {Sci. Comput. Program.},
volume = {223},
pages = {102861},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102861},
doi = {10.1016/J.SCICO.2022.102861},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchlatteJKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HornSJ22,
author = {Geir Horn and
Rudolf Schlatte and
Einar Broch Johnsen},
editor = {Leonard Barolli and
Farookh Hussain and
Tomoya Enokido},
title = {Digital Twins for Autonomic Cloud Application Management},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 36th International Conference on Advanced Information Networking
and Applications (AINA-2022), Volume 3},
series = {Lecture Notes in Networks and Systems},
volume = {451},
pages = {141--152},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99619-2\_14},
doi = {10.1007/978-3-030-99619-2\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aina/HornSJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/annsim/KamburjanJ22,
author = {Eduard Kamburjan and
Einar Broch Johnsen},
editor = {Cristina Ruiz Martin and
Niloufar Emami and
Mar{\'{\i}}a Julia Blas and
Roya Rezaee},
title = {Knowledge Structures Over Simulation Units},
booktitle = {Annual Modeling and Simulation Conference, {ANNSIM} 2022, San Diego,
CA, USA, July 18-20, 2022},
pages = {78--89},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ANNSIM55834.2022.9859490},
doi = {10.23919/ANNSIM55834.2022.9859490},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/annsim/KamburjanJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Johnsen22,
author = {Einar Broch Johnsen},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Digital Twins: An Emerging Paradigm for Model-Centric Engineering
(Invited Talk)},
booktitle = {Petri Nets and Software Engineering 2022 co-located with the 43rd
International Conference on Application and Theory of Petri Nets and
Concurrency {(PETRI} {NETS} 2022), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {219},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/keynote.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Johnsen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/KaramiBJ22,
author = {Farzane Karami and
David A. Basin and
Einar Broch Johnsen},
title = {{DPL:} {A} Language for {GDPR} Enforcement},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {112--129},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919687},
doi = {10.1109/CSF54842.2022.9919687},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/KaramiBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/KobialkaMTJ22,
author = {Paul Kobialka and
Felix Mannhardt and
Silvia Lizeth Tapia Tarifa and
Einar Broch Johnsen},
editor = {Marco Montali and
Arik Senderovich and
Matthias Weidlich},
title = {Building User Journey Games from Multi-party Event Logs},
booktitle = {Process Mining Workshops - {ICPM} 2022 International Workshops, Bozen-Bolzano,
Italy, October 23-28, 2022, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {468},
pages = {71--83},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27815-0\_6},
doi = {10.1007/978-3-031-27815-0\_6},
timestamp = {Fri, 26 May 2023 07:40:33 +0200},
biburl = {https://dblp.org/rec/conf/icpm/KobialkaMTJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PardoJSW22,
author = {Ra{\'{u}}l Pardo and
Einar Broch Johnsen and
Ina Schaefer and
Andrzej Wasowski},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {A Specification Logic for Programs in the Probabilistic Guarded Command
Language},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {369--387},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_24},
doi = {10.1007/978-3-031-17715-6\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PardoJSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KamburjanKSTCJ22,
author = {Eduard Kamburjan and
Vidar Norstein Klungre and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
David Cameron and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Digital Twin Reconfiguration Using Asset Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {71--88},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_6},
doi = {10.1007/978-3-031-19762-8\_6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KamburjanKSTCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KamburjanDSTJ22,
author = {Eduard Kamburjan and
Crystal Chang Din and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital
Twins},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {188--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_12},
doi = {10.1007/978-3-031-19849-6\_12},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KamburjanDSTJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PasslerASTCJ22,
author = {Juliane P{\"{a}}{\ss}ler and
Esther Aguado and
Gustavo Rezende Silva and
Silvia Lizeth Tapia Tarifa and
Carlos Hern{\'{a}}ndez Corbato and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formal Model of Metacontrol in Maude},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {575--596},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_32},
doi = {10.1007/978-3-031-19849-6\_32},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PasslerASTCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KobialkaTBJ22,
author = {Paul Kobialka and
Silvia Lizeth Tapia Tarifa and
Gunnar Rye Bergersen and
Einar Broch Johnsen},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Weighted Games for User Journeys},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {253--270},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_16},
doi = {10.1007/978-3-031-17108-6\_16},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KobialkaTBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2022hahnle,
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8},
doi = {10.1007/978-3-031-08166-8},
isbn = {978-3-031-08165-1},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2022hahnle.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2022,
editor = {Einar Broch Johnsen and
Manuel Wimmer},
title = {Fundamental Approaches to Software Engineering - 25th International
Conference, {FASE} 2022, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany,
April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13241},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99429-7},
doi = {10.1007/978-3-030-99429-7},
isbn = {978-3-030-99428-0},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12195,
author = {Crystal Chang Din and
Reiner H{\"{a}}hnle and
Ludovic Henrio and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa},
title = {{LAGC} Semantics of Concurrent Programming Languages},
journal = {CoRR},
volume = {abs/2202.12195},
year = {2022},
url = {https://arxiv.org/abs/2202.12195},
eprinttype = {arXiv},
eprint = {2202.12195},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04822,
author = {Ra{\'{u}}l Pardo and
Einar Broch Johnsen and
Ina Schaefer and
Andrzej Wasowski},
title = {A Specification Logic for Programs in the Probabilistic Guarded Command
Language (Extended Version)},
journal = {CoRR},
volume = {abs/2205.04822},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04822},
doi = {10.48550/ARXIV.2205.04822},
eprinttype = {arXiv},
eprint = {2205.04822},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04211,
author = {Razan Ghzouli and
Swaib Dragule and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski},
title = {Behavior Trees and State Machines in Robotics Applications},
journal = {CoRR},
volume = {abs/2208.04211},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04211},
doi = {10.48550/ARXIV.2208.04211},
eprinttype = {arXiv},
eprint = {2208.04211},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/HalvorsrudMJT21,
author = {Ragnhild Halvorsrud and
Felix Mannhardt and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa},
editor = {Barbara Carminati and
Carl K. Chang and
Ernesto Daminai and
Shuigung Deng and
Wei Tan and
Zhongjie Wang and
Robert Ward and
Jia Zhang},
title = {Smart Journey Mining for Improved Service Quality},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {367--369},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCC53864.2021.00051},
doi = {10.1109/SCC53864.2021.00051},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/HalvorsrudMJT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SchlatteJKT21,
author = {Rudolf Schlatte and
Einar Broch Johnsen and
Eduard Kamburjan and
Silvia Lizeth Tapia Tarifa},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Modeling and Analyzing Resource-Sensitive Actors: {A} Tutorial Introduction},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {3--19},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_1},
doi = {10.1007/978-3-030-78142-2\_1},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SchlatteJKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/KamburjanKSJG21,
author = {Eduard Kamburjan and
Vidar Norstein Klungre and
Rudolf Schlatte and
Einar Broch Johnsen and
Martin Giese},
editor = {Ruben Verborgh and
Katja Hose and
Heiko Paulheim and
Pierre{-}Antoine Champin and
Maria Maleshkova and
{\'{O}}scar Corcho and
Petar Ristoski and
Mehwish Alam},
title = {Programming and Debugging with Semantically Lifted States},
booktitle = {The Semantic Web - 18th International Conference, {ESWC} 2021, Virtual
Event, June 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12731},
pages = {126--142},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77385-4\_8},
doi = {10.1007/978-3-030-77385-4\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/KamburjanKSJG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/LinLYJ20,
author = {Jia{-}Chun Lin and
Ming{-}Chang Lee and
Ingrid Chieh Yu and
Einar Broch Johnsen},
title = {A configurable and executable model of Spark Streaming on Apache {YARN}},
journal = {Int. J. Grid Util. Comput.},
volume = {11},
number = {2},
pages = {185--195},
year = {2020},
url = {https://doi.org/10.1504/IJGUC.2020.105531},
doi = {10.1504/IJGUC.2020.105531},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/LinLYJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GkolfiJKY20,
author = {Anastasia Gkolfi and
Einar Broch Johnsen and
Lars Michael Kristensen and
Ingrid Chieh Yu},
editor = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Ekkart Kindler and
Heiko R{\"{o}}lke},
title = {Model Checking Starvation for Resource-aware Active Objects with Coloured
Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering co-located with 41st International Conference on Application
and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris,
France, June 24, 2020 (due to {COVID-19:} virtual conference)},
series = {{CEUR} Workshop Proceedings},
volume = {2651},
pages = {68--85},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2651/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/GkolfiJKY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerJSTT20,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Lars Tveito},
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded
Command Languages},
booktitle = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.10},
doi = {10.4230/OASICS.GABBRIELLI.10},
timestamp = {Sun, 07 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BoerJSTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TveitoJS20,
author = {Lars Tveito and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Global Reproducibility Through Local Control for Distributed Active
Objects},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {140--160},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_7},
doi = {10.1007/978-3-030-45234-6\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/TveitoJS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LienhardtDJM20,
author = {Michael Lienhardt and
Ferruccio Damiani and
Einar Broch Johnsen and
Jacopo Mauro},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Lazy product discovery in huge configuration spaces},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1509--1521},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380372},
doi = {10.1145/3377811.3380372},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LienhardtDJM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HenrioJP20,
author = {Ludovic Henrio and
Einar Broch Johnsen and
Violet Ka I Pun},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Active Objects with Deterministic Behaviour},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {181--198},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_10},
doi = {10.1007/978-3-030-63461-2\_10},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HenrioJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KamburjanSJT20,
author = {Eduard Kamburjan and
Rudolf Schlatte and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Designing Distributed Control with Hybrid Active Objects},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {88--108},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_7},
doi = {10.1007/978-3-030-83723-5\_7},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KamburjanSJT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JohnsenSS20,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assumption-Commitment Types for Resource Management in Virtually Timed
Ambients},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {103--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_6},
doi = {10.1007/978-3-030-61362-4\_6},
timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
biburl = {https://dblp.org/rec/conf/isola/JohnsenSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TurinBDJTD20,
author = {Gianluca Turin and
Andrea Borgarelli and
Simone Donetti and
Einar Broch Johnsen and
Silvia Lizeth Tapia Tarifa and
Ferruccio Damiani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formal Model of the Kubernetes Container Framework},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {558--577},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_32},
doi = {10.1007/978-3-030-61362-4\_32},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/TurinBDJTD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/GhzouliBJDW20,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Swaib Dragule and
Andrzej Wasowski},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {Behavior trees in action: a study of robotics applications},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {196--209},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426942},
doi = {10.1145/3426425.3426942},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/GhzouliBJDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KamburjanDHJ20,
author = {Eduard Kamburjan and
Crystal Chang Din and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Behavioral Contracts for Cooperative Scheduling},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {85--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_4},
doi = {10.1007/978-3-030-64354-6\_4},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/KamburjanDHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BoerBJPTT20,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa and
Lars Tveito},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {SymPaths: Symbolic Execution Meets Partial Order Reduction},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {313--338},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_13},
doi = {10.1007/978-3-030-64354-6\_13},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/BoerBJPTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07383,
author = {Michael Lienhardt and
Ferruccio Damiani and
Einar Broch Johnsen and
Jacopo Mauro},
title = {Lazy Product Discovery in Huge Configuration Spaces},
journal = {CoRR},
volume = {abs/2003.07383},
year = {2020},
url = {https://arxiv.org/abs/2003.07383},
eprinttype = {arXiv},
eprint = {2003.07383},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06256,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Swaib Dragule and
Andrzej Wasowski},
title = {Behavior Trees in Action: {A} Study of Robotics Applications},
journal = {CoRR},
volume = {abs/2010.06256},
year = {2020},
url = {https://arxiv.org/abs/2010.06256},
eprinttype = {arXiv},
eprint = {2010.06256},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Fernandez-Reyes19,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Ludovic Henrio and
Einar Broch Johnsen and
Tobias Wrigstad},
title = {Godot: All the Benefits of Implicit and Explicit Futures (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {01:1--01:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.1},
doi = {10.4230/DARTS.5.2.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Fernandez-Reyes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BijoJPT19,
author = {Shiji Bijo and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
title = {A formal model of data access for multicore architectures with multilevel
caches},
journal = {Sci. Comput. Program.},
volume = {179},
pages = {24--53},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.04.003},
doi = {10.1016/J.SCICO.2019.04.003},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BijoJPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GkolfiDJKSY19,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Lars Michael Kristensen and
Martin Steffen and
Ingrid Chieh Yu},
title = {Translating active objects into colored Petri nets for communication
analysis},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.04.002},
doi = {10.1016/J.SCICO.2019.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GkolfiDJKSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Fernandez-Reyes19,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Ludovic Henrio and
Einar Broch Johnsen and
Tobias Wrigstad},
editor = {Alastair F. Donaldson},
title = {Godot: All the Benefits of Implicit and Explicit Futures},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {2:1--2:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.2},
doi = {10.4230/LIPICS.ECOOP.2019.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Fernandez-Reyes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BezirgiannisBJP19,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Implementing {SOS} with Active Objects: {A} Case Study of a Multicore
Memory System},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {332--350},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_20},
doi = {10.1007/978-3-030-16722-6\_20},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BezirgiannisBJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KamburjanDHJ19,
author = {Eduard Kamburjan and
Crystal Chang Din and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Asynchronous Cooperative Contracts for Cooperative Scheduling},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {48--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_3},
doi = {10.1007/978-3-030-30446-1\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KamburjanDHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BoerJPT19,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {From {SOS} to Asynchronously Communicating Actors},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
pages = {269--275},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57506-9\_20},
doi = {10.1007/978-3-030-57506-9\_20},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BoerJPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenSS18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
title = {Virtually timed ambients: {A} calculus of nested virtualization},
journal = {J. Log. Algebraic Methods Program.},
volume = {94},
pages = {109--127},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.10.001},
doi = {10.1016/J.JLAMP.2017.10.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenSS18.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/tocl/AlbertCJPR18,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Einar Broch Johnsen and
Violet Ka I Pun and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Parallel Cost Analysis},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {31:1--31:37},
year = {2018},
url = {https://doi.org/10.1145/3274278},
doi = {10.1145/3274278},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AlbertCJPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LinLYJ18,
author = {Jia{-}Chun Lin and
Ming{-}Chang Lee and
Ingrid Chieh Yu and
Einar Broch Johnsen},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Marek R. Ogiela and
Lidia Ogiela and
Nadeem Javaid},
title = {Modeling and Simulation of Spark Streaming},
booktitle = {32nd {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
pages = {407--413},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/AINA.2018.00068},
doi = {10.1109/AINA.2018.00068},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LinLYJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchlatteJMTY18,
author = {Rudolf Schlatte and
Einar Broch Johnsen and
Jacopo Mauro and
Silvia Lizeth Tapia Tarifa and
Ingrid Chieh Yu},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {Release the Beasts: When Formal Methods Meet Real World Data},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {107--121},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6\_8},
doi = {10.1007/978-3-319-90089-6\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SchlatteJMTY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohnsenY18,
author = {Einar Broch Johnsen and
Ingrid Chieh Yu},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Dynamic Software Updates and Context Adaptation for Distributed Active
Objects},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {147--164},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_10},
doi = {10.1007/978-3-319-98047-8\_10},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/JohnsenY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GkolfiJKY18,
author = {Anastasia Gkolfi and
Einar Broch Johnsen and
Lars Michael Kristensen and
Ingrid Chieh Yu},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Using Coloured Petri Nets for Resource Analysis of Active Objects},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {156--174},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_8},
doi = {10.1007/978-3-030-02146-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/GkolfiJKY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Checking Modal Contracts for Virtually Timed Ambients},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {252--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_14},
doi = {10.1007/978-3-030-02508-3\_14},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Resource-Aware Virtually Timed Ambients},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {194--213},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_12},
doi = {10.1007/978-3-319-98938-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BijoJPST18,
author = {Shiji Bijo and
Einar Broch Johnsen and
Ka I Pun and
Christoph Seidl and
Silvia Lizeth Tapia Tarifa},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Deployment by Construction for Multicore Architectures},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {448--465},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_26},
doi = {10.1007/978-3-030-03418-4\_26},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BijoJPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
title = {An Analysis Tool for Models of Virtualized Systems},
booktitle = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo,
Oslo, Norway, September 18-20, 2018},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2018},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/497},
timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
biburl = {https://dblp.org/rec/conf/nik/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/YuKJ18,
author = {Ingrid Chieh Yu and
Birgit Rognebakke Krogstie and
Einar Broch Johnsen},
title = {Forord til {NIK} 2018},
booktitle = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo,
Oslo, Norway, September 18-20, 2018},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2018},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/529},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nik/YuKJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2018,
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5},
doi = {10.1007/978-3-319-92970-5},
isbn = {978-3-319-92969-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08653,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
title = {Assumption Commitment Types for Resource Management in Virtually Timed
Ambients},
journal = {CoRR},
volume = {abs/1806.08653},
year = {2018},
url = {http://arxiv.org/abs/1806.08653},
eprinttype = {arXiv},
eprint = {1806.08653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-09005,
author = {Jia{-}Chun Lin and
Ming{-}Chang Lee and
Ingrid Chieh Yu and
Einar Broch Johnsen},
title = {Modeling and Simulation of Spark Streaming},
journal = {CoRR},
volume = {abs/1808.09005},
year = {2018},
url = {http://arxiv.org/abs/1808.09005},
eprinttype = {arXiv},
eprint = {1808.09005},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BoerSHHRDJSKFY17,
author = {Frank S. de Boer and
Vlad Serbanescu and
Reiner H{\"{a}}hnle and
Ludovic Henrio and
Justine Rochas and
Crystal Chang Din and
Einar Broch Johnsen and
Marjan Sirjani and
Ehsan Khamespanah and
Kiko Fernandez{-}Reyes and
Albert Mingkun Yang},
title = {A Survey of Active Object Languages},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {5},
pages = {76:1--76:39},
year = {2017},
url = {https://doi.org/10.1145/3122848},
doi = {10.1145/3122848},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BoerSHHRDJSKFY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/RostSYDJC17,
author = {Thomas Brox R{\o}st and
Christoph Seidl and
Ingrid Chieh Yu and
Ferruccio Damiani and
Einar Broch Johnsen and
Cristina Chesta},
editor = {Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Volker Stolz},
title = {HyVar - Scalable Hybrid Variability for Distributed Evolving Software
Systems},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {824},
pages = {159--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-79090-9\_12},
doi = {10.1007/978-3-319-79090-9\_12},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/RostSYDJC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BijoJPT17,
author = {Shiji Bijo and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {A Formal Model of Parallel Execution on Multicore Architectures with
Multilevel Caches},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {58--77},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_4},
doi = {10.1007/978-3-319-68034-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BijoJPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DomenechGJS17,
author = {Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Marieke Huisman and
Julia Rubin},
title = {EasyInterface: {A} Toolkit for Rapid Development of GUIs for Research
Prototype Tools},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {379--383},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_22},
doi = {10.1007/978-3-662-54494-5\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DomenechGJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GkolfiDJSY17,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Martin Steffen and
Ingrid Chieh Yu},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Translating Active Objects into Colored Petri Nets for Communication
Analysis},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {84--99},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_6},
doi = {10.1007/978-3-319-68972-2\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/GkolfiDJSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/JohnsenPT17,
author = {Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Dinko Begusic and
Nikola Rozic and
Josko Radic and
Matko Saric},
title = {A formal model of cloud-deployed software and its application to workflow
processing},
booktitle = {25th International Conference on Software, Telecommunications and
Computer Networks, SoftCOM 2017, Split, Croatia, September 21-23,
2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/SOFTCOM.2017.8115501},
doi = {10.23919/SOFTCOM.2017.8115501},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/softcom/JohnsenPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DinHJPT17,
author = {Crystal Chang Din and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
Languages},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {22--43},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_2},
doi = {10.1007/978-3-319-66902-1\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DinHJPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esocc/2017,
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5},
doi = {10.1007/978-3-319-67262-5},
isbn = {978-3-319-67261-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2017,
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0},
doi = {10.1007/978-3-319-61467-0},
isbn = {978-3-319-61466-3},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DomenechGJS17,
author = {Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim and
Einar Broch Johnsen and
Rudolf Schlatte},
title = {EasyInterface: {A} toolkit for rapid development of GUIs for research
prototype tools},
journal = {CoRR},
volume = {abs/1702.00364},
year = {2017},
url = {http://arxiv.org/abs/1702.00364},
eprinttype = {arXiv},
eprint = {1702.00364},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DomenechGJS17.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/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.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}
}
@article{DBLP:journals/sosym/JohnsenP16,
author = {Einar Broch Johnsen and
Luigia Petre},
title = {Theme issue on Integrated Formal Methods},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {933--935},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0510-0},
doi = {10.1007/S10270-015-0510-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JohnsenP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LinYJL16,
author = {Jia{-}Chun Lin and
Ingrid Chieh Yu and
Einar Broch Johnsen and
Ming{-}Chang Lee},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {{ABS-YARN:} {A} Formal Framework for Modeling Hadoop {YARN} Clusters},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {49--65},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_4},
doi = {10.1007/978-3-662-49665-7\_4},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/LinYJL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JohnsenLY16,
author = {Einar Broch Johnsen and
Jia{-}Chun Lin and
Ingrid Chieh Yu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Comparing {AWS} Deployments Using Model-Based Predictions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {482--496},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_39},
doi = {10.1007/978-3-319-47169-3\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/JohnsenLY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BijoJPT16,
author = {Shiji Bijo and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Sascha Ossowski},
title = {An operational semantics of cache coherent multicore architectures},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1219--1224},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851718},
doi = {10.1145/2851613.2851718},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/BijoJPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AbrahamCJKM16,
author = {Erika {\'{A}}brah{\'{a}}m and
Florian Corzilius and
Einar Broch Johnsen and
Gereon Kremer and
Jacopo Mauro},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Zephyrus2: On the Fly Deployment Optimization Using {SMT} and {CP}
Technologies},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {229--245},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_15},
doi = {10.1007/978-3-319-47677-3\_15},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/AbrahamCJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/JohnsenSS16,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
editor = {Phillip James and
Markus Roggenbach},
title = {A Calculus of Virtually Timed Ambients},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {88--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_7},
doi = {10.1007/978-3-319-72044-9\_7},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/JohnsenSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BijoJPT16,
author = {Shiji Bijo and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Dorel Lucanu},
title = {A Maude Framework for Cache Coherent Multicore Architectures},
booktitle = {Rewriting Logic and Its Applications - 11th International Workshop,
{WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
April 2-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9942},
pages = {47--63},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44802-2\_3},
doi = {10.1007/978-3-319-44802-2\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BijoJPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JohnsenPT16,
author = {Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Razieh Behjati and
Ahmed Elmokashfi},
title = {Modeling Deployment Decisions for Elastic Services with {ABS}},
booktitle = {Proceedings of the First International Workshop on Formal Methods
for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June
2016},
series = {{EPTCS}},
volume = {228},
pages = {16--26},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.228.3},
doi = {10.4204/EPTCS.228.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JohnsenPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/JohnsenPSTY16,
author = {Einar Broch Johnsen and
Ka I Pun and
Martin Steffen and
Silvia Lizeth Tapia Tarifa and
Ingrid Chieh Yu},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Meeting Deadlines, Elastically},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {99--111},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-11},
doi = {10.1201/B20053-11},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/p/JohnsenPSTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3},
doi = {10.1007/978-3-319-30734-3},
isbn = {978-3-319-30733-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2016deboer.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esocc/2016,
editor = {Marco Aiello and
Einar Broch Johnsen and
Schahram Dustdar and
Ilche Georgievski},
title = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9846},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44482-6},
doi = {10.1007/978-3-319-44482-6},
isbn = {978-3-319-44481-9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HahnleJ15,
author = {Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
title = {Designing Resource-Aware Cloud Applications},
journal = {Computer},
volume = {48},
number = {6},
pages = {72--75},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.172},
doi = {10.1109/MC.2015.172},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HahnleJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ButlerJP15,
author = {Michael J. Butler and
Einar Broch Johnsen and
Luigia Petre},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {611--612},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0338-y},
doi = {10.1007/S00165-015-0338-Y},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ButlerJP15.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/JohnsenST15,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
title = {Integrating deployment architectures and resource consumption in timed
object-oriented models},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {67--91},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.07.001},
doi = {10.1016/J.JLAMP.2014.07.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GiachinoJLP15,
author = {Elena Giachino and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Time Complexity of Concurrent Programs - - {A} Technique Based on
Behavioural Types -},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {199--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_11},
doi = {10.1007/978-3-319-28934-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/GiachinoJLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DinTHJ15,
author = {Crystal Chang Din and
Silvia Lizeth Tapia Tarifa and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {History-Based Specification and Verification of Scalable Concurrent
and Distributed Systems},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {217--233},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_14},
doi = {10.1007/978-3-319-25423-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DinTHJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
editor = {Leonard Barolli and
Makoto Takizawa and
Hui{-}Huang Hsu and
Tomoya Enokido and
Fatos Xhafa},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
booktitle = {18th International Conference on Network-Based Information Systems,
NBis 2015, Taipei, Taiwan, September 2-4, 2015},
pages = {401--406},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NBiS.2015.61},
doi = {10.1109/NBIS.2015.61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nbis/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertCJR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Einar Broch Johnsen and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Parallel Cost Analysis of Distributed Systems},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {275--292},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_16},
doi = {10.1007/978-3-662-48288-9\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AlbertCJR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
author = {Stephan Brandauer and
Elias Castegren and
Dave Clarke and
Kiko Fernandez{-}Reyes and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa and
Tobias Wrigstad and
Albert Mingkun Yang},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
Encore},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {1--56},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_1},
doi = {10.1007/978-3-319-18941-3\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2015,
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3},
doi = {10.1007/978-3-319-18941-3},
isbn = {978-3-319-18940-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
journal = {CoRR},
volume = {abs/1503.06974},
year = {2015},
url = {http://arxiv.org/abs/1503.06974},
eprinttype = {arXiv},
eprint = {1503.06974},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiachinoJLP15,
author = {Elena Giachino and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun},
title = {Time complexity of concurrent programs},
journal = {CoRR},
volume = {abs/1511.05104},
year = {2015},
url = {http://arxiv.org/abs/1511.05104},
eprinttype = {arXiv},
eprint = {1511.05104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiachinoJLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArthoJLN15,
author = {Cyrille Artho and
Einar Broch Johnsen and
Martin Leucker and
Keiko Nakata},
title = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/062/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArthoJLN15.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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DamianiDJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/AlbertBHJSTW14,
author = {Elvira Albert and
Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Peter Y. H. Wong},
title = {Formal modeling and analysis of resource management for cloud architectures:
an industrial case study using Real-Time {ABS}},
journal = {Serv. Oriented Comput. Appl.},
volume = {8},
number = {4},
pages = {323--339},
year = {2014},
url = {https://doi.org/10.1007/s11761-013-0148-0},
doi = {10.1007/S11761-013-0148-0},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/AlbertBHJSTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/BoerGJKW14,
author = {Frank S. de Boer and
Stijn de Gouw and
Einar Broch Johnsen and
Andreas Kohn and
Peter Y. H. Wong},
title = {Run-Time Assertion Checking of Data- and Protocol-Oriented Properties
of Java Programs: An Industrial Case Study},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {11},
pages = {1--26},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-55099-7\_1},
doi = {10.1007/978-3-642-55099-7\_1},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/BoerGJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HahnleJ14,
author = {Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Introduction to Track on Engineering Virtualized Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {1--4},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_1},
doi = {10.1007/978-3-662-45231-8\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HahnleJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GoriJSS14,
author = {Georg G{\"{o}}ri and
Einar Broch Johnsen and
Rudolf Schlatte and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Erlang-Style Error Recovery for Concurrent Objects with Cooperative
Scheduling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {5--21},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_2},
doi = {10.1007/978-3-662-45231-8\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GoriJSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LaneseLBJSSZ14,
author = {Ivan Lanese and
Michael Lienhardt and
Mario Bravetti and
Einar Broch Johnsen and
Rudolf Schlatte and
Volker Stolz and
Gianluigi Zavattaro},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fault Model Design Space for Cooperative Concurrency},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {22--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_3},
doi = {10.1007/978-3-662-45231-8\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LaneseLBJSSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JohnsenST14,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Deployment Variability in Delta-Oriented Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {304--319},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_22},
doi = {10.1007/978-3-662-45234-9\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/JohnsenST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2014,
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8483},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0},
doi = {10.1007/978-3-319-07317-0},
isbn = {978-3-319-07316-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BoerJCDYW14,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Dave Clarke and
Sophia Drossopoulou and
Nobuko Yoshida and
Tobias Wrigstad},
title = {Scaling Future Software: The Manycore Challenge},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BoerJCDYW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BjorkBJST13,
author = {Joakim Bj{\o}rk and
Frank S. de Boer and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
title = {User-defined schedulers for real-time concurrent objects},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {29--43},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0184-5},
doi = {10.1007/S11334-012-0184-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/BjorkBJST13.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}
}
@inproceedings{DBLP:conf/nordicloud/AlbertBHJL13,
author = {Elvira Albert and
Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve},
editor = {Arnor Solberg and
Muhammad Ali Babar and
Marlon Dumas and
Carlos E. Cuesta},
title = {Engineering virtualized services},
booktitle = {Second Nordic Symposium on Cloud Computing {\&} Internet Technologies,
NordiCloud '13, Oslo, Norway, September 1-3, 2013},
series = {{ACM} International Conference Proceeding Series},
volume = {826},
pages = {59--63},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513534.2513545},
doi = {10.1145/2513534.2513545},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/nordicloud/AlbertBHJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GouwBJW13,
author = {Stijn de Gouw and
Frank S. de Boer and
Einar Broch Johnsen and
Peter Y. H. Wong},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Run-time checking of data- and protocol-oriented properties of Java
programs: an industrial case study},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1573--1578},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480656},
doi = {10.1145/2480362.2480656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GouwBJW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sesena/TaherkordiEJ13,
author = {Amirhosein Taherkordi and
Frank Eliassen and
Einar Broch Johnsen},
editor = {Christine Julien and
Klaus Wehrle},
title = {Behavioural design of sensor network applications using activity-driven
states},
booktitle = {4th International Workshop on Software Engineering for Sensor Network
Applications, {SESENA} 2013, San Francisco, CA, USA, May 21, 2013},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SESENA.2013.6612259},
doi = {10.1109/SESENA.2013.6612259},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sesena/TaherkordiEJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2013,
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8},
doi = {10.1007/978-3-642-38613-8},
isbn = {978-3-642-38612-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2013.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/esocc/BoerHJSW12,
author = {Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Rudolf Schlatte and
Peter Y. H. Wong},
editor = {Flavio De Paoli and
Ernesto Pimentel and
Gianluigi Zavattaro},
title = {Formal Modeling of Resource Management for Cloud Architectures: An
Industrial Case Study},
booktitle = {Service-Oriented and Cloud Computing - First European Conference,
{ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7592},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33427-6\_7},
doi = {10.1007/978-3-642-33427-6\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/BoerHJSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Johnsen12,
author = {Einar Broch Johnsen},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Separating Cost and Capacity for Load Balancing in {ABS} Deployment
Models},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {145--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_5},
doi = {10.1007/978-3-642-40615-7\_5},
timestamp = {Tue, 21 Mar 2023 21:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/Johnsen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JohnsenST12,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Modeling Resource-Aware Virtualized Applications for the Cloud in
Real-Time {ABS}},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {71--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_8},
doi = {10.1007/978-3-642-34281-3\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JohnsenST12.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/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/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/coordination/JohnsenLZ11,
author = {Einar Broch Johnsen and
Ivan Lanese and
Gianluigi Zavattaro},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Fault in the Future},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_1},
doi = {10.1007/978-3-642-21464-6\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/JohnsenLZ11.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}
}
@inproceedings{DBLP:conf/facs2/JohnsenST11,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {A Formal Model of Object Mobility in Resource-Restricted Deployment
Scenarios},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {187--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_12},
doi = {10.1007/978-3-642-35743-5\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/JohnsenST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertGGJST11,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Simulating Concurrent Behaviors with Worst-Case Cost Bounds},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {353--368},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_27},
doi = {10.1007/978-3-642-21437-0\_27},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertGGJST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenST11,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Modeling Application-Level Management of Virtualized Resources in
{ABS}},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {89--108},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_5},
doi = {10.1007/978-3-642-35887-6\_5},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HahnleHJLSSW11,
author = {Reiner H{\"{a}}hnle and
Michiel Helvensteijn and
Einar Broch Johnsen and
Michael Lienhardt and
Davide Sangiorgi and
Ina Schaefer and
Peter Y. H. Wong},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{HATS} Abstract Behavioral Specification: The Architectural View},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {109--132},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_6},
doi = {10.1007/978-3-642-35887-6\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HahnleHJLSSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/JohnsenST11,
author = {Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {A Formal Model of User-Defined Resources in Resource-Restricted Deployment
Scenarios},
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 = {196--213},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_13},
doi = {10.1007/978-3-642-31762-0\_13},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/JohnsenST11.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}
}
@inproceedings{DBLP:conf/sfm/ClarkeDHJSSSW11,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Peter Y. H. Wong},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Modeling Spatial and Temporal Variability with the {HATS} Abstract
Behavioral Modeling Language},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {417--457},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_13},
doi = {10.1007/978-3-642-21455-4\_13},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/ClarkeDHJSSSW11.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/concur/BoerJJ10,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Einar Broch Johnsen},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_1},
doi = {10.1007/978-3-642-15375-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerJJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenHSSS10,
author = {Einar Broch Johnsen and
Reiner H{\"{a}}hnle and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Martin Steffen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ABS:} {A} Core Language for Abstract Behavioral Specification},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {142--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_8},
doi = {10.1007/978-3-642-25271-6\_8},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenHSSS10.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:conf/splc/ClarkeDHJPWW10,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Germ{\'{a}}n Puebla and
Balthasar Weitzel and
Peter Y. H. Wong},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {{HATS} - {A} Formal Software Product Line Engineering Methodology},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {121--128},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ClarkeDHJPWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/LianJW10,
author = {Espen H. Lian and
Einar Broch Johnsen and
Arild Waaler},
editor = {Thomas {\AA}gotnes},
title = {Confluent Term Rewriting for Only-knowing Logics},
booktitle = {{STAIRS} 2010 - Proceedings of the Fifth Starting {AI} Researchers'
Symposium, Lisbon, Portugal, 16-20 August, 2010},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {222},
pages = {162--174},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-676-8-162},
doi = {10.3233/978-1-60750-676-8-162},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stairs/LianJW10.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/SchlatteJKT11,
author = {Rudolf Schlatte and
Einar Broch Johnsen and
Fatemeh Kazemeyni and
Silvia Lizeth Tapia Tarifa},
editor = {Min Zhang and
Volker Stolz},
title = {Models of Rate Restricted Communication for Concurrent Objects},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {67--81},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.007},
doi = {10.1016/J.ENTCS.2011.07.007},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchlatteJKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttss/2009,
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
publisher = {Elsevier},
year = {2010},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/266/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttss/2009.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}
}
@article{DBLP:journals/tcs/BonsangueJMV09,
author = {Marcello M. Bonsangue and
Einar Broch Johnsen and
Amy L. Murphy and
Jan Vitek},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {2-3},
pages = {113},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.039},
doi = {10.1016/J.TCS.2008.09.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonsangueJMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JohnsenKY09,
author = {Einar Broch Johnsen and
Marcel Kyas and
Ingrid Chieh Yu},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent
Objects},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {596--611},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_38},
doi = {10.1007/978-3-642-05089-3\_38},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/JohnsenKY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Dynamic Symbolic Execution of Distributed Concurrent Objects},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {225--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_16},
doi = {10.1007/978-3-642-02138-1\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GriesmayerAJS09.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:conf/tap/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Catherine Dubois},
title = {Dynamic Symbolic Execution for Testing Distributed Objects},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {105--120},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_9},
doi = {10.1007/978-3-642-02949-3\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/GriesmayerAJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsenS10,
author = {Einar Broch Johnsen and
Volker Stolz},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.044},
doi = {10.1016/J.ENTCS.2010.08.044},
timestamp = {Thu, 09 Mar 2023 15:55:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsenS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ClarkeWOJ09,
author = {David G. Clarke and
Tobias Wrigstad and
Johan {\"{O}}stlund and
Einar Broch Johnsen},
editor = {Peter W. O'Hearn and
Arnd Poetzsch{-}Heffter and
Mooly Sagiv},
title = {Minimal Ownership for Active Objects},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
- 24.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2437/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ClarkeWOJ09.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}
}
@article{DBLP:journals/jlp/JohnsenY08,
author = {Einar Broch Johnsen and
Ingrid Chieh Yu},
title = {Backwards type analysis of asynchronous method calls},
journal = {J. Log. Algebraic Methods Program.},
volume = {77},
number = {1-2},
pages = {40--59},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.05.004},
doi = {10.1016/J.JLAP.2008.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ClarkeWOJ08,
author = {Dave Clarke and
Tobias Wrigstad and
Johan {\"{O}}stlund and
Einar Broch Johnsen},
editor = {G. Ramalingam},
title = {Minimal Ownership for Active Objects},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {139--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_11},
doi = {10.1007/978-3-540-89330-1\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ClarkeWOJ08.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/fmco/KyasJ08,
author = {Marcel Kyas and
Einar Broch Johnsen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {A Real-Time Extension of Creol for Modelling Biomedical Sensors},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {42--60},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_3},
doi = {10.1007/978-3-642-04167-9\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/KyasJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigGJSS08,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Einar Broch Johnsen and
Rudolf Schlatte and
Andries Stam},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Conformance Testing of Distributed Concurrent Systems with Executable
Designs},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {61--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_4},
doi = {10.1007/978-3-642-04167-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AichernigGJSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SchlatteABGJ08,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Testing Concurrent Objects with Application-Specific Schedulers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {319--333},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_22},
doi = {10.1007/978-3-540-85762-4\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SchlatteABGJ08.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}
}
@inproceedings{DBLP:journals/entcs/HolenJW09,
author = {Bjarne Holen and
Einar Broch Johnsen and
Arild Waaler},
editor = {Grigore Rosu},
title = {Proof Search for the First-Order Connection Calculus in Maude},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {173--188},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.019},
doi = {10.1016/J.ENTCS.2009.05.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HolenJW09.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/esop/BoerCJ07,
author = {Frank S. de Boer and
Dave Clarke and
Einar Broch Johnsen},
editor = {Rocco De Nicola},
title = {A Complete Guide to the Future},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {316--330},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_22},
doi = {10.1007/978-3-540-71316-6\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BoerCJ07.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: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}
}
@proceedings{DBLP:conf/fmoods/2007,
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5},
doi = {10.1007/978-3-540-72952-5},
isbn = {978-3-540-72919-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BortinJL06,
author = {Maksym Bortin and
Einar Broch Johnsen and
Christoph L{\"{u}}th},
title = {Structured Formal Development in Isabelle},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {2--21},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BortinJL06.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/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/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/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 = {Tue, 14 May 2019 10:00:52 +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:conf/tphol/JohnsenL04,
author = {Einar Broch Johnsen and
Christoph L{\"{u}}th},
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {Theorem Reuse by Proof Term Transformation},
booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
pages = {152--167},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30142-4\_12},
doi = {10.1007/978-3-540-30142-4\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/JohnsenL04.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}
}
@article{DBLP:journals/njc/JohnsenL03,
author = {Einar Broch Johnsen and
Christoph L{\"{u}}th},
title = {Abstracting Refinements for Transformation},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {313--336},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/JohnsenL03.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}
}
@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}
}
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-04-16 23:04 CEST 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:
