Search dblp for Publications

export results for "toc:db/conf/icse-formalise/formalise2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icse-formalise/BajcziAM22,
  author       = {Levente Bajczi and
                  Zs{\'{o}}fia {\'{A}}d{\'{a}}m and
                  Vince Moln{\'{a}}r},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {C for Yourself: Comparison of Front-End Techniques for Formal Verification},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527646},
  doi          = {10.1145/3524482.3527646},
  timestamp    = {Mon, 03 Jul 2023 17:01:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/BajcziAM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/FaqrizalS22,
  author       = {Irman Faqrizal and
                  Gwen Sala{\"{u}}n},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Counting Bugs in Behavioural Models using Counterexample Analysis},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {12--22},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527647},
  doi          = {10.1145/3524482.3527647},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/FaqrizalS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/Halle22,
  author       = {Sylvain Hall{\'{e}}},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Test Suite Generation for Boolean Conditions with Equivalence Class
                  Partitioning},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {23--33},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527659},
  doi          = {10.1145/3524482.3527659},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/Halle22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/HusseinRMSH22,
  author       = {Soha Hussein and
                  Sanjai Rayadurgam and
                  Stephen McCamant and
                  Vaibhav Sharma and
                  Mats P. E. Heimdahl},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Counterexample-Guided Inductive Repair of Reactive Contracts},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {46--57},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527650},
  doi          = {10.1145/3524482.3527650},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/HusseinRMSH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/JovanovicS22,
  author       = {Ana Jovanovic and
                  Allison Sullivan},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Towards Automated Input Generation for Sketching Alloy Models},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {58--68},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527651},
  doi          = {10.1145/3524482.3527651},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/JovanovicS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/LathouwersH22,
  author       = {Sophie Lathouwers and
                  Marieke Huisman},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Formal Specifications Investigated: {A} Classification and Analysis
                  of Annotations for Deductive Verifiers},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {69--79},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527652},
  doi          = {10.1145/3524482.3527652},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/LathouwersH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/LestingiSSRBR22,
  author       = {Livia Lestingi and
                  Cristian Sbrolli and
                  Pasquale Scarmozzino and
                  Giorgio Romeo and
                  Marcello M. Bersani and
                  Matteo Rossi},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Formal Modeling and Verification of Multi-Robot Interactive Scenarios
                  in Service Settings},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {80--90},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527653},
  doi          = {10.1145/3524482.3527653},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/LestingiSSRBR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/MetereA22,
  author       = {Roberto Metere and
                  Luca Arnaboldi},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Automating Cryptographic Protocol Language Generation from Structured
                  Specifications},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {91--101},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527654},
  doi          = {10.1145/3524482.3527654},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/MetereA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/MohammadiGLM22,
  author       = {Hessamaldin Mohammadi and
                  Wided Ghardallou and
                  Richard C. Linger and
                  Ali Mili},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Computing Program Functions},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {102--112},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527655},
  doi          = {10.1145/3524482.3527655},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/MohammadiGLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/NilizadehCLC22,
  author       = {Amirfarhad Nilizadeh and
                  Marlon Calvo and
                  Gary T. Leavens and
                  David R. Cok},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Generating Counterexamples in the form of Unit Tests from Hoare-style
                  Verification Attempts},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {124--128},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527656},
  doi          = {10.1145/3524482.3527656},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/NilizadehCLC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/SharmaMHW22,
  author       = {Arnab Sharma and
                  Vitalik Melnikov and
                  Eyke H{\"{u}}llermeier and
                  Heike Wehrheim},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Property-Driven Testing of Black-Box Functions},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {113--123},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527657},
  doi          = {10.1145/3524482.3527657},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/SharmaMHW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse-formalise/TabarBH22,
  author       = {Asmae Heydari Tabar and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle},
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Automatic Loop Invariant Generation for Data Dependence Analysis},
  booktitle    = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  pages        = {34--45},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482.3527649},
  doi          = {10.1145/3524482.3527649},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/TabarBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse-formalise/2022,
  editor       = {Arnd Hartmanns and
                  Ina Schaefer and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {10th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
                  2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524482},
  doi          = {10.1145/3524482},
  isbn         = {978-1-4503-9287-7},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/2022.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.