Wednesday Thursday Saturday - TU Berlin · Theoretical Foundations for Monitors Luca Aceto, Antonis Achilleos, Duncan Attard, Ian Cassar, Adrian Francalanza and Anna Ingolfsdottir

MondaySep 4

TuesdaySep 5

WednesdaySep 6

ThursdaySep 7

FridaySep 8

SaturdaySep 9

EXPRESS/SOSCombined 24th

International Workshop on Expressiveness in

Concurrency and 14th Workshop on Structural Operational Semantics

CONCUR28th International Conference on

Concurrency Theory

TRENDSThe 6th IFIP WG 1.8

Workshop on Trends in Concurrency Theory

RADICALRecent Advances in

Concurrency and Logic

QEST14th International Conference on

Quantitative Evaluation of SysTems

YR-CONCUR7th Young Researchers

Workshop on Concurrency Theory

EPEW14th European Performance

Engineering Workshop

PASM9th International

Workshop on Practical Applications of Stochastic

Modelling

FORMATS15th International Conference on

Formal Modelling and Analysis of Timed Systems

Monday - Sep 4EXPRESS/SOS09:00 Registration09:20 - 09:30 Opening09:30 - 10:30 Chair: Simone TiniKeynoteSOS with Data: Bisimulation, Rule Formats, and Axiomatization Mohammad R. Mousavi10:30 - 11:00 Chair: Simone TiniDelayed-choice semantics for pomset families and message sequence graphs Clemens Dubslaff and Christel Baier

11:00 Coffee Break11:30 - 13:00 Chair: Stephan MennickeCCS with Signals, Used for Analysing Mutual Exclusion Victor Dyseryn, Rob van Glabbeek and Peter HöfnerBisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees James Ferlez, Rance Cleaveland and Steven MarcusUsing Session Types for Reasoning About Boundedness in the Pi-Calculus Hans Hüttel

13:00 Lunch Break14:30 - 15:30 Chair: Kirstin PetersInvited TutorialRule Formats in Structural Operational Semantics Rob van Glabbeek

15:30 - 16:00 Chair: Kirstin PetersBranching Cell Decomposition, Confusion Freeness and Probabilistic Nets Roberto Bruni, Hernan Melgratti and Ugo Montanari

16:00 Coffee Break16:30 - 18:00 Chair: Björn VictorSequential composition in the presence of intermediate termination Jos Baeten, Bas Luttik and Fei YangReversing Imperative Parallel Programs James Hoey, Irek Ulidowski and Shoji YuenDistributive Laws for Monotone Specifications Jurriaan Rot

18:00 Closing

Mozart

Monday - Sep 4RADICAL

08:55 - 09:00 Opening09:00 - 10:00 Chair: TBAKeynoteOn hierarchical communication topologies in the pi-calculus Luke Ong

10:00 - 11:00 Logic and Linearity, Chair: TBAMultirole Logic and Multiparty Channels Hongwei Xi and Hanwen WuGödel Logic: from Natural Deduction to Parallel Computation Federico Aschieri, Agata Ciabattoni and Francesco Genco

11:30 - 13:00 Correctness and Verification, Chair: TBATheoretical Foundations for Monitors Luca Aceto, Antonis Achilleos, Duncan Attard, Ian Cassar, Adrian Francalanza and Anna IngolfsdottirDeclarative Approaches to Correct Communication Systems Mauricio CanoReliability and fault-tolerance by choreographic design Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto

14:00 - 15:00 Chair: TBAKeynote14:00 Concurrency from the Trunk of Type Theory Luís Caires

15:00 - 16:00 Concurrent Semantics, Chair: TBAPredicates as Processes: Linear Implication is a Branching-time Causality-preserving Pre-congruence Ross Horne and Alwen TiuOn the Concurrent Meaning of Logical Correctness Marc de Visme and Damiano Mazza

16:30 - 18:00 Games, Logic, and Multiagent Systems, Chair: TBAExpressiveness and Nash Equilibrium in Iterated Boolean Games Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli and Michael WooldridgeSpecifying, Reasoning and Programming Spatially Distributed Epistemic Systems Frank ValenciaSome Approaches to Rational Verification in Multiagent Systems Muhammad Najib

