Index file section T for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
T
-
TaaWS, 24(4)511--527
-
table, 16(6)713--726
-
tabled, 6(1)38--66
-
TACAS, 24(1)29--31, 24(4)611--612, 24(5)663--665, 25(2)129--131
-
TACAS'13, 19(5)511--515
-
tactic, 20(2)139--155
-
Tactical, 20(6)615--643
-
Taentzer, Gabriele, 23(3)335--368
-
Taentzer, Gabriele, see Fritsche, Lars
-
tagging, 14(5)553--566
-
Tahar, Sofiène, 4(2)234--245, 4(3)313--322,
see Kort, Skander, \see{Peng, Hong
-
Tailored, 16(5)543--558
-
Takeichi, Masato, 11(6)453--468
-
Takeichi, Masato, see Nakano, Keisuke
-
Taktak, Sami, 12(5)337--352
-
Taktak, Sami, see Beaudenon, Vincent
-
Talupur, Muralidhar, 18(4)375--391
-
Talupur, Muralidhar, see Sethi, Divjyot
-
Taly, Ankur, 13(6)519--535
-
Taly:2011:SSL, 13(6)519--535
-
Tan, Lili, 11(2)133--152
-
Tan, Yong Kiam, 25(2)167--184
-
Tan:2009:WCE, 11(2)133--152
-
Tan:2023:VPR, 25(2)167--184
-
Tankink, Carst, 20(2)125--137
-
Tankink, Carst, see Faithfull, Alexander
-
Tao, Zhe, 25(2)145--165
-
Tao, Zhe, see Sotoudeh, Matthew
-
targeting, 23(6)863--866
-
Tari, Kamel, 19(4)465--485
-
Tari, Kamel, see Farah, Zoubeyr
-
Tarjan, 18(2)129--147
-
Tartler, Reinhard, 14(5)531--551
-
Tartler:2012:RRC, 14(5)531--551
-
Tasiran, Serdar, 14(3)291--305
-
Tasiran, Serdar, see Qadeer, Shaz
-
task, 8(6)547--563, 10(1)15--28, 15(3)269--286, 25(1)115--128
-
task, sub-, 20(3)313--325
-
Tassi, Enrico, 20(2)125--137
-
Tassi, Enrico, see Faithfull, Alexander
-
Tauber, Joshua A., 11(2)153--171
-
Tauber, Joshua A., see Georgiou, Chryssis
-
taught, 8(3)180--194
-
Tauriainen, Heikki, 4(1)57--70
-
Tauriainen:2002:TLF, 4(1)57--70
-
Tautschnig, Michael, 12(1)23--37, 19(6)763--771
-
Tautschnig, Michael, see Bauer, Andreas,
see Huisman, Marieke
-
taxonomy, 16(5)559--568, 23(2)255--284
-
Taylor, Ramsay G., 24(6)949--972
-
Taylor:2022:AFV, 24(6)949--972
-
TC, \pkgFairFuzz-, 23(6)863--866
-
TCP, 9(3)269--304
-
technique, 1(1)153--165, 2(3)279--287, 3(2)207--216, 3(3)271--285,
4(2)211--223, 4(3)271--297, 6(2)99--101, 7(2)118--128, 8(3)261--279,
10(6)477--492, 11(2)117--131, 14(1)1--14, 14(2)145--165,
15(3)171--187, 15(4)287--289, 16(1)13--29, 16(1)49--65,
16(2)123--125, 16(6)685--711, 18(1)93--108, 19(5)549--563,
20(6)611--613, 22(1)1--2, 23(1)105--114, 23(3)285--287,
23(5)825--825, 23(6)931--952
-
technology, 2(1)1--5, 3(1)1--12, 14(6)631--638, 16(4)335--337,
25(1)49--74
-
Tehrani, Simin, Nadjm-, 7(3)268--279
-
Teitelbaum, T., 4(1)125--137
-
Teitelbaum, T., see Clarke, E. M.
-
Teitelbaum, Tim, 2(4)343--349
-
Teitelbaum, Tim, see Millett, Lynette I.
-
template, 8(2)156--166, 20(1)57--78
-
Template-based, 15(5)497--518
-
temporal, 4(2)224--233, 4(4)456--471, 7(4)361--375, 8(1)37--56,
8(3)216--228, 9(1)1--4, 9(1)25--36, 9(1)53--62, 15(3)189--209,
20(1)35--55, 20(1)79--93, 22(6)741--758, 23(3)411--488,
23(4)565--577, 24(4)635--659, 24(6)977--997
-
temporal, Spatio-, 20(3)289--311
-
temporal, spatio-, 25(4)503--517
-
Temporal-logic, 24(3)473--492
-
Tennyson, Matthew F., 21(4)471--484
-
Tennyson:2019:ASC, 21(4)471--484
-
Tentrup, Leander, 19(3)367--390, 22(6)729--740
-
Tentrup, Leander, see Finkbeiner, Bernd,
see Jacobs, Swen
-
Teodorov, Ciprian, 19(2)229--245
-
Teodorov:2017:EDR, 19(2)229--245
-
terBeek:2018:FMA, 20(4)355--358
-
terBeek:2018:FMT, 20(3)237--241
-
terBeek:2019:QVM, 21(6)607--612
-
terBeek:2022:FMT, 24(3)325--330
-
Termination, 9(3)269--304, 17(1)47--57
-
termination, non-, 24(5)691--715
-
Terrier, François, 5(2)124--139, see Lugato, David
-
Tesfaye, Tarik, Ono-, 3(3)286--313
-
test, 1(1)153--165, 3(3)314--331, 4(2)142--152, 4(4)456--471, 5(1)59--77,
5(2)124--139, 6(2)174--182, 7(4)297--315, 7(4)316--325,
7(4)351--360, 7(4)361--375, 10(2)145--160, 10(4)281--283,
10(4)291--295, 10(4)309--326, 10(4)327--336, 10(4)337--346,
10(4)347--352, 11(3)261--267, 11(4)273--290, 14(4)439--459,
14(4)461--475, 15(4)291--303, 16(1)49--65, 16(3)215--225,
16(3)285--294, 16(4)437--455, 16(5)593--607, 16(6)727--751,
17(1)59--76, 17(3)339--349, 18(3)245--249, 18(3)305--318,
18(3)319--334, 18(3)335--353, 19(4)409--426, 19(6)743--761,
21(3)351--364, 21(4)425--448, 23(6)857--861, 23(6)871--873,
23(6)875--877, 24(2)127--158, 24(2)261--285, 24(4)511--527
-
test-case, 9(5)505--525, 18(1)109--120, 23(6)847--851
-
test-goal, 23(6)853--856
-
test-suite, 23(6)853--856
-
testable, 14(4)407--437
-
testing, 2(4)382--393, 4(1)57--70, 4(4)397--400, 5(2)140--157,
7(4)297--315, 7(4)316--325, 7(4)326--340, 8(3)216--228,
8(6)517--530, 10(1)95--110, 10(2)145--160, 10(4)297--307,
10(4)353--358, 10(4)371--381, 10(4)383--400, 10(6)473--476,
10(6)477--492, 11(3)175--185, 11(4)307--324, 11(4)339--353,
12(1)69--88, 13(2)111--129, 13(2)131--149, 13(5)431--448,
14(1)73--93, 14(4)383--386, 16(3)215--225, 16(3)247--267,
16(3)269--283, 16(3)295--313, 16(4)335--337, 16(5)559--568,
16(5)569--591, 16(5)609--625, 16(5)627--642, 17(1)107--119,
17(2)201--221, 17(3)305--319, 17(4)377--395, 18(3)245--249,
18(3)265--283, 18(3)285--304, 18(3)305--318, 19(1)53--71,
19(1)115--131, 19(3)271--279, 19(3)281--308, 19(3)309--324,
20(1)1--18, 20(1)57--78, 20(4)441--465, 20(5)589--610,
21(2)221--246, 21(4)425--448, 22(1)57--78, 22(2)105--114,
22(2)183--194, 23(3)313--333, 23(3)411--488, 23(6)829--832,
23(6)833--846, 24(2)261--285, 25(3)393--405
-
TestREx, 21(1)105--119
-
Texas, 5(2)237--246
-
text, 5(2)237--246
-
textual, 17(5)559--584
-
TGV, 7(4)297--315
-
Thai, 20(3)243--262
-
Thakur, Aditya V., 25(2)145--165
-
Thakur, Aditya V., see Sotoudeh, Matthew
-
than, 13(2)151--166
-
the-fly, On-, 2(4)382--393, 9(3)371--391, 20(5)563--587
-
the-fly, on-, 4(4)496--504, 7(2)89--101, 8(1)37--56,
9(3)371--391, 18(2)169--185
-
Theelen, Bart, 19(4)487--510
-
Theelen, Bart, see Hendriks, Martijn
-
theorem, 3(1)1--12, 3(1)13--19, 5(2)237--246, 8(2)97--112, 8(4)359--371,
8(4)411--430, 13(5)419--429
-
theory, 3(2)112--136, 7(4)297--315, 8(3)180--194, 10(5)401--424,
12(6)405--408, 18(2)205--225, 21(2)121--141, 22(4)437--455
-
Thévenod-Fosse, P., 5(1)90--103, see Chevalley, P.
-
Thiele, Lothar, 3(4)431--455, 15(3)155--170
-
Thiele, Lothar, see Anlauff, Matthias,
see Lampka, Kai
-
Thoma, Daniel, 18(2)205--225, 21(1)31--70
-
Thoma, Daniel, see Bartocci, Ezio,
see Decker, Normann
-
Thomas, Dina, 10(2)113--129
-
Thomas:2008:EGS, 10(2)113--129
-
Thoth, 6(3)219--230
-
Thoughtful, 16(5)481--491
-
thread, 22(5)565--581
-
threaded, multi-, 4(1)71--91, 21(5)545--565
-
three, 25(3)329--339
-
three-valued, 13(3)273--287
-
through, 9(1)89--101, 9(2)135--154, 10(2)131--144, 10(6)493--502,
16(1)31--48, 16(5)531--542, 17(4)505--526, 18(5)495--516,
22(4)511--522, 23(5)765--781, 24(4)511--527, 24(5)821--841,
25(3)407--426
-
Thule, Casper, 24(6)999--1024
-
Thule, Casper, see Hansen, Simon Thrane
-
Tichy, Matthias, 6(3)203--218, 10(3)205--206
-
Tichy, Matthias, see Burmester, Sven,
see Schäfer, Wilhelm
-
Tiella, Roberto, 13(2)131--149
-
Tiella, Roberto, see Marchetto, Alessandro
-
tier, 12(1)53--67
-
Tiezzi, Francesco, 25(5)747--764
-
Tiezzi, Francesco, see Bettini, Lorenzo
-
Tiger, 12(3)245--261
-
Tiger-MGP, 23(6)853--856
-
time, 8(2)93--96, 8(2)156--166, 10(2)167--184, 11(2)133--152,
11(6)503--515, 13(3)263--272, 15(3)229--245, 21(3)325--349,
21(5)515--543
-
time, continuous-, 25(4)557--573
-
time, dense-, 17(2)223--243
-
time, execution-, 4(4)437--455
-
time, load-, 24(2)205--223
-
time, Real-, 1(1)86--109, 8(2)97--112, 8(2)113--127,
8(2)128--145, 8(2)146--155, 8(6)517--530, 9(1)1--4, 10(3)207--222,
17(1)17--45
-
time, real-, 1(1)64--85, 1(1)123--133, 2(3)260--269,
4(4)437--455, 8(2)113--127, 8(2)156--166, 8(6)605--606,
9(2)179--192, 12(1)39--51, 12(5)391--403, 14(6)703--720,
15(3)155--170, 15(3)189--209, 15(3)211--228, 19(1)53--71,
19(4)395--408, 20(5)547--561, 21(6)613--633, 21(6)635--649,
23(2)157--183, 25(1)115--128
-
time, run-, 24(5)757--782
-
Time-dependent, 10(3)223--231
-
time-independent, 25(5)659--673
-
timed, 5(1)59--77, 6(1)77--97, 7(1)4--18, 7(1)19--30, 7(4)326--340,
8(2)128--145, 8(2)156--166, 8(3)204--215, 8(6)471--484,
9(3)393--411, 18(1)41--56, 19(2)229--245, 21(2)203--219,
23(2)229--253, 23(3)411--488, 24(6)1025--1042, 25(1)19--47
-
timed-arc, 20(5)529--546
-
Timed-automata, 15(3)211--228
-
TIMES, ALL-, 15(1)1--8
-
timing, 4(3)359--370, 8(2)97--112, 8(2)113--127, 8(2)156--166,
14(6)639--651, 15(1)9--28, 15(1)29--39, 15(1)65--84, 24(3)415--440
-
Timm, Nils, 25(1)115--128
-
Timm, Nils, see Nxumalo, Madoda
-
Timmer, Mark, 17(4)429--456
-
Timmer, Mark, see Hartmanns, Arnd
-
TiMo, 19(4)395--408
-
Tinelli, Cesare, 19(6)649--652
-
Tinelli, Cesare, see Baier, Christel
-
Tinker, 20(2)139--155
-
Tiran, Stefan, 19(4)409--426
-
Tiran, Stefan, see Aichernig, Bernhard K.
-
Tisi, Massimo, 20(6)645--663
-
Tisi, Massimo, see Cheng, Zheng
-
Tiwari, Ashish, 13(6)519--535
-
Tiwari, Ashish, see Taly, Ankur
-
Tizpaz-Niari, Saeid, 23(4)641--654
-
Tizpaz-Niari:2021:QES, 23(4)641--654
-
TLA, 23(5)685--700
-
to-end, end-, 15(3)171--187
-
to-language, language-, 23(5)655--677
-
to-peer, peer-, 6(3)219--230
-
to-reach, hard-, 11(4)291--305
-
together, 8(4)411--430
-
Toi, Howard, Wong-, 1(1)110--122
-
token, 24(4)613--633
-
tolerance, 7(3)268--279
-
tolerance, fault-, 10(5)455--471
-
tolerant, fault-, 24(1)33--48
-
Tomasulo, 8(4)411--430
-
Tonella, Paolo, 10(6)477--492, 13(2)131--149
-
Tonella, Paolo, see Marchetto, Alessandro
-
Tonetta, Stefano, 13(4)319--335, 14(1)1--14
-
Tonetta, Stefano, see Sebastiani, Roberto,
see Sharygina, Natasha
-
too, 16(2)175--190
-
tool, 1(1)9--30, 1(1)31--48, 1(1)64--85, 1(1)123--133, 1(1)153--165,
2(1)6--12, 2(2)89--94, 2(2)192--201, 3(4)486--497, 4(2)153--172,
4(3)313--322, 4(4)405--420, 5(1)90--103, 5(2)165--184, 6(3)203--218,
6(3)219--230, 6(3)231--244, 7(2)184--194, 7(3)212--232,
8(3)177--179, 8(4)337--354, 8(6)517--530, 8(6)531--545,
9(3)213--254, 9(3)353--369, 9(5)527--544, 10(1)5--14, 10(1)75--93,
10(3)207--222, 10(3)263--279, 11(2)133--152, 11(3)203--215,
11(4)273--290, 12(3)171--181, 12(3)183--199, 12(5)391--403,
12(6)405--408, 13(2)181--200, 13(4)337--353, 13(4)355--376,
14(5)567--588, 15(1)65--84, 15(2)85--88, 16(1)67--80, 16(3)285--294,
16(6)727--751, 17(1)59--76, 17(2)201--221, 18(6)581--586, 19(1)1--7,
19(6)649--652, 19(6)743--761, 20(2)139--155, 20(3)327--354,
20(6)611--613, 20(6)739--769, 21(1)31--70, 22(1)1--2, 22(6)685--687,
23(2)255--284, 23(3)285--287, 23(5)679--684, 24(1)29--31,
24(3)325--330, 24(4)611--612, 24(5)663--665, 24(6)889--910,
24(6)973--976, 25(2)129--131, 25(2)145--165, 25(2)185--204,
25(3)287--299, 25(4)503--517
-
tool-integration, 6(3)186--202
-
Tool-support, 9(5)527--544
-
toolbox, 15(2)89--107
-
toolchain, 25(5)641--658
-
ToolDAy, 13(4)337--353
-
toolkit, 4(2)189--210
-
toolset, 1(1)166--183, 10(2)185--203, 12(6)447--466, 18(3)285--304,
22(6)689--708, 24(2)183--203
-
TOOLympics, 23(6)829--832, 23(6)879--881
-
Topcu, Ufuk, 24(5)803--819
-
Topcu, Ufuk, see Badings, Thom
-
Töpfer, Michal, 25(5)717--731
-
Topfer:2023:MLA, 25(5)717--731
-
topics, 9(1)25--36
-
Torchiano, Marco, 13(2)151--166
-
Torchiano:2011:WAM, 13(2)151--166
-
Touili, Tayssir, 13(1)37--60, 14(2)145--165, 16(2)147--173
-
Touili, Tayssir, see Bouajjani, Ahmed,
see Kidd, Nicholas, \see{Song, Fu
-
toward, 8(2)146--155, 9(2)179--192, 10(1)15--28, 11(6)427--440,
12(1)1--7, 12(6)429--446, 16(6)669--683, 18(1)109--120,
20(3)263--288, 21(2)143--163, 22(4)511--522, 23(5)655--677,
23(6)917--930, 25(3)267--285, 25(3)301--327
-
trace, 6(2)102--116, 10(2)131--144, 19(4)409--426, 19(4)487--510,
22(6)741--758, 23(1)1--29, 23(2)209--228, 24(6)949--972
-
tracing, 15(1)9--28
-
Tradeoff, 15(3)229--245
-
traffic, 8(6)607--620, 24(2)127--158
-
trail, 6(4)277--301
-
trajectory, 4(2)246--259, 16(6)753--773
-
Tran-J{\o}rgensen, Peter W. V., 20(2)211--235, 22(6)667--683,
see Couto, Luis Diogo
-
Tran-Jorgensen:2018:ATV, 20(2)211--235
-
transactional, 13(6)537--551
-
transcendental, 25(2)185--204
-
transfer, 3(1)1--12, 25(1)49--74
-
transformation, 9(1)77--88, 9(2)193--207, 9(5)417--427, 11(6)453--468,
12(3)171--181, 12(3)183--199, 12(3)231--243, 17(3)267--289,
19(4)427--448, 20(6)645--663, 23(3)289--311, 23(3)411--488,
23(5)655--677, 25(3)301--327
-
transformational, 17(1)91--105
-
Transient, 8(3)216--228
-
transition, 6(2)174--182, 6(4)320--341, 7(4)297--315, 8(1)77--91,
9(5)471--487, 16(5)493--505, 22(1)35--55
-
translating, 9(2)119--132
-
translation, 4(1)57--70, 6(1)15--37, 9(2)119--132, 20(2)211--235
-
transport, 20(3)237--241, 20(3)289--311
-
Traonouez, Louis-Marie, 17(1)17--45, 17(4)469--484, 20(4)397--422
-
Traonouez, Louis-Marie, see Chadli, Mounir,
see D'Argenio, Pedro,
see David, Alexandre
-
traversal, 21(4)365--400
-
Traverso, Paolo, 3(1)1--12, 3(1)78--92
-
Traverso, Paolo, see Giunchiglia, Fausto
-
Traverso, Riccardo, 18(5)559--573
-
Traverso, Riccardo, see Ranise, Silvio
-
Traverso:2000:MRV, 3(1)78--92
-
Traytel, Dmitriy, 23(2)185--208, 23(2)255--284
-
Traytel, Dmitriy, see Falcone, Yliès,
see Schneider, Joshua
-
tree, 5(2)268--297, 9(1)77--88, 14(2)145--165, 14(2)167--191,
22(6)729--740, 23(1)89--104, 24(5)821--841, 25(3)249--266
-
Treharne, Helen, 15(4)375--396, 16(6)685--711
-
Treharne, Helen, see Abdelhalim, Islam,
see James, Phillip
-
Treinen, Ralf, 24(5)717--733
-
Treinen, Ralf, see Becker, Benedikt
-
Tremblay-Lessard, Raphaël, 17(2)125--142,
see Hallé, Sylvain
-
trend, 4(1)8--20, 11(4)339--353, 14(6)631--638, 16(3)215--225,
17(4)505--526
-
Tretmans, Jan, 2(4)382--393
-
Tretmans, Jan, see Vries, René G. de
-
Tribble, Alan C., 8(4)303--319
-
Tribble, Alan C., see Miller, Steven P.
-
TriCore, 24(3)415--440
-
Tripakis, Stavros, 22(6)689--708, 23(1)1--29
-
Tripakis, Stavros, see Dragomir, Iulia,
see Giantamidis, Georgios
-
triple, 23(3)335--368
-
Trivedi, Ashutosh, 23(4)641--654
-
Trivedi, Ashutosh, see Tizpaz-Niari, Saeid
-
Trofin, Mircea, 10(3)247--261
-
Trofin:2008:SVC, 10(3)247--261
-
Tronci, Enrico, 6(4)320--341, 8(4)355--358, 8(4)397--409
-
Tronci, Enrico, see Penna, Giuseppe Della
-
Tronci:2006:IP, 8(4)355--358
-
Trubiani, Catia, 25(5)785--798
-
Trubiani, Catia, see Murgia, Maurizio
-
Trujillo, Salvador, 14(5)477--495
-
Trujillo, Salvador, see Schaefer, Ina
-
Truong, Anh, 18(5)559--573
-
Truong, Anh, see Ranise, Silvio
-
trustworthy, 21(2)143--163
-
Truszkowski, Walter F., 8(6)587--603
-
Truszkowski, Walter F., see Rouff, Christopher A.
-
Tsai, Ming-Hsien, 15(2)109--123
-
Tsai, Ming-Hsien, see Tsay, Yih-Kuen
-
Tsay, Yih-Kuen, 15(2)109--123
-
Tsay:2013:BSO, 15(2)109--123
-
Tschannen, Julian, 17(6)745--755, 19(6)697--716
-
Tschannen, Julian, see Furia, Carlo A.
-
Tschannen:2015:AMS, 17(6)745--755
-
Tsitovich, Aliaksei, 14(1)1--14
-
Tsitovich, Aliaksei, see Sharygina, Natasha
-
TSTL, 20(1)57--78
-
TTCN-2, 10(4)347--352
-
TTCN-3, 7(4)351--360, 10(4)281--283, 10(4)285--289, 10(4)309--326,
10(4)327--336, 10(4)353--358, 10(4)359--370, 10(4)371--381,
10(4)383--400, 16(3)215--225, 16(3)227--246, 16(3)247--267,
16(3)269--283, 16(3)285--294
-
Tuosto, Emilio, 25(5)785--798
-
Tuosto, Emilio, see Murgia, Maurizio
-
Tuovinen, Antti-Pekka, 8(6)531--545
-
Tuovinen, Antti-Pekka, see J{\o}rgensen, Jens B{\ae}k
-
Turner, Kenneth J., 7(4)361--375, 17(3)321--338, 18(6)575--580
-
Turner, Kenneth J., see Lamprecht, Anna-Lena
-
Turner:2005:TGR, 7(4)361--375
-
Turner:2015:WQD, 17(3)321--338
-
turns, 24(3)371--394
-
tutorial, 17(4)397--415, 18(1)67--91, 23(5)827--827
-
two, 5(2)237--246
-
two-stage, 15(5)433--454
-
Tynjälä, Teemu, 3(4)382--393, see Ojala, Leo
-
type, 5(1)15--33, 9(5)417--427
-
type, rounding-, 25(2)185--204
-
type-based, 6(3)245--255, 15(1)41--52
-
typed, 17(1)91--105, 25(3)355--374
-
typestate, 14(3)307--326
-
typing, 4(4)472--495
-
Tyszberowicz, Shmuel, 11(4)273--290
-
Tyszberowicz, Shmuel, see Pasternak, Benny