Index file section V for sttt.bib

Last update: Fri Aug 30 02:15:44 MDT 2024               

Return to index directory

V

• V2, 8(6)517--530
• Vaandrager, Frits, 15(3)269--286
• Vaandrager, Frits, see Houben, Fred
• vacuity, 4(2)224--233, 12(5)319--335
• vade, 2(2)89--94
• Val, Celina Gomes Do, 14(1)95--108
• Val, Celina Gomes Do, see Safe, Georgia Penido
• Valiani, Serenella, 25(5)675--691
• Valiani, Serenella, see De Nicola, Rocco
• validate, 5(2)237--246
• validated, 5(2)237--246
• validating, 2(1)13--28, 8(2)128--145, 22(3)281--296, 26(3)365--377
• validation, 2(2)192--201, 2(4)394--409, 3(4)372--381, 5(1)1--3, 5(2)124--139, 5(2)247--267, 8(2)93--96, 8(6)547--563, 8(6)587--603, 9(3)213--254, 9(3)353--369, 11(3)239--253, 14(6)631--638, 14(6)653--671, 16(1)1--12, 19(2)187--203, 22(3)265--279, 22(3)315--332, 24(6)1043--1077, 26(2)147--168
• Vallet, Jason, 17(2)125--142
• Vallet, Jason, see Hallé, Sylvain
• Valmari, Antti, 8(3)180--194, 11(1)1--11, 20(5)589--610, 24(5)735--756
• Valmari, Antti, see Neele, Thomas
• Valmari:2006:WSR, 8(3)180--194
• Valmari:2009:SMC, 11(1)1--11
• Valmari:2018:FTS, 20(5)589--610
• Valot, Yannick, 5(2)124--139
• Valot, Yannick, see Lugato, David
• value, 23(6)847--851, 25(2)185--204
• valued, three-, 13(3)273--287
• VAMP, 8(4)411--430
• Van Albert, Stephen, 5(4)299--300
• Van Albert, Stephen, see Iyer, S. Purushothaman
• Van Albert, Steve, 5(4)308--319
• Van Albert, Steve, see Alur, Rajeev
• Van Begin, Laurent, 5(2)268--297
• Van Begin, Laurent, see Delzanno, Giorgio
• Van Gorp, Pieter, 12(3)171--181
• Van Gorp, Pieter, see Rensink, Arend
• Van Wyk, Eric, 11(3)203--215
• vandePol:2004:IP, 5(2)105--106
• vandePol:2014:TBF, 16(5)481--491
• Vanderperren, Wim, 9(2)135--154
• Vanderperren:2007:AOC, 9(2)135--154
• vanDijk:2017:SMC, 19(6)675--696
• vanDijk:2018:MCS, 20(2)157--177
• VANETs, 22(5)617--633
• Vanit-Anunchai, Somsak, 9(3)371--391, 10(1)29--56, 20(3)243--262
• Vanit-Anunchai, Somsak, see Gallasch, Guy Edward
• Vanit-Anunchai:2008:ADC, 10(1)29--56
• Vanit-Anunchai:2018:MST, 20(3)243--262
• Vanoverberghe, Dries, 17(3)291--303
• Vanoverberghe:2015:PIC, 17(3)291--303
• VanWyk:2009:FML, 11(3)203--215
• Vardi, Moshe, 8(4)373--386
• Vardi, Moshe, see Chockler, Hana
• Vardi, Moshe Y., 4(2)224--233, 12(2)123--137, 13(4)319--335, 15(4)305--320, 15(5)603--618
• Vardi, Moshe Y., see Kupferman, Orna, see Lustig, Yoad, \see{Plaku, Erion, see Rozier, Kristin Y., see Sebastiani, Roberto
• variability, 14(5)497--510, 14(5)511--530, 17(5)559--584, 19(5)585--603, 21(6)607--612, 22(1)35--55
• variability-intensive, 21(6)635--649
• variable, 1(1)86--109, 20(2)179--194, 22(5)541--562
• variants, 17(5)627--646, 26(3)365--377
• variation, 19(6)653--673
• various, 19(5)623--647
• Varró, Dániel, 12(3)211--230, 22(1)57--78, 22(1)79--102, see Búr, Márton, see Horváth, Ákos, see Semeráth, Oszkár
• Vassiliou-Gioles, Theofanis, 16(3)295--313
• Vassiliou-Gioles, Theofanis, see Rings, Thomas
• Vasudevan, Shobha, 9(1)89--101
• Vasudevan:2007:IVH, 9(1)89--101
• Vaziri, Mandana, 13(6)495--518
• Vaziri, Mandana, see Kidd, Nicholas
• VBS, 15(3)189--209
• VDM, 20(2)211--235
• Veanes, Margus, 14(4)387--405
• Veanes:2012:ASI, 14(4)387--405
• Vechev, Martin, 15(5)413--431
• Vechev:2013:AGS, 15(5)413--431
• vector, 3(3)332--352, 8(3)248--260, 25(3)249--266
• vector, bit-, 11(2)95--104
• vehicular, 20(3)289--311
• Venkatesh, R., 21(5)515--543
• Venkatesh, R., see Becker, Martin
• Verbaeten, Pierre, 9(2)155--168
• Verbaeten, Pierre, see Sora, Ioana
• Verbeek, H. M. W., 10(1)95--110, 24(4)549--561
• Verbeek, H. M. W., see Gottschalk, F.
• Verbeek:2022:LSV, 24(4)549--561
• Vergilio, Silvia Regina, 14(4)461--475
• Vergilio:2012:MOO, 14(4)461--475
• Verhoef, Marcel, 8(6)605--606
• Verhoef, Marcel, see Buchholz, Peter
• VeriFast, 17(6)659--676
• Verifiable, 24(3)395--414
• verified, 5(2)205--220, 12(6)405--408, 19(6)717--741, 25(2)167--184, 25(4)593--616, 26(3)403--419
• verifier, 2(4)317--320, 8(4)397--409, 25(2)185--204
• verifier-based, 23(3)313--333
• verify, 4(1)107--124, 4(3)349--358, 14(3)349--382, 17(6)709--727
• verifying, 3(1)32--65, 6(1)67--76, 8(1)57--76, 8(6)471--484, 16(6)685--711, 18(4)393--407, 20(3)313--325, 23(5)685--700, 24(1)33--48, 24(5)783--802, 24(5)843--888, 24(6)949--972, 25(2)133--144, 25(2)185--204, 25(5)765--784, 26(2)207--228
• VerifyThis, 17(6)647--657, 17(6)659--676, 17(6)677--694, 19(6)763--771, 23(6)883--893
• Verilog, 9(1)89--101
• VeriTech, 9(2)119--132
• VeriVANca, 22(5)617--633
• Vernotte, Alexandre, 24(2)127--158
• Vernotte:2022:DSL, 24(2)127--158
• Verriet, Jacques, 19(4)487--510, 26(1)101--126
• Verriet, Jacques, see Hendriks, Martijn
• version, 16(3)215--225, 22(6)709--728, 25(1)77--94, 25(4)575--592
• very, 6(2)117--127, 18(1)57--66
• VHDL, 4(1)125--137
• viable, 15(3)171--187
• VIATRA2, 12(3)211--230
• Vicario, Enrico, 12(5)391--403
• Vicario, Enrico, see Bucci, Giacomo
• Vidot, Eric Guillaume, 26(2)189--205
• Vidot, Eric Guillaume, see Ducoffe, Mélanie
• Vieira de Camargo, Valter, 26(1)1--20
• Vieira de Camargo, Valter, see Angulo, Guisella
• Vieira, Luiz Filipe M., 14(1)95--108
• Vieira, Luiz Filipe M., see Safe, Georgia Penido
• view, 3(1)1--12, 10(4)285--289, 18(5)475--493, 18(5)495--516, 24(2)287--324
• Vighio, Saleem, 15(2)125--147
• Vighio, Saleem, see Marques Jr., Abinoam P.
• Viho, César, 3(3)314--331, 7(4)316--325, 10(4)337--346, 11(3)261--267, see Desmoulin, Alexandra, see Garavel, Hubert, see Sabiguero, Ariel
• Viho:2005:TDS, 7(4)316--325
• Villafiorita, Adolfo, 9(1)5--24
• Villafiorita, Adolfo, see Bozzano, Marco
• Villela, Karina, 14(5)477--495
• Villela, Karina, see Schaefer, Ina
• Vinarek, Jiri, 22(4)511--522
• Vinarek, Jiri, see Al Ali, Rima
• Vinh, Nguyen Le, 16(1)103--121
• Vinh, Nguyen Le, see Collavizza, Hélène
• violation, 7(1)31--42, 13(1)37--60, 13(2)167--179
• virtual, 7(4)341--350, 11(4)291--305, 12(2)97--111
• virtually, 24(6)911--948
• VIS, 4(2)234--245
• vision, 19(1)1--7
• Visser, Willem, 2(4)350--365, 4(1)8--20, 5(1)34--48, 6(4)260--276, 11(1)53--67, 11(4)339--353
• Visser, Willem, see Anand, Saswat, see Groce, Alex, \see{Havelund, Klaus, see Pasareanu, Corina S., see P{\u{a}}s{\u{a}}reanu, Corina S.
• Visser:2000:PCM, 2(4)350--365
• Visualisation, 9(3)213--254
• visualization, 8(1)77--91, 13(2)181--200, 14(5)497--510, 24(2)261--285, 26(1)101--126, 26(3)403--419
• Visualizer, 24(4)549--561
• Viswanathan, Mahesh, 17(4)369--376, 17(4)417--427
• Viswanathan, Mahesh, see Legay, Axel, see Roohi, Nima
• Vito, Ben L., Di, 3(1)20--31
• Vitovská, Martina, 22(2)115--133, 23(6)875--877, see Chalupa, Marek
• Vittorini, Valeria, 16(6)669--683
• Vittorini, Valeria, see Marrone, Stefano
• VNN-COMP, 25(3)329--339
• Vogel, Michael, 13(1)89--106
• Vogel, Michael, see Schmerl, Sebastian
• Vogler, Walter, 20(5)589--610
• Vogler, Walter, see Valmari, Antti
• Vogt, Roland, 3(1)66--77
• Vogt, Roland, see Autexier, Serge
• Voiron, Guillaume, 20(4)467--491
• Voiron, Guillaume, see Bride, Hadrien
• Vojnar, Tomás, 14(2)167--191, 22(5)523--539, 24(1)1--28, 24(1)29--31, see Bouajjani, Ahmed, see Ceska, Milan, see Charvát, Lukás
• Vojnar:2022:TAC, 24(1)29--31
• Volk, Matthias, 24(3)331--350, 24(4)589--610
• Volk, Matthias, see Hensel, Christian, see Weik, Norman
• Völkel, Steven, 12(5)353--372, see Krahn, Holger
• vonEssen:2016:PVS, 18(2)227--243
• Voorsluys, W., 18(6)587--605
• Voorsluys, W., see Sinnott, R. O.
• Vörös, András, 22(1)79--102, see Búr, Márton
• Voss, Klaus, 3(4)394--404
• Voss, Klaus, see Genrich, Hartmann
• Vries, René G. de, 2(4)382--393
• vs, 8(3)216--228
• VSE, 3(1)66--77
• Vu, Fabian, 26(2)147--168
• Vu:2024:GID, 26(2)147--168
• Vukmirovi{\'c}, Petar, 24(1)67--87
• Vukmirovic:2022:EBP, 24(1)67--87
• Vullers, M. H., Jansen-, 10(1)95--110
• vulnerabilities, 17(2)201--221, 23(1)71--88
• V\&V, 16(6)669--683