default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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
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.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
