Search dblp for Publications

export results for "stream:streams/conf/fmfun:"

 download as .bib file

@proceedings{DBLP:conf/fmfun/2019,
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-71374-4},
  doi          = {10.1007/978-3-030-71374-4},
  isbn         = {978-3-030-71373-7},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/0002MS19,
  author       = {Nikolay V. Shilov and
                  Evgeniy Muravev and
                  Svetlana O. Shilova},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Fun with Formal Methods for Better Education},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {92--105},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_4},
  doi          = {10.1007/978-3-030-71374-4\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/0002MS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Cerone19,
  author       = {Antonio Cerone},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {From Stories to Concurrency: How Children Can Play with Formal Methods},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {191--207},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_10},
  doi          = {10.1007/978-3-030-71374-4\_10},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/Cerone19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/CeroneL19,
  author       = {Antonio Cerone and
                  Karl Reiner Lermer},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Adapting to Different Types of Target Audience in Teaching Formal
                  Methods},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {106--123},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_5},
  doi          = {10.1007/978-3-030-71374-4\_5},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/CeroneL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/CeroneRDDFHMKKO19,
  author       = {Antonio Cerone and
                  Markus Roggenbach and
                  James H. Davenport and
                  Casey Denner and
                  Marie Farrell and
                  Magne Haveraaen and
                  Faron Moller and
                  Philipp K{\"{o}}rner and
                  Sebastian Krings and
                  Peter Csaba {\"{O}}lveczky and
                  Bernd{-}Holger Schlingloff and
                  Nikolay V. Shilov and
                  Rustam Zhumagambetov},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Rooting Formal Methods Within Higher Education Curricula for Computer
                  Science and Software Engineering - {A} White Paper -},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {1--26},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_1},
  doi          = {10.1007/978-3-030-71374-4\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/CeroneRDDFHMKKO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/DavenportC19,
  author       = {James H. Davenport and
                  Tom Crick},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Cybersecurity Education and Formal Methods},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {159--172},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_8},
  doi          = {10.1007/978-3-030-71374-4\_8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/DavenportC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Farrell019,
  author       = {Marie Farrell and
                  Hao Wu},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {When the Student Becomes the Teacher},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {208--217},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_11},
  doi          = {10.1007/978-3-030-71374-4\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmfun/Farrell019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Haveraaen19,
  author       = {Magne Haveraaen},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Axiom Based Testing for Fun and Pedagogy},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {27--57},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_2},
  doi          = {10.1007/978-3-030-71374-4\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/Haveraaen19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/KringsK19,
  author       = {Sebastian Krings and
                  Philipp K{\"{o}}rner},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Prototyping Games Using Formal Methods},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {124--142},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_6},
  doi          = {10.1007/978-3-030-71374-4\_6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/KringsK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/MollerOPD19,
  author       = {Faron Moller and
                  Liam O'Reilly and
                  Stewart Powell and
                  Casey Denner},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Teaching Them Early: Formal Methods in School},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {173--190},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_9},
  doi          = {10.1007/978-3-030-71374-4\_9},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/MollerOPD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Olveczky19,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Teaching Formal Methods for Fun Using Maude},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {58--91},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_3},
  doi          = {10.1007/978-3-030-71374-4\_3},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/Olveczky19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Schlingloff19,
  author       = {Bernd{-}Holger Schlingloff},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Teaching Model Checking via Games and Puzzles},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {143--158},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_7},
  doi          = {10.1007/978-3-030-71374-4\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/Schlingloff19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmfun/Zhumagambetov19,
  author       = {Rustam Zhumagambetov},
  editor       = {Antonio Cerone and
                  Markus Roggenbach},
  title        = {Teaching Formal Methods in Academia: {A} Systematic Literature Review},
  booktitle    = {Formal Methods - Fun for Everybody - First International Workshop,
                  FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1301},
  pages        = {218--226},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-71374-4\_12},
  doi          = {10.1007/978-3-030-71374-4\_12},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmfun/Zhumagambetov19.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.