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

9783030350918, 9783030350925

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling Concurrent Behaviors as Words

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

10.1007/978-3-030-35092-5_1 ◽

2019 ◽

pp. 1-15

Author(s):

Yohan Boichut ◽

Jean-Michel Couvreur ◽

Xavier Ferry ◽

Mohamadou Tafsir Sakho

Download Full-text

Analysing Security Protocols Using Scenario Based Simulation

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

10.1007/978-3-030-35092-5_4 ◽

2019 ◽

pp. 47-62

Author(s):

Farah Al-Shareefi ◽

Alexei Lisitsa ◽

Clare Dixon

Keyword(s):

Security Protocols

Download Full-text

Running on Fumes

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

10.1007/978-3-030-35092-5_5 ◽

2019 ◽

pp. 63-78 ◽

Cited By ~ 1

Author(s):

Elvira Albert ◽

Pablo Gordillo ◽

Albert Rubio ◽

Ilya Sergey

Download Full-text

Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems

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

10.1007/978-3-030-35092-5_2 ◽

2019 ◽

pp. 16-31 ◽

Cited By ~ 1

Author(s):

Ayman Aljarbouh

Keyword(s):

Dynamical Systems ◽

Hybrid Dynamical Systems ◽

Simulation Semantics

Download Full-text

Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems

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

10.1007/978-3-030-35092-5_7 ◽

2019 ◽

pp. 95-109

Author(s):

Yves Mouafo Tchinda ◽

Annie Choquet-Geniet ◽

Gaëlle Largeteau-Skapin

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

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

10.1007/978-3-030-35092-5_6 ◽

2019 ◽

pp. 79-94

Author(s):

Philippe Glanon ◽

Selma Azaiez ◽

Chokri Mraidha

Keyword(s):

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Static Detection of Event-Driven Races in HTML5-Based Mobile Apps

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

10.1007/978-3-030-35092-5_3 ◽

2019 ◽

pp. 32-46 ◽

Cited By ~ 1

Author(s):

Phi Tuong Lau

Keyword(s):

Mobile Apps ◽

Event Driven ◽

Static Detection

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

Modeling Concurrent Behaviors as Words

Analysing Security Protocols Using Scenario Based Simulation

Running on Fumes

Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems

Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Static Detection of Event-Driven Races in HTML5-Based Mobile Apps

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