Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rudolf Schlatte
@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}
}
@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}
}
@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/birthday/Schlatte20,
author = {Rudolf Schlatte},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {A Note on Idleness Detection of Actor Systems},
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 = {437--445},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_21},
doi = {10.1007/978-3-031-08166-8\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Schlatte20.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/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}
}
@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/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}
}
@incollection{DBLP:series/lncs/MezzinaSGHHCLMSSU20,
author = {Claudio Antares Mezzina and
Rudolf Schlatte and
Robert Gl{\"{u}}ck and
Tue Haulund and
James Hoey and
Martin Holm Cservenka and
Ivan Lanese and
Torben {\AE}. Mogensen and
Harun Siljak and
Ulrik Pagh Schultz and
Irek Ulidowski},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Software and Reversible Systems: {A} Survey of Recent Activities},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {41--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_2},
doi = {10.1007/978-3-030-47361-7\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/MezzinaSGHHCLMSSU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/SoyluKZJGSHSBLH18,
author = {Ahmet Soylu and
Evgeny Kharlamov and
Dmitriy Zheleznyakov and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Martin Giese and
Martin G. Skj{\ae}veland and
Dag Hovland and
Rudolf Schlatte and
Sebastian Brandt and
Hallstein Lie and
Ian Horrocks},
title = {OptiqueVQS: {A} visual query system over ontologies for industry},
journal = {Semantic Web},
volume = {9},
number = {5},
pages = {627--660},
year = {2018},
url = {https://doi.org/10.3233/SW-180293},
doi = {10.3233/SW-180293},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/SoyluKZJGSHSBLH18.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/sefm/DinSC18,
author = {Crystal Chang Din and
Rudolf Schlatte and
Tzu{-}Chun Chen},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Program Verification for Exception Handling on Active Objects Using
Futures},
booktitle = {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},
pages = {73--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_5},
doi = {10.1007/978-3-319-92970-5\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DinSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/SoyluGSJKONB17,
author = {Ahmet Soylu and
Martin Giese and
Rudolf Schlatte and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Evgeny Kharlamov and
{\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and
Christian Neuenstadt and
Sebastian Brandt},
title = {Querying industrial stream-temporal data: An ontology-based visual
approach},
journal = {J. Ambient Intell. Smart Environ.},
volume = {9},
number = {1},
pages = {77--95},
year = {2017},
url = {https://doi.org/10.3233/AIS-160415},
doi = {10.3233/AIS-160415},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/SoyluGSJKONB17.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}
}
@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}
}
@inproceedings{DBLP:conf/esws/SoyluGSJOB16,
author = {Ahmet Soylu and
Martin Giese and
Rudolf Schlatte and
Ernesto Jim{\'{e}}nez{-}Ruiz and
{\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and
Sebastian Brandt},
editor = {Thanos G. Stavropoulos and
Georgios Meditskos and
Antonis Bikakis},
title = {Domain Experts Surfing on Stream Sensor Data over Ontologies},
booktitle = {Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile
and Pervasive Environments co-located with the 13th Extended Semantic
Web Conference {(ESWC} 2016), Heraklion, Greece, May 29, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1588},
pages = {11--20},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1588/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:13 +0100},
biburl = {https://dblp.org/rec/conf/esws/SoyluGSJOB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/SoyluGSJOB16a,
author = {Ahmet Soylu and
Martin Giese and
Rudolf Schlatte and
Ernesto Jim{\'{e}}nez{-}Ruiz and
{\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and
Sebastian Brandt},
editor = {Harald Sack and
Giuseppe Rizzo and
Nadine Steinmetz and
Dunja Mladenic and
S{\"{o}}ren Auer and
Christoph Lange},
title = {A Visual Query System for Stream Data Access over Ontologies},
booktitle = {The Semantic Web - {ESWC} 2016 Satellite Events, Heraklion, Crete,
Greece, May 29 - June 2, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9989},
pages = {161--166},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47602-5\_32},
doi = {10.1007/978-3-319-47602-5\_32},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/SoyluGSJOB16a.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}
}
@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/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}
}
@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/esws/KharlamovJZBGHHKKORRSSSW13,
author = {Evgeny Kharlamov and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Dmitriy Zheleznyakov and
Dimitris Bilidas and
Martin Giese and
Peter Haase and
Ian Horrocks and
Herald Kllapi and
Manolis Koubarakis and
{\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and
Mariano Rodriguez{-}Muro and
Riccardo Rosati and
Michael Schmidt and
Rudolf Schlatte and
Ahmet Soylu and
Arild Waaler},
editor = {Philipp Cimiano and
Miriam Fern{\'{a}}ndez and
Vanessa L{\'{o}}pez and
Stefan Schlobach and
Johanna V{\"{o}}lker},
title = {Optique: Towards {OBDA} Systems for Industry},
booktitle = {The Semantic Web: {ESWC} 2013 Satellite Events - {ESWC} 2013 Satellite
Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7955},
pages = {125--140},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41242-4\_11},
doi = {10.1007/978-3-642-41242-4\_11},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/KharlamovJZBGHHKKORRSSSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WongAMPSS12,
author = {Peter Y. H. Wong and
Elvira Albert and
Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Jan Sch{\"{a}}fer and
Rudolf Schlatte},
title = {The {ABS} tool suite: modelling, executing and analysing distributed
adaptable object-oriented systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {5},
pages = {567--588},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0250-1},
doi = {10.1007/S10009-012-0250-1},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/WongAMPSS12.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/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/sac/NobakhtBJS12,
author = {Behrooz Nobakht and
Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Rudolf Schlatte},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Programming and deployment of active objects with application-level
scheduling},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1883--1888},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232086},
doi = {10.1145/2245276.2232086},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/NobakhtBJS12.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/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}
}
@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/fmco/ClarkeMPSS10,
author = {Dave Clarke and
Radu Muschevici and
Jos{\'{e}} Proen{\c{c}}a and
Ina Schaefer and
Rudolf Schlatte},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Variability Modelling in the {ABS} Language},
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 = {204--224},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_11},
doi = {10.1007/978-3-642-25271-6\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/ClarkeMPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/JohnsenOST10,
author = {Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Validating Timed Models of Deployment Components with Parametric Concurrency},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_4},
doi = {10.1007/978-3-642-18070-5\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foveoos/JohnsenOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JohnsenOST10,
author = {Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Dynamic Resource Reallocation between Deployment Components},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {646--661},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_42},
doi = {10.1007/978-3-642-16901-4\_42},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JohnsenOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4262,
author = {Joakim Bj{\o}rk and
Einar Broch Johnsen and
Olaf Owe and
Rudolf Schlatte},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Lightweight Time Modeling in Timed Creol},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {67--81},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.4},
doi = {10.4204/EPTCS.36.4},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/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}
}
@article{DBLP:journals/fac/BasukiCGS09,
author = {Thomas Anung Basuki and
Antonio Cerone and
Andreas Griesmayer and
Rudolf Schlatte},
title = {Model-checking user behaviour using interacting components},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {571--588},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0101-8},
doi = {10.1007/S00165-008-0101-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BasukiCGS09.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/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/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:journals/entcs/SchlatteAGK10,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Andreas Griesmayer and
Marcel Kyas},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Resource Modeling for Timed Creol Models},
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 = {63--75},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.049},
doi = {10.1016/J.ENTCS.2010.08.049},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchlatteAGK10.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/AichernigGSS09,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Rudolf Schlatte and
Andries Stam},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Modeling and Testing Multi-Threaded Asynchronous Systems with 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 = {3--14},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.002},
doi = {10.1016/J.ENTCS.2009.07.002},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigGSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samt/TroncyBHHS06,
author = {Rapha{\"{e}}l Troncy and
Werner Bailer and
Michael Hausenblas and
Philip Hofmair and
Rudolf Schlatte},
editor = {Yannis Avrithis and
Yiannis Kompatsiaris and
Steffen Staab and
Noel E. O'Connor},
title = {Enabling Multimedia Metadata Interoperability by Defining Formal Semantics
of {MPEG-7} Profiles},
booktitle = {Semantic Multimedia, First International Conference on Semantics and
Digital Media Technologies, {SAMT} 2006, Athens, Greece, December
6-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4306},
pages = {41--55},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11930334\_4},
doi = {10.1007/11930334\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/samt/TroncyBHHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-02 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
