Abstract is missing.
- Experiences with Streamlining Formal Methods ToolsPaolo Masci. 5-11 [doi]
- The Bourgeois Gentleman, Engineering and Formal MethodsThierry Lecomte. 12-18 [doi]
- SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-BMohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi. 19-29 [doi]
- Compiling C and C++ Programs for Dynamic White-Box AnalysisZuzana Baranová, Petr Rockai. 30-45 [doi]
- Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash TablePetr Rockai. 46-60 [doi]
- Addressing Usability in a Formal Development EnvironmentPaolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 61-76 [doi]
- Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEXRichard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq. 77-91 [doi]
- Validation of a Simulation Algorithm for Safety-Critical Human MultitaskingGiovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel. 99-113 [doi]
- An Ontology-Based Approach to Support Formal Verification of Concurrent SystemsNatalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch. 114-130 [doi]
- How to Look Next? A Data-Driven Approach for Scanpath PredictionGiuseppe Boccignone, Vittorio Cuculo, Alessandro D'Amelio. 131-145 [doi]
- "Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social NetworkRiccardo Guidotti, Giulio Rossetti. 146-161 [doi]
- Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning ApproachAlessandro D'Amelio, Vittorio Cuculo, Sathya Bursic. 162-169 [doi]
- An Instrumented Mobile Language Learning Application for the Analysis of Usability and LearningAigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev. 170-185 [doi]
- Analysis and Visualization of Performance Indicators in University Admission TestsMichela Natilli, Daniele Fadda, Salvatore Rinzivillo, Dino Pedreschi, Federica Licari. 186-199 [doi]
- Anomaly Detection from Log Files Using Unsupervised Deep LearningSathya Bursic, Vittorio Cuculo, Alessandro D'Amelio. 200-207 [doi]
- Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an AgentGleifer Vaz Alves, Louise A. Dennis, Michael Fisher 0001. 217-232 [doi]
- CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous VehiclesAndreas Nonnengart, Matthias Klusch, Christian Müller. 233-248 [doi]
- Verification of Fair Controllers for Urban Traffic Manoeuvres at IntersectionsChristopher Bischopink, Maike Schwammberger. 249-264 [doi]
- Temporal Logic Semantics for Teleo-Reactive Robotic Agent ProgramsKeith Clark, Brijesh Dongol, Peter Robinson. 265-280 [doi]
- A Mission Definition, Verification and Validation ArchitectureLouis Viard, Laurent Ciarletta, Pierre-Etienne Moreau. 281-287 [doi]
- Smart Contracts: Application Scenarios for Deductive Program VerificationBernhard Beckert, Jonas Schiffl, Mattias Ulbrich. 293-298 [doi]
- Deductive Proof of Industrial Smart Contracts Using Why3Zeinab Nehaï, François Bobot. 299-311 [doi]
- Verifying Smart Contracts with CubicleSylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi. 312-324 [doi]
- Call Me Back, I Have a Type InvariantM. Anthony Aiello, Johannes Kanig, Taro Kurita. 325-336 [doi]
- Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal StrategiesMusab A. AlTurki, Grigore Rosu. 337-349 [doi]
- A Distributed Blockchain Model of Selfish MiningDennis Eijkel, Ansgar Fehnker. 350-361 [doi]
- Towards a Verified Model of the Algorand Consensus Protocol in CoqMusab A. AlTurki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu. 362-367 [doi]
- Mi-Cho-Coq, a Framework for Certifying Tezos Smart ContractsBruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson. 368-379 [doi]
- Smart Contract Interactions in CoqJakob Botsch Nielsen, Bas Spitters. 380-391 [doi]
- Formal Specification of a Security Framework for Smart ContractsMikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov. 392-403 [doi]
- Examples of the Application of Formal Methods to Interactive SystemsMichael D. Harrison. 409-423 [doi]
- Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time MaudeAntonio Cerone, Peter Csaba Ölveczky. 424-442 [doi]
- A Survey of Papers from Formal Methods for Interactive Systems (FMIS) WorkshopsPascal Béger, Sébastien Leriche, Daniel Prun. 443-464 [doi]
- Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri NetsSapna Jaidka, Steve Reeves, Judy Bowen. 465-485 [doi]
- Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-NetsAlexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque. 486-502 [doi]
- Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI WidgetsDavid Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. 503-519 [doi]