Index file section H for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
H
-
Håkansson, John, 4(4)456--471
-
Haakansson:2003:GOT, 4(4)456--471
-
Haar, Stefan, 18(3)305--318
-
Haar, Stefan, see León, Hernán Ponce de
-
Haber, Arne, 17(5)601--626
-
Haber:2015:SSD, 17(5)601--626
-
Habermaier, Axel, 20(4)359--377
-
Habermaier, Axel, see Leupolz, Johannes
-
Habermehl, Peter, 14(2)167--191
-
Habermehl, Peter, see Bouajjani, Ahmed
-
Habibi, Elahe, 24(4)511--527
-
Habibi:2022:GTW, 24(4)511--527
-
Haddad, Serge, 25(3)341--354
-
Haddad, Serge, see Khmelnitsky, Igor
-
Hadjidj, Rachid, 10(2)167--184
-
Hadjidj:2008:ISC, 10(2)167--184
-
Haedicke, Finn, 19(5)605--621
-
Haedicke, Finn, see Riener, Heinz
-
Hahn, Christopher, 22(6)729--740
-
Hahn, Christopher, see Finkbeiner, Bernd
-
Hahn, Ernst Moritz, 13(1)3--19
-
Hahn:2011:PRP, 13(1)3--19
-
Hahner, Sebastian, 25(5)733--746
-
Hahner, Sebastian, see Bure{\v{s}}, Tom{\'a}{\v{s}}
-
Hähnle, Reiner, 7(3)197--211, 17(1)107--119, 21(5)485--513,
23(3)285--287, see Bubel, Richard,
see Hentschel, Martin,
see Wong, Peter Y. H.
-
Hahnle:2021:AMA, 23(3)285--287
-
Haifa, 11(4)269--272
-
Halbwachs, Nicolas, 5(2)158--164
-
Halbwachs, Nicolas, see Pace, Gordon
-
Hallé, Sylvain, 17(2)125--142, 23(2)137--154,
see Khoury, Raphaël
-
Halle:2015:PRM, 17(2)125--142
-
Hallerstede, Stefan, 12(6)447--466
-
Hallerstede, Stefan, see Abrial, Jean-Raymond
-
Ham, Frank van, 8(1)77--91
-
Ham, Frank van, see Groote, Jan Friso
-
Hamers, Ruben, 24(5)757--782
-
Hamers:2022:DPR, 24(5)757--782
-
Hammarberg, Jerker, 7(3)268--279
-
Hammarberg:2005:FVF, 7(3)268--279
-
Hamon, Grégoire, 9(5)447--456
-
Hamon:2007:OSS, 9(5)447--456
-
Han, Bing, 9(3)269--304
-
Han, Bing, see Billington, Jonathan
-
Han, Pujie, 23(5)721--740
-
Han:2021:MBO, 23(5)721--740
-
hand, 25(2)185--204
-
Handel-C, 7(3)248--267
-
handles, 25(2)185--204
-
Handling, 19(1)97--114
-
Hankin, Chris, 2(1)6--12
-
Hankin:1998:PAT, 2(1)6--12
-
Hannemann, Ulrich, 8(2)167--176
-
Hannemann, Ulrich, see Berkenkötter, Kirsten
-
Hansen, Dominik, 19(2)187--203, 22(3)315--332
-
Hansen, Dominik, see Ladenberger, Lukas
-
Hansen, Henri, 18(4)427--448
-
Hansen, Henri, see Laarman, Alfons
-
Hansen, Klaus Marius, 6(3)219--230
-
Hansen, René Rydhof, 23(1)89--104
-
Hansen, Simon Thrane, 24(6)999--1024
-
Hansen:2004:TPS, 6(3)219--230
-
Hansen:2020:VRL, 22(3)315--332
-
Hansen:2021:APL, 23(1)89--104
-
Hansen:2022:VSC, 24(6)999--1024
-
Hansson, Hans, 4(4)437--455
-
Hansson, Hans, see Engblom, Jakob
-
hard-to-reach, 11(4)291--305
-
hardware, 2(3)288--306, 3(3)286--313, 4(2)211--223, 4(3)271--297,
7(2)102--117, 7(4)341--350, 7(4)376--387, 9(1)89--101
-
Harlow:2001:DEE, 3(2)193--206
-
Harman, Mark, 13(2)131--149
-
Harman, Mark, see Marchetto, Alessandro
-
Harms, Patrick, 19(3)309--324
-
Harms, Patrick, see Herbold, Steffen
-
Härtig, Hermann, 21(6)651--666, see Herrmann, Linda
-
Hartmanns, Arnd, 17(4)429--456
-
Hartmanns:2015:SSM, 17(4)429--456
-
has, 25(2)185--204
-
Haskell, 7(2)184--194
-
HASL, 17(4)505--526
-
Hassine, Jameleddine, 24(6)889--910
-
Hassine, Jameleddine, see Mohammed, Mawal A.
-
Hatcliff, John, 4(1)34--56, 8(1)1--3, 8(3)280--299, 9(5)417--427,
9(5)489--504
-
Hatcliff, John, see Corbett, James C.,
see Garavel, Hubert, \see{Jung, Georg,
see Ranganath, Venkatesh Prasad,
see Robby
-
Haugen, {\O}ystein, 8(2)93--96, see Graf, Susanne
-
have, 5(2)237--246
-
Havelund, Klaus, 2(4)366--381, 4(1)8--20, 6(2)158--173, 14(3)243--247,
16(1)1--12, 17(2)143--170, 18(2)121--128, 21(1)31--70,
21(3)247--248, 23(4)547--563, 23(4)579--600, 25(4)481--501
-
Havelund, Klaus, see Bartocci, Ezio,
see Bensalem, Saddek,
see Erdogmus, Hakan, \see{Kauffman, Sean,
see Shafiei, Nastaran,
see Sokolsky, Oleg,
see Ábrahám, Erika
-
Havelund:2000:MCJ, 2(4)366--381
-
Havelund:2002:PMC, 4(1)8--20
-
Havelund:2004:EMS, 6(2)158--173
-
Havelund:2015:RBR, 17(2)143--170
-
Havelund:2021:EFO, 23(4)547--563
-
Haverkort, Boudewijn, 17(4)377--395
-
Haverkort, Boudewijn, see Reijsbergen, Daniël
-
Haverkort, Boudewijn R., 7(1)43--60
-
Haverkort, Boudewijn R., see Bell, Alexander
-
Havlena, Vojtech, 22(5)523--539
-
Havlena, Vojtech, see Ceska, Milan
-
Haxthausen, Anne E., 16(6)713--726
-
Haxthausen:2014:AGF, 16(6)713--726
-
hazards, 24(1)1--28
-
Haziza, Frédéric, 18(5)495--516, 19(5)549--563, 23(5)825--825,
see Abdulla, Parosh Aziz,
see Abdulla, Parosh
-
HCI, 8(6)547--563
-
He, Guanhua, 16(4)381--397
-
He, Guanhua, see Ferreira, João F.
-
head, 10(6)521--534
-
Healing, 10(6)493--502
-
Heckel, Reiko, 9(2)193--207
-
Heckel:2007:MDD, 9(2)193--207
-
Heckmann, Reinhold, 15(1)29--39
-
Heckmann:2013:AET, 15(1)29--39
-
Heerhugowaard, 4(1)107--124
-
Heider, Wolfgang, 14(5)613--630
-
Heider:2012:FEP, 14(5)613--630
-
Heimdahl, Mats P. E., 8(4)303--319
-
Heimdahl, Mats P. E., see Miller, Steven P.
-
Heimdahl, Mats Per Erik, 11(3)203--215
-
Heimdahl, Mats Per Erik, see Van Wyk, Eric
-
Heinrich, Robert, 25(5)733--746
-
Heinrich, Robert, see Bure{\v{s}}, Tom{\'a}{\v{s}}
-
held, 2(3)203--207
-
Heljanko, Keijo, 4(1)57--70, 7(2)89--101
-
Heljanko, Keijo, see Jussila, Toni,
see Tauriainen, Heikki
-
Hell, Timotheus, 19(3)367--390
-
Hell, Timotheus, see Jacobs, Swen
-
Hendren, Laurie, 14(3)307--326
-
Hendren, Laurie, see Bodden, Eric
-
Hendriks, Martijn, 18(1)21--40, 19(4)487--510
-
Hendriks:2016:BSL, 18(1)21--40
-
Hendriks:2017:AET, 19(4)487--510
-
Henglein, Fritz, 8(6)485--516
-
Henglein, Fritz, see Andersen, Jesper
-
Henry, Léo, 23(2)229--253, see Bouyer, Patricia
-
Hensel, Christian, 24(4)589--610
-
Hensel:2022:PMC, 24(4)589--610
-
Hentschel, Martin, 21(5)485--513
-
Hentschel:2019:SED, 21(5)485--513
-
Henzinger, Thomas A., 1(1)110--122, 9(5)505--525, 15(5)585--601,
25(4)575--592
-
Henzinger, Thomas A., see Beyer, Dirk,
see Godhal, Yashdeep,
see Kueffner, Konstantin
-
Henzinger:1997:HMC, 1(1)110--122
-
Herbold, Steffen, 19(3)271--279, 19(3)309--324
-
Herbold:2017:CUB, 19(3)309--324
-
Herbold:2017:MBT, 19(3)271--279
-
Herdt, Vladimir, 21(5)545--565
-
Herdt:2019:CSB, 21(5)545--565
-
Hermanns, Holger, 4(2)153--172, 10(2)111--112, 12(5)305--318,
13(1)3--19, 17(1)77--90, 25(2)205--218, 25(3)407--426
-
Hermanns, Holger, see Biewer, Sebastian,
see Gros, Timo P.,
see Hahn, Ernst Moritz,
see Mader, Angelika, \see{Pulungan, Reza
-
Hermanns:2003:TMC, 4(2)153--172
-
Hermanns:2008:IES, 10(2)111--112
-
Herrmann, Linda, 21(6)651--666
-
Herrmann:2019:CIP, 21(6)651--666
-
Herschel, 17(2)187--199
-
heterogeneous, 4(3)359--370, 5(1)15--33, 14(1)53--72, 15(4)363--374
-
Heule, Marijn J. H., 25(2)167--184
-
Heule, Marijn J. H., see Tan, Yong Kiam
-
heuristics, 3(2)193--206, 6(4)260--276, 14(1)95--108
-
Heyman, Tamir, 4(4)496--504
-
Heyman, Tamir, see Ben-David, Shoham
-
Heymans, Patrick, 14(5)553--566, 14(5)589--612
-
Heymans, Patrick, see Classen, Andreas
-
Heymans:2012:CTA, 14(5)553--566
-
Hiep, Hans-Dieter A., 24(5)783--802
-
Hiep:2022:VOL, 24(5)783--802
-
hierarchical, 4(3)313--322, 24(2)159--181
-
High-automation, 3(1)20--31
-
high-availability, 7(4)376--387
-
high-level, 3(4)382--393, 12(1)9--21, 20(1)1--18, 20(4)397--422,
21(2)143--163
-
high-speed, 22(5)523--539
-
Higher-level, 4(3)271--297
-
higher-order, 17(1)91--105, 24(1)67--87
-
Highlights, 7(2)87--88
-
highly, 19(5)549--563, 23(5)825--825
-
Hildebrandt, Thomas Troels, 24(4)563--587
-
Hildebrandt, Thomas Troels, see Back, Christoffer Olling
-
Hill, Patricia M., 9(3)413--414
-
Hill, Patricia M., see Bagnara, Roberto
-
Hillah, Lom Messan, 19(3)281--308, 23(6)931--952
-
Hillah, Lom Messan, see Kordon, Fabrice
-
Hillah:2017:AIS, 19(3)281--308
-
Hinchey, Michael G., 8(6)587--603
-
Hinchey, Michael G., see Rouff, Christopher A.
-
Hinchey, Mike, 11(3)173--174
-
Hinchey:2009:GEI, 11(3)173--174
-
Hipash, 16(4)381--397
-
HiPE, 4(4)421--436
-
Hirschkoff, Daniel, 3(3)271--285
-
Hirschkoff:2001:BVU, 3(3)271--285
-
Hislop, David, 5(4)299--300
-
Hislop, David, see Iyer, S. Purushothaman
-
History, 16(3)215--225
-
hit, 11(4)291--305
-
Hn{\v{e}}tynka, Petr, 25(5)717--731, 25(5)733--746,
see Bure{\v{s}}, Tom{\'a}{\v{s}},
see Töpfer, Michal
-
Ho, Pei-Hsin, 1(1)110--122
-
Ho, Pei-Hsin, see Henzinger, Thomas A.
-
Ho, Vivian M., 25(4)431--452
-
Ho:2023:PAU, 25(4)431--452
-
Hoang, Duc, 17(6)695--707
-
Hoang, Thai Son, 12(6)447--466, 22(3)249--255
-
Hoang, Thai Son, see Abrial, Jean-Raymond,
see Butler, Michael
-
Hoang:2015:SG, 17(6)695--707
-
hoc, 21(2)165--181
-
hoc, ad-, 17(5)627--646
-
Hofferek, Georg, 15(5)563--583
-
Hofferek, Georg, see Könighofer, Robert
-
Hoffmann, Andreas, 19(3)271--279
-
Hoffmann, Andreas, see Herbold, Steffen
-
Hoffmann, Berthold, 12(3)183--199
-
Hoffmann, Berthold, see Pérez, Javier
-
Hoffmann, Jörg, 25(3)407--426, see Gros, Timo P.
-
Hofmann, Alfred, 2(2)202--202
-
Hofmann, Alfred, see Friese, Thomas
-
Hogrefe, Dieter, 4(4)397--400
-
Hogrefe:2003:MIP, 4(4)397--400
-
Hokayem, Antoine, El-, 24(2)159--181
-
HOL, 13(5)419--429
-
hold, 5(2)237--246
-
Holenderski, Leszek, 4(1)92--106
-
Holenderski, Leszek, see Bo{\v{s}}na{\v{c}}ki, Dragan
-
Holík, Lukás, 18(5)495--516, 19(5)549--563,
see Abdulla, Parosh Aziz,
see Abdulla, Parosh
-
Hölldobler, Katrin, 17(5)601--626, see Haber, Arne
-
Holmes, Josie, 20(1)57--78
-
Holmes:2018:TTS, 20(1)57--78
-
Holzmann, Gerard, 2(4)321--327
-
Holzmann, Gerard J., 2(3)270--278, 4(4)505--528
-
Holzmann, Gerard J., see Dong, Yifei
-
Holzmann:1999:MAR, 2(3)270--278
-
Holzmann:2000:SMC, 2(4)321--327
-
home, 24(2)159--181
-
Hooman, Jozef, 8(2)97--112
-
Hooman:2006:SCR, 8(2)97--112
-
Hoorn-Kersenboogerd, 4(1)107--124
-
Hoory, Shlomo, 13(3)263--272
-
Hoory, Shlomo, see Bar-Ilan, Omer
-
Höreth, Stefan, 3(2)182--192
-
Horeth:2001:WLG, 3(2)182--192
-
horizon, 8(4)397--409
-
horizontal, 24(3)371--394
-
Horlings, Erik, 24(5)757--782
-
Horlings, Erik, see Hamers, Ruben
-
Hörmaier, Klaus, 19(4)409--426,
see Aichernig, Bernhard K.
-
Horváth, A., 3(4)417--430, see Bernardi, S.
-
Horváth, Ákos, 12(3)211--230
-
Horvath:2010:EAC, 12(3)211--230
-
Hosobe, Hiroshi, 13(5)449--461
-
Hosobe, Hiroshi, see Ishii, Daisuke
-
Hosseinabadi, Seyed-Hasan, Mirian-, 24(4)511--527
-
Houben, Fred, 15(3)269--286
-
Houben:2013:MTS, 15(3)269--286
-
How, 18(1)67--91, 23(5)827--827
-
Howar, Falk, 16(5)457--464, 16(5)543--558, 23(6)917--930
-
Howar, Falk, see Steffen, Bernhard
-
Howar:2014:RER, 16(5)457--464
-
Howar:2021:RCT, 23(6)917--930
-
Hoxha, Bardh, 20(1)79--93
-
Hoxha:2018:MPT, 20(1)79--93
-
Hu, Alan J., 11(4)325--338, 13(3)201--205
-
Hu, Alan J., see Babi{\'c}, Domagoj,
see Chockler, Hana
-
Hu, Zhenjiang, 11(6)453--468
-
Hu, Zhenjiang, see Nakano, Keisuke
-
Hua, Jinru, 21(3)249--265
-
Hua:2019:EED, 21(3)249--265
-
Huang, Heqing, 16(4)421--435
-
Huang, Heqing, see Yüksel, Ender
-
Huang, Samuel, 24(3)473--492
-
Huang, Wen-ling, 18(3)265--283, 20(4)441--465
-
Huang, Xiaowan, 14(3)327--347
-
Huang:2012:SMC, 14(3)327--347
-
Huang:2016:CMB, 18(3)265--283
-
Huang:2018:MBT, 20(4)441--465
-
Huang:2022:TLQ, 24(3)473--492
-
Hughes, Graham, 10(6)503--520
-
Hughes:2008:AVA, 10(6)503--520
-
Hugues, Jérôme, 22(2)219--247, see Mkaouar, Hana
-
Huisman, Marieke, 3(3)332--352, 17(6)647--657, 17(6)757--781,
18(6)653--684, 19(6)763--771, 20(6)611--613, 22(6)685--687,
23(6)829--832, 23(6)879--881
-
Huisman, Marieke, see Amighi, Afshin,
see Beyer, Dirk, \see{Blom, Stefan
-
Huisman:2001:CSC, 3(3)332--352
-
Huisman:2015:V, 17(6)647--657
-
Huisman:2017:V, 19(6)763--771
-
Huisman:2018:SQT, 20(6)611--613
-
Hulgaard, Henrik, 5(1)4--14
-
Hulgaard, Henrik, see Williams, Poul F.
-
human-computer, 11(3)239--253
-
Hungar, Hardi, 6(1)4--14
-
Hungar:2004:BBM, 6(1)4--14
-
Hurink, Johann, 12(5)305--318
-
Hurink, Johann, see Mader, Angelika
-
Husberg, Nisse, 3(4)382--393
-
Husberg, Nisse, see Ojala, Leo
-
Huth, Michael, 9(1)25--36, 11(2)85--94, 16(1)31--48
-
Huth, Michael, see Crampton, Jason
-
Huth:2007:SCT, 9(1)25--36
-
Huth:2009:SSA, 11(2)85--94
-
Hutter, Dieter, 3(1)66--77
-
Hutter, Dieter, see Autexier, Serge
-
hybrid, 1(1)64--85, 1(1)110--122, 4(3)313--322, 6(2)128--142,
8(2)167--176, 10(3)207--222, 10(3)263--279, 10(4)383--400,
13(3)273--287, 13(4)307--317, 13(4)319--335, 13(5)449--461,
13(6)553--569, 14(3)307--326, 15(4)305--320, 16(3)247--267,
17(4)485--504, 18(1)67--91, 18(4)449--467, 19(2)205--228,
19(6)717--741, 20(6)615--643, 21(1)87--104, 21(4)401--423,
22(3)249--255, 22(3)265--279, 22(3)281--296, 22(3)297--313,
22(3)315--332, 22(3)333--347, 22(3)349--363, 23(5)827--827
-
HybridUML, 8(2)167--176
-
hyperproperties, 22(6)729--740
-
hypervisor, 13(5)463--489
-
hypothesis, 8(3)216--228, 17(4)377--395
-
HYTECH, 1(1)110--122
-
HyTech, 10(3)263--279
-
Hyvärinen, Antti E. J., 24(1)111--125,
see Blicha, Martin