Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.