default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM Workshops 2019: Porto, Portugal - Volume 1
- 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
- Paolo Masci:
Experiences with Streamlining Formal Methods Tools. 5-11 - Thierry Lecomte:
The Bourgeois Gentleman, Engineering and Formal Methods. 12-18 - Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi:
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. 19-29 - Zuzana Baranová, Petr Rockai:
Compiling C and C++ Programs for Dynamic White-Box Analysis. 30-45 - Petr Rockai:
Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table. 46-60 - Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. 61-76 - 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
- Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel:
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. 99-113 - 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 - Giuseppe Boccignone, Vittorio Cuculo, Alessandro D'Amelio:
How to Look Next? A Data-Driven Approach for Scanpath Prediction. 131-145 - Riccardo Guidotti, Giulio Rossetti:
"Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Network. 146-161 - Alessandro D'Amelio, Vittorio Cuculo, Sathya Bursic:
Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach. 162-169 - Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev:
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. 170-185 - Michela Natilli, Daniele Fadda, Salvatore Rinzivillo, Dino Pedreschi, Federica Licari:
Analysis and Visualization of Performance Indicators in University Admission Tests. 186-199 - 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
- 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 - Andreas Nonnengart, Matthias Klusch, Christian Müller:
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. 233-248 - Christopher Bischopink, Maike Schwammberger:
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. 249-264 - Keith Clark, Brijesh Dongol, Peter Robinson:
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs. 265-280 - 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
- Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich:
Smart Contracts: Application Scenarios for Deductive Program Verification. 293-298 - Zeinab Nehaï, François Bobot:
Deductive Proof of Industrial Smart Contracts Using Why3. 299-311 - Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi:
Verifying Smart Contracts with Cubicle. 312-324 - M. Anthony Aiello, Johannes Kanig, Taro Kurita:
Call Me Back, I Have a Type Invariant. 325-336 - Musab A. Alturki, Grigore Rosu:
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. 337-349 - Dennis Eijkel, Ansgar Fehnker:
A Distributed Blockchain Model of Selfish Mining. 350-361 - 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 - Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson:
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. 368-379 - Jakob Botsch Nielsen, Bas Spitters:
Smart Contract Interactions in Coq. 380-391 - 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
- Michael D. Harrison:
Examples of the Application of Formal Methods to Interactive Systems. 409-423 - Antonio Cerone, Peter Csaba Ölveczky:
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. 424-442 - Pascal Béger, Sébastien Leriche, Daniel Prun:
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. 443-464 - Sapna Jaidka, Steve Reeves, Judy Bowen:
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. 465-485 - Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque:
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. 486-502 - 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.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
