Dependable Software Engineering. Theories, Tools, and Applications
portes grátis
Dependable Software Engineering. Theories, Tools, and Applications
11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings
Goharshady, Amir; Haase, Christoph
Springer Verlag, Singapore
04/2026
367
Mole
Inglês
9789819578252
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
.- Invited Contribution.
.- Automated translation of real-world codebases: How far are we?.
.- Software Quality and System Design.
.- Synchronous System Design with Quantitative Types.
.- Modular Data Refinement.
.- Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople.
.- MPL-A Flexible Multiprecision Library.
.- Logic and Theorem Proving.
.- A Generic Dynamic Logic for Program Reasoning based on Operational Semantics.
.- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
.- Separation Logic with Heap Variables: A Decision Procedure and Its Application.
.- VQCS: Verified Quantity Calculus System.
.- Automata.
.- Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
.- Monitoring.
.- FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study.
.- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.
.- Formal Verification.
.- A Unified Formal Verification for the k-Center Problem.
.- WEX: Formal Specifications for Windows in Stream Processing.
.- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.
.- Neural Networks and Large Language Models.
.- Risk-Averse Certification of Bayesian Neural Networks.
.- EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing.
.- Blockchains and Distributed Protocols.
.- Strategy-aware Liquidity for Account-based Blockchains.
.- A Program Logic for Byzantine-Fault-Tolerant Protocols.
.- Automated translation of real-world codebases: How far are we?.
.- Software Quality and System Design.
.- Synchronous System Design with Quantitative Types.
.- Modular Data Refinement.
.- Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople.
.- MPL-A Flexible Multiprecision Library.
.- Logic and Theorem Proving.
.- A Generic Dynamic Logic for Program Reasoning based on Operational Semantics.
.- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
.- Separation Logic with Heap Variables: A Decision Procedure and Its Application.
.- VQCS: Verified Quantity Calculus System.
.- Automata.
.- Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
.- Monitoring.
.- FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study.
.- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.
.- Formal Verification.
.- A Unified Formal Verification for the k-Center Problem.
.- WEX: Formal Specifications for Windows in Stream Processing.
.- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.
.- Neural Networks and Large Language Models.
.- Risk-Averse Certification of Bayesian Neural Networks.
.- EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing.
.- Blockchains and Distributed Protocols.
.- Strategy-aware Liquidity for Account-based Blockchains.
.- A Program Logic for Byzantine-Fault-Tolerant Protocols.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Methods;Model Checking;Software Verification;Program Analysis;Program Correctness;Software Engineering;Testing;Software Validation;Computational Logic;Automata Theory;Bug Identification;Program Logics
.- Invited Contribution.
.- Automated translation of real-world codebases: How far are we?.
.- Software Quality and System Design.
.- Synchronous System Design with Quantitative Types.
.- Modular Data Refinement.
.- Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople.
.- MPL-A Flexible Multiprecision Library.
.- Logic and Theorem Proving.
.- A Generic Dynamic Logic for Program Reasoning based on Operational Semantics.
.- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
.- Separation Logic with Heap Variables: A Decision Procedure and Its Application.
.- VQCS: Verified Quantity Calculus System.
.- Automata.
.- Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
.- Monitoring.
.- FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study.
.- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.
.- Formal Verification.
.- A Unified Formal Verification for the k-Center Problem.
.- WEX: Formal Specifications for Windows in Stream Processing.
.- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.
.- Neural Networks and Large Language Models.
.- Risk-Averse Certification of Bayesian Neural Networks.
.- EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing.
.- Blockchains and Distributed Protocols.
.- Strategy-aware Liquidity for Account-based Blockchains.
.- A Program Logic for Byzantine-Fault-Tolerant Protocols.
.- Automated translation of real-world codebases: How far are we?.
.- Software Quality and System Design.
.- Synchronous System Design with Quantitative Types.
.- Modular Data Refinement.
.- Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople.
.- MPL-A Flexible Multiprecision Library.
.- Logic and Theorem Proving.
.- A Generic Dynamic Logic for Program Reasoning based on Operational Semantics.
.- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
.- Separation Logic with Heap Variables: A Decision Procedure and Its Application.
.- VQCS: Verified Quantity Calculus System.
.- Automata.
.- Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
.- Monitoring.
.- FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study.
.- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.
.- Formal Verification.
.- A Unified Formal Verification for the k-Center Problem.
.- WEX: Formal Specifications for Windows in Stream Processing.
.- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.
.- Neural Networks and Large Language Models.
.- Risk-Averse Certification of Bayesian Neural Networks.
.- EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing.
.- Blockchains and Distributed Protocols.
.- Strategy-aware Liquidity for Account-based Blockchains.
.- A Program Logic for Byzantine-Fault-Tolerant Protocols.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