Humboldt

Monday - Sep 4YR-CONCUR09:00 Registration09:55 - 10:00 Welcome10:00 - 11:00 Chair: TBAKeynoteTowards efficient verification of population protocols Javier Esparza

11:00 Coffee Break11:30 - 13:00 Chair: TBAOn the Complexity of Bounded Context Switching Jonathan Kolberg and Peter ChiniLiveness Verification and Synthesis: New Algorithms for Recursive Programs Elisabeth Neumann and Sebastian MuskallaReversible Computation in Petri Nets Kyriaki Psara

13:00 Lunch14:30 - 16:00 Chair: TBALearning Automata with Side-Effects Gerco van Heerdt, Matteo Sammartino, and Alexandra SilvaBisimilarity of diagrams Jérémy DubutParallel Algorithm for Terminal Components Detection in Parametrised Transition Systems Samuel Pastva

16:00 Coffee Break

Köhler

Tuesday - Sep 5CONCUR08:30 Registration09:30 - 10:00 Opening10:00 - 11:00 Chair: TBAKeynote (CONCUR/QEST/FORMATS)Probabilistic Programming Hongseok Yang

11:30 - 13:00 Process Algebra 1, Chair: TBAA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic Ki Yung Ahn, Ross Horne and Alwen TiuConcurrent Reversible Sessions Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola GianniniOn the Power of Name-Passing Communication Yuxi Fu

14:30 - 15:30 Chair: TBAKeynote (CONCUR/FORMATS)A New Notion of Compositionality for Concurrent Program Proofs Azahdeh Farzan15:30 - 16:00 Algebra, Chair: TBARefinement for signal flow graphs Joshua Holland, Pawel Sobocinski, Filippo Bonchi and Dusko Pavlovic

16:30 - 18:30 Synthesis, Chair: TBAk-Bounded Petri Net Synthesis from Modal Transition Systems Uli Schlachter and Harro WimmelControlling a Population Nathalie Bertrand, Miheer Dewaskar, Blaise Genest and Hugo GimbertCoverability Synthesis in Parametric Petri Nets Nicolas David, Claude Jard, Didier Lime and Olivier H. RouxConsistently-Detecting Monitors Adrian Francalanza

16:30 - 18:00TutorialGraphical Linear Algebra: a speci-fication language for linear algebra Pawel Sobocinski

19:00 Reception Lichthof (TU Berlin)

Hahn

Humboldt

Tuesday - Sep 5QEST08:30 Registration09:30 - 10:00 Opening10:00 - 11:00 Chair: TBAKeynote (CONCUR/QEST/FORMATS)Probabilistic Programming Hongseok Yang11:00 Coffee Break11:30 - 13:00 Probabilistic modelling, Chair: Luca BortolussiParikh‘s Theorem for Weighted and Probabilistic Context Free Grammars Vijay Bhattiprolu, Spencer Gordon and Mahesh ViswanathaExploiting non-deterministic analysis in the integration of transient solution techniques for Markov Regenerative Processes Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini and Enrico VicarioalphaFactory: a tool for generating the alpha factors of general distributions Elvio Amparore and Susanna Donatelli

13:00 Lunch14:30 - 16:00 Special session on Smart Energy and the Cloud, Chair: Alessandro AbateQuantitative Model Checking for a Smart Grid Pricing Youngmin Kwon, Eunhee Kim, Seonghwan Jeong and Arthur LeeAn Aggregated Markov Model of an Heterogeneous Population of Photovoltaic Panels Andrea Peruffo and Alessandro AbateBattery Aging, Battery Charging and the Kinetic Battery Model Boudewijn Haverkort and Marijn Jongerden16:00 Coffee Break16:30 - 18:30 Petri nets and performance evaluation, Chair: Enrico VicarioA Hybrid Multi-Trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets Armin Zimmermann, Thomas Hotz and Andres Canabal LavistaA Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi and Francesco SpegniOn the cost of diagnosis with disambiguation Loic Helouet and Hervé MarchandMulti-class resource sharing with batch arrivals and complete blocking Paul Ezhilchelvan and Isi Mitrani

19:00 Reception

HahnHahn

Goethe

Tuesday - Sep 5FORMATS

