default search action

combined dblp search
author search
venue search
publication search

ask others

FM Workshops 2019: Porto, Portugal - Volume 1

> Home > Conferences and Workshops > FM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fm/2019-w1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2019-w1
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0

AFFORD 2019 - 3rd Workshop on Practical Formal Verification for Software Dependability

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Masci19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Masci19
Paolo Masci:
Experiences with Streamlining Formal Methods Tools. 5-11
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lecomte19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lecomte19
Thierry Lecomte:
The Bourgeois Gentleman, Engineering and Formal Methods. 12-18
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DalvandiBF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DalvandiBF19
Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi:
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. 19-29
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BaranovaR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BaranovaR19
Zuzana Baranová, Petr Rockai:
Compiling C and C++ Programs for Dynamic White-Box Analysis. 30-45
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Rockai19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Rockai19
Petr Rockai:
Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table. 46-60
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ArcainiBGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ArcainiBGRS19
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. 61-76
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BanachRDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BanachRDL19
Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq:
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. 77-91

DataMod 2019 - 8th International Symposium From Data to Models and Back

- view
  authority control:
- export record
  dblp key:
  - conf/fm/BrocciaMBM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BrocciaMBM19
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel:
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. 99-113
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GaraninaASKZG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GaraninaASKZG19
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. 114-130
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BoccignoneCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BoccignoneCD19
Giuseppe Boccignone, Vittorio Cuculo, Alessandro D'Amelio:
How to Look Next? A Data-Driven Approach for Scanpath Prediction. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GuidottiR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GuidottiR19
Riccardo Guidotti, Giulio Rossetti:
"Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Network. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DAmelioCB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DAmelioCB19
Alessandro D'Amelio, Vittorio Cuculo, Sathya Bursic:
Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach. 162-169
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AibassovaCT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AibassovaCT19
Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev:
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. 170-185
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NatilliFRPL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NatilliFRPL19
Michela Natilli, Daniele Fadda, Salvatore Rinzivillo, Dino Pedreschi, Federica Licari:
Analysis and Visualization of Performance Indicators in University Admission Tests. 186-199
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BursicCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BursicCD19
Sathya Bursic, Vittorio Cuculo, Alessandro D'Amelio:
Anomaly Detection from Log Files Using Unsupervised Deep Learning. 200-207

FMAS 2019 - 1st Formal Methods for Autonomous Systems Workshop

- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlvesD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlvesD019
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher:
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. 217-232
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NonnengartKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NonnengartKM19
Andreas Nonnengart, Matthias Klusch, Christian Müller:
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. 233-248
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BischopinkS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BischopinkS19
Christopher Bischopink, Maike Schwammberger:
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. 249-264
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ClarkDR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ClarkDR19
Keith Clark, Brijesh Dongol, Peter Robinson:
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs. 265-280
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ViardCM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ViardCM19
Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau:
A Mission Definition, Verification and Validation Architecture. 281-287

FMBC 2019 - 1st Workshop on Formal Methods for Blockchains

- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckertSU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckertSU19
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich:
Smart Contracts: Application Scenarios for Deductive Program Verification. 293-298
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NehaiB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NehaiB19
Zeinab Nehaï, François Bobot:
Deductive Proof of Industrial Smart Contracts Using Why3. 299-311
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ConchonKZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ConchonKZ19
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi:
Verifying Smart Contracts with Cubicle. 312-324
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AielloKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AielloKK19
M. Anthony Aiello, Johannes Kanig, Taro Kurita:
Call Me Back, I Have a Type Invariant. 325-336
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlturkiR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlturkiR19
Musab A. Alturki, Grigore Rosu:
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. 337-349
- view
  authority control:
- export record
  dblp key:
  - conf/fm/EijkelF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/EijkelF19
Dennis Eijkel, Ansgar Fehnker:
A Distributed Blockchain Model of Selfish Mining. 350-361
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlturkiCLMPPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlturkiCLMPPR19
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. 362-367
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BernardoCHPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BernardoCHPT19
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson:
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. 368-379
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NielsenS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NielsenS19
Jakob Botsch Nielsen, Bas Spitters:
Smart Contract Interactions in Coq. 380-391
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MandrykinOPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MandrykinOPS19
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov:
Formal Specification of a Security Framework for Smart Contracts. 392-403

FMIS 2019 - 8th Formal Methods for Interactive Systems Workshop

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Harrison19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Harrison19
Michael D. Harrison:
Examples of the Application of Formal Methods to Interactive Systems. 409-423
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CeroneO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CeroneO19
Antonio Cerone, Peter Csaba Ölveczky:
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. 424-442
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BegerLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BegerLP19
Pascal Béger, Sébastien Leriche, Daniel Prun:
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. 443-464
- view
  authority control:
- export record
  dblp key:
  - conf/fm/JaidkaRB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/JaidkaRB19
Sapna Jaidka, Steve Reeves, Judy Bowen:
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. 465-485
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CannyNCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CannyNCP19
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque:
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. 486-502
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NavarrePCLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NavarrePCLV19
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. 503-519

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.