| 2019 | BCARET Model Checking for Malware Detection. Huu-Vu Nguyen, Tayssir Touili |
| 2019 | Calculational Design of a Regular Model Checker by Abstract Interpretation. Patrick Cousot |
| 2019 | Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. Fateh Latreche, Abdelkader Moudjari, Hichem Talbi |
| 2019 | Completeness of Abstract Domains for String Analysis of JavaScript Programs. Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
| 2019 | Computing Branching Distances Using Quantitative Games. Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2019 | Context-Free Grammars for Deterministic Regular Expressions with Interleaving. Xiaoying Mou, Haiming Chen, Yeting Li |
| 2019 | DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana |
| 2019 | Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. Daniele Gorla, Federica Granese, Catuscia Palamidessi |
| 2019 | LTL to Smaller Self-Loop Alternating Automata and Back. Frantisek Blahoudek, Juraj Major, Jan Strejcek |
| 2019 | Laws of Monadic Error Handling. Härmel Nestra |
| 2019 | Optimal Run Problem for Weighted Register Automata. Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata |
| 2019 | Solving of Regular Equations Revisited. Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2019 | Solving the Expression Problem in C++, á la LMS. Seyed Hossein Haeri, Paul Keir |
| 2019 | Starvation-Free Monitors. Jafar Hamin |
| 2019 | Taming Concurrency for Verification Using Multiparty Session Types. Kirstin Peters, Christoph Wagner, Uwe Nestmann |
| 2019 | Taylor Series Revisited. Xavier Thirioux, Alexis Maffart |
| 2019 | Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. Moez Krichen |
| 2019 | The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. Arpit Sharma |
| 2019 | Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings Robert M. Hierons, Mohamed Mosbah |
| 2019 | Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. Étienne André, Jawher Jerray, Sahar Mhiri |
| 2019 | Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. Samir Ouchani |
| 2019 | Verification by Construction of Distributed Algorithms. Dominique Méry |
| 2019 | Verification of Multi-agent Systems with Timeouts for Migration and Communication. Bogdan Aman, Gabriel Ciobanu |