09:30 - 10:00 Opening10:00 Chair: TBAKeynote (CONCUR/QEST/FORMATS)Probabilistic Programming Hongseok Yang

11:30 - 13:00 Timed models, Chair: D. JansenOn the Determinization of Timed Systems Patricia Bouyer, Samy Jaziri and Nicolas MarkeyOn Global Scheduling Independency in Networks of Timed Automata Sergio Feo-Arenis, Milan Vujinovic and Bernd WestphalOptimal Reachability in Cost Time Petri Nets Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux and Charlotte Seidner

14:30 - 15:30 Chair: TBAKeynote (CONCUR/FORMATS)A New Notion of Compositionality for Concurrent Program Proofs Azahdeh Farzan

16:30 - 18:30 Hybrid Systems, Chair: M. FränzleOptimal Control for Multi-Mode Systems with Discrete Costs Mahmoud Ali Mousa, Sven Schewe and Dominik WojtczakAugmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems Arvind Adimoolam and Thao DangConic Abstractions for Hybrid Systems Sergiy Bogomolov, Mirco Giacobbe, Thomas Henzinger and Hui KongTime-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata Stanley Bak, Sergiy Bogomolov and Matthias Althoff

Lichthof (TU Berlin)

Hahn

Hahn

Mozart

Hahn

Wednesday - Sep 6CONCUR09:00 - 10:00 Chair: TBAKeynote (FORMATS)09:00 Euler’s method applied to the control of switched systems Laurent Fribourg

10:00 - 11:00 Logics 1, Chair: TBAModel-checking Counting Temporal Logics on Flat Structures Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier and Daniel ThomaThe Complexity of Flat Freeze LTL Benedikt Bollig, Karin Quaas and Arnaud Sangnier

11:00 Coffee Break11:30 - 13:00 Pushdown Systems, Chair: TBABidirectional Nested Weighted Automata Krishnendu Chatterjee, Thomas Henzinger and Jan OtopData Multi-Pushdown Automata Parosh Aziz Abdulla, C. Aiswarya and Mohamed Faouzi AtigTowards an Efficient Tree Automata based technique for Timed Systems S. Akshay, Paul Gastin, Krishna S. and Ilias Sarkar

11:30 - 13:00TutorialForward Progress on GPU Concurrency Alastair Donaldson

13:00 Lunch

14:45Social EventReichstag

15:00Social EventHolocaust-Mahnmal

19:00 Conference Dinner

MozartHahn

Humboldt

Wednesday - Sep 6QEST9:00 - 11:00 Parametric verification, Chair: Nathalie BertrandReachability in Parametric Interval Markov Chains using Constraints Anicet Bart, Benoit Delahaye, Didier Lime, Eric Monfroy and Charlotte TruchetMean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera and Vojtech RehakMulti-objective Robust Strategy Synthesis for Interval MDPs Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian and Andrea TurriniInvestigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt and Michael Fisher

11:30 - 13:00 Special session on Machine Learning and Verification, Chair: Tomas BrazdilStatistical abstraction for multi-scale spatio-temporal systems Michalis Michaelides, Jane Hillston and Guido SanguinettiAutomated experiment design for efficient verification of parametric Markov decision processes Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert and Alessandro AbateData-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs Carmen Cheh, Binbin Chen, William G. Temple and William H. Sanders

14:00 - 15:00 Chair: Marco PaolieriTools-Session

15:00 - 16:00 Chair: Luca BortolussiKeynote (QEST/FORMATS)Romualdo Pastor-Satorras

16:00 Coffee Break16:30 -18:00 Chair: Guido SanguinettiPanel on Formal methods meets learning

Clärchens Ballhaus

Lobby

Goethe

Wednesday - Sep 6FORMATS09:00 - 10:00 Chair: TBAKeynote (FORMATS)Euler’s method applied to the control of switched systems Laurent Fribourg

10:00 - 11:00 Probabilistic models, Chair: J. HillstonSymbolic Dependency Graphs for PCTL Model-Checking Anders Mariegaard and Kim Guldstrand LarsenDistribution-based bisimulation for labelled Markov processes Pengfei Yang, David N. Jansen and Lijun Zhang

