DisCoTec 2019 programme

The following programme is tentative but we hope it helps with planning your attendance and travels.

Keynotes

David Basin (ETH Zürich, Switzerland)
Model Checking Standards

Anne-Marie Kermarrec (INRIA Rennes, France)
Making Sense of Fast Big Data

Marta Kwiatkowska (University of Oxford, UK)
Versatile Quantitative Modelling: Verification, Synthesis and Data Inference for Cyber-Physical Systems

Silvio Micali (MIT, USA)
ALGORAND - The Distributed Ledger for the Borderless Economy

Martin Wirsing (LMU, Germany)
Towards Formally Designing Collective Adaptive Systems

Joint session: best papers

TBA

Coordination accepted papers

TBA

DAIS accepted papers

Lakhdar Meftah, Romain Rouvoy and Isabelle Chrisment
FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps

Sam Van den Vonder, Joeri De Koster and Wolfgang De Meuter
Composable Actor Behaviour

Stefano Bistarelli, Claudio Pannacci and Francesco Santini
CapBAC in Hyperledger Sawtooth

Marius Shekow
Syncpal: A simple and iterative reconciliation algorithm for file synchronizers

István Hegedűs, Gábor Danner and Mark Jelasity
Gossip Learning as a Decentralized Alternative to Federated Learning

Lance Lebanoff, Christina Peterson and Damian Dechev
Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions

Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boix
Putting Order in Strong Eventual Consistency

Julien Amacher and Valerio Schiavoni
On The Performance of ARM TrustZone

Carlos Segarra, Ricard Delgado-Gonzalo, Mathieu Lemay, Pierre-Louis Aublin, Peter Pietzuch and Valerio Schiavoni
MedSpark: Using Trusted Execution Environments for Secure Stream Processing of Medical Data

Zoltán Szabó, Árpád Berta, Krisztián Téglás, Márk Jelasity and Vilmos Bilicki
Stunner: A Smart Phone Trace for Developing Decentralized Edge Systems

Christian Göttel, Pascal Felber and Valerio Schiavoni
Developing Secure Services for IoT with OP-TEE: A First Look at Performance and Usability

FORTE accepted papers

Diego Marmsoler
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification

Johannes Åman Pohjola
Psi-Calculi Revisited: Connectivity and Compositionality

Maurice Laveaux, Jan Friso Groote and Tim A.C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking

The Anh Pham, Thierry Jéron and Martin Quinson
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

Chandrika Bhardwaj and Sanjiva Prasad
Only Connect, Securely

Alexander Graf-Brill and Holger Hermanns
Component-aware Input-Output Conformance

Ivan Lanese, Adrian Palacios and German Vidal
Causal-Consistent Replay Debugging for Message Passing Programs

Karine Altisen, Pierre Corbineau and Stéphane Devismes
Squeezing Streams and Composition of Self-Stabilizing Algorithms

Jannik Hüls and Anne Remke
Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes

Ran Bao, Christian Attiogbe, Benoit Delahaye, Paulin Fournier and Didier Lime
Parametric statistical model checking of UAV flight plan

Cristian Ene, Mounier Laurent and Marie-Laure Potet
Output-sensitive Information flow analysis

Thomas Hildebrandt, Hugo A. López, Tijs Slaats, Søren Debois and Marco Carbone
Declarative Choreographies and Liveness

Dung Tran, Luan Nguyen, Patrick Musau, Weiming Xiang and Taylor T Johnson
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

Jean-Bernard Stefani and Martin Vassor
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

Étienne André, Didier Lime and Mathias Ramparison
Parametric updates in parametric timed automata

Kim Völlinger
On Certifying Distributed Algorithms: Local Correctness

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini and Jacob Beal
A Higher-order Calculus of Computational Fields (Journal-first)

Stefano Calzavara, Alvise Rabitti and Michele Bugliesi
Semantically sound analysis of content security policies (Journal-first)