default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2024-4.bht:"
download as .bib file
@proceedings{DBLP:conf/isola/2024-4,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-75387-9},
doi = {10.1007/978-3-031-75387-9},
isbn = {978-3-031-75386-2},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2024-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Autexier24,
author = {Serge Autexier},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Using Large Language Models Pre-trained on Digital Twins as Oracles
to Foster the Use of Formal Methods in Practice},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {30--43},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_3},
doi = {10.1007/978-3-031-75387-9\_3},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Autexier24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckerKupczokH24,
author = {Jonas Becker{-}Kupczok and
Paula Herber},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Automated Security Hardening Using Timed Path Conditions in
Shared Bus Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {115--131},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_8},
doi = {10.1007/978-3-031-75387-9\_8},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BeckerKupczokH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertKPRT24,
author = {Bernhard Beckert and
Jonas Klamroth and
Wolfram Pfeifer and
Patrick R{\"{o}}per and
Samuel Teuber},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Combining the Cognitive Abilities of Large Language Models
with the Rigor of Deductive Progam Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {242--257},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_15},
doi = {10.1007/978-3-031-75387-9\_15},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BeckertKPRT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekCDS24,
author = {Maurice H. ter Beek and
Loek Cleophas and
Clemens Dubslaff and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {X-by-Construction Meets {AI}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {155--161},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_10},
doi = {10.1007/978-3-031-75387-9\_10},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BeekCDS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BellavistaG24,
author = {Paolo Bellavista and
Andrea Garbugli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Cloud Continuum Digital Twins: Architectures of Solution, Open Technical
Challenges, and Lessons Learned},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {44--59},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_4},
doi = {10.1007/978-3-031-75387-9\_4},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BellavistaG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BelmonteBCLM24,
author = {Gina Belmonte and
Laura Bussi and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Hybrid-AI in Imaging Using VoxLogicA},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {205--221},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_13},
doi = {10.1007/978-3-031-75387-9\_13},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BelmonteBCLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BloemCNS24,
author = {Roderick Bloem and
Sebastian Chlup and
Dejan Nickovic and
Christoph Schmittner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Threat Model Repair},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {302--310},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_18},
doi = {10.1007/978-3-031-75387-9\_18},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BloemCNS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BozzanoCCGST24,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Cristoforetti and
Alberto Griggio and
Piergiorgio Svaizer and
Stefano Tonetta},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Formal Design of {FDIR} Components with {AI}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {311--328},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_19},
doi = {10.1007/978-3-031-75387-9\_19},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BozzanoCCGST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChalupaHMS24,
author = {Marek Chalupa and
Thomas A. Henzinger and
Nicolas Mazzocchi and
N. Ege Sara{\c{c}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {QuAK: Quantitative Automata Kit},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {3--20},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_1},
doi = {10.1007/978-3-031-75387-9\_1},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ChalupaHMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DemeyerHM24,
author = {Serge Demeyer and
Reiner H{\"{a}}hnle and
Heiko Mantel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automating Software Re-Engineering Introduction to the ISoLA 2024
Track},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {23--29},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_2},
doi = {10.1007/978-3-031-75387-9\_2},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DemeyerHM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DemeyerRBH24,
author = {Serge Demeyer and
Coen De Roover and
Mutlu Beyazit and
Johannes H{\"{a}}rtel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Threats to Instrument Validity Within "in Silico" Research: Software
Engineering to the Rescue},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {82--96},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_6},
doi = {10.1007/978-3-031-75387-9\_6},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DemeyerRBH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GehringM24,
author = {Maximilian Gehring and
Heiko Mantel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a More Sustainable Re-engineering of Heterogeneous Distributed
Systems Using Cooperating Run-Time Monitors},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {132--152},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_9},
doi = {10.1007/978-3-031-75387-9\_9},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GehringM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KingstonPS24,
author = {Sebastian Kingston and
Violet Ka I Pun and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Clone Elimination in Python Tests},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {97--114},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_7},
doi = {10.1007/978-3-031-75387-9\_7},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KingstonPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KodetzkiBKS24,
author = {Maximilian Kodetzki and
Tabea Bordis and
Michael Kirsten and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards AI-Assisted Correctness-by-Construction Software Development},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {222--241},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_14},
doi = {10.1007/978-3-031-75387-9\_14},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KodetzkiBKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MaderbacherWB24,
author = {Benedikt Maderbacher and
Felix Windisch and
Roderick Bloem},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Synthesis from Infinite-State Generalized Reactivity(1) Specifications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {281--301},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_17},
doi = {10.1007/978-3-031-75387-9\_17},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MaderbacherWB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarahC24,
author = {Hussein Marah and
Moharram Challenger},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {(Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {60--81},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_5},
doi = {10.1007/978-3-031-75387-9\_5},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MarahC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarquesSilva24,
author = {Jo{\~{a}}o Marques{-}Silva},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Logic-Based Explainability: Past, Present and Future},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {181--204},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_12},
doi = {10.1007/978-3-031-75387-9\_12},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MarquesSilva24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Platzer24,
author = {Andr{\'{e}} Platzer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Intersymbolic {AI} - Interlinking Symbolic {AI} and Subsymbolic {AI}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {162--180},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_11},
doi = {10.1007/978-3-031-75387-9\_11},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Platzer24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WenzelKSZSFH24,
author = {Julius Wenzel and
Maximilian A. K{\"{o}}hl and
Sarah Sterz and
Hanwei Zhang and
Andreas Schmidt and
Christof Fetzer and
Holger Hermanns},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Traceability and Accountability by Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering Methodologies - 12th International Symposium,
ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part
{IV}},
series = {Lecture Notes in Computer Science},
volume = {15222},
pages = {258--280},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-75387-9\_16},
doi = {10.1007/978-3-031-75387-9\_16},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WenzelKSZSFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-20 00:35 CET 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:
