| 2017 | A Toolset for Mobile Systems Testing. Pierre André, Nicolas Rivière, Hélène Waeselynck |
| 2017 | An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. Abderraouf Boussif, Mohamed Ghazel |
| 2017 | Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. Bogdan Aman, Gabriel Ciobanu |
| 2017 | Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks. Sedda Hakmi, Ouiza Lekadir, Djamil Aïssani |
| 2017 | Factor-Based C-AMAT Analysis for Memory Optimization. Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang |
| 2017 | Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. Muhammad Saad Ayub, Osman Hasan |
| 2017 | Intertwined Global Optimization Based Reachability Analysis. Ibtissem Seghaier, Sofiène Tahar |
| 2017 | Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine |
| 2017 | Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking. Sana Younès, Momtez Benmbarek |
| 2017 | Regression-Based Statistical Bounds on Software Execution Time. Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
| 2017 | TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
| 2017 | Uppaal vs Event-B for Modelling Optimised Link State Routing. Mojgan Kamali, Luigia Petre |
| 2017 | Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar |
| 2017 | WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou |