![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, Abdelkader Moudjari, Hichem Talbi
:
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é
, Jawher Jerray
, Sahar Mhiri:
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
, Gabriel Ciobanu
:
Verification of Multi-agent Systems with Timeouts for Migration and Communication. 134-151 - Frantisek Blahoudek
, Juraj Major, Jan Strejcek:
LTL to Smaller Self-Loop Alternating Automata and Back. 152-171
Verification and Concurrency
- Jafar Hamin
:
Starvation-Free Monitors. 175-195 - Kirstin Peters
, Christoph Wagner, Uwe Nestmann
:
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
, Martina Olliaro
, Agostino Cortesi
, Isabella Mastroeni
:
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, Pascal Lafourcade, Riadh Robbana:
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. 292-312 - Daniele Gorla
, Federica Granese
, Catuscia Palamidessi
:
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
, Paul Keir
:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.