Index file section U for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
U
-
Ueda, Kazunori, 13(5)449--461
-
Ueda, Kazunori, see Ishii, Daisuke
-
Ulbrich, Mattias, 25(2)185--204
-
Ulbrich, Mattias, see Abbasi, Rosa
-
Ulrich, Andreas, 16(3)215--225, 18(3)245--249, 21(3)267--286
-
Ulrich, Andreas, see Grabowski, Jens,
see Ratiu, Daniel,
see Yenigün, Hüsnü
-
Ulus, Dogan, 22(6)741--758
-
Ulus, Dogan, see Nickovi{\'c}, Dejan
-
Ulyantsev, Vladimir, 20(1)35--55
-
Ulyantsev:2018:EFS, 20(1)35--55
-
UML, 5(2)124--139, 7(4)326--340, 8(2)93--96, 8(2)97--112, 8(2)113--127,
8(2)128--145, 8(2)146--155, 8(2)167--176, 8(6)531--545,
9(2)103--117, 9(3)353--369, 9(5)527--544, 10(3)207--222,
18(3)285--304, 23(1)31--53
-
UML-based, 9(2)179--192
-
UMLash, 13(5)431--448
-
Unadkat, Divyesh, 24(5)843--888
-
Unadkat, Divyesh, see Chakraborty, Supratik
-
unbounded, 17(4)417--427, 18(4)375--391, 21(6)613--633
-
uncertain, 24(5)803--819
-
uncertainty, 25(3)375--391, 25(4)521--539
-
unchanged, 5(2)237--246
-
Underapproximation, 19(5)565--584
-
underflow, 5(2)237--246
-
understanding, 2(4)343--349, 25(3)301--327
-
unfolding-based, 18(3)305--318
-
unfoldings, 10(2)161--166
-
unfortunate, 25(2)185--204
-
unified, 7(4)326--340, 18(5)475--493
-
uniform, 10(5)425--441, 13(3)273--287
-
Uniformisation, 8(3)216--228
-
uninterpreted, 18(4)359--374
-
unintuitive, 25(2)185--204
-
unit, 5(2)237--246, 5(4)351--369, 8(4)411--430, 11(4)273--290
-
unknown, 25(4)575--592
-
unnecessary, 23(3)335--368
-
unreliable, 23(4)579--600
-
UNSAT, 25(2)167--184
-
until, 17(4)417--427
-
untimed, 11(5)375--392
-
update, 21(3)287--306
-
updating, 11(6)453--468
-
upgrade, 19(5)517--534
-
upon, 9(1)53--62
-
UPPAAL, 24(6)1025--1042
-
Uppaal, 1(1)134--152, 17(4)397--415, 25(1)19--47
-
Uppaal2k, 3(4)469--485
-
upper, 8(3)204--215
-
upper-bound, 18(4)409--426
-
Ur, Shmuel, 13(3)207--221
-
Ur, Shmuel, see Adler, Yoram
-
usability, 12(6)467--481
-
usage, 8(6)531--545, 19(3)325--339, 23(5)685--700
-
usage-based, 19(3)309--324
-
use, 5(2)237--246, 10(1)15--28, 12(1)1--7, 16(5)627--642
-
Usenko, Yaroslav S., 12(5)305--318
-
Usenko, Yaroslav S., see Mader, Angelika
-
user, 1(1)49--63, 3(1)1--12, 5(2)237--246, 8(6)547--563, 11(6)485--501,
20(1)19--34
-
using, 2(1)29--45, 2(3)260--269, 2(3)279--287, 2(4)366--381,
2(4)382--393, 2(4)394--409, 3(1)13--19, 3(1)32--65, 3(2)137--155,
3(3)271--285, 3(3)314--331, 3(4)382--393, 3(4)469--485,
4(1)107--124, 4(2)142--152, 4(2)173--188, 4(3)313--322,
4(3)349--358, 5(1)4--14, 5(2)237--246, 6(1)38--66, 6(1)67--76,
6(2)117--127, 6(2)174--182, 7(2)143--155, 8(3)280--299,
9(3)327--352, 9(5)471--487, 9(5)489--504, 10(1)29--56, 10(1)95--110,
10(2)113--129, 10(4)371--381, 10(6)503--520, 11(1)69--83,
11(3)239--253, 11(4)291--305, 12(3)201--209, 13(1)89--106,
13(2)111--129, 13(3)207--221, 13(3)247--261, 13(6)495--518,
13(6)519--535, 14(1)15--40, 14(6)703--720, 15(3)269--286,
15(4)375--396, 15(5)563--583, 16(4)437--455, 17(2)187--199,
17(3)267--289, 17(3)339--349, 17(4)429--456, 18(2)169--185,
18(3)335--353, 18(6)581--586, 19(2)187--203, 19(4)449--464,
20(3)243--262, 20(4)379--395, 20(5)547--561, 22(1)35--55,
22(3)265--279, 22(3)315--332, 22(3)349--363, 22(5)601--615,
22(6)729--740, 23(2)229--253, 23(3)411--488, 23(6)857--861,
23(6)931--952, 24(1)111--125, 24(2)159--181, 24(2)287--324,
24(3)441--472, 24(4)613--633, 24(5)783--802, 25(2)133--144,
25(4)431--452
-
Usman, Muhammad, 22(5)601--615, 25(3)393--405
-
Usman:2020:SLL, 22(5)601--615
-
Usman:2023:OSC, 25(3)393--405
-
Utilizing, 24(1)1--28
-
Uva, Marcelo, 20(6)665--688
-
Uva:2018:AWJ, 20(6)665--688
-
UWA, RE-, 11(6)485--501