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/ifm/ifm2023.bht:"
download as .bib file
@proceedings{DBLP:conf/ifm/2023,
editor = {Paula Herber and
Anton Wijs},
title = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-47705-8},
doi = {10.1007/978-3-031-47705-8},
isbn = {978-3-031-47704-1},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AbrahamKR23,
author = {Erika {\'{A}}brah{\'{a}}m and
J{\'{o}}zsef Kov{\'{a}}cs and
Anne Remke},
editor = {Paula Herber and
Anton Wijs},
title = {{SMT:} Something You Must Try},
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 = {3--18},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_1},
doi = {10.1007/978-3-031-47705-8\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/AbrahamKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ArmborstLH23,
author = {Lukas Armborst and
Sophie Lathouwers and
Marieke Huisman},
editor = {Paula Herber and
Anton Wijs},
title = {Joining Forces! Reusing Contracts for Deductive Verifiers Through
Automatic Translation},
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 = {153--171},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_9},
doi = {10.1007/978-3-031-47705-8\_9},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ArmborstLH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BargmannW23,
author = {Lara Bargmann and
Heike Wehrheim},
editor = {Paula Herber and
Anton Wijs},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification},
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 = {175--192},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_10},
doi = {10.1007/978-3-031-47705-8\_10},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BombardelliCTZ23,
author = {Alberto Bombardelli and
Alessandro Cimatti and
Stefano Tonetta and
Marco Zamboni},
editor = {Paula Herber and
Anton Wijs},
title = {Symbolic Model Checking of Relative Safety {LTL} Properties},
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 = {302--320},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_16},
doi = {10.1007/978-3-031-47705-8\_16},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BombardelliCTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CirsteaM23,
author = {Horatiu Cirstea and
Stephan Merz},
editor = {Paula Herber and
Anton Wijs},
title = {Extending PlusCal for Modeling Distributed Algorithms},
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 = {321--340},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_17},
doi = {10.1007/978-3-031-47705-8\_17},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/CirsteaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DunkelauL23,
author = {Jannik Dunkelau and
Michael Leuschel},
editor = {Paula Herber and
Anton Wijs},
title = {Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints
for the {B} Method},
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 = {237--256},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_13},
doi = {10.1007/978-3-031-47705-8\_13},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/DunkelauL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Edixhoven23,
author = {Luc Edixhoven},
editor = {Paula Herber and
Anton Wijs},
title = {Shuffling Posets on Trajectories},
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 = {384--390},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_21},
doi = {10.1007/978-3-031-47705-8\_21},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/Edixhoven23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ElwingGSTWR23,
author = {Jenna Elwing and
Laura Gamboa{-}Guzman and
Jeremy Sorkin and
Chiara Travesset and
Zili Wang and
Kristin Yvonne Rozier},
editor = {Paula Herber and
Anton Wijs},
title = {Mission-Time {LTL} {(MLTL)} Formula Validation via Regular Expressions},
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 = {279--301},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_15},
doi = {10.1007/978-3-031-47705-8\_15},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ElwingGSTWR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ErnstW23,
author = {Gidon Ernst and
Alexander Weigl},
editor = {Paula Herber and
Anton Wijs},
title = {Verify This: Memcached - {A} Practical Long-Term Challenge for the
Integration of Formal Methods},
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 = {82--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_5},
doi = {10.1007/978-3-031-47705-8\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ErnstW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GraczykHP23,
author = {Artur Graczyk and
Marialena Hadjikosti and
Andrei Popescu},
editor = {Paula Herber and
Anton Wijs},
title = {A Framework for Verifying the Collision Freeness of Collaborative
Robots (Work in Progress)},
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 = {391--397},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_22},
doi = {10.1007/978-3-031-47705-8\_22},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/GraczykHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JakobsP23,
author = {Marie{-}Christine Jakobs and
Tim Pollandt},
editor = {Paula Herber and
Anton Wijs},
title = {diffDP: Using Data Dependencies and Properties in Difference Verification
with Conditions},
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 = {40--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_3},
doi = {10.1007/978-3-031-47705-8\_3},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/JakobsP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanzingerBUD23,
author = {Florian Lanzinger and
Joshua Bachmeier and
Mattias Ulbrich and
Werner Dietl},
editor = {Paula Herber and
Anton Wijs},
title = {Scalable and Precise Refinement Types for Imperative Languages},
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 = {377--383},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_20},
doi = {10.1007/978-3-031-47705-8\_20},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LanzingerBUD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MoosbruggerMK23,
author = {Marcel Moosbrugger and
Julian M{\"{u}}llner and
Laura Kov{\'{a}}cs},
editor = {Paula Herber and
Anton Wijs},
title = {Automated Sensitivity Analysis for Probabilistic Loops},
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 = {21--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_2},
doi = {10.1007/978-3-031-47705-8\_2},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MoosbruggerMK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MuskardinTAP23,
author = {Edi Muskardin and
Martin Tappler and
Bernhard K. Aichernig and
Ingo Pill},
editor = {Paula Herber and
Anton Wijs},
title = {Reinforcement Learning Under Partial Observability Guided by Learned
Environment Models},
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 = {257--276},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_14},
doi = {10.1007/978-3-031-47705-8\_14},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MuskardinTAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OtoniBES23,
author = {Rodrigo Otoni and
Martin Blicha and
Patrick Eugster and
Natasha Sharygina},
editor = {Paula Herber and
Anton Wijs},
title = {{CHC} Model Validation with Proof Guarantees},
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 = {62--81},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_4},
doi = {10.1007/978-3-031-47705-8\_4},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/OtoniBES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaganoniF23,
author = {Marco Paganoni and
Carlo A. Furia},
editor = {Paula Herber and
Anton Wijs},
title = {Reasoning About Exceptional Behavior at the Level of Java Bytecode},
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 = {113--133},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_7},
doi = {10.1007/978-3-031-47705-8\_7},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/PaganoniF23.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/ifm/SchellhornBR23,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
editor = {Paula Herber and
Anton Wijs},
title = {Refinement and Separation: Modular Verification of Wandering Trees},
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 = {214--234},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_12},
doi = {10.1007/978-3-031-47705-8\_12},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/SchellhornBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TatmanHG23,
author = {Andy S. Tatman and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Paula Herber and
Anton Wijs},
title = {Analysis and Formal Specification of OpenJDK's BitSet},
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 = {134--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_8},
doi = {10.1007/978-3-031-47705-8\_8},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/TatmanHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Velev23,
author = {Miroslav N. Velev},
editor = {Paula Herber and
Anton Wijs},
title = {Automatic Formal Verification of {RISC-V} Pipelined Microprocessors
with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction},
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 = {193--213},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_11},
doi = {10.1007/978-3-031-47705-8\_11},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/Velev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/XuRAS23,
author = {Mengwei Xu and
Thibault Rivoalen and
Blair Archibald and
Michele Sevegnani},
editor = {Paula Herber and
Anton Wijs},
title = {CAN-verify: {A} Verification Tool For {BDI} Agents},
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 = {364--373},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_19},
doi = {10.1007/978-3-031-47705-8\_19},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/XuRAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ZianiKLPB23,
author = {Yani Ziani and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Daniel Gracia P{\'{e}}rez and
T{\'{e}}o Bernier},
editor = {Paula Herber and
Anton Wijs},
title = {Towards Formal Verification of a {TPM} Software Stack},
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 = {93--112},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_6},
doi = {10.1007/978-3-031-47705-8\_6},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ZianiKLPB23.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-08 21:41 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:
