المؤلفون: Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

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

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

المؤلفون: Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew

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

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

المؤلفون: Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security, Computer Science - Software Engineering

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

المؤلفون: McCutchen, Matt, Song, Daniel, Chen, Shuo, Qadeer, Shaz

المصدر: 2016 IEEE Cybersecurity Development (SecDev) SECDEV Cybersecurity Development (SecDev), IEEE. :117-123 Nov, 2016

Relation: 2016 IEEE Cybersecurity Development (SecDev)

المؤلفون: Chen, Shuo^Aff15, McCutchen, Matt^Aff16, Cao, Phuong^Aff17, Qadeer, Shaz^Aff15, Iyer, Ravishankar K.^Aff17

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Lahiri, Shuvendu, editor^Aff13, Reger, Giles, editor^Aff14

المصدر: Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. 10548:349-358

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.