Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Silvia Lizeth Tapia Tarifa
@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}
}
@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}
}
@incollection{DBLP:books/sp/24/BaramashetruTO24,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Integrating Data Privacy Compliance in Active Object Languages},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {263--288},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_10},
doi = {10.1007/978-3-031-51060-1\_10},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/BaramashetruTO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/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}
}
@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/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/primelife/BaramashetruTO23,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe},
editor = {Felix Bieker and
Silvia De Conca and
Nils Gruschka and
Meiko Jensen and
Ina Schiering},
title = {Assuring {GDPR} Conformance Through Language-Based Compliance},
booktitle = {Privacy and Identity Management. Sharing in a Digital World - 18th
{IFIP} {WG} 9.2, 9.6/11.7, 11.6 International Summer School, Privacy
and Identity 2023, Oslo, Norway, August 8-11, 2023, Revised Selected
Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {695},
pages = {46--63},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-57978-3\_4},
doi = {10.1007/978-3-031-57978-3\_4},
timestamp = {Mon, 06 May 2024 17:39:51 +0200},
biburl = {https://dblp.org/rec/conf/primelife/BaramashetruTO23.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}
}
@proceedings{DBLP:conf/ictac/2023,
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2},
doi = {10.1007/978-3-031-47963-2},
isbn = {978-3-031-47962-5},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2023.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-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/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/birthday/Tarifa20,
author = {Silvia Lizeth Tapia Tarifa},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Locally Abstract Globally Concrete Semantics of Time and Resource
Aware Active Objects},
booktitle = {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},
pages = {481--499},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_23},
doi = {10.1007/978-3-031-08166-8\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Tarifa20.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/ifm/BaramashetruTOG22,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe and
Nils Gruschka},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Policy Language to Capture Compliance of Data Protection Requirements},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {289--309},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_16},
doi = {10.1007/978-3-031-07727-2\_16},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BaramashetruTOG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/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/facs2/2022,
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0},
doi = {10.1007/978-3-031-20872-0},
isbn = {978-3-031-20871-3},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/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/fac/AhrendtTW21,
author = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa and
Heike Wehrheim},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {827},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00569-w},
doi = {10.1007/S00165-021-00569-W},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AhrendtTW21.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 = {Tue, 07 May 2024 01:00:00 +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/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/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/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}
}
@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/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}
}
@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/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}
}
@proceedings{DBLP:conf/ifm/2019,
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4},
doi = {10.1007/978-3-030-34968-4},
isbn = {978-3-030-34967-7},
timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/2019.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/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/MauroTY18,
author = {Jacopo Mauro and
Silvia Lizeth Tapia Tarifa and
Ingrid Chieh Yu},
title = {Automatic Parameter Optimisation of Service Quality and Resource Usage},
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/504},
timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
biburl = {https://dblp.org/rec/conf/nik/MauroTY18.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/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}
}
@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/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}
}
@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/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/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}
}
@phdthesis{DBLP:phd/basesearch/Tarifa14,
author = {Silvia Lizeth Tapia Tarifa},
title = {Executable Modeling of Deployment Decisions for Resource-Aware Distributed
Applications},
school = {University of Oslo, Norway},
year = {2014},
url = {https://hdl.handle.net/10852/48452},
urn = {urn:nbn:no-52353},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Tarifa14.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}
}
@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}
}
@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/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/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/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/foveoos/JohnsenOST10,
author = {Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Validating Timed Models of Deployment Components with Parametric Concurrency},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_4},
doi = {10.1007/978-3-642-18070-5\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foveoos/JohnsenOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JohnsenOST10,
author = {Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Dynamic Resource Reallocation between Deployment Components},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {646--661},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_42},
doi = {10.1007/978-3-642-16901-4\_42},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JohnsenOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/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}
}
@inproceedings{DBLP:conf/ifm/VargasGTG09,
author = {Abigail Parisaca Vargas and
Ana Gabriela Garis and
Silvia Lizeth Tapia Tarifa and
Chris George},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Model Checking {LTL} Formulae in {RAISE} with {FDR}},
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 = {231--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_16},
doi = {10.1007/978-3-642-00255-7\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VargasGTG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/VargasTG08,
author = {Abigail Parisaca Vargas and
Silvia Lizeth Tapia Tarifa and
Chris George},
editor = {M. Cecilia Bastarrica and
Mauricio Solar},
title = {A Translation from {RSL} to {CSP}},
booktitle = {{XXVII} International Conference of the Chilean Computer Science Society
{(SCCC} 2008), 10-14 November 2008, Punta Arenas, Chile},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCCC.2008.20},
doi = {10.1109/SCCC.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/VargasTG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
