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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_4 ◽

2017 ◽

pp. 54-70 ◽

Cited By ~ 3

Author(s):

Xiaohong Chen ◽

Ling Yin ◽

Yijun Yu ◽

Zhi Jin

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Improving the Scalability of Automatic Linearizability Checking in SPIN

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_7 ◽

2017 ◽

pp. 105-121 ◽

Cited By ~ 1

Author(s):

Patrick Doolan ◽

Graeme Smith ◽

Chenyi Zhang ◽

Padmanabhan Krishnan

Download Full-text

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

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_5 ◽

2017 ◽

pp. 71-87

Author(s):

Yihai Chen ◽

Bofang Zhang ◽

Ridha Khedri ◽

Huaikou Miao

Keyword(s):

Medical Devices

Download Full-text

An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_28 ◽

2017 ◽

pp. 464-480

Author(s):

Yuxin Deng ◽

Min Zhang ◽

Guoqing Lei

Keyword(s):

Operational Semantics ◽

Algebraic Approach ◽

Automatic Reasoning

Download Full-text

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

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_25 ◽

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

Download Full-text

Nested Timed Automata with Diagonal Constraints

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_24 ◽

2017 ◽

pp. 396-412

Author(s):

Yuwei Wang ◽

Yunqing Wen ◽

Guoqiang Li ◽

Shoji Yuen

Keyword(s):

Timed Automata

Download Full-text

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_13 ◽

2017 ◽

pp. 209-225 ◽

Cited By ~ 2

Author(s):

Juliana K. F. Bowles ◽

Marco B. Caminati

Keyword(s):

Flexible Approach ◽

Optimal Paths

Download Full-text

A Verification Framework for Stateful Security Protocols

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_16 ◽

2017 ◽

pp. 262-280

Author(s):

Li Li ◽

Naipeng Dong ◽

Jun Pang ◽

Jun Sun ◽

Guangdong Bai ◽

...

Keyword(s):

Security Protocols

Download Full-text

A Certified Decision Procedure for Tree Shares

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_14 ◽

2017 ◽

pp. 226-242 ◽

Cited By ~ 2

Author(s):

Xuan-Bach Le ◽

Thanh-Toan Nguyen ◽

Wei-Ngan Chin ◽

Aquinas Hobor

Keyword(s):

Decision Procedure

Download Full-text

Formal Analysis of Linear Control Systems Using Theorem Proving

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_21 ◽

2017 ◽

pp. 345-361 ◽

Cited By ~ 4

Author(s):

Adnan Rashid ◽

Osman Hasan

Keyword(s):

Control Systems ◽

Theorem Proving ◽

Formal Analysis ◽

Linear Control ◽

Linear Control Systems

Download Full-text

Formal Methods and Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

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

Improving the Scalability of Automatic Linearizability Checking in SPIN

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

An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics

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

Nested Timed Automata with Diagonal Constraints

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

A Verification Framework for Stateful Security Protocols

A Certified Decision Procedure for Tree Shares

Formal Analysis of Linear Control Systems Using Theorem Proving

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