Vor Ort
Merkzettel Warenkorb
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
Band 15469 - 17%

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
17% sparen

72,99 € UVP 87,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.11.2024

Abbildungen

XIX, 418 p. 120 illus., 65 illus. in color.

Herausgeber

Timothy Bourke + weitere

Verlag

Springer Singapore

Seitenzahl

418

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

663 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9606-01-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.11.2024

Abbildungen

XIX, 418 p. 120 illus., 65 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

418

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

663 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9606-01-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications

  • .- Invited Talks.



    .- Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments.



    .- Regular Papers.



    .- An Assertion-Based Separation Logic for Probabilistic Programs with Unbounded Loops.



    .- Extending Symbolic Heap to Support Shared Ownership.



    .- Constraint Based Invariant Generation with Modular Operations.



    .- Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing.



    .- Can Language Models Pretend Solvers? Logic Code Simulation with LLM.



    .- Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-Expressions.



    .- Formal Verification of RISC-V Processor Chisel Designs.



    .- The Principle of Staking: Formal Verification of Staking Smart Contract.



    .- A Contract-based Framework for Formal Verification of Embedded Software.



    .- Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness.



    .- The Design of Intelligent Temperature Control System of Smart House with MARS.



    .- Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.



    .- Cache Behavior Analysis with SP-relative Addressing for WCET Estimation.



    .- Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals.



    .- Runtime Verification of Neural-Symbolic Systems.



    .- Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.



    .- MILE: A Mutation Testing Framework of In-Context Learning System.



    .- A Derivative-based Membership Algorithm for Enhanced Regular Expressions.



    .- NanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive.



    .- Faster Lifetime-optimal Speculative Partial Redundancy Elimination for Goto-free Program.



    .- EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning.