Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 24)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030672195, 9783030672201

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling and Verification of Temporal Constraints for Web Service Composition

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_2 ◽

2021 ◽

pp. 21-29

Author(s):

Maya Souilah Benabdelhafid ◽

Houda Boubaker ◽

Mahmoud Boufaida

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Temporal Constraints

Download Full-text

The Intensional Structure of Epistemic Convictions

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_15 ◽

2021 ◽

pp. 192-200

Author(s):

Reinhard Kahle

Keyword(s):

Intensional Structure

Download Full-text

Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_16 ◽

2021 ◽

pp. 201-213

Author(s):

Samuel Allen Alexander

Keyword(s):

Mathematical Knowledge ◽

General Intelligence ◽

Artificial General Intelligence ◽

Definition Of

Download Full-text

Reasoning About Ignorance and Beliefs

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_17 ◽

2021 ◽

pp. 214-230

Author(s):

Alessandro Aldini ◽

Pierluigi Graziani ◽

Mirko Tagliaferri

Download Full-text

Cosimulation-Based Control Synthesis

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_24 ◽

2021 ◽

pp. 318-333

Author(s):

Adrien Le Coënt ◽

Julien Alexandre dit Sandretto ◽

Alexandre Chapoutot

Keyword(s):

Control Synthesis

Download Full-text

Against the Illusory Will Hypothesis

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_9 ◽

2021 ◽

pp. 108-117

Author(s):

Robert Reimer

Download Full-text

From Requirements to Verifiable Executable Models Using Rebeca

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_6 ◽

2021 ◽

pp. 67-86

Author(s):

Marjan Sirjani ◽

Luciana Provenzano ◽

Sara Abbaspour Asadollah ◽

Mahshid Helali Moghadam

Keyword(s):

Executable Models

Download Full-text

Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_11 ◽

2021 ◽

pp. 129-146

Author(s):

Yoshihiro Maruyama

Keyword(s):

Artificial Intelligence

Download Full-text

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_20 ◽

2021 ◽

pp. 263-279

Author(s):

Cinzia Bernardeschi ◽

Andrea Domenici ◽

Maurizio Palmieri ◽

Sergio Saponara ◽

Tanguy Sassolas ◽

...

Keyword(s):

Automatic Transmission ◽

Transmission Control ◽

Embedded Processor

Download Full-text

Model Translation from Papyrus-RT into the nuXmv Model Checker

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_1 ◽

2021 ◽

pp. 3-20

Author(s):

Sneha Sahu ◽

Ruth Schorr ◽

Inmaculada Medina-Bulo ◽

Matthias Wagner

Keyword(s):

Model Checker

Download Full-text

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Modeling and Verification of Temporal Constraints for Web Service Composition

The Intensional Structure of Epistemic Convictions

Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence

Reasoning About Ignorance and Beliefs

Cosimulation-Based Control Synthesis

Against the Illusory Will Hypothesis

From Requirements to Verifiable Executable Models Using Rebeca

Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

Model Translation from Papyrus-RT into the nuXmv Model Checker

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science
Latest Publications