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

TOTAL DOCUMENTS

(FIVE YEARS 37)

H-INDEX

(FIVE YEARS 3)

Published By Springer International Publishing

9783030324087, 9783030324094

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simulations for Multi-Agent Systems with Imperfect Information

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

10.1007/978-3-030-32409-4_9 ◽

2019 ◽

pp. 138-153

Author(s):

Patrick Gardy ◽

Yuxin Deng

Keyword(s):

Imperfect Information ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

SqlSol: An accurate SQL Query Synthesizer

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

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

2019 ◽

pp. 104-120

Author(s):

Lin Cheng

Keyword(s):

Sql Query

Download Full-text

Design of Point-and-Click User Interfaces for Proof Assistants

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

10.1007/978-3-030-32409-4_6 ◽

2019 ◽

pp. 86-103

Author(s):

Bohua Zhan ◽

Zhenyan Ji ◽

Wenfan Zhou ◽

Chaozhu Xiang ◽

Jie Hou ◽

...

Keyword(s):

User Interfaces ◽

Proof Assistants

Download Full-text

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning

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

10.1007/978-3-030-32409-4_37 ◽

2019 ◽

pp. 522-525

Author(s):

Dongdong An ◽

Jing Liu ◽

Xiaohong Chen ◽

Tengfei Li ◽

Ling Yin

Keyword(s):

Machine Learning ◽

Human Behavior ◽

Social Systems ◽

Modeling Framework

Download Full-text

Assessment of a Formal Requirements Modeling Approach on a Transportation System

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

10.1007/978-3-030-32409-4_29 ◽

2019 ◽

pp. 470-486

Author(s):

Steve Jeffrey Tueno Fotso ◽

Régine Laleau ◽

Marc Frappier ◽

Amel Mammar ◽

Francois Thibodeau ◽

...

Keyword(s):

Transportation System ◽

Modeling Approach ◽

Requirements Modeling ◽

Formal Requirements

Download Full-text

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation

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

10.1007/978-3-030-32409-4_25 ◽

2019 ◽

pp. 403-419

Author(s):

Yongjian Li ◽

Bow-yaw Wang

Keyword(s):

Hardware Verification ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Automatic Modularization of Large Programs for Bounded Model Checking

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

10.1007/978-3-030-32409-4_12 ◽

2019 ◽

pp. 186-202

Author(s):

Marko Kleine Büning ◽

Carsten Sinz

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

A Security Calculus for Wireless Networks of Named Data Networking

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

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

2019 ◽

pp. 170-185

Author(s):

Yuan Fei ◽

Huibiao Zhu ◽

Haiying Sun ◽

Jiaqi Yin

Keyword(s):

Wireless Networks ◽

Named Data Networking ◽

Data Networking

Download Full-text

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

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

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

2019 ◽

pp. 154-169

Author(s):

Leandro Gomes ◽

Alexandre Madeira ◽

Manisha Jain ◽

Luis S. Barbosa

Keyword(s):

Dynamic Logics

Download Full-text

A Relational Static Semantics for Call Graph Construction

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

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

2019 ◽

pp. 322-335 ◽

Cited By ~ 1

Author(s):

Xilong Zhuo ◽

Chenyi Zhang

Keyword(s):

Call Graph ◽

Static Semantics

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Simulations for Multi-Agent Systems with Imperfect Information

SqlSol: An accurate SQL Query Synthesizer

Design of Point-and-Click User Interfaces for Proof Assistants

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning

Assessment of a Formal Requirements Modeling Approach on a Transportation System

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation

Automatic Modularization of Large Programs for Bounded Model Checking

A Security Calculus for Wireless Networks of Named Data Networking

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

A Relational Static Semantics for Call Graph Construction

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