國立虎尾科技大學 |

Dependable software engineering = theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Dependable software engineering/ edited by Timothy Bourke, Liqian Chen, Amir Goharshady.
其他題名:	theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /
其他題名:	SETTA 2024
其他作者:	Goharshady, Amir.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Singapore :Springer Nature Singapore : : 2025.,
面頁冊數:	xix, 418 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computer Engineering and Networks. -
電子資源:	https://doi.org/10.1007/978-981-96-0602-3
ISBN:	9789819606023

Dependable software engineering = theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /
Dependable software engineeringtheories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /[electronic resource] :SETTA 2024edited by Timothy Bourke, Liqian Chen, Amir Goharshady. - Singapore :Springer Nature Singapore :2025. - xix, 418 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,154691611-3349 ;. - Lecture notes in computer science ;6140..

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.

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.

ISBN: 9789819606023

Standard No.: 10.1007/978-981-96-0602-3doiSubjects--Topical Terms:

1365733
Computer Engineering and Networks.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Dependable software engineering = theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /
LDR:03506nam a2200349 a 4500 001 1160094
003 DE-He213
005 20241124115223.0
006 m d
007 cr nn 008maaau
008 251029s2025 si s 0 eng d
020 $a 9789819606023 $q (electronic bk.)
020 $a 9789819606016 $q (paper)
024 7 $a 10.1007/978-981-96-0602-3 $2 doi
035 $a 978-981-96-0602-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S495 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Dependable software engineering $h [electronic resource] : $b theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings / $c edited by Timothy Bourke, Liqian Chen, Amir Goharshady.
246 3 $a SETTA 2024
260 $a Singapore : $c 2025. $b Springer Nature Singapore : $b Imprint: Springer,
300 $a xix, 418 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15469
505 0 $a 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.
520 $a This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Theory of Computation. $3 669322
650 1 4 $a Software Engineering. $3 669632
650 0 $a Formal methods (Computer science) $3 564790
650 0 $a Software engineering $v Congresses. $3 528500
700 1 $a Goharshady, Amir. $3 1487223
700 1 $a Chen, Liqian. $3 1487222
700 1 $a Bourke, Timothy. $3 1487221
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-981-96-0602-3
950 $a Computer Science (SpringerNature-11645)