Abstract is missing.
- Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical RobotMuhammad Saad Ayub, Osman Hasan. 1-16 [doi]
- Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model CheckingSana Younès, Momtez Benmbarek. 17-32 [doi]
- Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor NetworksSedda Hakmi, Ouiza Lekadir, Djamil Aïssani. 33-47 [doi]
- Regression-Based Statistical Bounds on Software Execution TimePeter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros. 48-63 [doi]
- WCET Analysis by Model Checking for a Processor with Dynamic Branch PredictionArmel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou. 64-78 [doi]
- Factor-Based C-AMAT Analysis for Memory OptimizationQi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang. 79-91 [doi]
- An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-StudyAbderraouf Boussif, Mohamed Ghazel. 92-107 [doi]
- Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover AdaptationHana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine. 108-123 [doi]
- A Toolset for Mobile Systems TestingPierre André, Nicolas Rivière, Hélène Waeselynck. 124-138 [doi]
- Intertwined Global Optimization Based Reachability AnalysisIbtissem Seghaier, Sofiène Tahar. 139-154 [doi]
- Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine MaudeBogdan Aman, Gabriel Ciobanu. 155-170 [doi]
- TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered ParadigmHela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec. 171-188 [doi]
- Uppaal vs Event-B for Modelling Optimised Link State RoutingMojgan Kamali, Luigia Petre. 189-203 [doi]