Index file section U for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
U
-
U, 27(3)11--26
-
U.S, 23(1)11--11, 29(3)23--30, 32(3)63--70
-
UAS, 29(3)121--126, 36(2)22--26
-
UAV, 26(3)45--50
-
ubiquitous, 32(3)51--52, 38(2)109--114
-
Ubnoske, Michael, 19(3)101--110
-
Ubnoske, Michael, see Hulse, Christine
-
Ubuntu, 37(2)59--67
-
UCI, 36(2)22--26
-
UDP, 34(3)81--86, 37(2)51--58
-
UDP-based, 34(3)81--86
-
uence, 38(1)29--33
-
Uhl, Jurgen, 3(3)45--57
-
Uhl, Jurgen, see Kirchgassner, Walter
-
Ujvary, Brian G., 17(5)88--92
-
Ujvary:1997:BHR, 17(5)88--92
-
UK, 0(0)vi--130, 19(3)221--221
-
ultimately, 12(6)75--80, 28(1)52--58, 32(3)103--104
-
ultra-large, 31(3)17--18
-
Ultracomputer, 5(2)58--71
-
UML, 21(4)53--60, 25(4)11--16, 29(3)61--72, 30(3)7--8, 32(3)81--94,
34(3)61--68
-
Umphress, David A., 11(9)67--82
-
Umphress, David A., see Spicer, Kelly L.
-
unambiguous, 29(3)9--10, 31(3)39--46
-
unauthorized, 38(2)64--68
-
unbounded, 9(4)87--91, 17(6)19--31, 27(1)24--39, 33(3)23--36,
40(2)76--91
-
uncertainty, 41(1)69--73
-
Unchecked_Access, 29(1)71--73
-
unconditional, 9(6)104--107
-
Unconstrained, 29(1)75--76
-
undecidable, 13(1)63--75
-
under, 29(3)5--6
-
Under Secretary of Defense for Acquisition, Office of the,
8(4)35--46, 8(4)47--68
-
undergone, 0(0)141--155
-
undergraduate, 0(0)41--50, 16(1)58--69, 25(4)37--40, 29(3)91--102
-
undergraduate-level, 29(3)91--102
-
underlies, 32(3)51--52
-
underlying, 17(3)3--16, 29(2)43--45, 29(3)91--102, 30(1)125--134,
32(3)7--8, 33(1)45--52, 33(1)84--92, 33(2)40--48, 33(3)9--10,
35(1)26--31, 35(1)46--58, 40(2)48--50, 40(2)96--102
-
Underneath, 18(2)36--41
-
underpin, 33(3)43--46
-
understand, 17(3)17--29, 26(3)29--34, 27(3)8--8, 27(3)100--100,
34(3)47--60
-
understandability, 14(6)57--61
-
understanding, 0(0)141--155, 12(4)24--35, 17(2)63--66, 17(6)78--90,
27(3)8--8, 29(1)19--22, 29(2)20--27, 29(3)11--12, 32(3)3--4,
32(3)15--22
-
understood, 23(1)45--52, 27(3)1--1, 31(3)13--14, 33(2)59--65,
34(3)47--60, 40(2)76--91
-
undertaken, 0(0)16--23
-
underway, 26(3)9--14, 27(3)2--2, 36(2)22--26
-
undesirable, 9(6)104--107, 29(1)25--26
-
undetected, 9(6)90--96
-
undeveloped, 0(0)50--61
-
unencumbered, 0(0)24--39
-
unexpected, 0(0)77--89, 33(2)75--86, 33(2)87--96
-
unfamiliar, 17(3)17--29, 29(2)56--60
-
Unfortunately, 27(1)24--39, 27(2)18--22, 29(3)19--20, 37(2)18--22
-
unified, 10(9)75--84, 11(9)56--66, 12(3)92--98, 29(3)119--120,
34(3)61--68
-
uniform, 21(2)65--80, 27(3)1--1
-
uniform, non-, 10(9)126--132, 33(2)40--48
-
uniformity, 10(4)159--165, 11(1)114--120
-
unify, 18(6)28--38, 27(2)90--95, 41(1)83--86
-
unimportant, 13(4)63--70
-
uninitialized, 31(3)11--12, 34(3)103--104, 37(2)37--39
-
Unintentional, 38(2)43--57
-
uniprocessor, 8(7)86--96
-
unique, 11(2)56--59, 23(1)1--9, 26(2)23--37, 29(3)23--30, 29(3)119--120,
33(3)3--4, 33(3)43--46
-
uniquely, 0(0)50--61
-
Unisys, 10(9)85--93
-
unit, 0(0)141--155, 7(6)64--66, 8(7)97--100, 10(1)122--130, 10(3)33--37,
10(4)85--96, 11(1)57--70, 11(2)56--59, 11(3)49--60, 11(5)30--46,
11(9)116--127, 13(1)63--75, 13(4)44--48, 14(z)26--35, 15(4)29--35,
16(3)56--69, 17(1)41--53, 17(2)67--81, 23(1)11--11, 28(1)76--82,
29(1)54--56, 29(2)15--19, 29(2)68--70, 29(3)19--20, 31(2)9--14,
31(3)27--34, 32(3)35--42, 37(2)43--50, 40(1)45--52, 42(1)65--67
-
unit, multiple-, 29(2)68--70
-
unit, post-, 34(3)17--18
-
United, 0(0)136--140, 11(9)83--95, 11(9)100--115, 13(6)66--158,
18(1)92--109, 33(3)43--46, 36(2)22--26
-
UNITREP, 4(4)38--48
-
unity, 4(6)49--59
-
UNIVERSAL, 10(1)111--117
-
universal, 3(6)30--47, 8(2)110--112, 35(2)14--14, 42(1)54--57
-
UNIVERSAL_FILE_NAMES, 10(1)111--117
-
universities, 26(3)29--34, 27(3)99--99
-
University, 9(7)114--128, 11(2)60--71, 13(4)71--76, 14(3)74--79,
17(3)17--29, 23(1)11--11, 34(3)47--60
-
University, Teaneck, NJ, Fairleigh Dickinson, 14(2)24--49
-
UNIX, 6(2)84--84
-
Unix, 7(2)58--72, 10(1)111--117, 13(5)22--31, 15(2)31--39, 17(1)41--53,
17(3)36--44, 17(5)57--64, 17(5)77--82
-
UNIX-like, 17(1)41--53
-
unlike, 28(1)96--102, 32(3)15--22, 34(3)71--80, 40(2)65--69
-
Unlimited, 4(1)50--60
-
unmanned, 26(3)45--50, 29(3)11--12, 29(3)121--126, 30(3)9--10,
30(3)35--36, 36(2)22--26, 42(2)79--88
-
unmarshalling, 16(1)46--53
-
unmodified, 9(2)45--51
-
unnecessarily, 31(2)9--14
-
unnecessary, 35(1)59--73
-
Unorthogonalities, 4(3)37--43
-
unprecedented, 34(3)1--2
-
unpredictability, 9(6)90--96
-
unrecoverable, 9(6)90--96
-
unrepeatable, 31(3)27--34
-
unsafe, 13(5)32--42, 34(3)97--102
-
unsigned, 9(1)47--70
-
unstructured, 11(5)30--46, 12(4)20--23
-
until, 12(1)65--72, 19(3)15--21, 33(1)9--14
-
untrusted, 14(z)74--81
-
unused, 27(3)8--8
-
unusual, 27(3)100--100, 29(3)119--120
-
unwarranted, 35(1)59--73
-
unwilling, 31(3)17--18
-
UoD, 10(4)85--96
-
up'', ``cleaned-, 17(3)3--16
-
update, 0(0)141--155, 2(4)61--63, 6(2)57--58, 6(2)94--94, 16(6)40--50,
17(4)74--87, 22(4)128--130, 27(2)88--89, 28(1)88--91, 29(3)103--104,
32(3)51--52, 34(3)97--102, 35(1)93--94, 41(2)71--76, 42(1)46--49
-
updated, 9(2)102--105, 23(1)45--52, 31(3)5--6, 32(1)9--12, 34(3)87--96,
37(2)37--39, 40(2)65--69
-
updates, products-, 18(4)22--31
-
updating, 6(1)55--62, 8(7)50--56, 13(6)66--158, 27(2)90--95, 35(1)93--94
-
upfront, 36(2)60--68
-
upgraded, 29(3)127--132
-
upmost, 29(3)119--120
-
UPMSat2, 36(1)63--67
-
upon, 0(0)16--23, 0(0)24--39, 23(1)45--52, 27(3)69--70, 28(1)24--30,
29(3)91--102, 33(1)53--63, 33(3)23--36, 33(3)43--46, 34(3)69--70
-
UPPAAL, 36(2)9--17
-
Uppsala, 18(4)111--113
-
upward, 10(5)101--109, 12(6)50--58
-
\urlhttp://www.cprover.org/cbmc/applications.shtml, 33(3)9--10
-
Urquhart, John I. A., 4(3)53--64
-
Urquhart, John I. A., see Knight, John C.
-
Urueña, Santiago, 27(2)29--36, 27(2)61--66, 27(2)96--97,
see Puente, Juan A. de la
-
Uruena:2007:BHI, 27(2)29--36
-
Uruena:2007:INA, 27(2)61--66
-
USA, 15(0)vii--242, 18(0)xii--293, 42(2)89--91
-
usability, 10(4)49--56, 14(2)68--79, 29(3)91--102, 31(3)47--60,
36(1)68--76, 36(2)22--26
-
usable, 10(9)65--69, 33(3)13--14
-
usable, Re-, 12(4)36--41
-
USAF, 24(1)68--70
-
usage, 0(0)165--172, 7(5)34--39, 10(3)29--32, 13(2)54--64, 18(6)140--141,
28(1)92--95, 29(2)20--27, 30(1)33--44, 31(2)23--24, 31(2)25--27,
31(2)28--29, 38(1)19--28, 41(2)81--85
-
Usageash, 10(9)65--69
-
usage/performance, 10(9)65--69
-
USC-ISI, 0(0)120--128
-
Use, Definition-, 37(1)9--25
-
use, ease-of-, 33(2)75--86
-
use, easy-to-, 17(1)41--53, 17(5)51--56, 36(2)58--59
-
use, re-, 11(3)73--82
-
use-cases, 42(2)92--95
-
use., 29(2)15--19
-
useable, 27(3)99--99
-
useful, 0(0)62--76, 13(5)43--47, 13(6)133--161, 17(1)54--68, 27(2)67--71,
27(3)5--6, 27(3)8--8, 27(3)51--58, 29(1)25--26, 30(1)86--90,
33(3)3--4, 37(1)9--25
-
useful., 27(3)2--2
-
usefulness, 17(1)54--68
-
user's, end-, 32(3)97--102
-
user, Multi-, 12(6)81--87
-
user, multi-, 11(3)49--60, 23(1)12--21
-
user, single-, 23(1)12--21
-
user-defined, 9(4)105--112, 12(1)53--64, 14(4)43--57, 30(1)104--115,
30(1)116--124
-
User-Friendly, 2(4)101--112
-
user-mode, 35(1)9--16
-
user-runtime, 11(8)177--z
-
user-supplied, 10(9)141--146
-
user-written, 31(3)11--12
-
users/clients, 42(2)92--95
-
Ushijima, K., 8(5)61--70
-
Ushijima, K., see Cheng, J.
-
Ushijima, Kazuo, 9(2)52--61
-
Ushijima, Kazuo, see Cheng, Jingde
-
usually, 32(3)7--8, 33(3)3--4, 36(2)9--17
-
utility, 4(4)38--48, 4(5)49--58, 5(3)100--100, 9(2)52--61, 9(6)108--118,
10(1)111--117, 17(2)82--91, 17(5)77--82, 17(6)65--69, 27(2)41--47,
27(2)48--52, 28(1)88--91, 30(1)73--85, 33(1)116--127
-
utilization, 0(0)102--118, 8(7)39--42, 11(3)125--136, 18(5)51--56,
41(1)87--91
-
utilized, 33(3)43--46, 38(1)19--28
-
utilizes, 36(2)22--26, 36(2)39--46
-
utilizing, 12(6)75--80, 29(3)115--118, 35(1)93--94