Search results: Found 4

Listing 1 - 4 of 4
Sort by
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 9783319893631 Year: Volume: 10802 Pages: 357 DOI: https://doi.org/10.1007/978-3-319-89363-1 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Security and Cryptology ISBN: 9783319897219 9783319897226 Year: Volume: 10804 Pages: 347 DOI: https://doi.org/10.1007/978-3-319-89722-6 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 14:49:22
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899596 9783319899602 Year: Volume: 10805 Pages: 429 DOI: https://doi.org/10.1007/978-3-319-89960-2 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:22:46
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899626 9783319899633 Year: Volume: 10806 Pages: 465 DOI: https://doi.org/10.1007/978-3-319-89963-3 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:26:47
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Listing 1 - 4 of 4
Sort by
Narrow your search

Publisher

Springer (4)


License

CC by (4)


Language

english (4)


Year
From To Submit

2018 (4)