المؤلفون: Fayaz, Seyed K., Tobioka, Yoshiaki, Chaki, Sagar, Sekar, Vyas

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture

URL الوصول: http://arxiv.org/abs/1505.03356

المؤلفون: Chaki, Sagar.

مصطلحات موضوعية: Computer software Computer multitasking. C (Computer program language)

المؤلفون: Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1405.4028

المؤلفون: Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar, Clarke, Edmund M.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1306.1945

المؤلفون: Chaki, Sagar, Schallhart, Christian, Veith, Helmut

مصطلحات موضوعية: Computer Science - Other Computer Science

URL الوصول: http://arxiv.org/abs/cs/0701187

المؤلفون: Roy, Pritam, Chaki, Sagar

المصدر: Formal Methods in System Design ; volume 60, issue 3, page 329-349 ; ISSN 0925-9856 1572-8102

الاتاحة: http://dx.doi.org/10.1007/s10703-023-00414-1
https://link.springer.com/content/pdf/10.1007/s10703-023-00414-1.pdf
https://link.springer.com/article/10.1007/s10703-023-00414-1/fulltext.html

المؤلفون: Sapra, Samir, Minea, Marius, Chaki, Sagar, Gurfinkel, Arie, Clarke, Edmund M.

المصدر: Testing Software and Systems ; Lecture Notes in Computer Science ; page 283-289 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642417061 9783642417078

الاتاحة: http://dx.doi.org/10.1007/978-3-642-41707-8_20
http://link.springer.com/content/pdf/10.1007/978-3-642-41707-8_20

المؤلفون: Franklin, Jason, Chaki, Sagar, Datta, Anupam, McCune, Jonathan M., Vasudevan, Amit

المصدر: Lecture Notes in Computer Science ; Principles of Security and Trust ; page 51-68 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642286407 9783642286414

الاتاحة: http://dx.doi.org/10.1007/978-3-642-28641-4_4
http://link.springer.com/content/pdf/10.1007/978-3-642-28641-4_4.pdf

المؤلفون: Chaki, Sagar, Strichman, Ofer

المصدر: Lecture Notes in Computer Science ; Tools and Algorithms for the Construction and Analysis of Systems ; page 276-291 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540712084 9783540712091

الاتاحة: https://doi.org/10.1007/978-3-540-71209-1_22
http://link.springer.com/content/pdf/10.1007/978-3-540-71209-1_22

المؤلفون: Chaki, Sagar

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 151-166 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540330561 9783540330578

الاتاحة: http://dx.doi.org/10.1007/11691372_10
http://link.springer.com/content/pdf/10.1007/11691372_10

المؤلفون: Chaki, Sagar, Clarke, Edmund, Sinha, Nishant, Thati, Prasanna

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 534-547 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540272311 9783540316862

الاتاحة: http://dx.doi.org/10.1007/11513988_51
http://link.springer.com/content/pdf/10.1007/11513988_51.pdf

المؤلفون: Stokely, Murray, Chaki, Sagar, Ouaknine, Joël

المصدر: Electronic Notes in Theoretical Computer Science ; volume 157, issue 1, page 77-94 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/j.entcs.2006.01.024
https://api.elsevier.com/content/article/PII:S1571066106002362?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066106002362?httpAccept=text/plain

المؤلفون: Chaki, Sagar, Clarke, Edmund, Jha, Somesh, Veith, Helmut

مصطلحات موضوعية: Original Articles

وصف الملف: text/html

Relation: http://logcom.oxfordjournals.org/cgi/content/short/15/4/465; http://dx.doi.org/10.1093/logcom/exi028

الاتاحة: http://logcom.oxfordjournals.org/cgi/content/short/15/4/465
https://doi.org/10.1093/logcom/exi028

المؤلفون: Chaki, Sagar, Ouaknine, Joël, Yorav, Karen, Clarke, Edmund

المصدر: Electronic Notes in Theoretical Computer Science ; volume 89, issue 3, page 417-432 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/s1571-0661(05)80004-0
https://api.elsevier.com/content/article/PII:S1571066105800040?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066105800040?httpAccept=text/plain

المؤلفون: Chaki, Sagar, Gurfinkel, Arie

المصدر: Proceedings of the Second NASA Formal Methods Symposium.

مصطلحات موضوعية: Mathematical And Computer Sciences (General)

Relation: Proceedings of the Second NASA Formal Methods Symposium

URL الوصول: https://ntrs.nasa.gov/citations/20100018534

المؤلفون: Chaki, Sagar, Gurfinkel, Arie, Wallnau, Kurt, Weinstock, Charles

المصدر: Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification.

مصطلحات موضوعية: Computer Programming And Software

Relation: Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

URL الوصول: https://ntrs.nasa.gov/citations/20150004720

المؤلفون: Chaki, Sagar, Ivers, James

المصدر: Proceedings of the First NASA Formal Methods Symposium.

مصطلحات موضوعية: Mathematical And Computer Sciences (General)

Relation: Proceedings of the First NASA Formal Methods Symposium

URL الوصول: https://ntrs.nasa.gov/citations/20100024473

المؤلفون: Mancuso, Renato, Chaki, Sagar

وصف الملف: p. 37 - 42

Relation: Proceedings of Operating Systems Platforms for Embedded Real-Time Applications; https://ospert18.ittc.ku.edu/proceedings-ospert2018.pdf; Renato Mancuso, Sagar Chaki. 2018. "Verification of OS-level Cache Management." Proceedings of Operating Systems Platforms for Embedded Real-Time Applications. Operating Systems Platforms for Embedded Real-Time Applications (OSPERT); https://hdl.handle.net/2144/37761; 439941

الاتاحة: https://hdl.handle.net/2144/37761
https://ospert18.ittc.ku.edu/proceedings-ospert2018.pdf

المؤلفون: Moreno, Gabriel A., Strichman, Ofer, Chaki, Sagar, Vaisman, Radislav

مصطلحات موضوعية: Cross-entropy method, Decision-making, Optimization, Self-adaptive systems, 1702 Artificial Intelligence, 1712 Software, 2606 Control and Optimization

Relation: orcid:0000-0001-9875-0616; Not set

الاتاحة: https://espace.library.uq.edu.au/view/UQ:681368

المؤلفون: Andersson, Björn, Chaki, Sagar, de Niz, Dionisio

المصدر: Runtime Verification ; Lecture Notes in Computer Science ; page 68-84 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319675305 9783319675312

الاتاحة: http://dx.doi.org/10.1007/978-3-319-67531-2_5
http://link.springer.com/content/pdf/10.1007/978-3-319-67531-2_5