Index file section L for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
L
-
Laarman, Alfons, 18(4)427--448, 25(1)75--76
-
Laarman:2016:GBP, 18(4)427--448
-
Laarman:2023:ISI, 25(1)75--76
-
labeled, 9(5)471--487, 18(1)57--66
-
Labiche, Yvan, 17(1)59--76, 24(2)225--245
-
Labiche, Yvan, see Louadah, Hassna,
see Shafique, Muhammad
-
Ladan, Hamed, 18(4)449--467
-
Ladan, Hamed, see Bogomolov, Sergiy
-
Ladder, 3(1)93--105, 24(6)977--997
-
Ladenberger, Lukas, 19(2)187--203
-
Ladenberger:2017:VAL, 19(2)187--203
-
Lafuente, Alberto Lluch, 11(1)39--51, 24(6)973--976
-
Lafuente, Alberto Lluch, see Bosnacki, Dragan
-
Lafuente, Alberto, Lluch-, 5(2)247--267, 6(4)277--301
-
Lafuente:2022:FMT, 24(6)973--976
-
Lahiri, Shuvendu K., 11(2)105--116
-
Lahiri, Shuvendu K., see Chatterjee, Shaunak
-
Lakhnech, Y., 8(1)57--76
-
Lakhnech, Y., see Bozga, L.
-
Lakos, C., 9(3)393--411
-
Lakos:2007:MSS, 9(3)393--411
-
Lal, Akash, 13(1)61--87
-
Lal, Akash, see Lim, Junghee
-
Laleau, Régine, 19(2)167--186, 22(3)333--347, 22(3)349--363,
see Fotso, Steve Jeffrey Tueno,
see Mammar, Amel
-
lambda-free, 24(1)67--87
-
Lambers, Leen, 12(3)245--261, 20(6)705--737, 23(3)369--410
-
Lambers, Leen, see Biermann, Enrico,
see Schneider, Sven
-
Lambert, Paul S., 17(3)321--338
-
Lambert, Paul S., see Turner, Kenneth J.
-
Lammich, Peter, 13(1)37--60
-
Lammich, Peter, see Kidd, Nicholas
-
Lampka, Kai, 15(3)155--170
-
Lampka:2013:CBS, 15(3)155--170
-
Lamprecht, Anna-Lena, 14(5)511--530, 18(6)575--580, 18(6)629--651
-
Lamprecht, Anna-Lena, see Jörges, Sven
-
Lamprecht:2016:SW, 18(6)575--580
-
Lamprecht:2016:SWJ, 18(6)629--651
-
landing, 16(6)753--773, 19(2)133--140, 19(2)141--166, 19(2)167--186,
19(2)187--203, 19(2)205--228
-
Lang, Frédéric, 15(2)89--107, see Garavel, Hubert
-
Lange, Tim, 22(2)135--161
-
Lange:2020:ISM, 22(2)135--161
-
Langenstein, Bruno, 3(1)66--77
-
Langenstein, Bruno, see Autexier, Serge
-
language, 2(1)29--45, 3(2)217--234, 4(1)34--56, 6(3)245--255,
7(2)184--194, 7(4)326--340, 7(4)361--375, 8(6)517--530,
8(6)547--563, 9(1)89--101, 9(2)155--168, 9(3)305--326,
10(4)359--370, 11(2)153--171, 11(3)203--215, 12(5)353--372,
16(3)227--246, 17(5)559--584, 17(5)601--626, 20(1)1--18,
20(1)57--78, 22(4)497--509, 23(1)89--104, 23(2)157--183,
24(2)127--158, 25(2)185--204, 25(5)765--784
-
language, language-to-, 23(5)655--677
-
language-to-language, 23(5)655--677
-
Lanza, Michele, 13(2)181--200
-
Lanza, Michele, see D'Ambros, Marco
-
Lapitre, Arnault, 23(3)489--517, 23(3)519--519
-
Lapitre, Arnault, see Dubrulle, Paul
-
large, 4(3)323--334, 5(2)237--246, 6(2)117--127, 8(1)77--91,
10(3)233--245, 14(1)53--72, 14(1)73--93, 17(4)457--467, 18(1)57--66
-
large-scale, 14(5)531--551
-
Larsen, Kim G., 1(1)64--85, 1(1)134--152, 8(3)204--215, 9(5)471--487,
17(1)17--45, 17(2)187--199, 17(3)351--367, 17(4)397--415,
20(4)397--422, 22(5)635--654, 24(3)325--330
-
Larsen, Kim G., see Beek, Maurice H. ter,
see Behrmann, Gerd, \see{Chadli, Mounir,
see David, Alexandre,
see Enevoldsen, S{\o}ren
-
Larsen, Kim Guldstrand, 16(4)339--361, 18(4)409--426, 20(5)529--546,
23(1)89--104, 24(1)49--65, 24(6)1025--1042
-
Larsen, Kim Guldstrand, see Enevoldsen, S{\o}ren,
see Fang, Huixing,
see Hansen, René Rydhof,
see Jensen, Jonas Finnemann,
see Jensen, Peter Gj{\o}l,
see Kiviriga, Andrej
-
Larsen, Kim. G., 14(6)703--720
-
Larsen, Kim. G., see David, Alexandre
-
Larsen, Peter Gorm, 20(2)211--235, 22(6)667--683
-
Larsen, Peter Gorm, see Couto, Luis Diogo,
see Tran-J{\o}rgensen, Peter W. V.
-
Larsen:1997:CMR, 1(1)64--85
-
Larsen:1997:UN, 1(1)134--152
-
Larsen:2007:MSP, 9(5)471--487
-
Lasota, Slawomir, 17(3)339--349
-
Lasota, Slawomir, see Anielak, Grzegorz
-
Lassaigne, Richard, 14(1)73--93, 17(4)457--467
-
Lassaigne, Richard, see Denise, Alain
-
Lassaigne:2015:APV, 17(4)457--467
-
Lassen, Kristian Bisgaard, 9(3)353--369, 10(1)15--28
-
Lassen, Kristian Bisgaard,
see J{\o}rgensen, Jens B{\ae}k,
see Machado, Ricardo J.
-
Latella, Diego, 20(3)289--311, 22(2)195--217
-
Latella, Diego, see Buonamici, Fabrizio Banci,
see Ciancia, Vincenzo
-
latencies, 15(3)171--187
-
Laurel, Jacob, 25(4)521--539
-
Laurel, Jacob, see Fernando, Vimuth
-
Lava, 4(3)349--358
-
Lavagno, Luciano, 7(2)102--117
-
Lavagno, Luciano, see Cabodi, Gianpiero
-
Lavazza, Luigi, 9(2)179--192
-
Lavazza, Luigi, see Bianco, Vieri del
-
Laviron, Vincent, 13(6)585--601
-
Laviron:2011:SFN, 13(6)585--601
-
Lawford, Mark, 8(4)337--354, 20(1)95--117
-
Lawford, Mark, see Pantelic, Vera,
see Wassyng, Alan
-
Lawson, Jimmie D., 25(4)431--452
-
Lawson, Jimmie D., see Ho, Vivian M.
-
layer, 2(1)68--88
-
layered, 11(3)175--185
-
Lazi{\'c}, Ranko, 9(1)37--51, 12(5)373--389, 13(6)553--569,
see Bakewell, Adam,
see Dimovski, Aleksandar,
see Rutkowski, Michal
-
Le Botlan, Didier, 22(2)163--181, 25(1)95--114
-
Le Botlan, Didier, see Amat, Nicolas,
see Berthomieu, Bernard
-
Le Roux, Luka, 19(2)229--245
-
Le Roux, Luka, see Teodorov, Ciprian
-
Le, Hoang M., 21(5)545--565
-
Le, Hoang M., see Herdt, Vladimir
-
Le, Thi Thieu Hoa, 15(3)211--228
-
Le:2013:TAB, 15(3)211--228
-
leaks, 23(4)641--654
-
learned, 11(4)325--338, 12(3)287--304
-
learning, 11(4)307--324, 16(5)531--542, 20(6)689--704, 22(5)601--615,
23(1)1--29, 23(4)521--543, 24(4)529--548
-
learning, Machine-, 25(5)717--731
-
Learning-based, 22(4)417--436
-
LearnLib, 11(5)393--407
-
Leavens, Gary T., 7(3)212--232, 20(2)211--235
-
Leavens, Gary T., see Burdy, Lilian,
see Tran-J{\o}rgensen, Peter W. V.
-
Lebeltel, Olivier, 22(6)741--758
-
Lebeltel, Olivier, see Nickovi{\'c}, Dejan
-
Leblanc, Philippe, 1(1)153--165
-
Leblanc:1997:OSB, 1(1)153--165
-
Lebrun, Yannick, 23(2)137--154
-
Lebrun, Yannick, see Khoury, Raphaël
-
Lee, Insup, 5(4)308--319, 14(3)243--247
-
Lee, Insup, see Alur, Rajeev,
see Sokolsky, Oleg
-
Lee, Jaehun, 24(6)911--948
-
Lee, Jaime, 5(4)299--300, 5(4)308--319
-
Lee, Jaime, see Alur, Rajeev,
see Iyer, S. Purushothaman
-
Lee, Jooyong, 12(6)429--446
-
Lee, Jooyong, see Chalin, Patrice
-
Lee, Sai Peck, 19(6)743--761
-
Lee, Sai Peck, see Parizi, Reza Meimandi
-
Lee:2022:MFA, 24(6)911--948
-
Legay, Axel, 14(1)53--72, 14(2)119--143, 14(5)589--612, 14(6)703--720,
15(3)149--154, 17(1)17--45, 17(2)171--185, 17(2)187--199,
17(3)351--367, 17(4)369--376, 17(4)397--415, 17(4)469--484,
20(4)397--422, 21(6)607--612, 21(6)635--649, 21(6)667--677,
22(5)563--564, 23(1)69--70, 24(3)351--370, 24(4)611--612
-
Legay, Axel, see Basile, Davide,
see Basu, Ananda,
see Beek, Maurice H. ter,
see Bensalem, Saddek,
see Biondi, Fabrizio, \see{Chadli, Mounir,
see Classen, Andreas, \see{Cordy, Maxime,
see D'Argenio, Pedro,
see David, Alexandre,
see Fahrenberg, Uli,
see Kammüller, Florian,
see Nouri, Ayoub
-
Legay:2012:EOR, 14(2)119--143
-
Legay:2015:SMC, 17(4)369--376
-
Legay:2022:TAC, 24(4)611--612
-
Legeard, Bruno, 6(2)143--157, 21(4)425--448
-
Legeard, Bruno, see Botella, Julien,
see Bouquet, Fabrice
-
Lehmann, Sascha, 25(1)19--47
-
Lehmann:2023:BDB, 25(1)19--47
-
Lei, Yu, 12(1)69--88
-
Lei, Yu, see Carver, Richard H.
-
Leinenbach, Dirk, 8(4)411--430
-
Leinenbach, Dirk, see Beyer, Sven
-
Leino, K. Rustan M., 7(3)212--232, 15(2)85--88
-
Leino, K. Rustan M., see Abdulla, Parosh Aziz,
see Burdy, Lilian
-
Lekidis, Alexios, 23(5)765--781
-
Lekidis:2021:ECI, 23(5)765--781
-
Lemberger, Thomas, 23(6)871--873
-
Lemberger:2021:PRT, 23(6)871--873
-
Lemieux, Caroline, 23(6)863--866
-
Lemieux:2021:FTF, 23(6)863--866
-
León, Hernán Ponce de, 18(3)305--318
-
Leoni, Massimiliano de, 18(6)607--628
-
Leoni, Massimiliano de, see Bolt, Alfredo
-
Leroux, Jérôme, 10(5)401--424,
see Bardin, Sébastien
-
less, Fin-, 21(3)307--324
-
Lessard, Raphaël, Tremblay-, 17(2)125--142
-
lessons, 12(3)287--304
-
Let, 17(6)709--727
-
Leucker, Martin, 7(2)184--194, 12(1)23--37, 18(2)205--225,
23(2)155--156, 25(3)341--354
-
Leucker, Martin, see Bauer, Andreas,
see Decker, Normann,
see Khmelnitsky, Igor
-
Leucker:2005:FPL, 7(2)184--194
-
Leucker:2021:P, 23(2)155--156
-
Leue, Stefan, 2(4)394--409, 5(2)247--267, 6(4)257--259, 6(4)277--301,
11(1)39--51
-
Leue, Stefan, see Bosnacki, Dragan,
see Dwyer, Matthew, \see{Edelkamp, Stefan,
see Kamel, Moataz
-
Leupolz, Johannes, 20(4)359--377
-
Leupolz:2018:QQA, 20(4)359--377
-
Leuschel, Michael, 10(2)185--203, 12(1)9--21, 19(2)187--203,
22(3)315--332, 24(6)1043--1077
-
Leuschel, Michael, see Hansen, Dominik,
see Ladenberger, Lukas,
see Plagge, Daniel, \see{Schmidt, Joshua
-
Leuschel:2008:PAA, 10(2)185--203
-
level, 6(3)203--218, 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
-
level, bytecode-, 25(4)453--479
-
level, High-, 20(4)397--422
-
level, high-, 3(4)382--393, 12(1)9--21, 20(1)1--18,
21(2)143--163
-
level, Higher-, 4(3)271--297
-
level, Implementation-, 17(6)729--744
-
level, low-, 11(2)105--116
-
level, Multi-, 24(2)183--203
-
level, source-, 15(1)53--63
-
level, System-, 7(4)326--340
-
level, system-, 5(2)107--123, 18(1)21--40
-
level, word-, 3(2)182--192
-
Levendovszky, Tihamér, 12(3)231--243,
see Mészáros, Tamás
-
Leveraging, 8(6)467--469, 25(1)95--114, 25(3)241--247
-
Levis, Alexander H., 2(2)168--181
-
Levis, Alexander H., see Wagenhals, Lee W.
-
Lezama, Armando, Solar-, 15(5)475--495
-
Lhoták, Ondrej, 21(4)365--400,
see Parízek, Pavel
-
Li, Bing, 7(2)143--155
-
Li, Boyang, 19(5)535--547
-
Li, Boyang, see Dillig, Isil
-
Li, Xuandong, 13(4)307--317, 14(6)639--651
-
Li, Xuandong, see Bu, Lei, \see{Pan, Minxue
-
Li, Yan, 16(5)627--642
-
Li, Yan, see Erdogan, Gencer
-
Li, Yi, 22(6)655--666, 23(1)55--67
-
Li, Yi, see Yuan, Yue
-
Li:2005:ARS, 7(2)143--155
-
Li:2020:RFS, 22(6)655--666
-
library, 3(3)332--352, 8(1)37--56, 10(4)327--336, 12(1)69--88,
14(5)553--566, 15(5)603--618, 17(1)91--105, 18(1)57--66
-
Lienhardt, Michael, 21(6)691--707
-
Lienhardt, Michael, see Damiani, Ferruccio
-
life, real-, 22(3)315--332
-
lifecycle, 17(3)245--250
-
light-weight, 3(3)286--313
-
lightweight, 5(2)107--123, 14(2)207--222, 17(4)469--484, 18(1)93--108,
25(4)503--517
-
like, BDD-, 6(1)77--97
-
likely, 22(5)601--615
-
Lilith, Nimrod, 10(1)75--93
-
Lilith, Nimrod, see Gallasch, Guy Edward
-
Lim, Junghee, 13(1)61--87
-
Lim:2011:SAS, 13(1)61--87
-
limit-deterministic, 24(4)635--659
-
limited, 25(2)185--204
-
Lin, Yuhui, 20(2)139--155
-
Lin, Yuhui, see Grov, Gudmund
-
Lincke, Daniel, 17(1)91--105
-
Lincke:2015:FPG, 17(1)91--105
-
Lind-Nielsen, Jorn, 2(3)242--259
-
Lind-Nielsen, Jorn, see Andersen, Henrik Reif
-
Lindahl, Magnus, 3(3)353--368
-
Lindahl:2001:FDA, 3(3)353--368
-
Lindgren, Thomas, 4(4)421--436
-
Lindgren, Thomas, see Johansson, Erik
-
Lindstrom, Bo, 3(4)405--416
-
Lindstrom:2001:WBI, 3(4)405--416
-
line, 8(3)195--203, 9(5)471--487, 14(5)553--566, 14(5)589--612,
14(5)613--630, 17(5)555--557, 17(5)585--600, 17(5)627--646,
21(6)613--633
-
line, Sweep-, 9(3)371--391, 10(1)29--56
-
line, sweep-, 8(3)195--203, 9(3)371--391, 10(1)29--56
-
linear, 10(3)223--231, 13(3)263--272, 13(4)307--317, 13(6)585--601,
15(5)455--474, 17(1)47--57, 23(1)55--67, 24(1)111--125,
24(4)635--659
-
linear, quasi-, 21(3)325--349
-
linear-constraint, 22(6)655--666, 23(1)55--67
-
linearizability, 18(4)393--407
-
Link, 2(1)68--88
-
LinkedList, 24(5)783--802
-
linking, 19(1)73--96
-
Linnhoff-Popien, Claudia, 22(4)457--476
-
Linnhoff-Popien, Claudia, see Gabor, Thomas
-
Linux, 21(3)287--306
-
Lisboa, Liana Barachisio, 13(4)337--353
-
Lisboa:2011:TTD, 13(4)337--353
-
Lisper, Björn, 15(1)1--8, 15(1)53--63, 15(1)65--84,
see Merriam, Nicholas
-
Lisper:2013:ATP, 15(1)1--8
-
Lisper:2013:PEA, 15(1)53--63
-
list, 18(4)375--391
-
literature, 16(5)627--642
-
Liu, Changliu, 25(3)329--339
-
Liu, Changliu, see Brix, Christopher
-
Liu, Chi-Shiang, 15(2)109--123
-
Liu, Chi-Shiang, see Tsay, Yih-Kuen
-
Liu, Lin, 9(3)305--326
-
Liu, Yang, 14(6)653--671, 18(4)393--407
-
Liu, Yang, see Adhikari, Kiran,
see Chen, Chunqing
-
Liu, Yanhong A., 4(2)211--223
-
Liu, Yanhong A., see Johnson, Steven D.
-
Liu, Zhiming, 14(6)631--638
-
Liu:2007:VCE, 9(3)305--326
-
Liu:2012:RSV, 14(6)631--638
-
Live, 7(4)341--350
-
livelock, 4(4)505--528
-
liveness, 8(2)156--166, 8(3)261--279, 13(4)377--395
-
Lluch-Lafuente, Alberto, 5(2)247--267, 6(4)277--301
-
Lluch-Lafuente, Alberto, see Edelkamp, Stefan
-
LLVM, 24(3)493--510
-
load, 7(4)351--360
-
load-time, 24(2)205--223
-
Local, 2(3)219--241, 13(4)289--306
-
locality, 6(4)320--341
-
localization, 8(3)229--247, 20(6)645--663
-
locally, 8(1)4--25
-
Lochau, Malte, 21(6)613--633, 23(6)853--856
-
Lochau, Malte, see Luthmann, Lars,
see Ruland, Sebastian
-
locking, 5(2)205--220
-
locks, 13(1)37--60
-
Log, 24(4)549--561
-
logic, 3(1)93--105, 3(2)207--216, 4(4)456--471, 8(1)37--56, 8(2)156--166,
8(3)216--228, 9(1)1--4, 9(1)25--36, 9(1)77--88, 13(6)519--535,
20(1)79--93, 21(2)221--246, 22(2)195--217, 22(6)741--758,
23(3)411--488, 23(6)895--903, 24(1)67--87, 24(4)635--659
-
logic, Temporal-, 24(3)473--492
-
logic-based, 2(1)29--45, 23(3)369--410
-
logical, 6(1)38--66
-
logistics, 10(1)75--93, 19(3)325--339
-
Logozzo, Francesco, 13(6)585--601
-
Logozzo, Francesco, see Laviron, Vincent
-
logs, 10(1)57--74, 25(1)1--17
-
Lohmann, Daniel, 14(5)531--551
-
Lohmann, Daniel, see Tartler, Reinhard
-
Lohmann, Marc, 9(2)193--207
-
Lohmann, Marc, see Heckel, Reiko
-
Loiacono, C., 20(3)313--325
-
Loiacono, C., see Cabodi, G.
-
Lomuscio, Alessio, 19(1)9--30
-
Lomuscio:2017:MOS, 19(1)9--30
-
Longuet, Delphine, 18(3)305--318
-
Longuet, Delphine, see León, Hernán Ponce de
-
loop, 16(1)13--29, 17(1)47--57, 19(1)97--114, 22(6)655--666, 23(1)55--67,
24(5)691--715, 24(5)843--888, 24(6)999--1024
-
loop, Closed-, 16(2)191--213
-
Loos, Sarah, 18(1)67--91
-
Loos, Sarah, see Quesel, Jan-David
-
Lopes, Nuno P., 18(4)359--374
-
Lopes:2016:AEC, 18(4)359--374
-
López-Nicolás, G., 19(3)325--339,
see Barcelona, M. A.
-
Lopriore, Lanfranco, 3(2)235--245
-
Lopriore, Lanfranco, see Bartoli, Alberto
-
Lorber, Florian, 19(4)409--426
-
Lorber, Florian, see Aichernig, Bernhard K.
-
Loreti, Michele, 20(3)289--311, 25(4)503--517
-
Loreti, Michele, see Ciancia, Vincenzo,
see Nenzi, Laura
-
loss, 23(3)335--368
-
lost, 5(2)237--246
-
Lotos, 7(4)361--375
-
LOTOS, E-, 2(1)68--88
-
Louadah, Hassna, 24(2)225--245
-
Louadah:2022:ICD, 24(2)225--245
-
Lourenço, Cláudio Belo, 24(6)977--997
-
Lourenco:2022:AFA, 24(6)977--997
-
low-level, 11(2)105--116
-
Lowe, Gavin, 18(2)129--147, 21(5)567--605, 24(2)287--324
-
Lowe, Gavin, see Gibson-Robinson, Thomas
-
Löwe, Stefan, 21(1)1--29, 24(4)661--661,
see Beyer, Dirk
-
Lowe:2016:CDF, 18(2)129--147
-
Lowe:2022:PVS, 24(2)287--324
-
Lower, 8(3)204--215
-
LTL, 4(1)57--70, 7(1)31--42, 9(1)89--101, 12(1)9--21, 12(2)123--137,
12(2)139--153, 12(5)319--335, 13(4)319--335, 13(6)571--584,
15(4)305--320, 15(5)541--561, 23(4)547--563, 25(1)77--94
-
LTL-FO, 23(2)137--154
-
LTLMSO, 14(2)223--241
-
Lucca, Giuseppe Antonio, Di, 11(6)485--501
-
Lugato, David, 5(2)124--139
-
Lugato:2004:VAT, 5(2)124--139
-
Lukina, Anna, 25(4)575--592
-
Lukina, Anna, see Kueffner, Konstantin
-
Lundqvist, Kristina, 24(3)395--414
-
Lundqvist, Kristina, see Gu, Rong
-
Lundqvist, Ola, 4(4)456--471
-
Lundqvist, Ola, see Håkansson, John
-
Lungu, Mircea, 13(2)181--200
-
Lungu, Mircea, see D'Ambros, Marco
-
Luqi, 5(4)370--390
-
Luqi:2004:RDB, 5(4)370--390
-
Lurette, 8(6)517--530
-
Lustig, Yoad, 15(5)603--618
-
Lustig:2013:SCL, 15(5)603--618
-
Lustre, 11(5)409--418
-
Luthmann, Lars, 21(6)613--633
-
Luthmann:2019:SSP, 21(6)613--633
-
Lüttgen, Gerald, 11(2)117--131, 16(1)81--102,
see Mühlberg, Jan Tobias,
see Yu, Andy Jinqing
-
Lutz, A., Duret-, 19(6)653--673
-
Lutz, Alexandre, Duret-, 21(3)307--324
-
Lybecait, Michael, 20(3)327--354, 23(5)655--677
-
Lybecait, Michael, see Kopetzki, Dawid,
see Naujokat, Stefan
-
Lynch, Nancy, 11(2)153--171
-
Lynch, Nancy, see Georgiou, Chryssis
-
Lynch, Nancy A., 6(1)67--76
-
Lynch, Nancy A., see Win, Toh Ne