11:00 Coffee Break11:30 - 13:00 Quantitative Logics and Monitoring, Chair: A. SokolovaOn the Quantitative Semantics of Regular Expressions over Real-Valued Signals Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan UlusCombining the Temporal and Epistemic Dimensions for MTL Monitoring Eugene Asarin, Oded Maler, Dejan Nickovic and Dogan UlusEfficient Online Timed Pattern Matching by Automata-Based Skipping Masaki Waga, Ichiro Hasuo and Kohei Suenaga13:00 Lunch15:00 - 16:00 Chair: TBAKeynote (QEST/FORMATS)Romualdo Pastor-Satorras

16:00 Coffee Break16:30 - 18:00 Reachability Analysis, Chair: G. GeeraertsLet’s Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata Loïg Jezequel and Didier LimeLazy Reachability Checking for Timed Automata using Interpolants Tamás Tóth and István MajzikSafe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li and Naijun Zhan

19:00 Conference Dinner Clärchens Ballhaus

Goethe

Mozart

Thursday - Sep 7CONCUR09:00 - 10:00 Chair: TBAKeynoteRandomized Algorithms for Concurrency Testing Madan Musuvathi10:00 - 11:00 Logics 2, Chair: TBAFlow Logic Orna Kupferman and Gal VardiTractability of separation logic with inductive definitions: Beyond lists Taolue Chen, Fu Song and Zhilin Wu

11:30 - 13:00 Consistency, Chair: TBAChecking Linearizability of Concurrent Priority Queues Ahmed Bouajjani, Constantin Enea and Chao WangHigher-Order Linearisability Andrzej Murawski and Nikos TzevelekosAlgebraic Laws for Weak Consistency Andrea Cerone, Alexey Gotsman and Hongseok Yang

14:30 - 16:00 Petri Nets, Chair: TBAOn Petri Nets with Hierarchical Special Arcs S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath and Sai SandeepGoal-Driven Unfolding of Petri Nets Thomas Chatain and Loïc PaulevéUnbounded product-form Petri nets Patricia Bouyer, Serge Haddad and Vincent Jugé

16:30 - 18:00 Semantics 1, Chair: TBATwo Lower Bounds for BPA Mingzhang Huang and Qiang YinThe Power of Convex Algebras Filippo Bonchi, Alexandra Silva and Ana SokolovaEfficient Coalgebraic Partition Refinement Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann

16:30 - 18:00TutorialAn introduction to weak memory consistency and the out-of-thin-air problem Viktor Vafeiadis

19:00 Soccer Match

Hahn

Humboldt

Thursday - Sep 7QEST

10:00 - 11:00 Chair: Nathalie BertrandKeynote (QEST/EPEW/FORMATS)Morten Bisgaard

11:00 Coffee Break11:30 - 13:00 Student session, Chair: Jane HillstonImproving energy efficiency of battery operated pool depletion systems Riccardo Pinciroli, Marco Gribaudo and Giuseppe SerazziDetection of Head Motion Artifacts based on a Statistical Online Model-Checking Approach Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer and Sibylle SchuppOpenFlow Controller Scheduling Policy for Mice and Elephant Flow Zhihao Shang, Han Wu and Katinka Wolter

13:00 Lunch14:30 - 16:00 Statistical model checking, Chair: Jan KretinskyThree-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston and Glenn MarionSequential Schemes for Estimation of Properties in Statistical Model Checking Cyrille Jegourel, Jun Sun and Jin Song DongMultilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems Sadegh Soudjani, Rupak Majumdar and Tigran Nagapetyan

16:00 Coffee Break16:30 - 18:00 Tools, Chair: Andrea MarinTulsa: A Tool for Transforming UML to Layered Queueing Networks for Performance Analysis of Data Intensive Applications Chen Li, Taghreed Altamimi, Mana Hassanzadeh Zargari, Giuliano Casale and Dorina PetriuModelling and Performance Evaluation With TimeNET 4.4 Armin ZimmermannRODES: A Robust-Design Synthesis Tool for Probabilistic Systems Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska and Nicola PaolettiQUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers Pushpak Jagtap and Majid Zamani

Goethe

Goethe

