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