Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
V
-
V., Jaime A., Bohórquez, 22(5)611--627
-
Vaandrager, F. W., 18(4)433--458
-
Vaandrager, Frits, 8(5)499--538
-
Vaandrager, Frits, see Lynch, Nancy
-
Vaandrager:2006:ABM, 18(4)433--458
-
Vadera, Sunil, 7(2)183--206
-
Vadera:1995:PAM, 7(2)183--206
-
Valediction, 20(6)561--561
-
Valenzano, Adriano, 20(3)303--348
-
Valenzano, Adriano, see Bertolotti, Ivan Cibrario
-
Validate, 12(4)216--217
-
validating, 10(5)483--508, 15(4)406--421, 17(3)277--318, 19(2)225--241,
20(1)79--100, 21(5)451--483
-
validation, 10(5)483--508, 12(3)147--164, 12(4)225--227, 12(4)228--230,
22(2)153--191, 30(5)545--569, 33(6)925--955
-
Valmari, Antti, 7(4)440--468
-
Valmari:1995:CFB, 7(4)440--468
-
value, 7(6)652--662
-
Value-Passing, 11(2)160--199
-
value-passing, 3(4)346--366, 5(5)432--466
-
van, 6(3)247--249, 7(1)1--2
-
Van Zee, Field G., 25(6)933--945
-
Van Zee, Field G., see Bientinesi, Paolo
-
Vanak, S., 18(1)3--30
-
Vanak, S., see Bogdanov, K.
-
vanderAalst:2010:PCD, 22(3)459--482
-
vanderAalst:2011:SWN, 23(3)333--363
-
vanderMeyden:2012:ARN, 24(4)769--792
-
vandeSnepscheut:1995:SWP, 7(1)1--2, 7(1)3--17
-
vanEijck:1994:PFC, 6_1S_766_787
-
Vangheluwe, Hans, 22(3)297--326
-
Vangheluwe, Hans, see Lara, Juan de
-
vanLamsweerde:2011:HHR, 23(3)239--242
-
Varacca, Daniele, 31(1)47--58
-
Varacca, Daniele, see Dong, Xiaoju
-
Vardi, Moshe Y., 30(2)193--217
-
Vardi, Moshe Y., see Li, Jianwen
-
variability, 31(2)231--259
-
Variability-based, 30(1)133--162
-
variability-intensive, 33(6)1147--1172
-
variable, 4(4)323--340, 9(2)149--174, 11(5)541--566, 11(6)616--636,
13(3)341--363, 15(2)258--279, 16(4)332--351, 16(4)387--393,
30(3)351--380
-
Variable, Shared-, 14(2)123--197
-
variable, shared-, 25(6)893--931
-
variants, 18(4)397--420
-
variation, 13(3)308--326, 26(4)695--727
-
Variety, 15(2)258--279
-
Vasconcelos, Vasco Thudichum, 26(5)865--918
-
Vasconcelos, Vasco Thudichum, see Cruz-Filipe, Luís
-
Vassiliou-Gioles, Theofanis, 10(5)483--508
-
Vassiliou-Gioles:1998:CSP, 10(5)483--508
-
VDM, 1(1)115--135, 4(1)13--47, 4(1)76--99, 7(1)91--105, 21(3)245--257,
23(2)221--238
-
VDMTools, 12(4)216--217
-
VDX, 32(1)113--145
-
Veith, 31(4)455--456
-
Vekris, Dimitris, 28(1)145--178
-
Vekris:2016:VEE, 28(1)145--178
-
Vekris:2016:VES, 28(1)145--178
-
Verbeek, H. M. W., 23(3)333--363
-
Verbeek, H. M. W., see Aalst, W. M. P. van der
-
Verdejo, Alberto, 14(3)228--246
-
Verdejo:2003:SVT, 14(3)228--246
-
Vereijken, Jan Joris, 7(3)348--351
-
Vereijken, Jan Joris, see Walsh, Toby
-
Verhoef, 31(4)453--454
-
verifiable, 19(2)269--272
-
verification, 1(1)303--319, 2(1)226--246, 4_1S_597_611, 4(2)149--194,
4(6)497--543, 6(2)223--244, 6(6)643--658, 7(5)510--532,
8(3)294--323, 9(1)1--48, 9(4)409--424, 10(1)43--58, 10(4)338--360,
10(4)361--380, 10(4)381--404, 10(4)405--434, 10(5)550--575,
11(4)402--425, 11(4)448--471, 11(6)637--664, 12(4)218--219,
12(4)260--277, 13(6)471--492, 14(3)228--246, 14(3)328--337,
15(2)215--236, 17(1)19--37, 17(1)69--90, 17(2)201--221,
17(3)342--388, 17(4)461--483, 19(1)111--136, 19(2)159--189,
19(2)243--268, 19(3)321--341, 19(3)363--374, 19(3)375--399,
19(3)401--413, 19(4)513--550, 20(1)41--59, 20(4)507--560,
21(3)277--291, 21(3)293--301, 21(5)495--510, 22(2)105--128,
22(3)423--457, 22(5)585--609, 23(2)191--219, 23(3)243--266,
23(5)627--648, 23(5)649--679, 23(6)683--709, 24(1)97--125,
24(4)661--670, 25(3)405--437, 25(6)971--991, 26(1)99--123,
26(2)367--405, 26(4)677--694, 26(4)729--759, 26(5)1033--1076,
27(1)103--131, 27(1)193--235, 27(2)335--374, 28(1)79--107,
28(1)145--178, 28(2)265--293, 28(3)499--527, 28(5)767--804,
29(4)751--775, 29(5)833--852, 29(6)987--1011, 29(6)1051--1086,
30(1)3--43, 30(1)107--131, 30(2)219--237, 30(2)239--277,
30(3)463--489, 31(1)3--25, 31(3)321--351, 31(3)375--409,
31(5)541--610, 32(1)33--70, 32(1)113--145, 32(2)229--250,
32(4)361--393, 33(1)127--150, 33(3)325--341, 33(3)407--435,
33(4)519--545, 33(4)669--693
-
Verification, SH-, 10(4)381--404
-
verification-driven, 31(5)459--502
-
Verification-guided, 21(6)541--569
-
verified, 6(4)359--390, 9(5)537--559, 11(1)45--55, 18(2)143--151,
30(5)495--523
-
verifier, 23(5)607--626
-
verifying, 6(1)60--91, 7(3)231--265, 9(1)98--118, 9(2)149--174,
9(5)484--517, 12(4)220--221, 14(3)267--280, 18(2)143--151,
18(3)264--287, 19(1)63--91, 19(2)139--158, 24(3)375--391,
25(5)769--799, 26(1)63--98, 26(4)761--793, 29(4)583--600,
33(4)547--573
-
Verlag, 30(3)491--492, 30(6)759--759
-
version, 8(4)479--489, 29(4)601--627, 33(4)575--615
-
Versions, 10(1)1--29
-
versus, 2(1)24--59, 20(3)277--294, 26(1)169--194
-
Vertan, Cristina, 12(6)485--500
-
Vertan, Cristina, see Cowling, Anthony J.
-
VHDL--AMS, 16(1)80--94
-
Vickers, Steven, 13(1)32--49
-
Vickers:2001:PCS, 13(1)32--49
-
Vidaller, Leon, 5(3)253--281
-
Vidaller, Leon, see Miguel, Carlos
-
Vieira, Hugo Torres, 28(4)643--667
-
Vieira, Hugo Torres, see Ghilezan, Silvia
-
view, 6(2)201--222, 22(3)327--344, 31(6)663--674
-
Vigouroux, Catherine, Parent-, 9(5)484--517
-
Vilkomir, Sergiy A., 18(1)42--62
-
Vilkomir:2006:MDR, 18(1)42--62
-
Villanueva, Alicia, 29(3)531--557
-
Villanueva, Alicia, see Comini, Marco
-
Vink, E. P. de, 24(4)497--518
-
Vink, E. P. de, see Markovski, J.
-
Vink, Erik de, 24(2)187--216, 33(1)1--2
-
Vink, Erik de, see Kokash, Natallia
-
virtual, 8(1)67--85, 32(4)395--416, 33(6)989--1007
-
visual, 22(3)297--326
-
visualizing, 25(5)723--742
-
Vittorini, Valeria, 33(6)989--1007
-
Vittorini, Valeria, see Flammini, Francesco
-
Vizzotto, Juliana Kaizer, 27(5)885--916
-
Vizzotto, Juliana Kaizer, see Pasqualin, Douglas Pereira
-
VLSI, 5(2)152--176
-
Vogler, Heiko, 4(4)341--375
-
Vogler, Heiko, see Fassbender, Heinz
-
Vojnar, Tomá{\v{s}}, 19(3)363--374,
see {\v{C}}e{\v{s}}ka, Milan
-
Volume, 15(4)422--422, 31(5)641--642
-
Völzer, Hagen, 9(4)409--424, see Kindler, Ekkart
-
vonMohrenschildt:2000:ACF, 12(1)41--51
-
vonWright:1995:BR, 7(1)106--110
-
Voorhoeve, M., 23(3)333--363
-
Voorhoeve, M., see Aalst, W. M. P. van der
-
Vörös, András, 28(3)345--379,
see Molnár, Vince
-
voting, 24(4)793--805, 26(1)63--98
-
Vries, F.-J. de, 6_1S_741_742
-
Vries, F.-J. de, see Boer, F. S. de
-
vs, 16(1)5--18, 29(4)629--649
-
VSTTE, 19(2)137--138
-
Vu, Thuy Duong, 19(4)475--485
-
Vu:2007:DOB, 19(4)475--485
-
VVSL, 1(1)115--135, 4(1)13--47