Korean
Hungarian
Spanish
Indonesian
Formal Methods. FM 2019 International Workshops
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Experiences with Streamlining Formal Methods Tools
-
Altmetric BadgeChapter 2 The Bourgeois Gentleman, Engineering and Formal Methods
-
Altmetric BadgeChapter 3 SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
-
Altmetric BadgeChapter 4 Compiling C and C++ Programs for Dynamic White-Box Analysis
-
Altmetric BadgeChapter 5 Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
-
Altmetric BadgeChapter 6 Addressing Usability in a Formal Development Environment
-
Altmetric BadgeChapter 7 Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
-
Altmetric BadgeChapter 8 Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
-
Altmetric BadgeChapter 9 An Ontology-Based Approach to Support Formal Verification of Concurrent Systems
-
Altmetric BadgeChapter 10 How to Look Next? A Data-Driven Approach for Scanpath Prediction
-
Altmetric BadgeChapter 11 “Know Thyself” How Personal Music Tastes Shape the Last.Fm Online Social Network
-
Altmetric BadgeChapter 12 Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach
-
Altmetric BadgeChapter 13 An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning
-
Altmetric BadgeChapter 14 Analysis and Visualization of Performance Indicators in University Admission Tests
-
Altmetric BadgeChapter 15 Anomaly Detection from Log Files Using Unsupervised Deep Learning
-
Altmetric BadgeChapter 16 Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent
-
Altmetric BadgeChapter 17 CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles
-
Altmetric BadgeChapter 18 Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
-
Altmetric BadgeChapter 19 Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
-
Altmetric BadgeChapter 20 A Mission Definition, Verification and Validation Architecture
-
Altmetric BadgeChapter 21 Smart Contracts: Application Scenarios for Deductive Program Verification
-
Altmetric BadgeChapter 22 Deductive Proof of Industrial Smart Contracts Using Why3
-
Altmetric BadgeChapter 23 Verifying Smart Contracts with Cubicle
-
Altmetric BadgeChapter 24 Call Me Back, I Have a Type Invariant
-
Altmetric BadgeChapter 25 Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies
-
Altmetric BadgeChapter 26 A Distributed Blockchain Model of Selfish Mining
-
Altmetric BadgeChapter 27 Towards a Verified Model of the Algorand Consensus Protocol in Coq
-
Altmetric BadgeChapter 28 Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
-
Altmetric BadgeChapter 29 Smart Contract Interactions in Coq
-
Altmetric BadgeChapter 30 Formal Specification of a Security Framework for Smart Contracts
-
Altmetric BadgeChapter 31 Examples of the Application of Formal Methods to Interactive Systems
-
Altmetric BadgeChapter 32 Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
-
Altmetric BadgeChapter 33 A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops
-
Altmetric BadgeChapter 34 Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets
-
Altmetric BadgeChapter 35 Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
-
Altmetric BadgeChapter 36 Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
Altmetric Badge