This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Produktinformation

Utgivningsdatum2023-12-15
Mått155 x 235 x 25 mm
Vikt680 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor436
FörlagSpringer Verlag, Singapore
ISBN9789819986637

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

String Constraints with Regex-Counting and String-Length Solved More Efficiently.- Reachability Based Uniform Controllability to Target Set with Evolution Function.- Enhancing Branch and Bound for Robustness Verification of Neural Networks via An Effective Branching Strategy.- Graph-Based Log Anomaly Detection via Adversarial Training.- Formal Verification based Synthesis for Behavior Trees.- SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries.- Session Types with Multiple Senders Single Receiver.- Understanding the Reproducibility Issues of Monkey for GUI Testing.- Multi-Dimensional Abstraction and Decomposition for Separation of Concerns.- Solving SMT Over Non-Linear Real Arithmetic via Numerical Sampling and Symbolic Verification.- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.- Modeling Regex Operators for Solving Regex Crossword Puzzles.- Software Vulnerability Detection Using an Enhanced Generalization Strategy.- HeatC: a Variable-Grained Coverage Criterion for Deep Learning Systems.- Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.- Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications.- Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance.- An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.- Deducing Matching Strings for Real-World Regular Expressions.- Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.- Cheat-FlipIt: an Approach to Modeling and Perception of a Deceptive Opponent.- Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.- Optimized Solutions for Highly Contended Transactional Workloads.- DeepTD: Diversity-Guided Deep Neural Network Test Generation.

Mer från samma författare

Del 12040

Measurement, Modelling and Evaluation of Computing Systems

Holger Hermanns

Häftad, 2020

749 kr

Validation of Stochastic Systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Häftad, 2004

729 kr

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns, Jens Palsberg

Häftad, 2006

749 kr

CONCUR 2006 - Concurrency Theory

Christel Baier, Holger Hermanns

Häftad, 2006

1 489 kr

Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Häftad, 2001

749 kr

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Holger Hermanns, Roberto Segala

Häftad, 2002

729 kr

Interactive Markov Chains

Holger Hermanns

Häftad, 2002

729 kr

Computer Aided Verification

Werner Damm, Holger Hermanns

Häftad, 2007

749 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Alan M. Turing, Achim Stephan, Sven Walter - Computing Machinery and Intelligence / Können Maschinen denken?. Englisch/Deutsch. [Great Papers Philosophie], Häftad

Del 14464

Computing Machinery and Intelligence / Können Maschinen denken?. Englisch/Deutsch. [Great Papers Philosophie]

Alan M. Turing, Achim Stephan, Sven Walter

Häftad, 2023

139 kr

Del 10998

Dependable Software Engineering. Theories, Tools, and Applications

Xinyu Feng, Markus Müller-Olm, Zijiang Yang

Häftad, 2018

749 kr

Del 10606

Dependable Software Engineering. Theories, Tools, and Applications

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

Häftad, 2017

749 kr

Del 9409

Dependable Software Engineering: Theories, Tools, and Applications

Xuandong Li, Zhiming Liu, Wang Yi

Häftad, 2015

719 kr

Del 16458

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

Häftad, 2026

1 099 kr

Del 12153

Dependable Software Engineering. Theories, Tools, and Applications

Jun Pang, Lijun Zhang

Häftad, 2020

749 kr

Del 11951

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan, Joost-Pieter Katoen, Jun Sun

Häftad, 2019

749 kr

Del 13071

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

Häftad, 2021

1 119 kr

Del 13649

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

Häftad, 2022

969 kr

Del 15469

Dependable Software Engineering. Theories, Tools, and Applications

Timothy Bourke, Liqian Chen, Amir Goharshady

Häftad, 2024

1 189 kr

Del 14464 i serien Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Häftad, Engelska, 2023

AvHolger Hermanns,Jun Sun,Lei Bu

1 189 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 119 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

719 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 099 kr

Skickas inom 10-15 vardagar

Häftad

1 189 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2023-12-15
Mått155 x 235 x 25 mm
Vikt680 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor436
FörlagSpringer Verlag, Singapore
ISBN9789819986637

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

String Constraints with Regex-Counting and String-Length Solved More Efficiently.- Reachability Based Uniform Controllability to Target Set with Evolution Function.- Enhancing Branch and Bound for Robustness Verification of Neural Networks via An Effective Branching Strategy.- Graph-Based Log Anomaly Detection via Adversarial Training.- Formal Verification based Synthesis for Behavior Trees.- SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries.- Session Types with Multiple Senders Single Receiver.- Understanding the Reproducibility Issues of Monkey for GUI Testing.- Multi-Dimensional Abstraction and Decomposition for Separation of Concerns.- Solving SMT Over Non-Linear Real Arithmetic via Numerical Sampling and Symbolic Verification.- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.- Modeling Regex Operators for Solving Regex Crossword Puzzles.- Software Vulnerability Detection Using an Enhanced Generalization Strategy.- HeatC: a Variable-Grained Coverage Criterion for Deep Learning Systems.- Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.- Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications.- Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance.- An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.- Deducing Matching Strings for Real-World Regular Expressions.- Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.- Cheat-FlipIt: an Approach to Modeling and Perception of a Deceptive Opponent.- Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.- Optimized Solutions for Highly Contended Transactional Workloads.- DeepTD: Diversity-Guided Deep Neural Network Test Generation.