Thursday - Sep 7EPEW08:30 Registration09:30 - 10:00 EPEW Opening10:00 - 11:00 Chair: TBAKeynote (QEST/EPEW/FORMATS)10:00 Morten Bisgaard

11:30 - 13:00 Technical Session 1, Chair: Iryna DohndorfDelay analysis of resequencing buffer in Markov environment with HOQ-FIFO-LIFO policy Rostislav Razumchik and Miklos TelekAnalysis of Timed Properties Using the Jump-Diffusion Approximation Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich and Jeremy SprostonStability Analysis of a Multiclass Retrial System with Coupled Orbit Queues Evsey Morozov and Ioannis Dimitriou

14:30 - 15:30 Chair: TBAKeynote (EPEW/FORMATS)Cryptocurrency and Blockchain Technology: Challenges and Opportunities William Knottenbelt15:30 - 16:00 Technical Session IIa, Chair: Philipp ReineckeADaCS: A Tool for Analysing Data Collection Strategies John Mace, Nipun Thekkummal, Charles Morisset and Aad van Moorsel

16:30 - 18:00 Technical Session IIb, Chair: Philipp ReineckeDeriving Power Models for Architecture-Level Energy Efficiency Analyses Christian Stier, Dominik Werle and Anne KoziolekAnalysis of performance and energy consumption in the cloud Mehdi Kandi, Farah Ait Salaht, Hind Castel and Emmanuel HyonMachine learning models for predicting timely virtual machine live migration Osama Alrajeh, Matthew Forshaw and Nigel Thomas

20:00 Dinner

Goethe

Meitner

Thursday - Sep 7FORMATS

10:00 - 11:00 Chair: Nathalie BertrandKeynote (QEST/EPEW/FORMATS)Morten Bisgaard

11:00 Coffee Break11:30 - 13:00 Testing and simulation, Chair: J. KretinskiSimulation Based Computation of Certificates for Safety of Dynamical Systems Stefan RatschanA Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron and Burkhart WolffSemi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction Rehab Massoud, Jannis Stoppe, Daniel Grosse and Rolf Drechsler

13:00 Lunch14:30 - 15:30 Chair: TBAKeynote (EPEW/FORMATS)Cryptocurrency and Blockchain Technology: Challenges and Opportunities William Knottenbelt

16:00 Coffee Break

Goethe

Meitner

Mozart

Friday - Sep 8CONCUR09:00 - 10:00 Chair: TBAKeynoteAdmissibility in Games with Imperfect Information Jean-François Raskin10:00 - 11:00 Process Algebra 2, Chair: TBAOn Decidability of Concurrent Kleene Algebra Paul Brunet, Damien Pous and Georg StruthBrzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages Tobias Kappe, Paul Brunet, Bas Luttik, Alexandra Silva and Fabio Zanasi

11:30 - 13:00 Games, Chair: TBAInfinite-Duration Bidding Games Guy Avni, Ventsislav Chonev and Thomas A. HenzingerNash Equilibrium and Bisimulation Invariance Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli and Michael WooldridgeThe Robot Routing Problem for Collecting Aggregate Stochastic Rewards Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak Prabhu and Sadegh Soudjani

14:30 - 16:00 Semantics 2, Chair: TBADivide and Congruence III: Stability & Divergence Wan Fokkink, Rob van Glabbeek and Bas LuttikDivergence and unique solution of equations Adrien Durier, Daniel Hirschkoff and Davide SangiorgiRule Formats for Nominal Transition Systems Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega-Mallén

16:30 - 18:30 Stochastics, Chair: TBAModel Checking ω-regular Properties for Quantum Markov Chains Yuan Feng, Ernst Moritz Hahn, Andrea Turrini and Shenggang YingProbabilistic Automata of Bounded Ambiguity Nathanaël Fijalkow, Cristian Riveros and James WorrellAlgorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains Qiyi Tang and Franck van BreugelUniform sampling for networks of automata Nicolas Basset, Jean Mairesse and Michèle Soria

Hahn

Friday - Sep 8EPEW09:00 - 10:00 Chair: TBAKeynoteOpen-source libraries included in enterprise applications: workhorses or trojan horses?Antonino Sabetta10:00 - 11:00 Technical Session III, Chair: Aad van MoorselLearning-Based Testing of Cyber-Physical Systems-of-Systems: a Platooning Study Karl MeinkeAn inspection-based compositional approach to the quantitative evaluation of assembly lines Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano and Enrico Vicario

