| 2019 | Solving of Regular Equations Revisited. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2019 | The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. | Arpit Sharma |
| 2019 | Optimal Run Problem for Weighted Register Automata. | Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata |
| 2019 | Energy Efficient Target Coverage in Wireless Sensor Networks Using Adaptive Learning. | Ashish Rauniyar, Jeevan Kunwar, Hrek Haugerud, Anis Yazidi, Paal Engelstad |
| 2019 | Taming Concurrency for Verification Using Multiparty Session Types. | Kirstin Peters, Christoph Wagner, Uwe Nestmann |
| 2019 | Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. | Samir Ouchani |
| 2019 | BCARET Model Checking for Malware Detection. | Huu-Vu Nguyen, Tayssir Touili |
| 2019 | Laws of Monadic Error Handling. | Hrmel Nestra |
| 2019 | Context-Free Grammars for Deterministic Regular Expressions with Interleaving. | Xiaoying Mou, Haiming Chen, Yeting Li |
| 2019 | Verification by Construction of Distributed Algorithms. | Dominique Mry |
| 2019 | On a New Quantization Algorithm for Secondary User Scheduling in 5G Network. | Ayman Massaoudi, Noura Sellami, Mohamed Siala |
| 2019 | Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. | Fateh Latreche, Abdelkader Moudjari, Hichem Talbi |
| 2019 | VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends. | Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith |
| 2019 | Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. | Moez Krichen |
| 2019 | Inter-slice Mobility Management in the Context of SDN/NFV Networks. | Amal Kammoun, Nabil Tabbane, Gladys Diaz, Nadjib Achir, Abdulhalim Dandoush |
| 2019 | An Efficient Fault-Tolerant Scheduling Approach with Energy Minimization for Hard Real-Time Embedded Systems. | Barkahoum Kada, Hamoudi Kalla |
| 2019 | Starvation-Free Monitors. | Jafar Hamin |
| 2019 | Solving the Expression Problem in C++, la LMS. | Seyed Hossein Haeri, Paul Keir |
| 2019 | Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. | Daniele Gorla, Federica Granese, Catuscia Palamidessi |
| 2019 | Computing Branching Distances Using Quantitative Games. | Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2019 | Using Dynamic Bayesian Networks to Solve Road Traffic Congestion in the Sfax City. | Ahmed Derbel, Younes Boujelbene |
| 2019 | A Systematic Literature Review of Studies on Road Congestion Modelling. | Ahmed Derbel, Younes Boujelbene |
| 2019 | Calculational Design of a Regular Model Checker by Abstract Interpretation. | Patrick Cousot |
| 2019 | A Comparative Study of Vehicle Detection Methods in a Video Sequence. | Ameni Chetouane, Sabra Mabrouk, Imen Jemili, Mohamed Mosbah |
| 2019 | DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. | Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana |