2020 IEEE Workshop on Formal Requirements (FORMREQ)
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By IEEE

9781728183589

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of Requirements for Correct Systems

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00012 ◽

2020 ◽

Author(s):

Imen Sayar ◽

Jeanine Souquieres

Download Full-text

Formal Requirements in an Informal World

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00010 ◽

2020 ◽

Author(s):

Daniel Dietsch ◽

Vincent Langenfeld ◽

Bernd Westphal

Keyword(s):

Formal Requirements

Download Full-text

Formalizing Security and Safety Requirements by Mapping Attack-Fault Trees on Obstacle Models with Constraint Programming Semantics

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00009 ◽

2020 ◽

Author(s):

Christophe Ponsard ◽

Jean-Christophe Deprez ◽

Robert Darimont

Keyword(s):

Constraint Programming ◽

Fault Trees ◽

Safety Requirements ◽

Programming Semantics

Download Full-text

Author index

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00013 ◽

2020 ◽

Download Full-text

Table of Contents

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00004 ◽

2020 ◽

Download Full-text

Committees

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00006 ◽

2020 ◽

Download Full-text

Welcome Message from the Chairs

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00005 ◽

2020 ◽

Keyword(s):

The Chairs

Download Full-text

SpecEdit: Projectional Editing for TLA+ Specifications

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00008 ◽

2020 ◽

Author(s):

Riwan Cuinat ◽

Ciprian Teodorov ◽

Joel Champeau

Download Full-text

Title Page iiii

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00002 ◽

2020 ◽

Keyword(s):

Title Page

Download Full-text

Keynotes

2020 IEEE Workshop on Formal Requirements (FORMREQ) ◽

10.1109/formreq51202.2020.00007 ◽

2020 ◽

Download Full-text