Search dblp for Publications

export results for "toc:db/conf/icfem/icfem2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfem/AkandeHFL23,
  author       = {Ayodeji James Akande and
                  Zhe Hou and
                  Ernest Foo and
                  Qinyi Li},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {A Runtime Verification Framework for Cyber-Physical Systems Based
                  on Data Analytics and {LTL} Formula Learning},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {273--278},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_19},
  doi          = {10.1007/978-981-99-7584-6\_19},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AkandeHFL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BlankestijnL23,
  author       = {Max Blankestijn and
                  Alfons Laarman},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Incremental Property Directed Reachability},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {208--227},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_13},
  doi          = {10.1007/978-981-99-7584-6\_13},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BlankestijnL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CartellierFM23,
  author       = {Quelen Cartellier and
                  Marc Frappier and
                  Amel Mammar},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Proving Local Invariants in ASTDs},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {228--246},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_14},
  doi          = {10.1007/978-981-99-7584-6\_14},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/CartellierFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Cheng23,
  author       = {Xiao Cheng},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Vulnerability Detection via Typestate-Guided Code Representation Learning},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {291--297},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_22},
  doi          = {10.1007/978-981-99-7584-6\_22},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Cheng23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/EvangelouOostMBH23,
  author       = {Nasos Evangelou{-}Oost and
                  Larissa Meinicke and
                  Callum Bannister and
                  Ian J. Hayes},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Trace Models of Concurrent Valuation Algebras},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {118--136},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_8},
  doi          = {10.1007/978-981-99-7584-6\_8},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/EvangelouOostMBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FosterGOSVW23,
  author       = {Michael Foster and
                  Roland Groz and
                  Catherine Oriat and
                  Adenilso da Silva Sim{\~{a}}o and
                  Germ{\'{a}}n Vega and
                  Neil Walkinshaw},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Active Inference of EFSMs Without Reset},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {29--46},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_3},
  doi          = {10.1007/978-981-99-7584-6\_3},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FosterGOSVW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HayesUW23,
  author       = {Ian J. Hayes and
                  Mark Utting and
                  Brae J. Webb},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Verifying Compiler Optimisations - (Invited Paper)},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {3--8},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_1},
  doi          = {10.1007/978-981-99-7584-6\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/HayesUW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/JensenJL23,
  author       = {Nicolaj {\O}. Jensen and
                  Peter Gj{\o}l Jensen and
                  Kim G. Larsen},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Dynamic Extrapolation in Extended Timed Automata},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {83--99},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_6},
  doi          = {10.1007/978-981-99-7584-6\_6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/JensenJL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/KogelKG23,
  author       = {Paul Kogel and
                  Verena Kl{\"{o}}s and
                  Sabine Glesner},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Learning Mealy Machines with Local Timers},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {47--64},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_4},
  doi          = {10.1007/978-981-99-7584-6\_4},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/KogelKG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Ma23,
  author       = {Zhongkui Ma},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Verifying Neural Networks by Approximating Convex Hulls},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {261--266},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_17},
  doi          = {10.1007/978-981-99-7584-6\_17},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Ma23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MaFWLMGM23,
  author       = {Zhongkui Ma and
                  Xinguo Feng and
                  Zihan Wang and
                  Shuofeng Liu and
                  Mengyao Ma and
                  Hao Guan and
                  Mark Huasong Meng},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formalizing Robustness Against Character-Level Perturbations for Neural
                  Network Language Models},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {100--117},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_7},
  doi          = {10.1007/978-981-99-7584-6\_7},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/MaFWLMGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MurrayYE23,
  author       = {Toby Murray and
                  Pengbo Yan and
                  Gidon Ernst},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Compositional Vulnerability Detection with Insecurity Separation Logic},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {65--82},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_5},
  doi          = {10.1007/978-981-99-7584-6\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MurrayYE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/NguyenPSL23,
  author       = {Tai D. Nguyen and
                  Long H. Pham and
                  Jun Sun and
                  Quang Loc Le},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {An Idealist's Approach for Smart Contract Correctness},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {11--28},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_2},
  doi          = {10.1007/978-981-99-7584-6\_2},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/NguyenPSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PillaiHBM23,
  author       = {Babu Pillai and
                  Zh{\'{e}} H{\'{o}}u and
                  Kamanashis Biswas and
                  Vallipuram Muthukkumarasamy},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Verification of the Burn-to-Claim Blockchain Interoperable
                  Protocol},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {249--254},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_15},
  doi          = {10.1007/978-981-99-7584-6\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PillaiHBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SljivoDM23,
  author       = {Irfan Sljivo and
                  Ewen Denney and
                  Jonathan Menzies},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Guided Integration of Formal Verification in Assurance Cases},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {172--190},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_11},
  doi          = {10.1007/978-981-99-7584-6\_11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SljivoDM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Stock23,
  author       = {Sebastian Stock},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Early and Systematic Validation of Formal Models},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {255--260},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_16},
  doi          = {10.1007/978-981-99-7584-6\_16},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Stock23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/StockME23,
  author       = {Sebastian Stock and
                  Atif Mashkoor and
                  Alexander Egyed},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Validation-Driven Development},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {191--207},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_12},
  doi          = {10.1007/978-981-99-7584-6\_12},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/StockME23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/WuXY23,
  author       = {Huan Wu and
                  Fei Xie and
                  Zhenkun Yang},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Certifying Sequential Consistency of Machine Learning Accelerators},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_10},
  doi          = {10.1007/978-981-99-7584-6\_10},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/WuXY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Xu23,
  author       = {Feng Xu},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Unified Verification of Neural Networks' Robustness and Privacy in
                  Computer Vision},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {279--284},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_20},
  doi          = {10.1007/978-981-99-7584-6\_20},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Xu23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/XueS23,
  author       = {Xiaoyong Xue and
                  Meng Sun},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Branch and Bound for Sigmoid-Like Neural Network Verification},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {137--155},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_9},
  doi          = {10.1007/978-981-99-7584-6\_9},
  timestamp    = {Thu, 16 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/XueS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Yang23,
  author       = {Yilin Yang},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {IoT Software Vulnerability Detection Techniques through Large Language
                  Model},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {285--290},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_21},
  doi          = {10.1007/978-981-99-7584-6\_21},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Yang23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Zhang23,
  author       = {Guanqin Zhang},
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Eager to Stop: Efficient Falsification of Deep Neural Networks},
  booktitle    = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  pages        = {267--272},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6\_18},
  doi          = {10.1007/978-981-99-7584-6\_18},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Zhang23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfem/2023,
  editor       = {Yi Li and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Methods and Software Engineering - 24th International Conference
                  on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
                  November 21-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14308},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7584-6},
  doi          = {10.1007/978-981-99-7584-6},
  isbn         = {978-981-99-7583-9},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.