Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2022-3.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/AlbertsG22,
author = {Elvin Alberts and
Ilias Gerostathopoulos},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Measuring Convergence Inertia: Online Learning in Self-adaptive Systems
with Context Shifts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {231--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_15},
doi = {10.1007/978-3-031-19759-8\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AlbertsG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanAP22,
author = {Yehia Abd Alrahman and
Shaun Azzopardi and
Nir Piterman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking Reconfigurable Interacting Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {373--389},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_23},
doi = {10.1007/978-3-031-19759-8\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AudritoDT22,
author = {Giorgio Audrito and
Ferruccio Damiani and
Gianluca Torta},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Bringing Aggregate Programming Towards the Cloud},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {301--317},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_19},
doi = {10.1007/978-3-031-19759-8\_19},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AudritoDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiCJLMV22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Tommi Junttila and
Alberto Lluch{-}Lafuente and
Massimiliano Mirelli and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Analysis of Lending Pools in Decentralized Finance},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {335--355},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_21},
doi = {10.1007/978-3-031-19759-8\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BartolettiCJLMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBC22,
author = {Davide Basile and
Maurice H. ter Beek and
Vincenzo Ciancia},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Experimental Toolchain for Strategy Synthesis with Spatial Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {142--164},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_10},
doi = {10.1007/978-3-031-19759-8\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BasileBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BettiniBPT22,
author = {Lorenzo Bettini and
Khalid Bourr and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming Multi-robot Systems with {X-KLAIM}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {283--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_18},
doi = {10.1007/978-3-031-19759-8\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BettiniBPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BozgaS22,
author = {Marius Bozga and
Joseph Sifakis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Correct by Design Coordination of Autonomous Driving Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {13--29},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_2},
doi = {10.1007/978-3-031-19759-8\_2},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BozgaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrandstatterSST22,
author = {Andreas Brandst{\"{a}}tter and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari and
Radu Grosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Drone Flocking Using Relative Distance Measurements},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {97--109},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_7},
doi = {10.1007/978-3-031-19759-8\_7},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BrandstatterSST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BuresHKPKHSWH22,
author = {Tom{\'{a}}s Bures and
Petr Hnetynka and
Martin Krulis and
Frantisek Pl{\'{a}}sil and
Danylo Khalyeyev and
Sebastian Hahner and
Stephan Seifermann and
Maximilian Walter and
Robert Heinrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Attuning Adaptation Rules via a Rule-Specific Neural Network},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {215--230},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_14},
doi = {10.1007/978-3-031-19759-8\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BuresHKPKHSWH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CairoliPB22,
author = {Francesca Cairoli and
Nicola Paoletti and
Luca Bortolussi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Neural Predictive Monitoring for Collective Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {30--46},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_3},
doi = {10.1007/978-3-031-19759-8\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CairoliPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChenS22,
author = {Yifeng Chen and
Jeff W. Sanders},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Modal Approach to Consciousness of Agents},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {127--141},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_9},
doi = {10.1007/978-3-031-19759-8\_9},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ChenS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FettkeR22,
author = {Peter Fettke and
Wolfgang Reisig},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Discrete Models of Continuous Behavior of Collective Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {65--81},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_5},
doi = {10.1007/978-3-031-19759-8\_5},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FettkeR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HartmannsK22,
author = {Arnd Hartmanns and
Michaela Klauck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Modest State of Learning, Sampling, and Verifying Strategies},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {406--432},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_25},
doi = {10.1007/978-3-031-19759-8\_25},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HartmannsK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerKW22,
author = {Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Epistemic Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {110--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_8},
doi = {10.1007/978-3-031-19759-8\_8},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HennickerKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KleinP22,
author = {Julia Klein and
Tatjana Petrov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Understanding Social Feedback in Biological Collectives with Smoothed
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {181--198},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_12},
doi = {10.1007/978-3-031-19759-8\_12},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KleinP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenLMP22,
author = {Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Importance Splitting in Uppaal},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {433--447},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_26},
doi = {10.1007/978-3-031-19759-8\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenLMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenLNSSS22,
author = {Kim G. Larsen and
Axel Legay and
Gerrit Nolte and
Maximilian Schl{\"{u}}ter and
Mari{\"{e}}lle Stoelinga and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods Meet Machine Learning {(F3ML)}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {393--405},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_24},
doi = {10.1007/978-3-031-19759-8\_24},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenLNSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LazregCL22,
author = {Sami Lazreg and
Maxime Cordy and
Axel Legay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of Variability-Intensive Stochastic Systems with Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {448--471},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_27},
doi = {10.1007/978-3-031-19759-8\_27},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LazregCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeeBO22,
author = {Jaehun Lee and
Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Extension of HybridSynchAADL and Its Application to Collaborating
Autonomous UAVs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {47--64},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_4},
doi = {10.1007/978-3-031-19759-8\_4},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LeeBO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leguizamon-Robayo22,
author = {Alexander Leguizamon{-}Robayo and
Max Tschaikowski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Efficient Estimation of Agent Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {199--214},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_13},
doi = {10.1007/978-3-031-19759-8\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Leguizamon-Robayo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Rewriting Framework for Interacting Cyber-Physical Agents},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {356--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_22},
doi = {10.1007/978-3-031-19759-8\_22},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MonicaBZ22,
author = {Stefania Monica and
Federico Bergenti and
Franco Zambonelli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {165--180},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_11},
doi = {10.1007/978-3-031-19759-8\_11},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MonicaBZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MurgiaPTT22,
author = {Maurizio Murgia and
Riccardo Pinciroli and
Catia Trubiani and
Emilio Tuosto},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Model-Based Performance Analysis of Collective Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {266--282},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_17},
doi = {10.1007/978-3-031-19759-8\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MurgiaPTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaSIV22,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Serenella Valiani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling Flocks of Birds from the Bottom Up},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {82--96},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_6},
doi = {10.1007/978-3-031-19759-8\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RitzPSAWSSKLG22,
author = {Fabian Ritz and
Thomy Phan and
Andreas Sedlmeier and
Philipp Altmann and
Jan Wieghardt and
Reiner N. Schmid and
Horst Sauer and
Cornel Klein and
Claudia Linnhoff{-}Popien and
Thomas Gabor},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Capturing Dependencies Within Machine Learning via a Formal Process
Model},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {249--265},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_16},
doi = {10.1007/978-3-031-19759-8\_16},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/RitzPSAWSSKLG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TopferABHK22,
author = {Michal T{\"{o}}pfer and
Milad Abdullah and
Tom{\'{a}}s Bures and
Petr Hnetynka and
Martin Krulis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {318--334},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_20},
doi = {10.1007/978-3-031-19759-8\_20},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/TopferABHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNJ22,
author = {Martin Wirsing and
Rocco De Nicola and
Stefan J{\"{a}}hnichen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 4\({}^{\mbox{th}}\) Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {3--12},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_1},
doi = {10.1007/978-3-031-19759-8\_1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-3,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8},
doi = {10.1007/978-3-031-19759-8},
isbn = {978-3-031-19758-1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-3.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.
retrieved on 2024-05-13 07:21 CEST from data curated 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:
