Search dblp for Publications

export results for "toc:db/conf/tfm/fmtea2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tfm/AcetoI21,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Introducing Formal Methods to First-Year Students in Three Intensive
                  Weeks},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_1},
  doi          = {10.1007/978-3-030-91550-6\_1},
  timestamp    = {Fri, 22 Apr 2022 14:23:22 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/AcetoI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Ettinger21,
  author       = {Ran Ettinger},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Lessons of Formal Program Design in Dafny},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {84--100},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_7},
  doi          = {10.1007/978-3-030-91550-6\_7},
  timestamp    = {Fri, 03 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/Ettinger21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Gudemann21,
  author       = {Matthias G{\"{u}}demann},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Online Teaching of Verification of {C} Programs in Applied Computer
                  Science},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_2},
  doi          = {10.1007/978-3-030-91550-6\_2},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/Gudemann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/HundeshagenL21,
  author       = {Norbert Hundeshagen and
                  Martin Lange},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {A Proposal for a Framework to Accompany Formal Methods Learning Tools
                  - (Short Paper)},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {35--42},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_3},
  doi          = {10.1007/978-3-030-91550-6\_3},
  timestamp    = {Fri, 03 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/HundeshagenL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/KamburjanG21,
  author       = {Eduard Kamburjan and
                  Lukas Gr{\"{a}}tz},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Increasing Engagement with Interactive Visualization: Formal Methods
                  as Serious Games},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {43--59},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_4},
  doi          = {10.1007/978-3-030-91550-6\_4},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/KamburjanG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/KornerK21,
  author       = {Philipp K{\"{o}}rner and
                  Sebastian Krings},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Increasing Student Self-Reliance and Engagement in Model-Checking
                  Courses},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {60--74},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_5},
  doi          = {10.1007/978-3-030-91550-6\_5},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/KornerK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Lestingi21,
  author       = {Livia Lestingi},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Teaching Formal Methods to Software Engineers through Collaborative
                  Learning (Short Paper)},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {75--83},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_6},
  doi          = {10.1007/978-3-030-91550-6\_6},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/Lestingi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/RungeBTS21,
  author       = {Tobias Runge and
                  Tabea Bordis and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Teaching Correctness-by-Construction and Post-hoc Verification - The
                  Online Experience},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {101--116},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_8},
  doi          = {10.1007/978-3-030-91550-6\_8},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/RungeBTS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/VilladsenJ21,
  author       = {J{\o}rgen Villadsen and
                  Frederik Krogsdal Jacobsen},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Using Isabelle in Two Courses on Logic and Automated Reasoning},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_9},
  doi          = {10.1007/978-3-030-91550-6\_9},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/VilladsenJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Yatapanage21,
  author       = {Nisansala Yatapanage},
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Introducing Formal Methods to Students Who Hate Maths and Struggle
                  with Programming},
  booktitle    = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  pages        = {133--145},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6\_10},
  doi          = {10.1007/978-3-030-91550-6\_10},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/Yatapanage21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tfm/2021,
  editor       = {Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Claudio Menghi},
  title        = {Formal Methods Teaching - 4th International Workshop and Tutorial,
                  FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13122},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91550-6},
  doi          = {10.1007/978-3-030-91550-6},
  isbn         = {978-3-030-91549-0},
  timestamp    = {Fri, 22 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/2021.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.