FM Workshops (1)

Keyphrases

Publications

volume 12232, 2020

Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I FM Workshops (1) 12232 (2020)

2019

Michael D. Harrison
Examples of the Application of Formal Methods to Interactive Systems. FM Workshops (1) (2019)
Giuseppe Boccignone, Vittorio Cuculo, Alessandro D'Amelio
How to Look Next? A Data-Driven Approach for Scanpath Prediction. FM Workshops (1) (2019)
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. FM Workshops (1) (2019)
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov
Formal Specification of a Security Framework for Smart Contracts. FM Workshops (1) (2019)
Alessandro D'Amelio, Vittorio Cuculo, Sathya Bursic
Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach. FM Workshops (1) (2019)
Thierry Lecomte
The Bourgeois Gentleman, Engineering and Formal Methods. FM Workshops (1) (2019)
Paolo Masci
Experiences with Streamlining Formal Methods Tools. FM Workshops (1) (2019)
Pascal Béger, Sébastien Leriche, Daniel Prun
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. FM Workshops (1) (2019)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. FM Workshops (1) (2019)
Antonio Cerone, Peter Csaba Ölveczky
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) (2019)
Michela Natilli, Daniele Fadda, Salvatore Rinzivillo, Dino Pedreschi, Federica Licari
Analysis and Visualization of Performance Indicators in University Admission Tests. FM Workshops (1) (2019)
David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. FM Workshops (1) (2019)
M. Anthony Aiello, Johannes Kanig, Taro Kurita
Call Me Back, I Have a Type Invariant. FM Workshops (1) (2019)
Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. FM Workshops (1) (2019)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Addressing Usability in a Formal Development Environment. FM Workshops (1) (2019)
Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. FM Workshops (1) (2019)
Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
A Mission Definition, Verification and Validation Architecture. FM Workshops (1) (2019)
Dennis Eijkel, Ansgar Fehnker
A Distributed Blockchain Model of Selfish Mining. FM Workshops (1) (2019)
Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. FM Workshops (1) (2019)
Riccardo Guidotti, Giulio Rossetti
"Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Network. FM Workshops (1) (2019)
Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. FM Workshops (1) (2019)
Sathya Bursic, Vittorio Cuculo, Alessandro D'Amelio
Anomaly Detection from Log Files Using Unsupervised Deep Learning. FM Workshops (1) (2019)
Christopher Bischopink, Maike Schwammberger
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. FM Workshops (1) (2019)
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) (2019)
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) (2019)
Andreas Nonnengart, Matthias Klusch, Christian Müller
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. FM Workshops (1) (2019)
Jakob Botsch Nielsen, Bas Spitters
Smart Contract Interactions in Coq. FM Workshops (1) (2019)
Sapna Jaidka, Steve Reeves, Judy Bowen
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) (2019)
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. FM Workshops (1) (2019)
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi
Verifying Smart Contracts with Cubicle. FM Workshops (1) (2019)
Keith Clark, Brijesh Dongol, Peter Robinson
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs. FM Workshops (1) (2019)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
Towards a Verified Model of the Algorand Consensus Protocol in Coq. FM Workshops (1) (2019)
Zuzana Baranová, Petr Rockai
Compiling C and C++ Programs for Dynamic White-Box Analysis. FM Workshops (1) (2019)
Zeinab Nehaï, François Bobot
Deductive Proof of Industrial Smart Contracts Using Why3. FM Workshops (1) (2019)
Musab A. Alturki, Grigore Rosu
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. FM Workshops (1) (2019)
Petr Rockai
Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table. FM Workshops (1) (2019)