11:00 Coffee Break11:30 - 13:00 Technical Session IV, Chair: Anne RemkeAnalysis of Markov Decision Processes under Parameter Uncertainty Peter Buchholz, Iryna Dohndorf and Dimitri ScheftelowitschInteractive Markovian Equivalence Arpit SharmaBounded Aggregation For Continuous Time Markov Decision Processes Peter Buchholz, Iryna Dohndorf, Alexander Frank and Dimitri Scheftelowitsch

13:00 Lunch14:30 -16:00 Technical Session V, Chair: Andrea MarinModel-based Simulation in Möbius: an Efficient Approach Targeting Loosely Interconnected Components Giulio Masetti, Silvano Chiaradonna and Felicita Di GiandomenicoModel checking the STL time-bounded Until on Hybrid Petri Nets using Nef polyhedra Adrian Godde and Anne RemkeA new approach to predicting reliable project runtimes via probabilistic model checking Markus Siegle and Ulrich Vogl

16:00 Coffee Break16:30 - 18:00 Technical Session VI, Chair: Zhiao ShangStochastic Models for Solar Power Dimitra Politaki and Sara AlouftImproving ZooKeeper Atomic Broadcast Performance by Coin Tossing Ibrahim El-Sanosi and Paul EzhilchelvanModelling and analysis of commit protocols with PEPA Said Naser Said Kamil and Nigel Thomas18:00 Closing

Meitner

Saturday - Sep 9TRENDS09:00 - 09:45 Chair: TBAKeynote09:00 A Verification Technique for Deterministic Parallel Programs Marieke Huisman09:45 - 11:00 Chair: TBAConvex Algebras for Probabilistic Systems Ana SokolovaStatic Analysis of Deterministic Negotiations Javier EsparzaA Symbolic Approach to Optimizing Mean-Payoff in Continuous-Time Markov Chains with Alarms Antonin Kucera

11:45 - 13:00 Chair: TBAReversible session-based interactions Paola GianniniDecomposition Structures for Soft Constraint Evaluation Problems Ugo MontanariEnsuring Liveness Properties of Distributed Systems Rob van Glabbeek

14:00 - 14:45 Chair: TBAKeynoteTrends in Concurrency Theory - the Tester‘s Perspective Jan Peleska14:45 - 15:35 Chair: TBASignificant Decidable Variants of Asynchronous Session Subtyping Mario Bravetti, Marco Carbone and Gianluigi ZavattaroCombining Free choice and Time in Petri Nets Loic Helouet15:35 - 16:00 IFIP WG 1.8 Business Meeting (Open to Public)

Mozart

Saturday - Sep 9PASM09:00 Registration and welcome09:30 - 11:00 Chair: TBATesting Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring Claudia Krull, Marcus Thiel and Graham HortonInvestigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing Said Naser Said Kamil and Nigel ThomasStochastic-based Semantics Of Attack-Defense Trees For Security Assessment Karim Lounis and Samir Ouchani11:00 Coffee Break11:30 - 13:00 Chair: TBAGoals and resource constraints in CARMA Paul Piho, Anastasis Georgoulas and Jane HillstonConvex Stochastic Bounds and Stochastic Optimisation on Graphs Johanne Cohen, Alexandre Fauquette, Jean-Michel Fourneau, Gilles-Christian Noukela and Nihal PekerginPerformance evaluation of replication policies in microservice based architectures Marco Gribaudo, Mauro Iacono and Daniele Manini13:00 Lunch14:00 - 16:00 Chair: TBAAn optimal inverse Laplace transform method without overshoot -- an integral based interpretation Illes Horvath, Zsofia Talyigas and Miklos TelekEvaluation of Advanced Data Centre Power Management Strategies Björn Postema and Boudewijn HaverkortPower Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP Marziyeh BayatiEpistemic Uncertainty Propagation in Power Models Marco Gribaudo, Riccardo Pinciroli and Kishor Trivedi16:00 Workshop close

16:00 Coffee Break

Humboldt

28.8

.201

7G

oogl

