Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319686899, 9783319686905
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems

2017 ◽  
pp. 54-70 ◽  
Author(s):  
Xiaohong Chen ◽  
Ling Yin ◽  
Yijun Yu ◽  
Zhi Jin
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems

Improving the Scalability of Automatic Linearizability Checking in SPIN

2017 ◽  
pp. 105-121 ◽  
Author(s):  
Patrick Doolan ◽  
Graeme Smith ◽  
Chenyi Zhang ◽  
Padmanabhan Krishnan

A Framework for Multi-view Reconciliation and for Medical Devices Personalization

2017 ◽  
pp. 71-87
Author(s):  
Yihai Chen ◽  
Bofang Zhang ◽  
Ridha Khedri ◽  
Huaikou Miao
Keyword(s):  
Medical Devices

Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence

2017 ◽  
pp. 413-429
Author(s):  
Tingting Wu ◽  
Yunwei Dong ◽  
Tsong Yueh Chen ◽  
Mingyue Jiang ◽  
Man Lau ◽  
...  
Keyword(s):  
Search Strategies ◽  
Adaptive Search ◽  
Metamorphic Testing ◽  
Program Equivalence ◽  
Program Repair

Nested Timed Automata with Diagonal Constraints

2017 ◽  
pp. 396-412
Author(s):  
Yuwei Wang ◽  
Yunqing Wen ◽  
Guoqiang Li ◽  
Shoji Yuen
Keyword(s):  
Timed Automata

scholarly journals A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

2017 ◽  
pp. 209-225 ◽  
Author(s):  
Juliana K. F. Bowles ◽  
Marco B. Caminati
Keyword(s):  
Flexible Approach ◽  
Optimal Paths

scholarly journals A Verification Framework for Stateful Security Protocols

2017 ◽  
pp. 262-280
Author(s):  
Li Li ◽  
Naipeng Dong ◽  
Jun Pang ◽  
Jun Sun ◽  
Guangdong Bai ◽  
...  
Keyword(s):  
Security Protocols

A Certified Decision Procedure for Tree Shares

2017 ◽  
pp. 226-242 ◽  
Author(s):  
Xuan-Bach Le ◽  
Thanh-Toan Nguyen ◽  
Wei-Ngan Chin ◽  
Aquinas Hobor
Keyword(s):  
Decision Procedure
Load More ...
Sign in / Sign up

Export Citation Format

Share Document