Index file section F for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
F
-
Facilitating, 14(5)613--630
-
factories, 20(5)515--528
-
facts, 11(4)325--338
-
Fady, Copty, 6(2)174--182
-
Fady, Copty, see Campos, Sérgio
-
Fähndrich, Manuel, 3(1)93--105, see Aiken, Alexander
-
Fahrenberg, Uli, 21(6)667--677
-
Fahrenberg:2019:QPF, 21(6)667--677
-
failure, 23(5)783--796
-
Fainekos, Georgios, 20(1)79--93
-
Fainekos, Georgios, see Hoxha, Bardh
-
fair, 17(2)223--243, 20(5)589--610
-
fairness, 21(4)449--469
-
Faissole, Florian, 24(6)977--997
-
Faissole, Florian, see Lourenço, Cláudio Belo
-
Faitelson, David, 14(1)41--52
-
Faitelson, David, see Katz, Shmuel
-
Faithful, 9(2)119--132
-
Faithfull, Alexander, 20(2)125--137
-
Faithfull:2018:C, 20(2)125--137
-
Fakih, Khaled, El-, 18(3)251--264
-
Falaschi, M., 8(6)565--585
-
Falaschi, M., see Alpuente, M.
-
Falcone, Yliès, 14(3)349--382, 14(4)407--437, 17(2)121--123,
19(3)341--365, 20(1)1--18, 21(1)31--70, 21(2)143--163,
23(2)255--284, 24(2)159--181, 25(4)453--479,
see Bartocci, Ezio,
see El-Hokayem, Antoine,
see Jaber, Mohamad, \see{Soueidi, Chukri,
see Zaraket, Fadi A.
-
Falcone:2012:MTP, 14(4)407--437
-
Falcone:2012:WCY, 14(3)349--382
-
Falcone:2015:RVA, 17(2)121--123
-
Falcone:2017:FAR, 19(3)341--365
-
Falcone:2021:TCR, 23(2)255--284
-
false, 24(2)127--158
-
Falsification, 15(4)305--320
-
family, 13(6)585--601
-
family-based, 19(5)585--603, 22(1)35--55
-
Fang, Huixing, 16(4)339--361
-
Fang, Yi, 8(3)261--279
-
Fang:2006:LIR, 8(3)261--279
-
Fang:2014:FVS, 16(4)339--361
-
Fantechi, Alessandro, 16(6)643--646
-
Fantechi:2014:FMR, 16(6)643--646
-
Farah, Zoubeyr, 19(4)465--485
-
Farah:2017:CCM, 19(4)465--485
-
Faria, João Pascoal, 18(3)285--304
-
Faria:2016:TCT, 18(3)285--304
-
Farkas, 24(1)111--125
-
Farkas, Rebeka, 22(1)57--78
-
Farkas, Rebeka, see Semeráth, Oszkár
-
Farzan, Azadeh, 16(1)49--65
-
Farzan, Azadeh, see Razavi, Niloofar
-
FASE, 9(2)133--134, 22(1)1--2, 23(3)285--287
-
FASE'17, 20(6)611--613
-
FAST, 10(5)401--424
-
fast, 12(3)263--271, 21(4)365--400, 24(6)1025--1042
-
Fate, 6(2)102--116
-
Faucher, Cyril, 12(3)273--285
-
Faucher, Cyril, see Moha, Naouel
-
fault, 7(3)268--279, 8(3)229--247, 20(6)645--663, 24(5)821--841
-
fault-tolerance, 10(5)455--471
-
fault-tolerant, 24(1)33--48
-
FDR3, 18(2)149--167
-
Fearnley, John, 21(3)325--349
-
Fearnley:2019:OAS, 21(3)325--349
-
feasible, 5(1)34--48
-
feature, 5(2)237--246, 9(1)25--36, 9(1)53--62
-
featured, 21(6)667--677, 21(6)679--689
-
featuring, 23(3)369--410
-
Fecher, Harald, 13(4)289--306
-
Fecher:2011:LAR, 13(4)289--306
-
Fedyukovich, Grigory, 19(5)517--534
-
Fedyukovich:2017:FSB, 19(5)517--534
-
Fehnker, Ansgar, 4(1)21--33
-
Fehnker, Ansgar, see Brinksma, Ed
-
Felderer, Michael, 16(5)559--568, 16(5)609--625, 17(3)245--250,
17(3)305--319, 19(1)115--131, 21(2)221--246
-
Felderer, Michael, see Zech, Philipp
-
Felderer:2014:MCS, 16(5)609--625
-
Felderer:2014:TRB, 16(5)559--568
-
Felderer:2015:PMS, 17(3)245--250
-
Felderer:2015:SCS, 17(3)305--319
-
Fellner, Andreas, 21(1)71--86
-
Fellner:2019:GPP, 21(1)71--86
-
Feng, Lu, 25(4)519--520
-
Feng, Yong, 22(6)655--666
-
Feng, Yong, see Li, Yi
-
Feng:2023:ISI, 25(4)519--520
-
Ferdinand, Christian, 15(1)29--39
-
Ferdinand, Christian, see Heckmann, Reinhold
-
Fernandez, Jean-Claude, 1(1)166--183, 4(2)142--152, 14(3)349--382,
14(4)407--437
-
Fernandez, Jean-Claude, see Bozga, Marius,
see Falcone, Yliès
-
Fernando, Vimuth, 25(4)521--539
-
Fernando:2023:DDM, 25(4)521--539
-
Ferrara, Pietro, 23(1)71--88
-
Ferrara:2021:SAD, 23(1)71--88
-
Ferrari, Alessio, 16(6)647--667, 20(3)263--288
-
Ferrari, Alessio, see Mazzanti, Franco
-
Ferrari:2014:CDS, 16(6)647--667
-
Ferreira, João F., 16(4)381--397
-
Ferreira:2014:AVF, 16(4)381--397
-
Ferri, Felipe, 14(6)673--702
-
Ferri, Felipe, see Gomes, Adriano
-
Fettke, Peter, 25(5)659--673
-
Fettke:2023:CTI, 25(5)659--673
-
Few, 5(2)237--246
-
Fey, Goerschwin, 19(5)605--621
-
Fey, Goerschwin, see Riener, Heinz
-
Feyerabend, 2(1)1--5
-
Fidge, C. J., 8(4)321--335
-
Fidge:2006:FCI, 8(4)321--335
-
field, 11(1)1--11
-
Fighting, 4(4)505--528
-
Filho, João Bosco Ferreira, 17(5)585--600
-
Filho:2015:GCM, 17(5)585--600
-
Filiot, Emmanuel, 15(5)541--561
-
Filiot:2013:ESL, 15(5)541--561
-
Filipe, Juliana, Küster-, 8(2)156--166
-
Filliâtre, Jean-Christophe, 13(5)397--403, 17(6)709--727,
see Bobot, François
-
Filliatre:2011:DSV, 13(5)397--403
-
filtering, 9(5)417--427
-
filters, 16(2)175--190
-
Fin-less, 21(3)307--324
-
final, 21(1)31--70
-
Finding, 5(1)34--48, 13(6)495--518
-
Fine, Shai, 11(4)291--305, 13(3)247--261
-
Fine, Shai, see Baras, Dorit
-
Fine:2009:UBN, 11(4)291--305
-
finite, 5(2)185--204, 8(4)397--409, 18(3)251--264, 22(5)523--539,
24(3)473--492, 24(6)949--972
-
finite-state, 2(4)317--320, 6(4)320--341, 20(1)35--55
-
Finkbeiner, Bernd, 11(1)27--37, 15(5)519--539, 22(6)729--740,
23(4)545--546, 25(2)205--218, 25(4)593--616
-
Finkbeiner, Bernd, see Baumeister, Jan,
see Biewer, Sebastian,
see Dräger, Klaus
-
Finkbeiner:2013:BS, 15(5)519--539
-
Finkbeiner:2020:EMH, 22(6)729--740
-
Finkbeiner:2021:ISI, 23(4)545--546
-
Finkel, Alain, 10(5)401--424, 25(3)341--354
-
Finkel, Alain, see Bardin, Sébastien,
see Khmelnitsky, Igor
-
FireWire, 2(1)68--88
-
firm, 15(3)211--228
-
first, 15(5)433--454, 19(3)367--390, 21(1)31--70, 23(6)833--846,
25(2)185--204, 25(3)329--339
-
first, depth-, 10(2)161--166, 18(2)129--147
-
first-order, 23(2)185--208, 23(4)547--563
-
Fischer, Bernd, 16(5)519--529
-
Fischer, Bernd, see Morse, Jeremy
-
Fischmeister, Sebastian, 23(4)579--600
-
Fischmeister, Sebastian, see Kauffman, Sean
-
FISh, 2(3)307--315
-
Fisman, Dana, 25(4)519--520
-
Fisman, Dana, see Feng, Lu
-
Fitzgerald, John S., 8(4)301--302
-
Fitzgerald:2006:IFM, 8(4)301--302
-
Fixed-point, 8(1)4--25
-
Flammini, Francesco, 16(6)643--646, 16(6)669--683
-
Flammini, Francesco, see Fantechi, Alessandro,
see Marrone, Stefano
-
Flanagan, Cormac, 16(2)123--125
-
Flanagan:2014:DAV, 16(2)123--125
-
Flexibility, 11(3)203--215
-
flexible, 12(1)23--37, 19(5)517--534
-
floating, 5(2)237--246, 8(4)411--430
-
floating-point, 4(3)323--334, 19(4)427--448, 25(2)185--204
-
flocks, 25(5)675--691
-
Floodeen, D., 5(4)370--390
-
Floodeen, D., see Luqi
-
Florida, 2(3)203--207
-
flow, 15(1)53--63, 18(6)653--684, 23(3)489--517, 23(3)519--519
-
fluidic, 10(3)233--245
-
Flur, Shaked, 17(1)47--57
-
Flur, Shaked, see Chen, Hong Yi
-
Flush, 11(5)409--418
-
fly, On-the-, 2(4)382--393, 9(3)371--391, 20(5)563--587
-
fly, on-the-, 4(4)496--504, 7(2)89--101, 8(1)37--56,
9(3)371--391, 18(2)169--185
-
FO, LTL-, 23(2)137--154
-
focus, 19(5)605--621
-
following, 10(3)223--231
-
Fontanelli, Riccardo, 19(3)281--308
-
Fontanelli, Riccardo, see Hillah, Lom Messan
-
Fonteneau, Yoann, 20(4)423--440
-
Fonteneau, Yoann, see Ge, Ning
-
Foo, King Chun, 11(6)503--515
-
Foo, King Chun, see Chan, Brian
-
force, brute-, 16(5)481--491
-
forces, 22(2)115--133, 25(3)249--266
-
Forest, 25(3)287--299
-
forests, 25(3)267--285
-
form, 21(6)691--707
-
formal, 1(1)6--8, 2(3)203--207, 2(4)328--342, 3(1)66--77, 3(2)207--216,
3(3)314--331, 3(3)353--368, 4(3)313--322, 4(3)323--334,
4(3)335--348, 4(3)359--370, 4(3)371--380, 5(4)301--307,
5(4)308--319, 5(4)320--330, 7(2)156--173, 7(3)195--196,
7(3)197--211, 7(3)268--279, 7(4)341--350, 8(2)93--96, 8(2)97--112,
8(2)113--127, 8(4)301--302, 8(4)303--319, 8(4)321--335,
8(4)355--358, 8(4)373--386, 8(4)387--396, 8(4)411--430,
8(6)467--469, 8(6)471--484, 8(6)531--545, 8(6)547--563,
8(6)587--603, 9(1)63--76, 9(2)179--192, 9(3)255--267, 9(5)527--544,
10(2)167--184, 10(6)521--534, 12(1)1--7, 13(5)463--489,
14(1)95--108, 14(6)653--671, 15(5)563--583, 15(5)585--601,
16(4)339--361, 16(6)643--646, 16(6)713--726, 18(1)93--108,
19(3)341--365, 19(4)391--393, 20(3)237--241, 20(3)263--288,
20(4)355--358, 20(4)423--440, 20(6)739--769, 21(2)165--181,
21(2)183--202, 22(2)219--247, 22(3)315--332, 22(3)333--347,
22(3)349--363, 22(6)667--683, 23(3)411--488, 23(6)879--881,
24(3)325--330, 24(3)351--370, 24(3)415--440, 24(3)441--472,
24(6)911--948, 24(6)973--976, 24(6)977--997
-
Formalising, 22(3)297--313
-
formalism, 19(1)73--96
-
Formalization, 2(4)394--409
-
Formalizing, 11(3)261--267
-
formally, 5(4)331--350, 13(4)355--376, 19(6)717--741
-
formula, 4(1)57--70, 14(4)439--459, 17(4)417--427
-
formulation, 7(2)102--117
-
Fosse, P., Thévenod-, 5(1)90--103
-
Foster, Jeffrey S., 15(5)497--518
-
Foster, Jeffrey S., see Srivastava, Saurabh
-
Foster, Michael, 24(6)949--972
-
Foster, Michael, see Taylor, Ramsay G.
-
Fotso, Steve Jeffrey Tueno, 22(3)333--347, 22(3)349--363
-
Fotso, Steve Jeffrey Tueno, see Mammar, Amel
-
Fotso:2020:MHE, 22(3)349--363
-
Fourneret, Elizabeta, 17(3)305--319, 21(4)425--448
-
Fourneret, Elizabeta, see Botella, Julien,
see Felderer, Michael
-
Fournier, Laurent, 11(4)291--305, 13(3)247--261
-
Fournier, Laurent, see Baras, Dorit,
see Fine, Shai
-
fragment, 20(4)379--395
-
Fraine, Bruno, De, 9(2)135--154
-
framework, 3(3)286--313, 4(3)298--312, 4(3)381--396, 7(4)351--360,
8(3)280--299, 8(6)471--484, 9(2)119--132, 9(5)417--427,
9(5)429--445, 10(3)247--261, 10(4)371--381, 10(5)425--441,
10(5)455--471, 11(5)393--407, 12(1)53--67, 12(5)353--372,
14(3)249--289, 14(3)307--326, 14(5)511--530, 15(4)375--396,
16(3)295--313, 18(6)629--651, 19(5)517--534, 19(5)623--647,
19(6)675--696, 20(3)263--288, 20(4)397--422, 21(1)105--119,
21(2)183--202, 22(4)437--455, 22(4)497--509, 22(5)617--633,
24(5)667--689, 24(6)949--972, 25(1)77--94, 25(4)557--573
-
Francis, Benjamin, 10(1)75--93
-
Francis, Benjamin, see Gallasch, Guy Edward
-
Fränzle, Martin, 17(4)485--504, see Ellen, Christian
-
Frappier, Marc, 22(3)333--347, 22(3)349--363
-
Frappier, Marc, see Fotso, Steve Jeffrey Tueno,
see Mammar, Amel
-
Fredlund, Lars-Åke, 4(4)405--420
-
Fredlund:2003:VTE, 4(4)405--420
-
free, 6(2)102--116
-
free, alternation-, 8(1)37--56
-
free, lambda-, 24(1)67--87
-
free, remove-, 21(6)691--707
-
free, replace-, 21(6)691--707
-
FreeRTOS, 16(4)381--397
-
Frehse, Goran, 10(3)263--279, 18(4)449--467
-
Frehse, Goran, see Bogomolov, Sergiy
-
Frehse, Stefan, 19(5)605--621
-
Frehse, Stefan, see Riener, Heinz
-
Frehse:2008:PAV, 10(3)263--279
-
Freitas, Leo, 13(5)463--489
-
Freitas:2011:FMS, 13(5)463--489
-
Frenkel, Hadar, 24(5)667--689
-
Frenkel:2022:AGR, 24(5)667--689
-
frequency, 23(3)489--517, 23(3)519--519
-
frequentist, 23(4)615--640
-
Frias, Marcelo F., 20(6)665--688
-
Frias, Marcelo F., see Uva, Marcelo
-
friendly, analysis-, 21(5)515--543
-
Friese, Thomas, 2(2)202--202
-
Friese:1998:IPO, 2(2)202--202
-
Fritsche, Lars, 23(3)335--368
-
Fritsche:2021:AUI, 23(3)335--368
-
Fröhleke, Norbert, 10(3)223--231, see Witting, Katrin
-
Frohme, Markus, 23(4)521--543
-
Frohme:2021:CLM, 23(4)521--543
-
Frohn, Florian, 24(5)691--715
-
Frohn:2022:CML, 24(5)691--715
-
FSAPash, 9(1)5--24
-
FTSyn, 10(5)455--471
-
Fu, Chunyan, 21(2)165--181
-
Fu:2019:FMA, 21(2)165--181
-
Fuhrmann, Oded, 13(3)263--272
-
Fuhrmann, Oded, see Bar-Ilan, Omer
-
Fuhs, Carsten, 24(5)691--715
-
Fuhs, Carsten, see Frohn, Florian
-
Fujaba, 6(3)203--218, 12(3)287--304
-
Fujita, M., 4(1)125--137
-
Fujita, M., see Clarke, E. M.
-
full, 20(3)327--354, 24(3)351--370
-
Full-program, 24(5)843--888
-
Fully, 19(3)341--365
-
fUML, 15(4)375--396
-
function, 13(5)405--417, 18(1)109--120, 18(4)359--374, 22(6)655--666,
23(1)55--67, 25(2)185--204
-
functional, 7(2)184--194, 7(4)326--340, 7(4)351--360, 9(3)269--304,
10(6)521--534, 13(3)207--221, 13(5)405--417, 15(5)455--474,
17(1)91--105, 19(3)281--308, 19(6)697--716, 25(2)185--204
-
fundamental, 9(5)415--416
-
Furia, Carlo A., 17(6)745--755, 19(6)697--716, 23(6)883--893
-
Furia, Carlo A., see Dross, Claire,
see Tschannen, Julian
-
Furia:2017:AAA, 19(6)697--716
-
fuzzer, 23(6)863--866