FM Workshops (2)

Publications

volume 12233, 2020

Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II FM Workshops (2) 12233 (2020)

2019

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
Reversible Programs Have Reversible Semantics. FM Workshops (2) (2019)
Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone
A Survey of Learning Methods in Open Source Software. FM Workshops (2) (2019)
Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
Migrating the INTO-CPS Application to the Cloud. FM Workshops (2) (2019)
Robert J. Colvin, Kirsten Winter
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities. FM Workshops (2) (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Assiya Khuzyakhmetova, Aidarbek Suleimenov
Open Source Software as a Learning Tool for Computer Science Students. FM Workshops (2) (2019)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) (2019)
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
Towards a Static Check of FMUs in VDM-SL. FM Workshops (2) (2019)
Kamil Khadiev, Aliya Khadieva
Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems. FM Workshops (2) (2019)
Mark Priestley
Flow Diagrams, Assertions, and Formal Methods. FM Workshops (2) (2019)
Marie-Claude Gaudel
Formal Specifications and Software Testing, a Fruitful Convergence. FM Workshops (2) (2019)
João F. Ferreira, Alexandra Mendes
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) (2019)
Graeme Smith, David J. Duke
Specification with Class: A Brief History of Object-Z. FM Workshops (2) (2019)
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet
Combination of Boxes and Polyhedra Abstractions for Constraint Solving. FM Workshops (2) (2019)
Robert Husák, Jan Kofron, Filip Zavoral
Handling Heap Data Structures in Backward Symbolic Execution. FM Workshops (2) (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
PrideMM: Second Order Model Checking for Memory Consistency Models. FM Workshops (2) (2019)
Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov
Nested Event Representation for Automated Assembly of Cell Signaling Network Models. FM Workshops (2) (2019)
Cliff B. Jones
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) (2019)
Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. FM Workshops (2) (2019)
Hellis Tamm
Quotients and Atoms of Reversible Languages. FM Workshops (2) (2019)
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models. FM Workshops (2) (2019)
Graeme Smith, Lindsay Groves
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. FM Workshops (2) (2019)
Douglas R. Smith, Stephen J. Westfold
Transformations for Generating Type Refinements. FM Workshops (2) (2019)
Troy Kaighin Astarte
What Have Formal Methods Ever Done for Us? An Audience Discussion. FM Workshops (2) (2019)
Dias Issa
Challenges Faced by Students in an Open Source Software Undergraduate Course. FM Workshops (2) (2019)
Peter T. Breuer, Simon J. Pickin
A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. FM Workshops (2) (2019)
Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. FM Workshops (2) (2019)
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
Bayesian Verification of Chemical Reaction Networks. FM Workshops (2) (2019)
Denis Efremov, Ilya V. Shchepetkov
Runtime Verification of Linux Kernel Security Module. FM Workshops (2) (2019)
Alexandra Vidal, Ana Sandra Meneses, António Sousa
From Manuscripts to Programming Languages: An Archivist Perspective. FM Workshops (2) (2019)
Jeremy Gibbons
The School of Squiggol - A History of the Bird-Meertens Formalism. FM Workshops (2) (2019)
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) (2019)
Christophe Alias
Fkcc: The Farkas Calculator. FM Workshops (2) (2019)