default search action
16th ICTAC 2019: Hammamet, Tunisia
- Robert M. Hierons, Mohamed Mosbah:
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Lecture Notes in Computer Science 11884, Springer 2019, ISBN 978-3-030-32504-6
Keynote Papers
- Patrick Cousot
:
Calculational Design of a Regular Model Checker by Abstract Interpretation. 3-21 - Dominique Méry
Verification by Construction of Distributed Algorithms. 22-38
Models and Transition Systems
- Arpit Sharma:
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. 41-58 - Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. 59-75 - Fateh Latreche
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. 76-90 - Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata:
Optimal Run Problem for Weighted Register Automata. 91-110
Real-Time and Temporal Logics
- Étienne André
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. 113-123 - Moez Krichen:
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. 124-133 - Bogdan Aman
Verification of Multi-agent Systems with Timeouts for Migration and Communication. 134-151 - Frantisek Blahoudek
LTL to Smaller Self-Loop Alternating Automata and Back. 152-171
Verification and Concurrency
- Jafar Hamin
Starvation-Free Monitors. 175-195 - Kirstin Peters
Taming Concurrency for Verification Using Multiparty Session Types. 196-215 - Samir Ouchani
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. 216-234 - Xiaoying Mou, Haiming Chen, Yeting Li
Context-Free Grammars for Deterministic Regular Expressions with Interleaving. 235-252
Privacy and Security
- Vincenzo Arceri
Completeness of Abstract Domains for String Analysis of JavaScript Programs. 255-272 - Huu-Vu Nguyen, Tayssir Touili:
BCARET Model Checking for Malware Detection. 273-291 - Marwa Chaieb, Mirko Koscina, Souheib Yousfi
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. 292-312 - Daniele Gorla
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. 313-331
Equations, Types, and Programming Languages
- Xavier Thirioux, Alexis Maffart:
Taylor Series Revisited. 335-352 - Seyed Hossein Haeri
Solving the Expression Problem in C++, á la LMS. 353-371 - Härmel Nestra
Laws of Monadic Error Handling. 372-391 - Martin Sulzmann, Kenny Zhuo Ming Lu:
Solving of Regular Equations Revisited. 392-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: