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

TOTAL DOCUMENTS

(FIVE YEARS 20)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030659547, 9783030659554

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Efficient Partial Order Techniques for Time Petri Nets

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

10.1007/978-3-030-65955-4_8 ◽

2020 ◽

pp. 100-115

Author(s):

Kuangze Wang ◽

Hanifa Boucheneb ◽

Kamel Barkaoui ◽

Zhiwu Li

Keyword(s):

Petri Nets ◽

Partial Order ◽

Time Petri Nets

Download Full-text

An Approach for Supervisor Reduction of Discrete-Event Systems

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

10.1007/978-3-030-65955-4_1 ◽

2020 ◽

pp. 3-14

Author(s):

Huimin Zhang ◽

Lei Feng ◽

Wu Xie ◽

Feng Yu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Reduction

Download Full-text

Weighted Lightweight Image Retrieval Method Based on Linear Regression

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

10.1007/978-3-030-65955-4_20 ◽

2020 ◽

pp. 268-280

Author(s):

Lina Zhang ◽

Xiangqin Zheng ◽

Xuan Dang ◽

Jiehui Zhang

Keyword(s):

Linear Regression ◽

Image Retrieval ◽

Retrieval Method

Download Full-text

A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems

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

10.1007/978-3-030-65955-4_18 ◽

2020 ◽

pp. 244-256

Author(s):

Zhang Zhao-zhao ◽

Wang Qiu-wan ◽

Zhu Ying-qin

Keyword(s):

Neural Network ◽

Modular Neural Network ◽

Complex Problems ◽

Self Adaptive

Download Full-text

A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection

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

10.1007/978-3-030-65955-4_15 ◽

2020 ◽

pp. 207-221

Author(s):

Yingdi Wang ◽

Yixiang Wang ◽

Endong Tong ◽

Wenjia Niu ◽

Jiqiang Liu

Keyword(s):

Deep Learning ◽

Intrusion Detection

Download Full-text

Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design

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

10.1007/978-3-030-65955-4_14 ◽

2020 ◽

pp. 195-204

Author(s):

Wilfried Yves Hamilton Adoni ◽

Moez Krichen ◽

Tarik Nahhal ◽

Abdeltif Elbyed

Keyword(s):

Final States ◽

Memory Design ◽

Model Based ◽

Model Based Testing ◽

Testing Theory ◽

Path Coverage

Download Full-text

Model-Based Design of Resilient Systems Using Quantitative Risk Assessment

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

10.1007/978-3-030-65955-4_11 ◽

2020 ◽

pp. 149-164

Author(s):

Braham Lotfi Mediouni ◽

Iulia Dragomir ◽

Ayoub Nouri ◽

Saddek Bensalem

Keyword(s):

Risk Assessment ◽

Quantitative Risk Assessment ◽

Model Based

Download Full-text

ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets

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

10.1007/978-3-030-65955-4_7 ◽

2020 ◽

pp. 84-99

Author(s):

Ruotian Liu ◽

Rabah Ammour ◽

Leonardo Brenner ◽

Isabel Demongodin

Keyword(s):

Steady State ◽

Petri Nets ◽

Control Trajectory

Download Full-text

The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator

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

10.1007/978-3-030-65955-4_4 ◽

2020 ◽

pp. 41-53

Author(s):

Wei ZiHan ◽

Zhao Mi ◽

Fu ChangXin

Keyword(s):

Modeling And Simulation ◽

Drive System ◽

Pi Regulator

Download Full-text

Accurate Strategy for Mixed Criticality Scheduling

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

10.1007/978-3-030-65955-4_10 ◽

2020 ◽

pp. 131-146

Author(s):

Yasmina Abdeddaïm

Keyword(s):

Mixed Criticality

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

Towards Efficient Partial Order Techniques for Time Petri Nets

An Approach for Supervisor Reduction of Discrete-Event Systems

Weighted Lightweight Image Retrieval Method Based on Linear Regression

A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems

A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection

Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design

Model-Based Design of Resilient Systems Using Quantitative Risk Assessment

ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets

The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator

Accurate Strategy for Mixed Criticality Scheduling

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