| Algebraic Approach for Confidence Evaluation of Assurance Cases
|
2021 |
Yamagata, Yoriyuki |
| Verification of a TLSF Algorithm in Embedded System
|
2021 |
Shaofeng, Li |
| Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
|
2021 |
Arias, Jaime |
| Robustness and Failure Detection in Epistemic Gossip Protocols
|
2021 |
Fujishiro, Kosei |
| Learning Fault Models of Cyber Physical Systems
|
2021 |
Khoo, Teck Ping |
| VARF: Verifying and Analyzing Robustness of Random Forests
|
2021 |
Nie, Chaoqun |
| Formal Foundations for Intel SGX Data Center Attestation Primitives
|
2021 |
Sardar, Muhammad Usama |
| Formalizing the Transaction Flow Process of Hyperledger Fabric
|
2021 |
Chen, Xiangyu |
| Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances
|
2021 |
Bai, Yunjun |
| Automated Temporal Verification of Integrated Dependent Effects
|
2021 |
Song, Yahui |
| Verification of Programs with Pointers in SPARK
|
2021 |
Jaloyan, Georges-Axel |
| A Reversible Operational Semantics for Imperative Programming Languages
|
2021 |
Fernández, Maribel |
| Type-Based Declassification for Free
|
2021 |
Ngo, Minh |
| Parallel Chopped Symbolic Execution
|
2021 |
Singh, Shikhar |
| Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
|
2021 |
Dupont, Guillaume |
| Reasoning with Failures
|
2021 |
Jahanian, Hamid |
| PAC Learning of Deterministic One-Clock Timed Automata
|
2021 |
Shen, Wei |
| Four-Valued Monitorability of ∞-Regular Languages
|
2021 |
Chen, Zhe |
| Formally Verified Trades in Financial Markets
|
2021 |
Sarswat, Suneel |
| Formalising Privacy-Preserving Constraints in Microservices Architecture
|
2021 |
Vistbakka, Inna |
Tag hinzufügen