e M

aps

http

s://w

ww.

goog

le.d

e/m

aps/

@52

.452

3154

,13.

2872

895,

15z

1/1

Kart

enda

ten

© 2

017

Geo

Basi

s-DE

/BKG

(©20

09),G

oogl

eDe

utsc

hlan

d20

0 m

Inte

ract

ive

Map

:

Reception - Tuesday Sep 5 - 19:00

LichthofTechnische Universität Berlin (Main building)Straße des 17.Juni 13510623 BerlinStation: U Ernst-Reuter-Platz

Route:[U3] U Thielplatz → U Wittenbergplatz (Direction U Nollendorfplatz)[U2] U Wittenbergplatz → U Ernst-Reuter-Platz (Direction U Theodor-Heuss-Platz)

Social Events (CONCUR) - Wednesday Sep 6 - 14:45/15:00(1) 14:45 ReichstagScheidemannstraße 210557 BerlinStation: S+U Brandenburger Tor

Route:13:40 Meeting point: Planck-Lobby13:49 [U3] U Thielplatz → U Wittenbergplatz (Direction U Nollendorfplatz)14:05 [U2] U Wittenbergplatz → S+U Potsdamer Platz (Direction S+U Pankow)14:19 [S25] S+U Potsdamer Platz → S+U Brandenburger Tor (Direction S+U Gesundbrunnen)

(2) 15:00 Holocaust-MahnmalCora-Berliner-Straße 110117 BerlinStation: S+U Brandenburger Tor / U Mohrenstraße

Route:14:00 Meeting point: Planck-Lobby14:09 [U3] U Thielplatz → S+U Heidelberger Platz(Direction U Nollendorfplatz)14:23 [S42] S+U Heidelberger Platz → S Südkreuz(Direction Ring [counterclockwise])14:36 [S2] S Südkreuz → S+U Brandenburger Tor(Direction S Buch)

Soccer Match (CONCUR) - Thursday Sep 7 - 19:00TBA

© TU Berlin/ Weiß

© Deutscher Bundestag / Katrin Neuhauser

© Marko Priske

Conference Dinner (CONCUR, QEST, FORMATS) - Wednesday Sep 6 - 19:00

Clärchens BallhausSpiegelsaalAuguststraße 2410117 BerlinStation: U Rosenthaler Platz

Route:18:14 [U3] U Thielplatz → S+U Heidelberger Platz(Direction U Nollendorfplatz)18:25 [S46] S+U Heidelberger Platz → S Schöneberg(Direction S Königs Wusterhausen)18:37 [S1] S Schöneberg → S Oranienburger Str. [! not S Oranienburg](Direction: S Oranienburg)

Conference Dinner (EPEW) - Thursday Sep 7 - 20:00Julchen HoppeRathausstraße 2510178 BerlinStation: U Klosterstraße

Route:[U3] U Thielplatz → U Wittenbergplatz (Direction U Nollendorfplatz)[U2] U Wittenbergplatz → U Klosterstraße ( Direction U Pankow)

© Bernd Schönberger

© TripAdvisor

Ground Floor / Erdgeschoss

Harnack-Haus

Goethe-Saal-QEST

Mozart-Zimmer-EXPRESS/SOS-FORMATS-TRENDS

Planck-LobbyEntrance

Meitner-Saal I-EPEW

Hahn-Hörsaal-CONCUR

© Harnack-Haus (überarbeitete Version)

Humboldt-Zimmer-RADICAL-CONCUR-Tutorials-PASM

Semi-Basement / Sockelgeschoss

Laue-Saal

Köhler-Zimmer-YR-CONCUR

Lynen-Zimmer

WC Women

WC Women

WC Men

WC Men

Restaurant

© Harnack-Haus (überarbeitete Version)

Restaurants in the vicinityAlter KrugKönigin-Luise-Straße 52, 14195 Berlin

EierschalePodbielskiallee 50, 14195 Berlin

Luise BiergartenKönigin-Luise-Straße 40 - 42, 14195 Berlin

EnglersEnglerallee 42, 14195 Berlin

PiaggioKönigin-Luise-Straße 44, 14195 Berlin

PapillonTakustraße 39, 14195 Berlin

Q NFEST