Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tfm/BruckerM24,
  author       = {Achim D. Brucker and
                  Diego Marmsoler},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Teaching Formal Methods in Application Domains - {A} Case Study in
                  Computer and Network Security},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {124--140},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_8},
  doi          = {10.1007/978-3-031-71379-8\_8},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/BruckerM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Carvalho24,
  author       = {Gustavo Carvalho},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Teaching Formal Methods for 10 Years: Reflections on theories, tools,
                  materials, and communities},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {58--74},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_4},
  doi          = {10.1007/978-3-031-71379-8\_4},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/Carvalho24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/HallerstedeHR24,
  author       = {Stefan Hallerstede and
                  John Hatcliff and
                  Robby},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Teaching with Logika: Conceiving and Constructing Correct Software},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {106--123},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_7},
  doi          = {10.1007/978-3-031-71379-8\_7},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/HallerstedeHR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Mery24,
  author       = {Dominique M{\'{e}}ry},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Checking Contracts in Event-B - Reporting the Introduction and the
                  Use of Automated Tools for Verifying Software-Based Systems in Higher
                  Education},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_6},
  doi          = {10.1007/978-3-031-71379-8\_6},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/Mery24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/NegriniAOCF24,
  author       = {Luca Negrini and
                  Vincenzo Arceri and
                  Luca Olivieri and
                  Agostino Cortesi and
                  Pietro Ferrara},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Teaching Through Practice: Advanced Static Analysis with LiSA},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {43--57},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_3},
  doi          = {10.1007/978-3-031-71379-8\_3},
  timestamp    = {Mon, 09 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/NegriniAOCF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/PadalinoPSNR24,
  author       = {Luca Padalino and
                  Francesca Pia Panaccione and
                  Francesco Santambrogio and
                  Elisabetta Di Nitto and
                  Matteo G. Rossi},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {An Educational Module for Temporal Features in Alloy 6},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_5},
  doi          = {10.1007/978-3-031-71379-8\_5},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/PadalinoPSNR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/Platzer24,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {The Significance of Symbolic Logic for Scientific Education},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_1},
  doi          = {10.1007/978-3-031-71379-8\_1},
  timestamp    = {Mon, 09 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tfm/Platzer24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/SoaibuzzamanR24,
  author       = {Soaibuzzaman and
                  Jan Oliver Ringert},
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Introducing GitHub Classroom into a Formal Methods Module},
  booktitle    = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  pages        = {25--42},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8\_2},
  doi          = {10.1007/978-3-031-71379-8\_2},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/SoaibuzzamanR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tfm/2024,
  editor       = {Emil Sekerinski and
                  Leila Ribeiro},
  title        = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
                  2024, Milan, Italy, September 10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14939},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71379-8},
  doi          = {10.1007/978-3-031-71379-8},
  isbn         = {978-3-031-71378-1},
  timestamp    = {Wed, 11 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/2024.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.