-
1
المؤلفون: Constantin Enea, Akash Lal
نوع المادة: eBook.
الموضوعات: Computer software--Verification--Congresses
تصنيفات: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
-
2
-
3
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::791cc3bc413b91d53aec907a45989380
https://doi.org/10.1007/978-3-031-30820-8_26 -
4
المؤلفون: Akash Lal, Suvam Mukherjee, Arpita Biswas, Pantazis Deligiannis
المصدر: Proceedings of the ACM on Programming Languages. 4:1-31
مصطلحات موضوعية: Model checking, Theoretical computer science, Computer science, business.industry, Concurrency, Cloud computing, Space (commercial competition), Set (abstract data type), Leverage (statistics), Reinforcement learning, Safety, Risk, Reliability and Quality, Heuristics, business, Software
-
5
المؤلفون: Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
المصدر: Computer Aided Verification ISBN: 9783031131844
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ea4d8441a530b7b3929aea530374d735
https://doi.org/10.1007/978-3-031-13185-1_15 -
6
المؤلفون: Pantazis Deligiannis, Shaz Qadeer, Akash Lal, Narayanan Ganapathy
المصدر: SoCC
مصطلحات موضوعية: Computer science, business.industry, Reliability (computer networking), Design pattern, Concurrency, Cloud computing, computer.software_genre, Software framework, Formal specification, Code (cryptography), business, Software engineering, Programmer, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ae8e76163b4b4469229f77d9325fe371
https://doi.org/10.1145/3472883.3486983 -
7
المؤلفون: Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
المصدر: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::88ce999879536afe8fd466f189b0a610
https://doi.org/10.1109/ase51524.2021.9678838 -
8
المؤلفون: Jayaraj Poroor, Sandesh Ghanta, Akash Lal
المصدر: LCTES
مصطلحات موضوعية: C dynamic memory allocation, Computer science, Distributed computing, Concurrency, Cyber-physical system, Process (computing), 020207 software engineering, 02 engineering and technology, Porting, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Programmer, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc062fca11b1d5b42e266dda85c3a98a
https://doi.org/10.1145/3461648.3463842 -
9
المؤلفون: Diptanshu Kakwani, Constantin Enea, Jyothi Vedurada, Ranadeep Biswas, Akash Lal
المصدر: Proc. {ACM} Program. Lang.
مصطلحات موضوعية: SQL, Correctness, business.industry, Computer science, Distributed computing, Interface (computing), 020207 software engineering, 02 engineering and technology, Set (abstract data type), Robustness (computer science), 020204 information systems, Computer data storage, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Isolation (database systems), Safety, Risk, Reliability and Quality, business, computer, Software, computer.programming_language
-
10كتاب إلكتروني
المؤلفون: Akash Lal, Stefano Tonetta
نوع المادة: eBook.
الموضوعات: Computer science, Computers, Software engineering, Computer systems, Computers, Special purpose, Logic programming
تصنيفات: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General