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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728133737

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns

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

10.1109/formalise.2019.00019 ◽

2019 ◽

Author(s):

Erick Raelijohn ◽

Michalis Famelis ◽

Houari Sahraoui

Keyword(s):

Temporal Patterns

Download Full-text

Copyright

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

10.1109/formalise.2019.00003 ◽

2019 ◽

Download Full-text

Clock Reduction in Timed Automata While Preserving Design Parameters

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

10.1109/formalise.2019.00010 ◽

2019 ◽

Author(s):

Beyazit Yalcinkaya ◽

Ebru Aydin Gol

Keyword(s):

Timed Automata ◽

Design Parameters

Download Full-text

Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP

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

10.1109/formalise.2019.00016 ◽

2019 ◽

Author(s):

Jan Bakgaard Pedersen ◽

Kevin Chalmers

Download Full-text

A Proof-Producing Translator for Verilog Development in HOL

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

10.1109/formalise.2019.00020 ◽

2019 ◽

Author(s):

Andreas Loow ◽

Magnus O. Myreen

Download Full-text

FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches

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

10.1109/formalise.2019.00013 ◽

2019 ◽

Cited By ~ 2

Author(s):

Daniel Ratiu ◽

Marco Gario ◽

Hannes Schoenhaar

Keyword(s):

Formal Specification

Download Full-text

Rigorous Design and Deployment of IoT Applications

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

10.1109/formalise.2019.00011 ◽

2019 ◽

Cited By ~ 3

Author(s):

Ajay Krishna ◽

Michel Le Pallec ◽

Radu Mateescu ◽

Ludovic Noirie ◽

Gwen Salaun

Keyword(s):

Iot Applications

Download Full-text

[Title page iii]

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

10.1109/formalise.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

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

10.1109/formalise.2019.00004 ◽

2019 ◽

Download Full-text

Message from the Chairs of FormaliSE 2019

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

10.1109/formalise.2019.00006 ◽

2019 ◽

Keyword(s):

The Chairs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns

Copyright

Clock Reduction in Timed Automata While Preserving Design Parameters

Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP

A Proof-Producing Translator for Verilog Development in HOL

FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches

Rigorous Design and Deployment of IoT Applications

[Title page iii]

Table of contents

Message from the Chairs of FormaliSE 2019

Export Citation Format

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns

Copyright

Clock Reduction in Timed Automata While Preserving Design Parameters

Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP

A Proof-Producing Translator for Verilog Development in HOL

FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches

Rigorous Design and Deployment of IoT Applications

[Title page iii]

Table of contents

Message from the Chairs of FormaliSE 2019

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