Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dardik, Ian
28  Ergebnisse:
Personensuche X
?
1

Fortis: A Tool for Analysis and Repair of Robust Software S..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Zhang, Changjian ; Dardik, Ian ; Meira-Goes, Romulo.. - p. 1-9 , 2023
Link: https://doi.org/10.34727..
 
?
2

Plain and Simple Inductive Invariant Inference for Distribu..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Schultz, William ; Dardik, Ian ; Tripakis, Stavros - p. 273-283 , 2022
Link: https://doi.org/10.34727..
 
?
3

Formal verification of a distributed dynamic reconfiguratio..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Schultz, William ; Dardik, Ian ; Tripakis, Stavros - p. 143-152 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Artifact for CAV 2023 Paper: Safe Environmental Envelopes o..:

Meira-Goes, Romulo ; Dardik, Ian ; Kang, Eunsuk..
doi:10.5281/zenodo.7874406.  , 2023
Link: https://zenodo.org/recor..
 
?
5

Artifact for CAV 2023 Paper: Safe Environmental Envelopes o..:

Meira-Goes, Romulo ; Dardik, Ian ; Kang, Eunsuk..
doi:10.5281/zenodo.7874406.  , 2023
Link: https://zenodo.org/recor..
 
?
6

Safe Environmental Envelopes of Discrete Systems:

Meira-Góes, Rômulo ; Dardik, Ian ; Kang, Eunsuk..
http://arxiv.org/abs/2306.01025.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Artifact for CAV 2023 Paper: Safe Environmental Envelopes o..:

Meira-Goes, Romulo ; Dardik, Ian ; Kang, Eunsuk..
doi:10.5281/zenodo.7874406.  , 2023
Link: https://zenodo.org/recor..
 
?
8

Artifact for CAV 2023 Paper: Safe Environmental Envelopes o..:

Meira-Goes, Romulo ; Dardik, Ian ; Kang, Eunsuk..
doi:10.5281/zenodo.7874406.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Safe Environmental Envelopes of Discrete Systems:

Meira-Góes, Rômulo ; Dardik, Ian ; Kang, Eunsuk..
doi:10.5281/zenodo.7999481.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Plain and Simple Inductive Invariant Inference for Distribu..:

Schultz, William ; Dardik, Ian ; Tripakis, Stavros
http://arxiv.org/abs/2205.06360.  , 2022
Link: http://arxiv.org/abs/220..
 
?
11

Design and Analysis of a Logless Dynamic Reconfiguration Pr..:

Schultz, William ; Zhou, Siyuan ; Dardik, Ian.
Is Part Of LIPIcs, Volume 217, 25th International Conference on Principles of Distributed Systems (OPODIS 2021).  , 2022
Link: https://doi.org/10.4230/..
 
?
12

TLAPS Safety Proof of MongoRaftReconfig:

Schultz, William ; Dardik, Ian
doi:10.5281/zenodo.5525483.  , 2021
Link: https://zenodo.org/recor..
 
?
13

TLAPS Safety Proof of MongoRaftReconfig:

Schultz, William ; Dardik, Ian
doi:10.5281/zenodo.5525483.  , 2021
Link: https://zenodo.org/recor..
 
?
14

Design and Analysis of a Logless Dynamic Reconfiguration Pr..:

Schultz, William ; Zhou, Siyuan ; Dardik, Ian.
http://arxiv.org/abs/2102.11960.  , 2021
Link: http://arxiv.org/abs/210..
 
?
15

Formal Verification of a Distributed Dynamic Reconfiguratio..:

Schultz, William ; Dardik, Ian ; Tripakis, Stavros
http://arxiv.org/abs/2109.11987.  , 2021
Link: http://arxiv.org/abs/210..
 
1-15