wednesday thursday saturday - tu berlin · theoretical foundations for monitors luca aceto, antonis...
TRANSCRIPT
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