Index file section V for tosem.bib

Last update: Fri Oct 11 02:04:49 MDT 2024               

Return to index directory

V

• v, ConMem-, 22(2)10--10
• v, validator,ConMem-, 22(2)10--10
• V6.0, 9(3)306--337
• vacuum, 31(3)45--45
• VaEA, 26(4)14--14
• Vaglini, Gigliola, 23(3)24--24
• Vaglini, Gigliola, see Francesco, Nicoletta de
• vagueness, 32(2)31--31
• Valenzano, Adriano, 12(2)222--284
• Valenzano, Adriano, see Durante, Luca
• Valero, César, Soto-, 32(2)38--38
• Valgrind, 22(4)29--29
• valid, 16(3)11--11, 20(3)13--13, 21(4)24--24, 23(2)12--12, 23(2)16--16, 25(2)14--14, 25(2)17--17, 26(4)14--14, 28(1)1--1, 28(2)9--9, 28(4)21--21, 29(1)2--2, 31(3)40--40, 32(1)15--15, 33(2)46--46, 33(5)118--118
• validate, 6(2)173--210, 17(1)2--2, 18(2)7--7, 18(3)12--12, 20(3)8--8, 21(2)8--8, 21(2)10--10, 21(2)12--12, 21(2)13--13, 22(4)36--36, 23(4)32--32, 25(3)27--27, 26(2)7--7, 27(4)17--17
• validated, 18(2)5--5, 19(2)4--4, 19(4)13--13, 26(1)1--1, 32(4)92--92, 32(6)136--136
• validating, 3(4)308--339, 10(2)184--208, 21(4)24--24, 22(3)25--25, 23(2)16--16, 23(4)32--32, 33(5)118--118
• validating, techniques-, 28(4)21--21
• validation, 1(1)21--52, 3(1)56--98, 3(4)308--339, 5(4)334--377, 7(4)335--367, 8(2)147--176, 9(1)3--50, 9(4)488--528, 17(1)4--4, 21(2)13--13, 21(4)22--22, 21(4)24--24, 22(3)25--25, 25(3)23--23, 28(4)24--24, 30(4)43--43, 31(4)57--57, 32(1)3--3, 32(2)51--51, 32(3)60--60, 32(6)138--138, 33(3)71--71, 33(3)81--81
• validation, cross-, 27(3)12--12
• validator, 31(4)57--57, 31(4)79--79
• validator,ConMem-v, 22(2)10--10
• validity, 1(1)5--20, 6(1)31--79, 21(2)8--8, 21(4)21--21, 23(2)17--17, 23(4)34--34, 24(2)8--8, 33(5)112--112
• Valle, Pablo, 32(1)17--17
• Valle, Pablo, see Arrieta, Aitor
• Vallecillo, Antonio, 32(2)31--31
• Vallecillo, Antonio, see Burgueño, Lola
• valuable, 18(2)6--6, 22(2)14--14, 29(3)21--21, 29(4)28--28, 30(4)48--48, 30(4)56--56, 31(4)73--73, 32(2)45--45, 32(6)141--141
• value, 1(3)310--354, 1(4)422--451, 3(2)101--130, 4(3)287--317, 15(3)227--241, 16(1)4--4, 16(3)12--12, 17(1)2--2, 17(2)8--8, 18(2)6--6, 20(2)4--4, 20(4)14--14, 20(4)15--15, 21(3)19--19, 21(4)21--21, 22(3)17--17, 22(3)21--21, 22(4)31--31, 23(2)12--12, 23(2)14--14, 23(3)21--21, 24(1)6--6, 24(2)8--8, 24(2)10--10, 24(3)13--13, 24(4)22--22, 24(4)23--23, 25(2)17--17, 25(3)20--20, 26(2)6--6, 26(4)14--14, 27(4)15--15, 30(4)42--42, 31(2)26--26, 32(3)66--66, 33(3)58--58, 33(5)121--121
• value-attributions, 6(4)398--441
• value-based, 29(4)24--24
• Value-Flow, 33(3)66--66
• Value-flow, 32(3)66--66, 33(3)66--66
• value-passing, 16(3)12--12
• valued, Multi-, 12(4)371--408
• valued, three-, 20(4)14--14
• Van Berkel, Niels, 33(3)57--57
• Van Berkel, Niels, see Russo, Daniel
• Van Den Brand, Mark G. J., 12(2)152--190
• Van Der Aalst, Wil M. P., 19(1)2--2, 25(4)28--28
• Van Der Aalst, Wil M. P., see Ouyang, Chun, see Polyvyanyy, Artem
• Van Der Hoek, André, 13(2)240--276, see Roshandel, Roshanak
• Van Der Linden, Dirk, 31(1)9--9
• Van Der Linden, Dirk, see Rauf, Irum
• Van Deursen, Arie, 17(1)3--3
• Van Deursen, Arie, see Marin, Marius
• Vandehei, Bailey, 30(2)24--24
• Vandehei:2021:LDL, 30(2)24--24
• vandenBrand:1996:GFC, 5(1)1--41
• VanDenBrand:2003:TRT, 12(2)152--190
• Vanter, Michael L. Van de, 1(1)95--127
• Vanter, Michael L. Van de, see Ballance, Robert A.
• Vara, Jose Luis, De La, 28(2)9--9
• variability, 1(2)188--204, 26(3)10--10, 27(2)8--8, 27(4)18--18, 28(4)21--21, 33(2)46--46
• Variability-Aware, 27(4)18--18
• variability-aware, 26(3)10--10, 27(4)18--18
• variability-sensitive, 26(3)10--10
• variable, 3(1)29--55, 6(3)250--282, 7(2)158--191, 7(3)250--295, 8(2)115--146, 9(1)3--50, 9(1)51--93, 18(1)3--3, 19(2)5--5, 20(3)12--12, 21(1)1--1, 21(1)4--4, 21(4)25--25, 22(1)3--3, 22(4)33--33, 22(4)37--37, 23(2)15--15, 23(4)30--30, 24(2)11--11, 25(2)15--15, 25(2)18--18, 25(2)19--19, 30(2)20--20, 32(2)39--39, 33(5)118--118, 33(5)121--121
• variable, shared-, 28(3)14--14
• Variable-based, 32(2)34--34, 33(2)41--41
• variance, 7(1)41--79, 7(2)158--191
• variant, 1(3)310--354, 4(1)3--35, 8(3)284--295, 9(2)199--237, 21(3)14--14, 22(2)11--11, 25(2)18--18, 26(3)10--10, 27(2)5--5, 27(4)18--18, 28(3)13--13, 28(3)15--15, 31(2)36e_36e, 32(6)154--154
• variant, variant-by-, 28(3)13--13
• variant-by-variant, 28(3)13--13
• variant-preserving, 28(3)13--13
• variant-rich, 28(3)13--13
• variation, 1(1)95--127, 7(1)41--79, 7(2)158--191, 10(2)149--183, 16(1)4--4, 18(1)3--3, 20(2)6--6, 20(4)17--17, 21(1)6--6, 28(3)15--15, 30(1)2--2
• variational, 33(1)19--19, 33(4)103--103
• varied, 17(2)11--11, 21(1)4--4
• variety, 2(4)379--411, 3(1)56--98, 3(4)340--380, 4(1)65--106, 5(3)262--292, 6(3)213--249, 6(3)283--328, 8(4)411--424, 10(2)209--254, 16(3)12--12, 17(2)11--11, 18(1)2--2, 20(2)6--6, 20(3)10--10, 21(4)20--20, 23(3)23--23, 24(3)20--20, 25(1)8--8, 25(2)18--18, 27(1)1--1, 27(1)3--3, 27(2)6--6, 27(3)11--11, 28(1)2--2, 28(2)7--7, 28(2)8--8, 28(4)19--19, 29(3)16--16, 30(3)38--38, 31(2)26--26, 31(2)28--28, 31(3)41--41, 31(4)60--60, 31(4)75--75, 32(1)2--2, 32(1)20--20, 32(1)24--24, 32(3)66--66, 32(3)67--67, 32(5)121--121, 33(1)1--1, 33(1)22--22, 33(1)28--28, 33(2)51--51, 33(3)76--76, 33(4)86--86
• various, 3(2)101--130, 3(4)340--380, 4(2)146--170, 6(2)141--172, 6(4)333--369, 7(1)41--79, 7(1)80--107, 8(3)284--295, 8(4)411--424, 9(1)3--50, 9(1)94--131, 10(1)110--147, 17(2)9--9, 17(2)11--11, 17(3)15--15, 18(1)2--2, 21(1)4--4, 21(2)12--12, 21(4)22--22, 21(4)23--23, 22(4)29--29, 22(4)31--31, 22(4)34--34, 22(4)38--38, 23(2)12--12, 24(2)10--10, 24(3)13--13, 24(3)18--18, 25(2)18--18, 25(3)21--21, 25(3)24--24, 26(1)2--2, 26(2)8--8, 27(2)5--5, 29(2)11--11, 30(2)17--17, 30(2)18--18, 30(3)26--26, 31(1)9--9, 31(1)16--16, 31(3)38--38, 31(3)56--56, 31(4)60--60, 31(4)62--62, 32(1)7--7, 32(2)46--46, 32(3)57--57, 32(3)65--65, 32(3)69--69, 32(5)108--108, 32(5)127--127, 32(6)143--143, 33(1)15--15, 33(1)17--17, 33(2)50--50, 33(2)54--54, 33(3)57--57, 33(3)66--66, 33(3)69--69, 33(4)88--88, 33(5)116--116, 33(5)121--121, 33(5)124--124, 33(5)126--126, 33(5)132--132, 33(6)147--147, 33(6)158--158, 33(6)165--165, 33(7)174--174, 33(7)175--175, 33(7)188--188, 33(7)191--191
• Varshosaz, Mahsa, 32(2)51--51, 32(3)56--56
• Varshosaz, Mahsa, see Araujo, Hugo, see Cruz-Carlon, Juan
• vary, 16(2)7--7, 17(2)11--11, 18(2)7--7, 24(3)15--15, 25(1)4--4, 25(3)26--26, 32(1)27--27, 32(2)46--46, 33(1)20--20, 33(3)76--76
• varying, 9(3)306--337, 25(2)18--18
• Vasilescu, Bogdan, 31(2)29--29, 32(2)39--39
• Vasilescu, Bogdan, see Dramko, Luke, see Xu, Frank F.
• Vásquez, Mario, Linares-, 27(3)14--14
• vast, 24(3)13--13, 33(1)1--1, 33(2)46--46, 33(5)114--114
• Vaswani, Kapil, 21(3)19--19
• Vaswani, Kapil, see Qi, Dawei
• VDFLs, 18(1)1--1
• Vechev, Martin, 21(1)2--2
• Vechev, Martin, see Arnold, Matthew
• vector, 28(1)5--5, 31(2)30--30, 32(1)6--6, 32(4)90--90, 33(3)56--56
• vector, bit-, 25(2)15--15
• vehicle, 6(3)283--328, 8(2)177--212, 28(1)4--4, 32(3)67--67, 33(3)73--73, 33(4)94--94, 33(4)99--99
• vein, 18(2)7--7
• Veith, Helmut, 22(2)15--15
• Veith, Helmut, see Chaki, Sagar
• velocity, 30(1)1--1
• vendor, 25(1)8--8, 33(5)121--121
• Venkatasubramanian, Nalini, 13(1)86--147
• Venkatasubramanian:2004:FMR, 13(1)86--147
• Venters, Colin C., 33(5)136--136
• Venters, Colin C., see Betz, Stefanie
• Ventresque, Anthony, 32(3)58--58
• Ventresque, Anthony, see Laurent, Thomas
• Venturini, Daniel, 32(4)94--94
• Venturini:2023:DYY, 32(4)94--94
• venues, 7(1)1--40
• verbose, 20(1)1--1
• verbs, 28(1)3--3
• verdict, 18(4)14--14
• Verhoef, Chris, 14(3)331--380
• Verhoef, Chris, see Klint, Paul
• Verification**, 9(4)443--487
• verified, 8(1)1--48, 9(1)3--50, 22(3)20--20, 23(1)3--3, 23(3)25--25, 24(4)25--25, 25(2)15--15, 28(3)14--14, 31(2)36e_36e, 31(4)74--74, 33(7)171--171
• verifier, 9(4)379--409, 17(2)7--7, 17(2)9--9, 28(2)7--7, 31(4)57--57
• Verifix, 31(4)74--74
• verify, 16(3)12--12, 16(4)14--14, 17(2)7--7, 17(2)9--9, 17(2)10--10, 20(3)9--9, 21(2)8--8, 21(2)13--13, 21(3)18--18, 22(1)6--6, 22(4)29--29, 24(3)18--18, 24(4)23--23, 26(2)7--7, 26(4)13--13, 27(2)6--6, 28(1)1--1, 28(2)6--6, 28(3)14--14, 29(3)14--14, 33(4)85--85, 33(6)155--155
• verifying, 1(3)229--268, 2(2)128--175, 3(2)131--165, 3(3)221--253, 3(4)308--339, 4(1)36--64, 4(2)109--145, 4(2)171--213, 4(4)319--364, 4(4)365--389, 5(4)334--377, 6(3)213--249, 6(3)250--282, 6(4)333--369, 7(3)296--332, 7(3)333--334, 9(1)3--50, 9(2)133--166, 9(3)239--272, 9(4)443--487, 10(1)5--55, 13(4)359--430, 16(2)7--7, 20(3)9--9, 21(3)16--16, 22(1)3--3, 22(3)24--24, 22(4)33--33, 24(2)9--9, 24(2)11--11, 27(2)6--6, 28(3)16--16, 30(3)26--26, 32(3)62--62, 33(5)129--129
• Verilog, 28(3)14--14
• Verilog-like, 28(3)14--14
• versa, 6(4)398--441
• versatile, 16(3)12--12
• version, 1(3)310--354, 2(3)270--285, 4(1)3--35, 6(2)173--210, 6(3)329--331, 6(4)398--441, 7(2)192--214, 7(4)449--449, 16(1)3--3, 17(2)10--10, 20(3)8--8, 21(3)19--19, 22(2)10--10, 22(4)32--32, 22(4)38--38, 24(1)3--3, 24(1)4--4, 24(3)18--18, 25(4)29--29, 26(3)10--10, 27(3)10--10, 28(3)16--16, 28(4)19--19, 28(4)20--20, 30(2)24--24, 30(4)56--56, 31(2)30--30, 31(3)44--44, 32(1)11--11, 32(6)151--151
• version-ing, 6(4)398--441
• version-oriented, 6(4)398--441
• versioning, 6(4)398--441, 32(6)149--149
• versus, 7(1)80--107, 22(3)22--22, 32(1)5--5, 33(1)12--12
• Verwijs, Christiaan, 32(3)74--74
• Verwijs:2023:TST, 32(3)74--74
• very, 2(2)109--127, 2(4)379--411, 3(1)29--55, 4(3)287--317, 5(1)63--86, 5(4)334--377, 6(3)250--282, 9(4)443--487, 9(4)488--528, 17(4)19--19, 19(1)2--2, 20(3)11--11, 21(3)19--19, 22(1)6--6, 22(3)17--17, 22(3)18--18, 22(4)29--29, 22(4)34--34, 22(4)35--35, 23(3)21--21, 24(4)24--24, 25(1)3--3, 25(1)7--7, 25(1)9--9, 26(1)3--3, 26(4)12--12, 28(1)2--2, 28(1)4--4, 28(3)13--13, 28(3)17--17, 29(4)24--24, 29(4)28--28, 29(4)30--30, 30(1)9--9, 31(1)3--3, 33(2)53--53, 33(3)58--58, 33(3)63--63
• Vetrò, Antonio, 28(2)9--9, see Wagner, Stefan
• VGT, 31(2)21--21
• vice, 6(4)398--441
• victims, 32(5)118--118
• Vidal, Santiago, 27(1)2--2
• Vidal:2018:ARB, 27(1)2--2
• video, 7(2)192--214, 32(4)88--88
• view, 4(4)365--389, 6(4)398--441, 7(4)335--367, 7(4)368--410, 8(3)215--262, 8(4)425--472, 16(1)3--3, 16(3)11--11, 17(1)2--2, 21(2)13--13, 21(4)24--24, 22(1)4--4, 22(4)34--34, 22(4)35--35, 23(1)2--2, 23(1)4--4, 23(2)17--17, 27(3)11--11, 28(1)3--3, 29(3)16--16, 32(5)108--108, 33(7)178--178
• viewed, 2(2)109--127, 3(2)166--199, 9(4)443--487, 16(3)12--12, 28(3)16--16
• viewpoint, 7(4)335--367, 21(2)9--9, 28(2)11--11
• Villarán, Esther, Román-, 33(7)194--194
• Vinayakarao, Venkatesh, 32(4)97--97
• Vinayakarao, Venkatesh, see Zhang, Ting
• Vinju, Jurgen J., 12(2)152--190
• Vinju, Jurgen J., see Van Den Brand, Mark G. J.
• violate, 21(2)8--8, 24(2)9--9, 25(1)8--8
• violation, 20(3)9--9, 21(1)5--5, 22(1)7--7, 22(2)10--10, 22(3)18--18, 23(1)5--5, 24(3)18--18, 30(1)7--7, 33(2)30--30, 33(5)121--121
• viral, 33(1)10--10
• virtual, 3(2)166--199, 6(4)398--441, 7(1)1--40, 8(4)297--342, 9(4)379--409, 11(3)291--308, 18(3)9--9, 19(1)1--1, 20(2)7--7, 21(1)2--2, 28(4)20--20, 32(2)28--28, 33(1)5--5, 33(1)11--11, 33(4)88--88, 33(6)143--143
• virtually, 10(2)209--254
• Visaggio, Aaron, 32(3)67--67
• Visaggio, Aaron, see Di Sorbo, Andrea
• visible, 5(3)231--261
• vision, 31(4)60--60, 32(6)154--154, 33(3)78--78
• Visitor, 26(2)8--8
• Visser, Eelco, 5(1)1--41
• Visser, Eelco, see Brand, Mark van den
• visual, 1(4)399--421, 2(4)311--345, 3(2)131--165, 9(3)306--337, 10(1)110--147, 13(4)431--487, 18(1)1--1, 20(4)18--18, 21(2)12--12, 22(2)13--13, 26(4)13--13, 31(2)21--21, 33(4)110--110
• visualization, 7(2)109--157, 25(2)12--12, 31(2)31--31
• visualization--the, 7(2)109--157
• visualize, 22(4)37--37, 26(3)10--10
• visualizing, 29(2)9--9, 33(4)101--101
• visually, 9(3)306--337, 18(1)1--1, 32(4)104--104
• Viswanath, Bimal, 33(3)56--56
• Viswanath, Bimal, see Xiao, Ya
• ViT, 32(6)154--154
• vital, 31(4)66--66, 32(4)100--100, 32(4)102--102, 32(6)160--160, 33(1)26--26, 33(4)109--109, 33(5)121--121, 33(5)131--131
• Vito, Ben, Di, 7(3)296--332
• Vlachos, Vasileios, 18(1)2--2
• Vlachos, Vasileios, see Louridas, Panagiotis
• VM, 20(2)7--7
• VM, Host-, 33(1)11--11
• Vo, Kiem-Phong, 7(2)192--214
• Vo, Kiem-Phong, see Hunt, James J.
• vocabulary, 28(3)15--15
• vocation, 33(6)151--151
• Vogel-Heuser, Birgit, 31(1)5--5
• Vogel-Heuser:2022:MIA, 31(1)5--5
• Voice, 33(4)87--87, 33(6)143--143
• Voice-based, 33(6)143--143
• VoIP, 22(1)4--4
• Vol, 6(3)329--331
• volatile, 23(1)2--2
• Vollmer, Anna Maria, 31(2)37e_37e
• Vollmer, Anna Maria, see Martínez-Fernández, Silverio
• volume, 1(4)422--451, 23(3)23--23, 26(4)12--12, 30(1)1--1, 30(4)49--49
• volume, high-, 23(3)23--23
• voluminous, 21(2)12--12
• voluntary, 32(2)43--43
• volunteers, 32(1)15--15
• voMaster, 28(1)3--3
• Von Rhein, Alexander, 27(4)18--18
• VonRhein:2018:VAS, 27(4)18--18
• Vos, Tanja E. J., 22(3)26--26
• Vos, Tanja E. J., see Marín, Beatriz
• VOSUITE, 24(2)8--8
• voSuite, 24(4)23--23
• voted, 25(4)29--29
• voting, 22(1)7--7
• Votta, Lawrence, 7(1)41--79
• Votta, Lawrence, see Porter, Adam
• Votta, Lawrence G., 10(3)308--337
• Votta, Lawrence G., see Perry, Dewayne E.
• Vouillon, Jérôme, 22(4)34--34
• Vouillon:2013:SCC, 22(4)34--34
• Vrije, 17(4)19--19
• vs, 25(1)5--5, 26(2)6--6
• VSP, 9(4)488--528
• VSP/CVS, 9(4)488--528
• VUI, 33(6)143--143
• vulnerability, 21(4)25--25, 23(4)29--29, 25(1)2--2, 25(2)19--19, 27(2)7--7, 27(4)15--15, 28(4)24--24, 30(1)6--6, 30(2)14--14, 30(2)23--23, 30(3)38--38, 31(1)3--3, 31(1)9--9, 31(1)13--13, 31(3)49--49, 32(1)7--7, 32(1)25--25, 32(2)52--52, 32(3)76--76, 32(4)91--91, 32(5)112--112, 32(6)145--145, 32(6)158--158, 32(6)160--160, 33(1)1--1, 33(1)11--11, 33(1)14--14, 33(2)43--43, 33(2)45--45, 33(2)49--49, 33(3)62--62, 33(3)78--78, 33(4)92--92, 33(4)108--108, 33(5)114--114, 33(5)121--121, 33(5)127--127, 33(5)134--134, 33(6)146--146, 33(6)162--162, 33(7)170--170, 33(7)191--191
• vulnerable, 9(4)379--409, 32(3)76--76, 32(4)91--91, 33(1)1--1, 33(2)49--49, 33(3)78--78, 33(4)92--92, 33(4)106--106, 33(7)174--174
• Vuze, 22(1)4--4