I agree that this site is using cookies. You can find further informations here.
X
Chaki, Sagar
55  results:
Search for persons X
?
1

Have Your PI and Eat it Too: Practical Security on a Low-Co..:

, In: 2018 IEEE European Symposium on Security and Privacy (EuroS&P),
Vasudevan, Amit ; Chaki, Sagar - p. 183-198 , 2018
Link: https://doi.org/10.1109/..
 
?
2

BDD-Based Symbolic Model Checking:

, In: Handbook of Model Checking,
Chaki, Sagar ; Gurfinkel, Arie - p. 219-245 , 2018
Link: https://doi.org/10.1007/..
 
?
3

Formal Verification of a Timing Enforcer Implementation:

Chaki, Sagar ; Niz, Dionisio De
ACM Transactions on Embedded Computing Systems.  16 (2017)  5s - p. 1-19 , 2017
Link: https://doi.org/10.1145/..
 
?
4

Contract-Based Verification of Timing Enforcers : [Exten..:

Chaki, Sagar ; de Niz, Dionisio
ACM SIGAda Ada Letters.  36 (2017)  2 - p. 27-30 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

Contract-Based Verification of Timing Enforcers: [Extended ..:

Chaki, Sagar ; de Niz, Dionisio
ACM SIGAda Ada Letters.  36 (2017)  2 - p. 27-30 , 2017
Link: https://doi.org/10.1145/..
 
?
6

Decision-making with cross-entropy for self-adaptation:

, In: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Moreno, Gabriel A. ; Strichman, Ofer ; Chaki, Sagar. - p. 90-101 , 2017
Link: https://dl.acm.org/doi/1..
 
?
7

Formal Verification of a Timing Enforcer Implementation:

Chaki, Sagar ; Niz, Dionisio De
ACM Transactions on Embedded Computing Systems (TECS).  16 (2017)  5s - p. 1-19 , 2017
Link: https://dl.acm.org/doi/1..
 
?
8

SMT-based model checking for recursive programs:

Komuravelli, Anvesh ; Gurfinkel, Arie ; Chaki, Sagar
Formal Methods in System Design.  48 (2016)  3 - p. 175-205 , 2016
Link: https://doi.org/10.1007/..
 
?
9

Verifying cyber-physical systems by combining software mode..:

, In: Proceedings of the 13th International Conference on Embedded Software,
Bak, Stanley ; Chaki, Sagar - p. 1-10 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical ..:

, In: Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy,
Ruchkin, Ivan ; Rao, Ashwini ; De Niz, Dionisio.. - p. 11-22 , 2015
Link: https://dl.acm.org/doi/1..
 
?
11

High Assurance for Distributed Cyber Physical Systems:

, In: Proceedings of the 2015 European Conference on Software Architecture Workshops,
Hissam, Scott A. ; Chaki, Sagar ; Moreno, Gabriel A. - p. 1-4 , 2015
Link: https://dl.acm.org/doi/1..
 
?
12

Regression verification for multi-threaded programs (with e..:

Chaki, Sagar ; Gurfinkel, Arie ; Strichman, Ofer
Formal Methods in System Design.  47 (2015)  3 - p. 287-301 , 2015
Link: https://doi.org/10.1007/..
 
?
13

Efficient Verification of Periodic Programs using Sequentia..:

, In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
Chaki, Sagar ; Gurfinkel, Arie ; Sinha, Nishant - p. 51-58 , 2014
Link: https://dl.acm.org/doi/1..
 
?
14

Contract-based integration of cyber-physical analyses:

, In: Proceedings of the 14th International Conference on Embedded Software,
Ruchkin, Ivan ; De Niz, Dionisio ; Garlan, David. - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

Toward parameterized verification of synchronous distribute..:

, In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software,
Chaki, Sagar ; Edmondson, James - p. 109-112 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15