|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Somsak Vanit-Anunchai |
Teaching Low-Code Formal Methods with Coloured Petri Nets.  |
FMTea  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Jasper Nalbach, Valentin Promies |
Automated Exercise Generation for Satisfiability Checking. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet |
Graphical Loop Invariant Based Programming. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Freiberger |
Model Checking Concurrent Programs for Autograding in pseuCo Book. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Pierluigi San Pietro (eds.) |
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Féral, Alain Giorgetti |
A Gentle Introduction to Verification of Parameterized Reactive Systems. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus A. Kuppe |
Teaching TLA+ to Engineers at Microsoft. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Lecomte |
Teaching and Training in Formalisation with B. |
FMTea |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Güdemann |
Online Teaching of Verification of C Programs in Applied Computer Science. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen Villadsen, Frederik Krogsdal Jacobsen |
Using Isabelle in Two Courses on Logic and Automated Reasoning. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Livia Lestingi |
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nisansala Yatapanage |
Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. Ferreira 0001, Alexandra Mendes, Claudio Menghi (eds.) |
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Ettinger |
Lessons of Formal Program Design in Dafny. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Lukas Grätz |
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Hundeshagen, Martin Lange |
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper). |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Körner, Sebastian Krings |
Increasing Student Self-Reliance and Engagement in Model-Checking Courses. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer |
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. |
FMTea |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Laura Panizo |
Teaching Formal Methods: From Software in the Small to Software in the Large. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke |
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Luigia Petre, Graeme Smith 0001 (eds.) |
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Hoare, Alexandra Mendes, João F. Ferreira 0001 |
Logic, Algebra, and Geometry at the Foundation of Computer Science. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella |
You Already Used Formal Methods but Did Not Know It. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Faron Moller, Liam O'Reilly |
Teaching Discrete Mathematics to Computer Science Students. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy |
Teaching Deductive Verification in Why3 to Undergraduate Students. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Yvonne Rozier |
On Teaching Applied Formal Methods in Aerospace Engineering. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón |
The Computational Relevance of Formal Logic Through Formal Proofs. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Simpson |
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet |
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski |
Teaching Concurrency with the Disappearing Formal Method. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Divasón, Ana Romero 0001 |
Using Krakatoa for Teaching Formal Verification of Java Programs. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Virgile Prevosto, Guillaume Burel |
Teaching Formal Methods to Future Engineers. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Néstor Cataño |
Teaching Formal Methods: Lessons Learnt from Using Event-B. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Johnstone, Elizabeth Scott |
Principled and Pragmatic Specification of Programming Languages. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license