TFM - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 72 from 72

2023

Graphical Loop Invariant Based ProgrammingGéraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet. tfm 2023: 17-33 [doi]

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, ProceedingsCatherine Dubois, Pierluigi San Pietro, editors, Volume 13962 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Model Checking Concurrent Programs for Autograding in pseuCo BookFelix Freiberger. tfm 2023: 51-65 [doi]

A Gentle Introduction to Verification of Parameterized Reactive SystemsNicolas Féral, Alain Giorgetti. tfm 2023: 34-50 [doi]

Teaching TLA+ to Engineers at MicrosoftMarkus A. Kuppe. tfm 2023: 66-81 [doi]

Teaching and Training in Formalisation with BThierry Lecomte. tfm 2023: 82-95 [doi]

Teaching Low-Code Formal Methods with Coloured Petri NetsSomsak Vanit-Anunchai. tfm 2023: 96-104 [doi]

Automated Exercise Generation for Satisfiability CheckingErika Ábrahám, Jasper Nalbach, Valentin Promies. tfm 2023: 1-16 [doi]

2022

2021

Introducing Formal Methods to First-Year Students in Three Intensive WeeksLuca Aceto, Anna Ingólfsdóttir. tfm 2021: 1-17 [doi]

Lessons of Formal Program Design in DafnyRan Ettinger. tfm 2021: 84-100 [doi]

Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, ProceedingsJoão F. Ferreira, Alexandra Mendes, Claudio Menghi, editors, Volume 13122 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Online Teaching of Verification of C Programs in Applied Computer ScienceMatthias Güdemann. tfm 2021: 18-34 [doi]

A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper)Norbert Hundeshagen, Martin Lange. tfm 2021: 35-42 [doi]

Increasing Engagement with Interactive Visualization: Formal Methods as Serious GamesEduard Kamburjan, Lukas Grätz. tfm 2021: 43-59 [doi]

Increasing Student Self-Reliance and Engagement in Model-Checking CoursesPhilipp Körner, Sebastian Krings. tfm 2021: 60-74 [doi]

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)Livia Lestingi. tfm 2021: 75-83 [doi]

Teaching Correctness-by-Construction and Post-hoc Verification - The Online ExperienceTobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer. tfm 2021: 101-116 [doi]

Using Isabelle in Two Courses on Logic and Automated ReasoningJørgen Villadsen, Frederik Krogsdal Jacobsen. tfm 2021: 117-132 [doi]

Introducing Formal Methods to Students Who Hate Maths and Struggle with ProgrammingNisansala Yatapanage. tfm 2021: 133-145 [doi]

2019

The Computational Relevance of Formal Logic Through Formal ProofsAriane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón. tfm 2019: 81-96 [doi]

You Already Used Formal Methods but Did Not Know ItGiampaolo Bella. tfm 2019: 228-243 [doi]

Teaching Deductive Verification in Why3 to Undergraduate StudentsSandrine Blazy. tfm 2019: 52-66 [doi]

Teaching Formal Methods: Lessons Learnt from Using Event-BNéstor Cataño. tfm 2019: 212-227 [doi]

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer ScientistsLéo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet. tfm 2019: 23-36 [doi]

Using Krakatoa for Teaching Formal Verification of Java ProgramsJose Divasón, Ana Romero. tfm 2019: 37-51 [doi]

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, ProceedingsBrijesh Dongol, Luigia Petre, Graeme Smith, editors, Volume 11758 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Teaching Formal Methods to Future EngineersCatherine Dubois, Virgile Prevosto, Guillaume Burel. tfm 2019: 69-80 [doi]

Managing Heterogeneity and Bridging the Gap in Teaching Formal MethodsPamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke. tfm 2019: 181-195 [doi]

Teaching Formal Methods: From Software in the Small to Software in the LargeMaría-del-Mar Gallardo, Laura Panizo. tfm 2019: 97-110 [doi]

Logic, Algebra, and Geometry at the Foundation of Computer ScienceTony Hoare, Alexandra Mendes, João F. Ferreira. tfm 2019: 3-20 [doi]

Principled and Pragmatic Specification of Programming LanguagesAdrian Johnstone, Elizabeth Scott. tfm 2019: 165-180 [doi]

Teaching Discrete Mathematics to Computer Science StudentsFaron Moller, Liam O'Reilly. tfm 2019: 150-164 [doi]

