Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 34)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030549961, 9783030549978

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification of Linux Kernel Security Module

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_12 ◽

2020 ◽

pp. 185-199

Author(s):

Denis Efremov ◽

Ilya Shchepetkov

Keyword(s):

Runtime Verification ◽

Linux Kernel ◽

Security Module

Download Full-text

Reversible Programs Have Reversible Semantics

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_26 ◽

2020 ◽

pp. 413-427

Author(s):

Robert Glück ◽

Robin Kaarsgaard ◽

Tetsuo Yokoyama

Download Full-text

Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_25 ◽

2020 ◽

pp. 388-405

Author(s):

Tobias Runge ◽

Thomas Thüm ◽

Loek Cleophas ◽

Ina Schaefer ◽

Bruce W. Watson

Keyword(s):

User Study ◽

Post Hoc

Download Full-text

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_16 ◽

2020 ◽

pp. 237-253

Author(s):

Ken Pierce ◽

Carl Gamble ◽

David Golightly ◽

Roberto Palacín

Keyword(s):

Cyber Physical Systems ◽

Human Behaviour ◽

Physical Systems

Download Full-text

A Survey of Learning Methods in Open Source Software

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_10 ◽

2020 ◽

pp. 157-166

Author(s):

Aidarbek Suleimenov ◽

Assiya Khuzyakhmetova ◽

Antonio Cerone

Keyword(s):

Open Source ◽

Open Source Software ◽

Learning Methods

Download Full-text

A Map of Asynchronous Communication Models

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_20 ◽

2020 ◽

pp. 307-322

Author(s):

Florent Chevrou ◽

Aurélie Hurault ◽

Shin Nakajima ◽

Philippe Quéinnec

Keyword(s):

Asynchronous Communication ◽

Communication Models

Download Full-text

What Have Formal Methods Ever Done for Us? An Audience Discussion

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_7 ◽

2020 ◽

pp. 103-113

Author(s):

Troy Kaighin Astarte

Keyword(s):

Formal Methods

Download Full-text

From Manuscripts to Programming Languages: An Archivist Perspective

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_6 ◽

2020 ◽

pp. 95-102

Author(s):

Alexandra Vidal ◽

Ana Sandra Meneses ◽

António Sousa

Keyword(s):

Programming Languages

Download Full-text

PrideMM: Second Order Model Checking for Memory Consistency Models

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_31 ◽

2020 ◽

pp. 507-525

Author(s):

Simon Cooksey ◽

Sarah Harris ◽

Mark Batty ◽

Radu Grigore ◽

Mikoláš Janota

Keyword(s):

Model Checking ◽

Second Order ◽

Memory Consistency ◽

Order Model ◽

Memory Consistency Models ◽

Consistency Models ◽

Second Order Model

Download Full-text

Quotients and Atoms of Reversible Languages

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_28 ◽

2020 ◽

pp. 443-455

Author(s):

Hellis Tamm

Download Full-text

Lecture Notes in Computer Science - Formal Methods. FM 2019 International WorkshopsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Runtime Verification of Linux Kernel Security Module

Reversible Programs Have Reversible Semantics

Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

A Survey of Learning Methods in Open Source Software

A Map of Asynchronous Communication Models

What Have Formal Methods Ever Done for Us? An Audience Discussion

From Manuscripts to Programming Languages: An Archivist Perspective

PrideMM: Second Order Model Checking for Memory Consistency Models

Quotients and Atoms of Reversible Languages

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
Latest Publications