Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319661759, 9783319661766

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_8 ◽

2017 ◽

pp. 108-123

Author(s):

Hana Jouini ◽

Mohamed Escheikh ◽

Kamel Barkaoui ◽

Tahar Ezzedine

Keyword(s):

Load Balancing ◽

Heterogeneous Networks

Download Full-text

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_7 ◽

2017 ◽

pp. 92-107 ◽

Cited By ~ 2

Author(s):

Abderraouf Boussif ◽

Mohamed Ghazel

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Experimental Comparison ◽

Event Systems

Download Full-text

Regression-Based Statistical Bounds on Software Execution Time

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_4 ◽

2017 ◽

pp. 48-63 ◽

Cited By ~ 4

Author(s):

Peter Poplavko ◽

Ayoub Nouri ◽

Lefteris Angelis ◽

Alexandros Zerzelidis ◽

Saddek Bensalem ◽

...

Keyword(s):

Execution Time ◽

Software Execution

Download Full-text

A Toolset for Mobile Systems Testing

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_9 ◽

2017 ◽

pp. 124-138 ◽

Cited By ~ 1

Author(s):

Pierre André ◽

Nicolas Rivière ◽

Hélène Waeselynck

Keyword(s):

Mobile Systems

Download Full-text

Uppaal vs Event-B for Modelling Optimised Link State Routing

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_13 ◽

2017 ◽

pp. 189-203

Author(s):

Mojgan Kamali ◽

Luigia Petre

Keyword(s):

Link State

Download Full-text

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_1 ◽

2017 ◽

pp. 1-16 ◽

Cited By ~ 1

Author(s):

Muhammad Saad Ayub ◽

Osman Hasan

Keyword(s):

Probabilistic Analysis ◽

Control Algorithm ◽

Surgical Robot ◽

Virtual Fixture

Download Full-text

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_11 ◽

2017 ◽

pp. 155-170

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Pi Calculus

Download Full-text

Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_3 ◽

2017 ◽

pp. 33-47 ◽

Cited By ~ 1

Author(s):

Sedda Hakmi ◽

Ouiza Lekadir ◽

Djamil Aïssani

Keyword(s):

Sensor Networks ◽

Petri Nets ◽

Performance Modeling ◽

Stochastic Petri Nets ◽

Rf Communication ◽

Generalized Stochastic Petri Nets

Download Full-text

Factor-Based C-AMAT Analysis for Memory Optimization

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_6 ◽

2017 ◽

pp. 79-91

Author(s):

Qi Yu ◽

Libo Huang ◽

Cheng Qian ◽

Jianqiao Ma ◽

Zhiying Wang

Keyword(s):

Memory Optimization

Download Full-text

Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_2 ◽

2017 ◽

pp. 17-32 ◽

Cited By ~ 1

Author(s):

Sana Younes ◽

Momtez Benmbarek

Keyword(s):

Performance Analysis ◽

Model Checking ◽

Admission Control ◽

Probabilistic Model ◽

Cellular Network ◽

Call Admission Control ◽

Probabilistic Model Checking ◽

Call Admission

Download Full-text

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

Regression-Based Statistical Bounds on Software Execution Time

A Toolset for Mobile Systems Testing

Uppaal vs Event-B for Modelling Optimised Link State Routing

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks

Factor-Based C-AMAT Analysis for Memory Optimization

Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems
Latest Publications