-
1by Allcroft, Shane, Metwaly, Mohammed, Berg, Zachery, Ghodgaonkar, Isha, Bordwell, Fischer, Zhao, Xinxin, Liu, Xinglei, Xu, Jiahao, Chakraborty, Subhankar, Banna, Vishnu, Chinnakotla, Akhil, Goel, Abhinav, Tung, Caleb, Kao, Gore, Zakharov, Wei, Shoham, David A., Thiruvathukal, George K., Lu, Yung-HsiangGet full text
Published in Computer (Long Beach, Calif.)
Article -
2
-
3
-
4
-
5by Diodati, Gianluca, Sorrentino, Assunta, Pellone, Lorenzo, Concilio, Antonio, Ciminello, Monica, Apuleo, Gianvito, Shoham, Shay, Kressel, Iddo, Bardenstein, DavidGet full text
Published in Aerospace
Article -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20by Ben-David, Shoham, Eisner, Cindy, Geist, Daniel, Wolfsthal, YaronGet full text
Published in Formal methods in system design
Article