The table below lists all invited talks and papers accepted for presentation at FM’19 events.
Event Title Author(s)
FM 2019 A Parametric Rely-guarantee Reasoning Framework for Concurrent Reactive Systems Yongwang Zhao, David Sanan, Fuyuan Zhang and Yang Liu
FM 2019 A Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm Mariano Moscato, Laura Titolo, Marco Antonio Feliu Gabaldon and César Muñoz
FM 2019 APML: An Architecture Proof Modelling Language Diego Marmsoler and Genc Blakqori
FM 2019 Abstract Execution Dominic Steinhöfel and Reiner Hähnle
FM 2019 Abstraction and Subsumption in Modular Verification of C Programs Lennart Beringer and Andrew W. Appel
FM 2019 Alloy*: a general-purpose higher-order relational constraint solver (Journal First Track) Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang and Daniel Jackson
FM 2019 An Axiomatic Approach to Liveness for Differential Equations Yong Kiam Tan and André Platzer
FM 2019 Circus2CSP: a Tool for Model-Checking Circus using FDR Artur Gomes and Andrew Butterfield
FM 2019 Compositional verification of concurrent systems combining divbranching and strong bisimulations Frédéric Lang, Radu Mateescu and Franco Mazzanti
FM 2019 Concolic Testing Heap-Manipulating Programs Long Hong Pham, Quang Loc Le, Quoc-Sang Phan and Jun Sun
FM 2019 Conditions of contracts for separating responsibilities in heterogeneous systems (Journal First Track) Jonas Westman and Mattias Nyberg
FM 2019 Controlling Large Boolean Networks with Temporary and Permanent Perturbations Cui Su, Soumya Paul and Jun Pang
FM 2019 Counterexample-Driven Synthesis for Probabilistic Program Sketches Milan Ceska, Christian Dehnert, Sebastian Junges and Joost-Pieter Katoen
FM 2019 Embedding High-Level Formal Specifications into Applications Philipp Koerner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings and Michael Leuschel
FM 2019 Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos
FM 2019 Formal Methods for Security Functionality and for Secure Functionality (Invited Talk) 
Erik Poll
FM 2019 Formal Semantics Extraction from Natural Language Specifications for ARM Viet Anh Vu and Mizuhito Ogawa
FM 2019 Formally Verified Roundoff Errors using SMT-based Certificates and Subdivisions Joachim Bard, Heiko Becker and Eva Darulova
FM 2019 From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata Simon Jantsch, David Müller, Christel Baier and Joachim Klein
FM 2019 GOSPEL - Providing OCaml with a Formal Specification Language Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço and Mário Pereira
FM 2019 GR(1)*: GR(1) Specifications Extended with Existential Guarantees Gal Amram, Shahar Maoz and Or Pistiner
FM 2019 Generic Partition Refinement and Weighted Tree Automata Hans-Peter Deifel, Stefan Milius, Lutz Schröder and Thorsten Wißmann
FM 2019 Gray-box Monitoring of Hyperproperties Sandro Stucki, César Sánchez, Gerardo Schneider and Borzoo Bonakdarpour
FM 2019 How Hard is Finding Shortest Counter-Example Lassos in Model Checking? Rüdiger Ehlers
FM 2019 IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Serbanuta, Ralph Johnson and Grigore Roşu
FM 2019 L*-Based Learning of Markov Decision Processes Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen
FM 2019 Learning Deterministic Variable Automata over Infinite Alphabets Sarai Sheinvald
FM 2019 Local Consistency Check in Dataflow Models Dina Irofti and Paul Dubrulle
FM 2019 Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Jean-Paul Bodeveix, Julien Brunel, David Chemouil and Mamoun Filali-Amine
FM 2019 On the Nature of Symbolic Execution Frank de Boer and Marcello Bonsangue
FM 2019 Optimization and Synthesis of Railway Signaling Layout from Local Capacity Specifications Bjørnar Luteberget, Christian Johansen and Martin Steffen
FM 2019 Parallel Composition and Modular Verification of Periodic Components in Differential Dynamic Logic Simon Lunel, Stefan Mitsch, Benoît Boyer and Jean-Pierre Talpin
FM 2019 Pegasus: A Framework for Sound Continuous Invariant Generation Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell and André Platzer
FM 2019 Quantitative Verification of Numerical Stability for Kalman Filters Alexandros Evangelidis and David Parker
FM 2019 Reasoning Formally about Database Queries and Updates Jon Hael Brenas, Rachid Echahed and Martin Strecker
FM 2019 Service-Oriented Architecture and The Button Problem Sung-Shik Jongmans, Arjan Lamers and Marko Van Eekelen
FM 2019 Star-Based Reachability Analysis of Deep Neural Networks Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiao Dong Yang, Luan Nguyen, Weiming Xiang and Taylor T Johnson
FM 2019 Static Analysis for Detecting High-Level Races in RTOS Kernels Abhishek Singh, Rekha Rama Pai, Deepak D'Souza and Meenakshi D'Souza
FM 2019 Successes in Deployed Verified Software (and Insights on Key Social Factors) (Invited Talk) June Andronick
FM 2019 The Human in Formal Methods (Invited Talk) Shriram Krishnamurthi
FM 2019 Towards a model-checker for Circus Artur Gomes and Andrew Butterfield
FM 2019 Unification in Matching Logic Andrei Arusoaie and Dorel Lucanu
FM 2019 Unifying separation logic and region logic to allow interoperability (Journal First Track) Yuyan Bao, Gary T. Leavens and Gidon Ernst
FM 2019 Value-dependent information-flow security on weak memory models Graeme Smith, Nicholas Coughlin and Toby Murray
FM 2019 Verifying Correctness of Persistent Concurrent Data Structures John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn and Heike Wehrheim
DS 2019 Automata-Theoretic Protocol Programming (Invited Talk) Sung-Shik Jongmans
DS 2019 Blockmania QED. Maria Anna Schett
DS 2019 Data Types in Logic Programming João Barbosa
DS 2019 Delayed Hybrid Systems Erzana Berani Abdelwahab
DS 2019 Discrete Polymorphism with Gradual Typing Pedro Jorge Fernandes Ângelo
DS 2019 Formal Verification of Autonomous Driving Systems Yuvaraj Selvaraj
DS 2019 Passlab: A Password Security Tool for the Blue Team Saul Johnson
DS 2019 Provable cyber security for industrial control systems Tomas Kulik
DS 2019 Robustness Verification of Support Vector Machines Marco Zanella
DS 2019 Static Analysis of Python Programs Raphaël Monat
DS 2019 Synthesising Monitors for Autonomous Traffic Christopher Bischopink
i-Day 2019 Adopting Formal Methods in an Industrial Setting: the Railways Case Maurice ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi and Franco Mazzanti
i-Day 2019 Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System Robert Eschbach
i-Day 2019 Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP Daniel Silveira, Andreas Jung, Marcel Verhoef and Tiago Jorge
i-Day 2019 Formal Models as Executable Prototypes and Interactive Requirements Documents (Invited Talk) Michael Leuschel
i-Day 2019 On the Role of Formal Methods in Assuring Autonomous Systems That Use Machine Learning (Invited Talk) Constance Heitmeyer
i-Day 2019 Practical Application of SPARK to OpenUxAS M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura Humphrey and James Hamil
i-Day 2019 Property-Driven Software Analysis Mathieu Comptier, David Déharbe, Paulin Fournier and Julien Molinero-Perez
LOPSTR 2019 A Certified Functional Nominal C-Unification Algorithm Mauricio Ayala-Rincon, Maribel Fernández, Gabriel Silva and Daniele Nantes-Sobrinho
LOPSTR 2019 A General Framework for Static Cost Analysis of Parallel Logic Programs Maximiliano Klemen, Pedro Lopez-Garcia, John Gallagher, Jose F. Morales and Manuel Hermenegildo
LOPSTR 2019 A Port Graph Rewriting Approach toRelational Database Modelling Janos Varga, Maribel Fernández and Bruno Pinaud
LOPSTR 2019 An Integrated Approach to Assertion-Based Random Testing in Prolog Ignacio Casso, Jose F. Morales and Manuel Hermenegildo
LOPSTR 2019 An Optional Static Type System for Prolog Isabel Wingen and Philipp Koerner
LOPSTR 2019 Blockchain Superoptimizer Julian Nagele and Maria Anna Schett
LOPSTR 2019 Computing Abstract Distances in Logic Programs Ignacio Casso, Jose F. Morales, Pedro Lopez-Garcia and Manuel Hermenegildo
LOPSTR 2019 Generalization-driven semantic clone detection in CLP (Extended Abstract) Wim Vanhoof and Gonzague Yernaux
LOPSTR 2019 Horn clauses and tree automata for imperative program verification (Invited Talk) John Gallagher
LOPSTR 2019 Incremental Analysis of Logic Programs with Assertions and Open Predicates Isabel Garcia-Contreras, Jose F. Morales and Manuel Hermenegildo
LOPSTR 2019 Logic-Based Synthesis of Fair Voting Rules Using Composable Modules Karsten Diekhoff, Michael Kirsten and Jonas Krämer
LOPSTR 2019 Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming Joaquin Arias, Zhuo Chen, Manuel Carro and Gopal Gupta
LOPSTR 2019 Natural language compositionality in Coq Erkki Luuk
LOPSTR 2019 On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics Patrick Cousot
LOPSTR 2019 Reversibilization in Functional and Concurrent Programming (LOPSTR and PPDP Invited Talk) Germán Vidal
LOPSTR 2019 Semi-Inversion of Conditional Constructor Term Rewriting Systems Maja Kirkeby and Robert Glück
LOPSTR 2019 Solving Proximity Constraints Temur Kutsia and Cleo Pau
LOPSTR 2019 Synthesizing Imperative Code from Answer Set Programming Specifications Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal and Gopal Gupta
LOPSTR 2019 The Prolog debugger and declarative programming Włodzimierz Drabent
LOPSTR 2019 Trace analysis using an Event-driven Interval Temporal Logic María-Del-Mar Gallardo and Laura Panizo
MPC 2019 A Hierarchy of Monadic Effects for Program Verification using Equational Reasoning Reynald Affeldt, David Nowak and Takafumi Saikawa
MPC 2019 An Analysis of Repeated Graph Search Roland Backhouse
MPC 2019 Certification of Breadth-First Algorithms by Extraction Dominique Larchey-Wendling and Ralph Matthes
MPC 2019 Completeness and Incompleteness of Synchronous Kleene Algebra Jana Wagemaker, Tobias Kappé, Jurriaan Rot, Marcello Bonsangue and Alexandra Silva
MPC 2019 Cylindric Kleene Lattices for Program Construction Brijesh Dongol, Ian J. Hayes, Larissa Meinicke and Georg Struth
MPC 2019 En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad Niccolò Veltri and Robin Kaarsgaard
MPC 2019 Experiments in Information Flow Analysis (MPC Keynote) Annabelle McIver
MPC 2019 Handling Local State with Global State Koen Pauwels, Tom Schrijvers and Shin-Cheng Mu
MPC 2019 How to Calculate with Nondeterministic Functions Richard Bird and Florian Rabe
MPC 2019 Self-Certifying Railroad Diagrams, Or: How to Teach Nondeterministic Finite Automata Ralf Hinze
MPC 2019 Setoid Type Theory --- A Syntactic Translation Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi and Nicolas Tabareau
MPC 2019 Shallow Embedding of Type Theory is Morally Correct Ambrus Kaposi, András Kovács and Nicolai Kraus
MPC 2019 System F in Agda, for Fun and Profit James Chapman, Roman Kireev, Chad Nester and Philip Wadler
MPC 2019 The Mean-Tempered Keyboard: Coding with Asymmetric Numeral Systems Jeremy Gibbons
MPC 2019 Unraveling Recursion: Compiling an IR with Recursion to System F Roman Kireev, Chad Nester, Michael Peyton Jones, Philip Wadler, Vasilis Gkoumas and Kenneth MacKenzie
MPC 2019 Verified Computations in Mathematical Proofs (MPC Keynote) Assia Mahboubi
MPC 2019 Verified Self-Explaining Computation Jan Stolarek and James Cheney
PPDP 2019 10 Years of the Higher-Order Model Checking Project (PPDP and LOPSTR Invited Talk) Naoki Kobayashi
PPDP 2019 An Adequate While-Language for Hybrid Computation Sergey Goncharov and Renato Neves
PPDP 2019 Crumbling Abstract Machines Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri and Claudio Sacerdoti Coen
PPDP 2019 Exception Handling and Classical Logic Steffen van Bakel
PPDP 2019 Exponential Elimination for Bicartesian Closed Categorical Combinators Nachiappan Valliappan and Alejandro Russo
PPDP 2019 Functional Reactive Programming, restated Guerric Chupin and Henrik Nilsson
PPDP 2019 Functional programming with lambda-tree syntax Ulysse Gérard, Dale Miller and Gabriel Scherer
PPDP 2019 Generic Encodings of Constructor Rewriting Systems Horatiu Cirstea and Pierre-Etienne Moreau
PPDP 2019 Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation Kentaro Kikuchi, Takahito Aoto and Isao Sasano
PPDP 2019 Intrinsically-Typed Mechanized Semantics for Session Types Peter Thiemann
PPDP 2019 Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Consensus Algorithms Y. Annie Liu, Saksham Chand and Scott Stoller
PPDP 2019 Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel and Christian Sattler
PPDP 2019 Property-Based Testing via Proof Reconstruction Roberto Blanco, Dale Miller and Alberto Momigliano
PPDP 2019 Relational Symbolic Execution Gian Pietro Farina, Stephen Chong and Marco Gaboardi
PPDP 2019 Semantic Foundations for Gradual Typing (Invited Talk) Amal Ahmed
PPDP 2019 Sharing Equality is Linear Beniamino Accattoli, Andrea Condoluci and Claudio Sacerdoti Coen
PPDP 2019 Smart Contracts as Authorized Production Rules Ben Lippmeier, Amos Robinson and Andrae Muys
PPDP 2019 Spacetime Programming: A Synchronous Language for Composable Search Strategies Pierre Talbot
PPDP 2019 The PPDP Most Influential Paper 10-Year Award: Foundations of Session Types Mariangiola Dezani
PPDP 2019 TopHat: A formal foundation for task-oriented programming Tim Steenvoorden, Nico Naus and Markus Klinik
PPDP 2019 Type-Driven Verification of Extra-Functional Properties Christopher Mark Brown, Adam Barwell, Yoann Marquer, Celine Minh and Olivier Zendra
PPDP 2019 Under Control: Compositionally Correct Closure Conversion with Mutable State Phillip Mates, Jamie Perconti and Amal Ahmed
RV 2019 A Formally Verified Monitor for Metric First-Order Temporal Logic (Regular paper) Joshua Schneider, David Basin, Srdjan Krstic and Dmitriy Traytel
RV 2019 Accelerated Learning of Predictive Runtime Monitors for Rare Failure (Regular paper) Reza Babaee, Vijay Ganesh and Sean Sedwards
RV 2019 Algorithms for Monitoring Hyperproperties (Tutorial paper) Christopher Hahn
RV 2019 AllenRV: an extensible monitor for multiple complex specifications with high reactivity (Demo paper) Nic Volanschi and Bernard Serpette
RV 2019 An Extension of LTL with Rules and its Application to Runtime Verification (Regular paper) Klaus Havelund and Doron Peled
RV 2019 Assumption-Based Runtime Verification with Partial Observability and Resets (Regular paper) Alessandro Cimatti, Chun Tian and Stefano Tonetta
RV 2019 Can we Verify GDPR Compliance? (Invited Talk) David Basin
RV 2019 Challenges and opportunities in design and operation of intelligent cyber-physical system (Invited Talk) Akshay Rajhans
RV 2019 Comparing Controlled System Synthesis and Suppression Enforcement (Regular paper) Ian Cassar, Luca Aceto, Adrian Francalanza and Anna Ingólfsdóttir
RV 2019 Decentralized Stream Runtime Verification (Regular paper) Luis Miguel Danielsson and César Sánchez
RV 2019 Efficient Detection and Quantification of Timing Leaks with Neural Networks (Regular paper) Saeid Tizpaz-Niari, Pavol Černý, Sriram Sankaranarayanan and Ashutosh Trivedi
RV 2019 Explaining Violations of Properties in Control-Flow Temporal Logic (Regular paper) Joshua Dawes and Giles Reger
RV 2019 FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation (Regular paper) Lang Feng, Jeff Huang, Jiang Hu and Abhijith Reddy
RV 2019 Monitorability Over Unreliable Channels (Regular paper) Sean Kauffman, Klaus Havelund and Sebastian Fischmeister
RV 2019 Neural Predictive Monitoring (Regular paper) Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott Smolka and Scott Stoller
RV 2019 NuRV: a nuXmv Extension for Runtime Verification (RV19-demo) Alessandro Cimatti, Chun Tian and Stefano Tonetta
RV 2019 On the Runtime Enforcement of Timed Properties (Tutorial paper) Yliès Falcone
RV 2019 Overhead-aware deployment of runtime monitors (Short paper) Teng Zhang, Gregory Eakman, Insup Lee and Oleg Sokolsky
RV 2019 Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs (Regular paper) Hansol Yoon, Yi Chou, Xin Chen, Eric Frew and Sriram Sankaranarayanan
RV 2019 Reactive Control Meets Runtime Verification: A Case Study of Navigation (Short paper) Dogan Ulus and Calin Belta
RV 2019 Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo (Tutorial paper) Georgios Fainekos, Bardh Hoxha and Sriram Sankaranarayanan
RV 2019 Runtime Verification For Timed Event Streams With Partial Information (Regular paper) Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz and Daniel Thoma
RV 2019 Shape Expressions for Specifying and Extracting Signal Features (Regular paper) Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis and Jyotirmoy Deshmukh
RV 2019 Stream-based Monitoring of Real-time Properties (Tutorial paper) Hazem Torfah
RV 2019 Timescales: A Benchmark Generator for Metric Temporal Logic (Benchmark paper) Dogan Ulus
RV 2019 Towards Verified Artificial Intelligence: A Run-Time Verification Perspective (Invited Talk) Sanjit A. Seshia
SAS 2019 A Change-based Heuristic for Static Analysis with Policy Iteration Marcus Völker and Stefan Kowalewski
SAS 2019 A Temporal Logic for Higher-Order Functional Programs Yuya Okuyama, Takeshi Tsukada and Naoki Kobayashi
SAS 2019 Abstract Interpretation of Indexed Grammars Marco Campion, Mila Dalla Preda and Roberto Giacobazzi
SAS 2019 Abstract Semantic Dependency Patrick Cousot
SAS 2019 An efficient parametric linear programming solver and application to polyhedral projection Hang Yu, David Monniaux and Michael Perin
SAS 2019 Analysis of Software Patches using Numerical Abstract Interpretation David Delmas and Antoine Miné
SAS 2019 Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang
SAS 2019 Direct Manipulation for Imperative Programs Qinheping Hu, Roopsha Samanta, Rishabh Singh and Loris D'Antoni
SAS 2019 Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis Yuxiang Lei and Yulei Sui
SAS 2019 Language Inclusion Algorithms as Complete Abstract Interpretations Pierre Ganty, Francesco Ranzato and Pedro Valero
SAS 2019 Learning Verifiers and Verifying Learners (Invited Talk) Suresh Jagannathan
SAS 2019 Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets Amir Ben-Amram, Jesús Doménech and Samir Genaim
SAS 2019 On the Monniaux Problem in Abstract Interpretation Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James Worrell
SAS 2019 Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou and Jingling Xue
SAS 2019 Responsibility Analysis by Abstract Interpretation and Applications to Program Security Chaoqiang Deng and Patrick Cousot
SAS 2019 Rethinking Static Analysis by Combining Discrete and Continuous Reasoning (Invited Talk) Mayur Naik
SAS 2019 Revisiting Polyhedral Analysis for Hybrid Systems Anna Becchi and Enea Zaffanella
SAS 2019 Robustness Verification of Support Vector Machines Francesco Ranzato and Marco Zanella
SAS 2019 Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants Daniel Neider, Shambwaditya Saha and P. Madhusudan
SAS 2019 Static Analysis of Data Science Software (Invited Talk) Caterina Urban
SAS 2019 Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot
SAS 2019 Temporal Verification of Programs via First-Order Fixpoint Logic Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi and Hiroshi Unno
SAS 2019 Towards Semantic Adversarial Examples (Invited Talk) Somesh Jha
SAS 2019 Verifying Numerical Programs via Iterative Abstract Testing Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot
TAP 2019 BTestBox - A tool for testing B translators and coverage of B models Diego de Azevedo Oliveira, Valério Gutemberg Medeiros Jr, David Déharbe and Martin A. Musicante
TAP 2019 Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? Timotej Kapus, Martin Nowack and Cristian Cadar
TAP 2019 Coverage-Based Testing with Symbolic Transition Systems Petra van den Bos and Jan Tretmans
TAP 2019 Extracting Unverified Program Parts from Software Verification Runs (Keynote Talk) Heike Wehrheim
TAP 2019 Fast and Complete Automatic Structural Unit Test Generation combining Genetic Algorithms and Formal Methods Eric Lavillonnière, David Mentré and Denis Cousineau
TAP 2019 Learning Communicating State Machines Alexandre Petrenko and Florent Avellaneda
TAP 2019 Predicting and Testing Latencies with Deep Learning: an IoT Case Study Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi and Andreas Wurm
TAP 2019 Property-Based Test Case Generators for Free Emanuele De Angelis, Fabio Fioravanti, Adrian Palacios, Alberto Pettorossi and Maurizio Proietti
TAP 2019 Proving a Non-Blocking Algorithm for Process Renaming with TLA+ Aurélie Hurault and Philippe Queinnec
TAP 2019 Repairing Timed Automata Clock Guards through Abstraction and Testing Étienne André, Paolo Arcaini, Angelo Gargantini and Marco Radavelli
TAP 2019 RoboStar technology - Testing in Robotics Using Process Algebra (Invited Tutorial) Ana Cavalcanti
TAP 2019 Sail through your C Code with MetAcsl: Specifying, Testing and Proving High-Level Properties Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling and Pascale Le Gall
UTP 2019 A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic (Invited Talk) Tony Hoare, Georg Struth and Jim Woodcock
UTP 2019 A Testing Perspective on Algebraic, Denotational, and Operational Semantics Bernhard K. Aichernig
UTP 2019 Connecting Fixpoints of Computations with Strict Progress Walter Guttmann
UTP 2019 Developing an algebra for rely/guarantee concurrency Ian J. Hayes and Larissa Meinicke
UTP 2019 Hybrid Relations in Isabelle/UTP Simon Foster
UTP 2019 Probabilistic Semantics for RoboChart: A Weakest Completion Approach Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota and Kangfeng Ye
UTP 2019 The Inner and Outer Algebras of Unified Concurrency Andrew Butterfield
UTP 2019 UTP Semantics of a Calculus for Mobile Ad Hoc Networks Xi Wu, Huibiao Zhu and Wanling Xie
UTP 2019 Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu and Naijun Zhan
UTP 2019 Whither specifications as programs David Naumann and Minh Ngo
VECoS 2019 1968 to 2019: Half a Century of Correctness Enhancement (Invited Talk) Ali Mili
VECoS 2019 Analysing Security Protocols Using Scenario Based Simulation Farah Al-Shareefi, Alexei Lisitsa and Clare Dixon
VECoS 2019 Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules Philippe Glanon, Selma Azaiez and Chokri Mraidha
VECoS 2019 Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems Yves Mouafo Tchinda, Annie Choquet-Geniet and Gaëlle Largeteau-Skapin
VECoS 2019 Modeling Concurrent Behaviors as Words Jean-Michel Couvreur, Xavier Ferry and Mouhamadou Sakho
VECoS 2019 Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems Ayman Aljarbouh
VECoS 2019 Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis Elvira Albert, Pablo Gordillo, Albert Rubio and Ilya Sergey
VECoS 2019 Static Detection of Event-Driven Races in HTML5-Based Mobile Apps Tuong Lau
VECoS 2019 Top-down Horn Clause-based Program Analysis in the Ciao Language (Invited Talk) Jose F. Morales
MH60 An an old (but still unsolved?) problem in program specialization Wim Vanhoof
MH60 Analysis of extra-functional properties in mobile applications María del Mar Gallardo
MH60 Random Snapshots Manuel Carro
MH60 Resource Usage Analysis with CiaoPP Pedro Lopez-Garcia
MH60 The Futamura projections and parallelization John Gallagher
MH60 YAP and the Globalized World Vítor Santos Costa
SG65 A Decade of Featured Transition Systems Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens and Jean-François Raskin
SG65 A Generic Dynamic Logic with Applications to Interaction-Based Systems Rolf Hennicker and Martin Wirsing
SG65 A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems Rocco De Nicola, Tan Duong, Omar Inverso and Franco Mazzanti
SG65 Ambiguity in Requirements Engineering: Towards a Unifying Framework Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi and Paola Spoletini
SG65 An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice Jan Friso Groote and Erik de Vink
SG65 Automata-Based Behavioural Contracts with Action Correlation Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano and Gian Luigi Ferrari
SG65 Formal Methods in Designing Critical Cyber-Physical Systems Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi and Christos Tsigkanos
SG65 Formal Verification of Railway Timetables - Using the UPPAAL Model Checker Anne Haxthausen and Kristian Hede
SG65 From Dynamic Programming to Programming Science: Some Recollections in Honour of Stefania Gnesi Ugo Montanari
SG65 How Formal Methods Can Contribute to 5G Networks María del Mar Gallardo, Francisco Luque-Schempp, Pedro Merino-Gómez and Laura Panizo
SG65 Hunting Superfluous Locks with Model Checking Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu and Eric Jenn
SG65 Innovating Medical Image Analysis via Spatial Logics Gina Belmonte, Vincenzo Ciancia, Diego Latella and Mieke Massink
SG65 Logical Support for Bike-Sharing System Design Ionuţ Ţuţu, Claudia-Elena Chirita, Antónia Lopes and José Fiadeiro
SG65 Looking Inside the Black Box: Core Semantics towards Accountability of Artificial Intelligence Roberto Garigliano and Luisa Mich
SG65 Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study Gabriele Lenzini and Marinella Petrocchi
SG65 On the Prediction of Smart Contracts' Behaviours Cosimo Laneve, Claudio Sacerdoti Coen and Adele Veschetti
SG65 The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back Maurice ter Beek, Alessandro Fantechi and Laura Semini
SG65 Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy and Tiziana Margaria
AFFORD 2019 Addressing usability in a formal development environment Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene and Patrizia Scandurra
AFFORD 2019 Compiling C and C++ Programs for White-Box Analysis Zuzana Baranová and Petr Ročkai
AFFORD 2019 Experiences on Streamlining Formal Methods Tools (Invited Talk) Paolo Masci
AFFORD 2019 Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX Richard Banach, Joseph Razavi, Olivier Debicki and Suzanne Lesecq
AFFORD 2019 Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table Petr Ročkai
AFFORD 2019 SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B Sadegh Dalvandi and Michael Butler
AFFORD 2019 The Bourgeois Gentleman, Engineering and Formal Methods Thierry Lecomte
DALI 2019 A Logical Analysis of the Interplay between Social Influence and Friendship Selection Sonja Smets and Fernando Velázquez-Quesada
DALI 2019 A dynamic epistemic logic analysis of the equality negation task Eric Goubault, Marijana Lazić, Jérémy Ledent and Sergio Rajsbaum
DALI 2019 A dynamic logic for QASM programs (Short paper) Carlos Tavares
DALI 2019 A four-valued hybrid logic with non-dual modal operators Diana Costa and Manuel A. Martins
DALI 2019 A labelled sequent calculus for Dynamic Predicate Logic (Short paper) Elio La Rosa
DALI 2019 Behavioural and Abstractor Specifications for Dynamic Logic with Binders and Silent Transitions Rolf Hennicker, Alexander Knapp and Alexandre Madeira
DALI 2019 Dynamic Preference Logic as a Logic of Belief Change Marlo Souza and Alvaro Moreira
DALI 2019 Iterative division in the product-free Distributive Full Non-associative Lambek Calculus Igor Sedlár
DALI 2019 Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq Raul Fervari, Francisco Trucco and Beta Ziliani
DALI 2019 On Free ω-Continuous and Regular Ordered Algebras (Invited Talk) Dexter Kozen
DALI 2019 On the construction of multi-valued concurrent dynamic logic (Short paper) Leandro Gomes
DALI 2019 Persuasive Argumentation and Epistemic Attitudes Carlo Proietti and Antonio Yuste-Ginel
DALI 2019 Resource separation in Dynamic Logic of Propositional Assignments Joseph Boudou, Andreas Herzig and Nicolas Troquard
DALI 2019 Social consolidations: Rational belief in a many-valued logic of evidence and peerhood (Short paper) Yuri David Santos
DALI 2019 Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings Aldo Iván Ramírez Abarca and Jan Broersen
DALI 2019 The Logic of AGM Learning from Partial Observations Alexandru Baltag, Aybüke Özgün and Ana Lucia Vargas Sandoval
DALI 2019 The Trace Modality Dominic Steinhöfel and Reiner Hähnle
DataMod 2019 'Know Thyself' how personal music tastes shape the Last.fm online social network Riccardo Guidotti and Giulio Rossetti
DataMod 2019 An instrumented mobile language learning application for the analysis of usability and learning Aigerim Aibassova, Antonio Cerone and Mukhtar Tashkenbayev
DataMod 2019 An ontology-based approach to support formal verification of concurrent systems Natalya Garanina, Igor Anureev, Elena Sidorova, Vladimir Zyubin and Sergei Gorlatch
DataMod 2019 Analysis and visualization of performance indicators in university admission tests Salvatore Rinzivillo, Michela Natilli, Dino Pedreschi, Daniele Fadda and Federica Licari
DataMod 2019 Anomaly detection from log files using unsupervised deep learning Sathya Bursic, Alessandro D'Amelio and Vittorio Cuculo
DataMod 2019 Diagrammatic physical robot models in RoboSim (Invited Talk) Ana Cavalcanti
DataMod 2019 Gender recognition in the wild and small sample - a dictionary learning approach Alessandro D'Amelio, Vittorio Cuculo and Sathya Bursic
DataMod 2019 How to look next? A data-driven approach for scanpath prediction Vittorio Cuculo, Giuseppe Boccignone and Alessandro D'Amelio
DataMod 2019 Validation of a simulation algorithm for safety-critical human multitasking Giovanna Broccia, Paolo Milazzo, Carmen Berrocal Montiel and Cristina Belviso
DataMod 2019 Verification of Data in Space and Time (Invited Talk) Mieke Massink
F-IDE 2019 A component-based formal language workbench Peter Mosses
F-IDE 2019 An Integrated Development Environment for the Prototype Verification System Paolo Masci and César Muñoz
F-IDE 2019 Automated deductive verification for Ladder programming Denis Cousineau, David Mentré and Hiroaki Inoue
F-IDE 2019 Deeply Integrating C11 Code Support into Isabelle/PIDE Frédéric Tuong and Burkhart Wolff
F-IDE 2019 Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis Jan Bessai, Moritz Roidl and Anna Vasileva
F-IDE 2019 Simulation under arbitrary temporal logic constraints Julien Brunel, David Chemouil, Alcino Cunha and Nuno Macedo
F-IDE 2019 The TLA+ Toolbox Markus Kuppe
F-IDE 2019 Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability Eduard Kamburjan and Jonas Stromberg
F-IDE 2019 What is KeY's key to software verification (Invited Talk) Wolfgang Ahrendt
FMAS 2019 A Model Checking Agent-Based Architecture for Representing the Rules of the Road on Autonomous Vehicles Gleifer Alves, Louise Dennis and Michael Fisher
FMAS 2019 A Temporal Logic Semantics for Teleo-Reactive Procedures Keith Clark, Brijesh Dongol and Peter Robinson
FMAS 2019 CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles Andreas Nonnengart, Matthias Klusch and Christian Müller
FMAS 2019 Formal Methods Meet Autonomous Systems: a Journey on a Two-Year Research Collaboration with Industry (Invited Talk) Claudio Menghi
FMAS 2019 Runtime Reasoning that Really Flies (Invited Talk) Kristin Rozier
FMAS 2019 Towards a Mission Definition, Verification and Validation Toolchain Louis Viard, Laurent Ciarletta and Pierre-Etienne Moreau
FMAS 2019 Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections Maike Schwammberger and Christopher Bischopink
FMBC 2019 A Distributed Blockchain Model of Selfish Mining Dennis Eijkel and Ansgar Fehnker
FMBC 2019 Call me Back, I have a Type Invariant M. Anthony Aiello, Johannes Kanig and Taro Kurita
FMBC 2019 Deductive Proof of Industrial Smart Contracts Using Why3 Zeinab Nehaï and François Bobot
FMBC 2019 Formal specification of a security framework for smart contracts Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne and Ilya Shchepetkov
FMBC 2019 Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin and Julien Tesson
FMBC 2019 Smart Contract Interactions in Coq (Short paper) Jakob Botsch Nielsen and Bas Spitters
FMBC 2019 Smart Contracts: Application Scenarios for Deductive Program Verification (Short paper) Jonas Schiffl, Bernhard Beckert and Mattias Ulbrich
FMBC 2019 Solidity 0.5: when typed does not mean type safe (Lightning Talk) Silvia Crafa and Matteo Di Pirro
FMBC 2019 Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies Musab A. Alturki and Grigore Roşu
FMBC 2019 The Scilla Journey: from Proof General to Thousands of Nodes (Keynote Talk) Ilya Sergey
FMBC 2019 Towards a Smart Contract Verification Framework in Coq (Lightning Talk) Danil Annenkov and Bas Spitters
FMBC 2019 Towards a Verified Model of the Algorand Consensus Protocol in Coq (Short paper) Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon Moore, Karl Palmskog, Lucas Peña and Grigore Roşu
FMBC 2019 Verifying Smart Contracts with Cubicle Sylvain Conchon, Alexandrina Korneva and Fatiha Zaïdi
FMIS 2019 A Survey on Formal Methods for Interactive Systems Pascal Béger, Sébastien Leriche and Daniel Prun
FMIS 2019 Examples of the application of formal methods to interactive systems (Invited Talk) Michael Harrison
FMIS 2019 Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets Sapna Jaidka, Steve Reeves and Judy Bowen
FMIS 2019 Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten and Davy Vanacken
FMIS 2019 Model-Based Testing of Post-WIMP Interactions Using Petri-nets Alexandre Canny, David Navarre, José Creissac Campos and Philippe Palanque
FMIS 2019 Modelling Reasoning with Real-time Maude in the Context of Human Behaviour Antonio Cerone and Peter Csaba Ölveczky
FMIS 2019 Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis (Short Paper) Vincenzo Ciancia and Mieke Massink
FMIS 2019 Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications (Short Paper) Keerthi Adabala and Rüdiger Ehlers
FMTea 2019 Efficient online homologation to prepare students for formal methods courses (Tutorial) Bas Luttik
FMTea 2019 Is Formal Methods really essential? (Invited Lecture) Carroll Morgan
FMTea 2019 Logic, Algebra, and Geometry at the Foundation of Computer Science (Tutorial) Tony Hoare, Alexandra Mendes and João Ferreira
FMTea 2019 Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke
FMTea 2019 On Complementing an Undergraduate Software Engineering Course with Formal Methods (Poster) Bernd Westphal
FMTea 2019 On Teaching Applied Formal Methods in Aerospace Engineering Kristin Rozier
FMTea 2019 Panel Discussion on Effective Teaching Techniques Emil Sekerinski, Liam O'Reilly, Adrian Johnstone, Mitja Kulczynski, Andrew Simpson and Joao Ferreira
FMTea 2019 Panel Discussion on Teaching Program Development Catherine Dubois, Thiago Mendonça Ferreira Ramos, María del Mar Gallardo, Kristin Rozier and Alexandra Mendes
FMTea 2019 Panel Discussion on Teaching Program Verification Ana Romero, Christophe Garion, Sandrine Blazy and Catherine Dubois
FMTea 2019 Principled and pragmatic specification of programming languages Adrian Johnstone and Elizabeth Scott
FMTea 2019 Teaching Concurrency with the Disappearing Formal Method Emil Sekerinski
FMTea 2019 Teaching Deductive Verification in Why3 to Undergraduate Students Sandrine Blazy
FMTea 2019 Teaching Discrete Mathematics to Computer Science Students Faron Moller and Liam O'Reilly
FMTea 2019 Teaching Formal Methods to Future Engineers Catherine Dubois, Virgile Prevosto and Guillaume Burel
FMTea 2019 Teaching Formal Methods: From Software in the Small to Software in the Large María del Mar Gallardo and Laura Panizo
FMTea 2019 Teaching Formal Methods: Lessons Learnt from Using Event-B (Poster) Néstor Cataño
FMTea 2019 Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach Andrew Simpson
FMTea 2019 Teaching deductive verification through Frama-C and SPARK Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo Creuse
FMTea 2019 The Computational Relevance of Formal Logic through Formal Proofs Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon
FMTea 2019 Using Krakatoa for teaching formal verification of Java programs Jose Divasón and Ana Romero
FMTea 2019 You already used Formal Methods but did not know (Poster) Giampaolo Bella
FMTea 2019 pseuCo.com (Tutorial) Holger Hermanns and Felix Freiberger
HFM 2019 Babbage's mechanical notation Adrian Johnstone and Elizabeth Scott
HFM 2019 Formal specifications and software testing: a fruitful convergence Marie-Claude Gaudel
HFM 2019 From manuscripts to programming languages: an archivist perspective Alexandra Vidal, Ana Sandra Meneses and António Sousa
HFM 2019 History of Abstract Interpretation Francesco Ranzato and Roberto Giacobazzi
HFM 2019 Reasoning about shared-variable concurrency: interactions between research threads Cliff Jones
HFM 2019 Specification with class: A brief history of Object-Z David Duke and Graeme Smith
HFM 2019 The History and Evolution of B and Event-B Sebastian Krings, Michael Butler, Philipp Koerner, Thierry Lecomte, Michael Leuschel and Laurent Voison
HFM 2019 The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE Daniel Berry
HFM 2019 The School of Squiggol: A History of the Bird-Meertens Formalism Jeremy Gibbons
HFM 2019 The early history of flow diagrams as a formal method (Invited Talk) Mark Priestley
NSAD 2019 A Dividing Method Minimizing the Linearization Term in Affine Arithmetic Maxime Jacquemin and Franck Vedrine
NSAD 2019 An abstract domain for objects in dynamic programming languages Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni
NSAD 2019 Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet
NSAD 2019 Flow Insensitive Relational Static Analysis Solène Mirliaz and David Pichardie
NSAD 2019 Improving the Numerical Accuracy of Parallel Programs by Data Mapping Farah Benmouhoub, Pierre-Loic Garoche and Matthieu Martel
NSAD 2019 Towards an abstraction for data structures that implement cooperation mechanisms Guillaume Cluzel and Cezara Drăgoi
OVT 2019 Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation Ken Pierce, Carl Gamble, David Golightly and Roberto Palacín
OVT 2019 Migrating Overture to a different IDE Peter W. V. Tran-Jørgensen and Tomas Kulik
OVT 2019 Moving the INTO-CPS Application to the Cloud Mikkel Bayard Rasmussen, Peter Gorm Larsen, Casper Thule and Hugo Daniel Macedo
OVT 2019 Teaching VDM (Invited Talk) Ana Paiva
OVT 2019 Towards Graphical Configuration in the INTO-CPS Application Christian Legaard, Casper Thule and Peter Gorm Larsen
OVT 2019 Towards Static Check of FMUs in VDM-SL Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo and Peter Gorm Larsen
OVT 2019 ViennaDoc: An Animatable and Testable Specification Documentation Tool Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang and Peter Gorm Larsen
OpenCERT 2019 A Calculus of Chaos in Stochastic Compilation: Engineering in the Cause of Mathematics Peter T. Breuer and Simon Pickin
OpenCERT 2019 A Survey of Learning Methods in Open Source Software Aidarbek Suleimenov, Assiya Khuzyakhmetova and Antonio Cerone
OpenCERT 2019 Challenges faced by students in an Open Source Software Undergraduate Course Dias Issa
OpenCERT 2019 Open Community approaches to Education Publishing and Research - a look into the recent past (Invited Talk) Andreas Meiszner
OpenCERT 2019 Open Source Software as a Learning Tool for Computer Science Students Assiya Khuzyakhmetova and Aidarbek Suleimenov
OpenCERT 2019 Open and Interactive Learning Resources for Algorithmic Problem Solving João Ferreira and Alexandra Mendes
OpenCERT 2019 Runtime Verification of Linux Kernel Security Module Ilya Shchepetkov and Denis Efremov
REFINE 2019 A Map of Asynchronous Communication Models Florent Chevrou, Aurélie Hurault and Philippe Queinnec
REFINE 2019 An abstract semantics of speculative execution for reasoning about security vulnerabilities Robert Colvin and Kirsten Winter
REFINE 2019 Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer and Bruce Watson
REFINE 2019 Exploring the use of Rely/Guarantee Reasoning for Non-blocking Algorithms (Short paper) Nisansala Yatapanage
REFINE 2019 Refinement in practice: from an informal description to a formal specification (Invited Talk) Régine Laleau
REFINE 2019 Towards a Method for the Decomposition by Refinement in Event-B (Short paper) Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon and Dorian Petit
REFINE 2019 Transformations for Generating Type Refinements Douglas Smith and Stephen Westfold
REFINE 2019 Weakening correctness and linearizability for concurrent objects on multicore processors Graeme Smith and Lindsay Groves
RPLA 2019 Minimal Reversible Deterministic Finite Automata Markus Holzer
RPLA 2019 Quotients and Atoms of Reversible Languages Hellis Tamm
RPLA 2019 Reversibility and Determinism in P Systems Rudolf Freund
RPLA 2019 Reversible Computing from a Programming Language Perspective (Invited Talk) Robert Glück
RPLA 2019 Reversible Programs Have Reversible Semantics Robert Glück, Robin Kaarsgaard and Tetsuo Yokoyama
RPLA 2019 Reversible and Irreversible Regular Languages Luca Prigioniero
RPLA 2019 Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems Kamil Khadiev and Aliya Khadieva
SASB 2019 Bayesian Verification of Chemical Reaction Networks Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate
SASB 2019 Biochemical pathways from causal cores in rule-based modelling Sébastien Légaré
SASB 2019 Kappa Site-graph Patterns Equations Resolution Yvan Sraka and Jérôme Feret
SASB 2019 Learning boolean regulations based on prior-knowledge data: a logical-based viewpoint (Keynote talk) Anne Siegel
SASB 2019 Modeling and optimizing metabolism with constraint-based and pathway analysis methods (Keynote talk) Miguel Rocha
SASB 2019 Nested Event Representation for Automated Assembly of Cell Signaling Network Models Evan Becker, Kara Bocan and Natasa Miskov-Zivanov
SASB 2019 Specification and Analysis of Biochemical Systems in BCSL Matej Troják, David Šafránek, Jan Červený, Luboš Brim and Lukrécia Mertová
TAPAS 2019 AuthCheck: Program-state Analysis for Access-control Vulnerabilities Goran Piskachev, Tobias Petrasch, Johannes Späth and Eric Bodden
TAPAS 2019 Boost the Impact of Continuous Formal Verification in Industry Felipe R. Monteiro, Mikhail R. Gadelha and Lucas Cordeiro
TAPAS 2019 Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry (Invited Talk) Bernard Schmidt
TAPAS 2019 Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract) Isabel Garcia-Contreras, Jose F. Morales and Manuel Hermenegildo
TAPAS 2019 Handling Heap Data Structures in Backward Symbolic Execution Robert Husák, Jan Kofroň and Filip Zavoral
TAPAS 2019 Leveraging Highly Automated Theorem Proving for Certification Deni Raco, Bernhard Rumpe and Sebastian Stüber
TAPAS 2019 PrideMM: Second Order Model Checking for Memory Consistency Models Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikoláš Janota
TAPAS 2019 Transforming development processes of avionics software with formal methods (Invited Talk) Pascal Lacabanne
TAPAS 2019 fkcc: the Farkas Calculator Christophe Alias