On Teaching Applied Formal Methods in Aerospace EngineeringKristin Yvonne Rozier. tfm 2019: 111-131 [doi]

Teaching Concurrency with the Disappearing Formal MethodEmil Sekerinski. tfm 2019: 135-149 [doi]

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed ApproachAndrew Simpson. tfm 2019: 196-211 [doi]

2009

Teaching Concurrency: Theory in PracticeLuca Aceto, Anna IngÃ³lfsdÃ³ttir, Kim Guldstrand Larsen, JirÃ Srba. tfm 2009: 158-175 [doi]

Integrated and Tool-Supported Teaching of Testing, Debugging, and VerificationWolfgang Ahrendt, Richard Bubel, Reiner HÃ¤hnle. tfm 2009: 125-143 [doi]

Teaching Formal Methods for the Unconquered TerritoryNÃ©stor CataÃ±o, Camilo Rueda. tfm 2009: 2-19 [doi]

Which Mathematics for the Information Society?JoÃ£o F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, LuÃs S. Barbosa. tfm 2009: 39-56 [doi]

Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. ProceedingsJeremy Gibbons, JosÃ© Nuno Oliveira, editors, Volume 5846 of Lecture Notes in Computer Science, Springer, 2009. [doi]

How to Explain MistakesStefan Hallerstede, Michael Leuschel. tfm 2009: 105-124 [doi]

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE ProjectFuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden. tfm 2009: 57-71 [doi]

On Teaching Formal Methods: Behavior Models and Code AnalysisJan Kofron, Pavel Parizek, Ondrej Sery. tfm 2009: 144-157 [doi]

Abstraction and Modelling: A Complementary PartnershipJeffrey Kramer. tfm 2009: 1 [doi]

Teaching Program Specification and Verification Using JML and ESC/Java2Erik Poll. tfm 2009: 92-104 [doi]

Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with ZSureyya Tarkan, Vibha Sazawal. tfm 2009: 72-91 [doi]

Teaching Formal Methods Based on Rewriting Logic and MaudePeter Csaba Ã–lveczky. tfm 2009: 20-38 [doi]

2004

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and AnalysisEgon Börger. tfm 2004: 65-84 [doi]

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code PatternsManuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro. tfm 2004: 85-106 [doi]

Designing Algorithms in High School MathematicsSylvia da Rosa. tfm 2004: 17-31 [doi]

Teaching Formal Methods in ContextJim Davies, Andrew Simpson, Andrew Martin. tfm 2004: 185-202 [doi]

Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, ProceedingsC. Neville Dean, Raymond T. Boute, editors, Volume 3294 of Lecture Notes in Computer Science, Springer, 2004.

Integrating Formal Specification and Software Verification and ValidationRoger Duke, Tim Miller, Paul A. Strooper. tfm 2004: 124-139 [doi]

Linking Paradigms, Semi-formal and Formal NotationsHenri Habrias, Sébastien Faucou. tfm 2004: 166-184 [doi]

An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring StudentsManuel J. Fernández Iglesias, Martín Llamas Nistal. tfm 2004: 153-165 [doi]

A Beginner s Course on Reasoning About Imperative ProgramsKung-Kiu Lau. tfm 2004: 1-16 [doi]

Formal Systems, Not MethodsMartin Loomes, Bruce Christianson, Neil Davey. tfm 2004: 47-64 [doi]

Advertising Formal Methods and Organizing Their Teaching: Yes, but ...Dino Mandrioli. tfm 2004: 214-224 [doi]

A Survey of Formal Methods Courses in European Higher EducationJosé Nuno Oliveira. tfm 2004: 235-248 [doi]

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal MethodsRichard F. Paige, Jonathan S. Ostroff. tfm 2004: 107-123 [doi]

Distributed Teaching of Formal MethodsPeter Pepper. tfm 2004: 140-152 [doi]

Motivating Study of Formal Methods in the ClassroomJoy N. Reed, Jane Sinclair. tfm 2004: 32-46 [doi]

Embedding Formal Development in Software EngineeringKen Robinson. tfm 2004: 203-213 [doi]

Retrospect and Prospect of Formal Methods Education in ChinaBaowen Xu, Yingzhou Zhang, Yanhui Li. tfm 2004: 225-234 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

TFM (tfm)

Viewing Publication 1 - 72 from 72

2023

2022

2021

2019

2009

2004

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

TFM (tfm)

Viewing Publication 1 - 72 from 72

2023

2022

2021

2019

2009

2004

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1