Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="ro"
Treffer 1470 von 4541502
|
|
| Link zu diesem Datensatz | https://d-nb.info/138136067X |
| Titel | Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings / edited by Domenico Bianculli, Elena Gómez-Martínez |
| Person(en) |
Bianculli, Domenico (Herausgeber) Gómez-Martínez, Elena (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XVIII, 280 p. 56 illus., 33 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-032-10443-4 Printed edition:: ISBN: 978-3-032-10445-8 |
| Inhalt | Invited Paper -- Securely Optimized (Ethereum) Smart Contracts using Formal Methods -- Security and Resilience -- Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise -- Reachability Analysis of Upper-Stack Manipulating Binary Code -- Resilience of Systems under Maximum Component Deviations -- Formal Specification and Verification 1 -- Axiomatisation of Solidity Memory and Storage -- ProbTest: Unit Testing for Probabilistic Programs -- Observable Semantics for Characterising Consistency Between Heterogeneous Models -- Formal Specification and Verification 2 -- Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes -- On the Generation of Invalid Objects for Inferring More Precise Class Invariants -- A Rodin Plugin for Genera ng Proof Obliga ons for Invariant Preserva on for ASTDs -- Software Quality -- Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code -- Are Users More Willing to Use Formally Verified Password Managers?- Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny -- Artificial Intelligence and Formal Methods -- On the Comparison of Learned Classifiers -- Exploring Unknown Environments with UPPAAL STRATEGO: Safe Reinforcement Learning for Navigation and Pump Localization -- Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2511120308281.332595516188 DOI: 10.1007/978-3-032-10444-1 |
| URL | https://doi.org/10.1007/978-3-032-10444-1 |
| ISBN/Einband/Preis | 978-3-032-10444-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 16192 |
| DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1470 von 4541502
Administration
