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 Berlin Heidelberg

9783642412011, 9783642412028

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Kinematic Analysis of the Two-Link Planar Manipulator

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

10.1007/978-3-642-41202-8_23 ◽

2013 ◽

pp. 347-362 ◽

Cited By ~ 6

Author(s):

Binyameen Farooq ◽

Osman Hasan ◽

Sohail Iqbal

Keyword(s):

Kinematic Analysis

Download Full-text

Translation from Workflow Nets to MSVL

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

10.1007/978-3-642-41202-8_19 ◽

2013 ◽

pp. 281-296

Author(s):

Ya Shi ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Workflow Nets

Download Full-text

Lattices of Information for Security: Deterministic, Demonic, Probabilistic

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

10.1007/978-3-642-41202-8_1 ◽

2013 ◽

pp. 1-3

Author(s):

Carroll C. Morgan

Download Full-text

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software

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

10.1007/978-3-642-41202-8_29 ◽

2013 ◽

pp. 447-463 ◽

Cited By ~ 1

Author(s):

Giulia Costantini ◽

Pietro Ferrara ◽

Giuseppe Maggiore ◽

Agostino Cortesi

Keyword(s):

Static Analysis ◽

Computer Games

Download Full-text

Linking Operational Semantics and Algebraic Semantics for Wireless Networks

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

10.1007/978-3-642-41202-8_25 ◽

2013 ◽

pp. 380-396

Author(s):

Xiaofeng Wu ◽

Huibiao Zhu

Keyword(s):

Wireless Networks ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Formal Models of SysML Blocks

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

10.1007/978-3-642-41202-8_17 ◽

2013 ◽

pp. 249-264 ◽

Cited By ~ 4

Author(s):

Alvaro Miyazawa ◽

Lucas Lima ◽

Ana Cavalcanti

Keyword(s):

Formal Models

Download Full-text

Automated Specification Discovery via User-Defined Predicates

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

10.1007/978-3-642-41202-8_26 ◽

2013 ◽

pp. 397-414 ◽

Cited By ~ 2

Author(s):

Guanhua He ◽

Shengchao Qin ◽

Wei-Ngan Chin ◽

Florin Craciun

Download Full-text

Assisting Specification Refinement by Random Testing

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

10.1007/978-3-642-41202-8_8 ◽

2013 ◽

pp. 102-114

Author(s):

Mengjun Li

Keyword(s):

Random Testing

Download Full-text

Verifying an Aircraft Proximity Characterization Method in Coq

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

10.1007/978-3-642-41202-8_7 ◽

2013 ◽

pp. 86-101

Author(s):

Dongxi Liu ◽

Neale L. Fulton ◽

John Zic ◽

Martin de Groot

Download Full-text

Mining Dataflow Sensitive Specifications

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

10.1007/978-3-642-41202-8_4 ◽

2013 ◽

pp. 36-52 ◽

Cited By ~ 2

Author(s):

Zhiqiang Zuo ◽

Siau-Cheng Khoo

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Formal Kinematic Analysis of the Two-Link Planar Manipulator

Translation from Workflow Nets to MSVL

Lattices of Information for Security: Deterministic, Demonic, Probabilistic

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software

Linking Operational Semantics and Algebraic Semantics for Wireless Networks

Formal Models of SysML Blocks

Automated Specification Discovery via User-Defined Predicates

Assisting Specification Refinement by Random Testing

Verifying an Aircraft Proximity Characterization Method in Coq

Mining Dataflow Sensitive Specifications

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