2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 19)

H-INDEX

0

(FIVE YEARS 0)

Published By IEEE

9781665439138

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Checking temporal patterns of API usage without code execution

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00015 ◽

2021 ◽

Author(s):

Erick Raelijohn ◽

Michalis Famelis ◽

Houari Sahraoui

Keyword(s):

Temporal Patterns ◽

Download Full-text

Formally Verified Credentials Management for Industrial Control Systems

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00014 ◽

2021 ◽

Author(s):

Tomas Kulik ◽

Jalil Boudjadar ◽

Diego F. Aranha

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Preface

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00005 ◽

2021 ◽

Download Full-text

[Title page i]

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00001 ◽

2021 ◽

Keyword(s):

Download Full-text

Permission-Based Verification of Red-Black Trees and Their Merging

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00017 ◽

2021 ◽

Author(s):

Lukas Armborst ◽

Marieke Huisman

Download Full-text

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00012 ◽

2021 ◽

Author(s):

Virgile Robles ◽

Nikolai Kosmatov ◽

Virgile Prevosto ◽

Louis Rilling ◽

Pascale Le Gall

Keyword(s):

Specification And Verification ◽

Download Full-text

Formal characterization and efficient verification of a biological robustness property

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00008 ◽

2021 ◽

Author(s):

Lucia Nasti ◽

Roberta Gori ◽

Paolo Milazzo

Keyword(s):

Robustness Property ◽

Efficient Verification ◽

Biological Robustness

Download Full-text

Runtime Verification Under Access Restrictions

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00010 ◽

2021 ◽

Author(s):

Rania Taleb ◽

Raphael Khoury ◽

Sylvain Halle

Keyword(s):

Runtime Verification

Download Full-text

Committees

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00006 ◽

2021 ◽

Download Full-text

[Title page iii]

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise52586.2021.00002 ◽

2021 ◽

Keyword(s):

Download Full-text