Theoretical aspects of computing - ICTAC 2019 : 16th international colloquium, Hammamet, Tunisia, October 31 - November 4, 2019 : proceedings

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019. The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions. The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. Front Matter ....Pages i-xi Front Matter ....Pages 1-1 Calculational Design of a Regular Model Checker by Abstract Interpretation (Patrick Cousot)....Pages 3-21 Verification by Construction of Distributed Algorithms (Dominique Méry)....Pages 22-38 Front Matter ....Pages 39-39 The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism (Arpit Sharma)....Pages 41-58 Computing Branching Distances Using Quantitative Games (Uli Fahrenberg, Axel Legay, Karin Quaas)....Pages 59-75 Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems (Fateh Latreche, Abdelkader Moudjari, Hichem Talbi)....Pages 76-90 Optimal Run Problem for Weighted Register Automata (Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata)....Pages 91-110 Front Matter ....Pages 111-111 Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty (Étienne André, Jawher Jerray, Sahar Mhiri)....Pages 113-123 Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains (Moez Krichen)....Pages 124-133 Verification of Multi-agent Systems with Timeouts for Migration and Communication (Bogdan Aman, Gabriel Ciobanu)....Pages 134-151 LTL to Smaller Self-Loop Alternating Automata and Back (František Blahoudek, Juraj Major, Jan Strejček)....Pages 152-171 Front Matter ....Pages 173-173 Starvation-Free Monitors (Jafar Hamin)....Pages 175-195 Taming Concurrency for Verification Using Multiparty Session Types (Kirstin Peters, Christoph Wagner, Uwe Nestmann)....Pages 196-215 Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams (Samir Ouchani)....Pages 216-234 Context-Free Grammars for Deterministic Regular Expressions with Interleaving (Xiaoying Mou, Haiming Chen, Yeting Li)....Pages 235-252 Front Matter ....Pages 253-253 Completeness of Abstract Domains for String Analysis of JavaScript Programs (Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni)....Pages 255-272 BCARET Model Checking for Malware Detection (Huu-Vu Nguyen, Tayssir Touili)....Pages 273-291 DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain (Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana)....Pages 292-312 Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks (Daniele Gorla, Federica Granese, Catuscia Palamidessi)....Pages 313-331 Front Matter ....Pages 333-333 Taylor Series Revisited (Xavier Thirioux, Alexis Maffart)....Pages 335-352 Solving the Expression Problem in C++, á la LMS (Seyed Hossein Haeri, Paul Keir)....Pages 353-371 Laws of Monadic Error Handling (Härmel Nestra)....Pages 372-391 Solving of Regular Equations Revisited (Martin Sulzmann, Kenny Zhuo Ming Lu)....Pages 392-409 Back Matter ....Pages 411-411