Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 31)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030452339, 9783030452346

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_22 ◽

2020 ◽

pp. 441-461

Author(s):

Aren A. Babikian ◽

Oszkár Semeráth ◽

Dániel Varró

Keyword(s):

Order Logic ◽

First Order Logic ◽

Graph Models ◽

Automated Generation ◽

First Order ◽

Theorem Provers

Download Full-text

Skill-Based Verification of Cyber-Physical Systems

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_10 ◽

2020 ◽

pp. 203-223

Author(s):

Alexander Knüppel ◽

Inga Jatzkowski ◽

Marcus Nolte ◽

Thomas Thüm ◽

Tobias Runge ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_30 ◽

2020 ◽

pp. 540-544

Author(s):

Marie-Christine Jakobs

Keyword(s):

Time Limit ◽

Dynamic Partitioning ◽

Iteration Time

Download Full-text

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_16 ◽

2020 ◽

pp. 315-334

Author(s):

Nils Weidmann ◽

Anthony Anjorin

Keyword(s):

Linear Programming ◽

Integer Linear Programming ◽

Graph Grammars ◽

Consistency Management ◽

Triple Graph Grammars

Download Full-text

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_18 ◽

2020 ◽

pp. 357-377

Author(s):

Radu Calinescu ◽

Vittorio Cortellessa ◽

Ioannis Stefanakos ◽

Catia Trubiani

Keyword(s):

Software Systems

Download Full-text

A Generalized Formal Semantic Framework for Smart Contracts

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_4 ◽

2020 ◽

pp. 75-96 ◽

Cited By ~ 1

Author(s):

Jiao Jiao ◽

Shang-Wei Lin ◽

Jun Sun

Keyword(s):

Formal Semantic ◽

Smart Contracts ◽

Semantic Framework

Download Full-text

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_3 ◽

2020 ◽

pp. 53-74

Author(s):

Claudio Menghi ◽

Alessandro Maria Rizzi ◽

Anna Bernasconi

Keyword(s):

Model Checking ◽

Iterative Design

Download Full-text

Incremental Concurrent Model Synchronization using Triple Graph Grammars

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_14 ◽

2020 ◽

pp. 273-293

Author(s):

Fernando Orejas ◽

Elvira Pino ◽

Marisa Navarro

Keyword(s):

Graph Grammars ◽

Model Synchronization ◽

Triple Graph Grammars

Download Full-text

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_2 ◽

2020 ◽

pp. 29-52

Author(s):

Guolong Zheng ◽

Hamid Bagheri ◽

Gregg Rothermel ◽

Jianghao Wang

Keyword(s):

Relational Logic

Download Full-text

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45234-6_9 ◽

2020 ◽

pp. 182-202

Author(s):

Aleksandar S. Dimovski ◽

Axel Legay

Keyword(s):

Model Counting ◽

Program Reliability

Download Full-text

Fundamental Approaches to Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

Skill-Based Verification of Cyber-Physical Systems

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

A Generalized Formal Semantic Framework for Smart Contracts

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Incremental Concurrent Model Synchronization using Triple Graph Grammars

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications