2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467370431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.12 ◽

2015 ◽

Cited By ~ 9

Author(s):

Michele Ceccarelli ◽

Luigi Cerulo ◽

Giuseppe De Ruvo ◽

Vittoria Nardone ◽

Antonella Santone

Keyword(s):

Time Series ◽

Model Checking ◽

Gene Regulatory Networks ◽

Probabilistic Model ◽

Regulatory Networks ◽

Time Series Data ◽

Series Data ◽

Probabilistic Model Checking ◽

Gene Regulatory

Download Full-text

Syntax-Driven Program Verification of Matching Logic Properties

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.18 ◽

2015 ◽

Cited By ~ 2

Author(s):

Domenico Bianculli ◽

Antonio Filieri ◽

Carlo Ghezzi ◽

Dino Mandrioli ◽

Alessandro Maria Rizzi

Keyword(s):

Program Verification

Download Full-text

[Title page iii]

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.2 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.9 ◽

2015 ◽

Cited By ~ 3

Author(s):

Yves Ledru ◽

Akram Idani ◽

Jean-Luc Richier

Keyword(s):

Security Policy

Download Full-text

[Copyright notice]

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.3 ◽

2015 ◽

Keyword(s):

Download Full-text

[Publisher's information]

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.20 ◽

2015 ◽

Download Full-text

[Title page i]

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.1 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.4 ◽

2015 ◽

Download Full-text

Measuring Behaviour Interactions between Product-Line Features

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.11 ◽

2015 ◽

Cited By ~ 5

Author(s):

Joanne M. Atlee ◽

Uli Fahrenberg ◽

Axel Legay

Keyword(s):

Product Line ◽

Line Features

Download Full-text

Committees and reviewers

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering ◽

10.1109/formalise.2015.6 ◽

2015 ◽

Download Full-text

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

Syntax-Driven Program Verification of Matching Logic Properties

[Title page iii]

Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study

[Copyright notice]

[Publisher's information]

[Title page i]

Table of contents

Measuring Behaviour Interactions between Product-Line Features

Committees and reviewers

Export Citation Format

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

Syntax-Driven Program Verification of Matching Logic Properties

[Title page iii]

Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study

[Copyright notice]

[Publisher's information]

[Title page i]

Table of contents

Measuring Behaviour Interactions between Product-Line Features

Committees and reviewers

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Latest Publications