idDL2DL – Interval Syntax to dL

idDL2DL – Interval Syntax to dL

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering
1. Verfasser: Santos, Jaime (VerfasserIn)
Weitere Verfasser: Figueiredo, Daniel (VerfasserIn), Madeira, Alexandre (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures 2023 Nigam, Vivek
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning 2023 Zhu, Chenyang
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form 2023 Liu, Siyu
Verifying Refinement of Probabilistic Contracts Using Timed Automata 2023 Hampus, Anton
Contract Based Embedded Software Design 2023 Lidström, Christian
Protocol Conformance with Choreographic PlusCal 2023 Foo, Darius
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects 2023 Jia, Qiaowen
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation 2023 Yao, Shengyang
MTCD: An Efficient Cloning Detection Technique Based on Method Table 2023 Liao, Fangting
Verifying Chips Design at RTL Level 2023 Wang, Wu
Safety Verification for Neural Networks Based on Set-Boundary Analysis 2023 Liang, Zhen
A Static Analyser for Resource Sensitive Workflow Models 2023 Ali, Muhammad Rizwan
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning 2023 Du, Mengjun
Asynchronous Test Equivalence over Timed Processes 2023 Bhateja, Puneet
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks 2023 Delicaris, Joanna
Approximately Learning Quantum Automata 2023 Chu, Wenjing
View-Based Axiomatic Reasoning for PSO 2023 Bargmann, Lara
Stepwise Development of Paraconsistent Processes 2023 Cunha, Juliana
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters 2023 Wu, Yulin
Identifying Minimal Changes in the Zone Abstract Domain 2023 Ballou, Kenny
Alle Artikel auflisten