Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
F
-
Fa, Raphaël, Chane-Yack-, 30(3)463--489
-
Faber, Johannes, 20(4)481--505
-
Faber, Johannes, see Meyer, Roland
-
FAC, 18(3)263--263
-
face, 11(1)1--20
-
facile, 7(3)314--328
-
Faconti, G., 10(5)550--575
-
Faconti, G., see Bowman, H.
-
Faconti, G. P., 10(4)405--434
-
Faconti, Giorgio, 11(1)1--20, 11(2)132--159
-
Faconti, Giorgio, see Bowman, Howard,
see Duce, David
-
Faconti:1998:MVP, 10(4)405--434
-
Factorisation, 3(3)284--307
-
FACTum, 31(5)541--610
-
failure, 6_1S_766_787, 18(2)181--210, 20(3)295--301, 25(3)439--464,
30(6)629--657, 32(1)71--111
-
failure-based, 7(4)440--468
-
fair, 9(4)359--378, 17(3)260--276
-
fairness, 1(1)213--228, 4(6)582--591, 6(5)495--511
-
Faitelson, David, 29(4)601--627
-
Faitelson:2017:IDD, 29(4)601--627
-
Fakih, Khaled, El-, 30(2)319--332
-
Falampin, Jérôme, 23(6)683--709,
see Leuschel, Michael
-
Falaschi, Moreno, 29(3)381--382
-
Falaschi:2017:E, 29(3)381--382
-
Falcone, Yliès, 29(6)951--986, 32(2)315--360,
see Nazarpour, Hosein,
see Renard, Matthieu
-
False, 14(3)319--327
-
falsification, 22(2)105--128
-
families, 6(4)440--465
-
Family, 33(6)1173--1208
-
family-based, 30(1)45--75
-
Fantechi, Alessandro, 33(6)923--924, 33(6)957--987
-
Fantechi, Alessandro, see Basile, Davide
-
Fantechi:2021:E, 33(6)923--924
-
Farias, A., 27(5)975--1001
-
Farias, A., see Mota, A.
-
Fassbender, Heinz, 4(4)341--375
-
Fassbender:1992:ISD, 4(4)341--375
-
fast, 2(1)109--122
-
Fathabadi, Asieh Salehi, 27(3)499--523
-
Fathabadi:2015:LTS, 27(3)499--523
-
fault, 25(4)573--607, 25(4)609--657, 27(1)1--31, 29(4)651--703
-
fault-tolerance, 4(5)442--469, 29(6)1013--1050
-
fault-tolerant, 4_1S_755_775
-
faulty, 24(4)595--607
-
FDR, 21(1)133--154
-
feature, 15(1)84--99
-
feature-oriented, 30(1)45--75
-
February, 29(6)933--933
-
Fecher, H., 18(2)211--230
-
Fecher:2006:ARA, 18(2)211--230
-
feedback, 25(4)609--657
-
Feinerer, Ingo, 21(3)293--301
-
Feinerer:2009:CTT, 21(3)293--301
-
Felty, Amy, 11(5)475--497
-
Felty:1999:CCS, 11(5)475--497
-
Feo-Arenis, Sergio, 28(3)499--527
-
Feo-Arenis:2016:RTE, 28(3)499--527
-
FermaT, 26(5)993--1031
-
Fernández, Angel, 5(3)253--281, see Miguel, Carlos
-
Fiadeiro, J., 4(3)239--272
-
Fiadeiro, J. L., 22(3)215--216, 24(2)161--162
-
Fiadeiro, José Luiz, 16(1)5--18, 23(4)433--463,
see Lopes, Antónia
-
Fiadeiro:1992:TTM, 4(3)239--272
-
Fiadeiro:2010:E, 22(3)215--216
-
Fiadeiro:2011:AMS, 23(4)433--463
-
Fiadeiro:2012:E, 24(2)161--162
-
Fidge, C. J., 9(2)175--207, 18(2)152--180
-
Fidge, C. J., see Lermer, K.
-
Fidge, Colin, 14(3)281--294, 15(2)258--279
-
Fidge, Colin, see Wildman, Luke
-
Fidge, Colin J., 15(4)319--348
-
Fidge, Colin J., see Lermer, Karl
-
Fidge:1997:ABF, 9(2)175--207
-
Fidge:2003:WID, 14(3)281--294
-
Fiedler, Armin, 11(3)326--342
-
Fiedler, Armin, see Siekmann, Jörg
-
Fields, Bob, 11(2)107--131
-
Fields, Bob, see Duke, David
-
Fifty, 31(6)751--807
-
file, 24(1)27--44, 24(3)375--391
-
filesystem, 19(2)269--272
-
Filieri, Antonio, 24(2)163--186
-
Filieri:2012:FAA, 24(2)163--186
-
Filipe, Luís, Cruz-, 26(5)865--918, 29(3)559--579
-
Filipovi{\'c}, Ivana, 22(5)547--583
-
Filipovic:2010:BCD, 22(5)547--583
-
filter, pre-, 33(4)519--545
-
Filter-embedding, 24(4)623--645
-
filters, 33(4)669--693
-
Finding, 27(5)867--884, 31(2)231--259
-
finding, model-, 20(1)21--39
-
fine-grained, 26(4)761--793
-
finite, 3(3)284--307, 8(5)607--616, 13(6)447--470, 18(2)244--262,
24(4)701--726, 28(2)233--263, 30(2)319--332
-
Finkbeiner, Bernd, 12(4)218--219
-
Finkbeiner, Bernd, see Browne, Anca
-
Finkel, Alain, 30(3)463--489
-
Finkel, Alain, see Chane-Yack-Fa, Raphaël
-
Fioriti, Luis María Ferrer, 28(1)109--143, 29(4)629--649,
see Hatefi, Hassan
-
Fioriti:2016:DPA, 28(1)109--143
-
FireWire, 14(3)247--266, 14(3)267--280, 14(3)295--318, 14(3)328--337
-
first, 2(1)226--246, 12(3)145--146, 16(1)4--4, 24(1)3--26
-
First-Order, 12(3)199--209
-
Fischer, Sebastian, 24(4)623--645
-
Fischer, Sebastian, see Emoto, Kento
-
Fischer, Thomas R., 23(4)513--539
-
Fischer, Thomas R., see Yang, Linmin
-
Fisher, M., 7(5)533--549
-
Fisher, M., see Barringer, H.
-
Fisher, Michael, 4(3)299--319, 26(4)677--694
-
Fisher, Michael, see Konur, Savas
-
Fisher:1992:MCL, 4(3)299--319
-
Fitzgerald, 31(4)453--454
-
Fitzgerald, J. S., 8(3)376--378
-
Fitzgerald, J. S., see Matthews, Brian
-
Fitzgerald, John, 31(2)131--132
-
Fitzgerald, John, see Gnesi, Stefania
-
Fitzgerald, John S., 16(1)2--3, 21(3)245--257
-
Fitzgerald, John S., see Larsen, Peter Gorm
-
Fitzgerald:2004:FME, 16(1)2--3
-
fixed, 3(2)110--128
-
Flammini, Francesco, 33(6)989--1007
-
Flammini:2021:CMR, 33(6)989--1007
-
flash, 24(3)355--374
-
flaws, 30(5)525--544
-
flexible, 21(4)347--362, 21(5)421--449
-
Florian, Mihai, 23(3)365--389
-
Florian, Mihai, see Holzmann, Gerard J.
-
flow, 4_1S_727_754, 6(6)586--606, 7(5)473--509, 25(4)503--541,
28(4)669--696, 31(2)165--206
-
flow, control-, 18(1)42--62
-
flow, data-, 23(1)21--41
-
Floyd, 24(4)459--476
-
Fokker, Jeroen, 4_1S_776_780
-
Fokker:1992:SCO, 4_1S_776_780
-
Fokkinga, Maarten M., 4_1S_673_692
-
Fokkinga:1992:CC, 4_1S_673_692
-
Fokkink, Wan, 17(3)342--388
-
Fokkink, Wan, see Badban, Bahareh
-
fold-in, 24(3)307--330
-
fold-out, 24(3)307--330
-
folds, 11(2)200--222, 16(1)19--35
-
Forever, 14(3)281--294
-
form, 28(6)1005--1026
-
formal, 3(1)21--57, 3(4)367--376, 5(4)299--336, 6(1)60--91, 6(5)565--568,
6(6)586--606, 7(2)207--225, 7(3)329--347, 8(1)86--107, 8(6)716--736,
9(1)68--77, 9(2)175--207, 9(4)349--358, 9(4)379--394, 10(1)30--42,
10(3)193--213, 10(3)233--242, 10(3)248--266, 10(4)313--337,
10(4)338--360, 10(4)361--380, 10(5)532--549, 11(1)1--20,
12(3)145--146, 13(1)50--91, 13(2)161--186, 14(3)328--337, 16(1)2--3,
17(2)177--200, 17(4)389--389, 18(1)63--83, 18(2)103--119,
18(2)231--243, 19(1)3--33, 19(4)513--550, 19(4)551--554,
20(2)161--204, 21(3)245--257, 21(3)293--301, 21(5)451--483,
22(2)193--213, 23(2)191--219, 24(2)163--186, 25(5)743--768,
26(1)99--123, 26(1)125--167, 26(2)319--366, 26(4)677--694,
26(5)943--962, 26(5)963--992, 26(6)1077--1113, 26(6)1231--1269,
27(1)79--102, 27(1)167--192, 27(3)475--497, 28(3)499--527,
28(4)567--595, 28(5)767--804, 28(5)881--907, 30(1)3--43,
30(1)133--162, 30(2)219--237, 30(3)351--380, 30(5)525--544,
30(6)739--757, 31(1)59--94, 31(5)503--540, 31(6)663--674,
32(1)33--70, 32(1)71--111, 32(1)147--148, 32(2)229--250,
33(1)65--86, 33(2)207--249, 33(6)855--884, 33(6)1067--1114
-
formalisation, 15(4)370--389, 26(6)1115--1152, 28(6)1005--1026
-
formalised, 2(1)247--272, 25(1)37--57
-
Formalising, 11(2)160--199, 28(5)805--845
-
formalism, 7(4)353--388, 7(6)663--682, 13(2)94--110, 21(5)397--420,
29(2)251--307
-
formalism, Multi-, 12(4)228--230
-
formalization, 6(1)92--112, 10(3)290--306, 11(6)665--689, 18(1)42--62,
20(3)241--258, 22(2)129--151, 32(4)417--437
-
Formalizing, 9(1)1--48, 20(3)259--275, 24(1)27--44, 27(2)255--282,
28(2)181--206
-
formally, 25(5)769--799, 28(3)441--467, 30(2)279--317, 33(4)617--636
-
formation, 25(5)743--768, 26(2)203--249
-
formula, 6(5)580--584, 29(3)423--452, 32(4)417--437
-
Formulae, 33(1)27--63
-
Forthcoming, 2(1)105--108, 2(1)203--205, 2(1)294--298, 2(1)393--396,
3(1)106--108, 3(2)213--216, 3(3)308--312, 3(4)377--378,
4(1)145--147, 4_1S_781_782, 4(2)237--238, 4(3)320--322,
4(4)409--411, 5(1)89--90, 5(2)177--180, 5(3)285--288, 5(4)385--387,
5(6)573--573
-
Foster, Simon, 33(6)855--884
-
Foster:2021:IFP, 33(6)855--884
-
foundation, 3(1)21--57, 4(5)425--441, 9(3)283--330, 18(2)244--262,
19(2)139--158, 19(2)225--241, 26(5)865--918, 27(5)831--865,
28(6)909--935, 28(6)1057--1078, 30(1)133--162, 31(5)641--642,
32(1)149--151, 33(6)1067--1114, 33(6)1279--1280
-
four, 10(1)1--29, 33(6)829--854
-
Fox, A. C. J., 12(4)298--312
-
Fox:2000:AMC, 12(4)298--312
-
fragments, 20(4)407--428
-
Frama-C, 27(3)573--609
-
frames, 22(3)423--457, 23(3)267--288
-
framework, 7(3)314--328, 8(1)3--46, 8(6)706--715, 13(3)403--421,
16(3)238--262, 21(5)451--483, 21(5)485--494, 22(2)153--191,
22(5)585--609, 24(2)187--216, 26(6)1077--1113, 27(1)193--235,
28(2)207--231, 29(3)531--557, 29(4)751--775, 31(3)321--351,
31(5)459--502, 33(3)301--323
-
Francez, Nissim, 4(6)582--591
-
Francez:1992:ECF, 4(6)582--591
-
Fränzle, Martin, 15(4)390--405, 16(2)121--139, 31(1)1--1
-
Franzle:2003:SDE, 15(4)390--405
-
Franzle:2004:MCD, 16(2)121--139
-
Franzle:2019:E, 31(1)1--1
-
Frappier, Marc, 26(5)919--941, 27(2)335--374, 30(3)463--489
-
Frappier, Marc, see Chane-Yack-Fa, Raphaël,
see Mammar, Amel
-
Frappier:2014:RPA, 26(5)919--941
-
Fraser, Douglas, 32(2)157--186
-
Fraser:2020:CMA, 32(2)157--186
-
Frazier, David, 23(5)607--626
-
Frazier, David, see Sitaraman, Murali
-
FRCS, Bryan S., Todd, 7(2)207--225
-
free, 4(6)572--581, 8(3)369--375
-
free, lock-, 21(1)187--223
-
free, Starvation-, 25(6)947--969
-
FreeRTOS, 27(1)167--192
-
Freitas, Leo, 20(1)117--139, 21(1)133--154
-
Freitas:2008:MMZ, 20(1)117--139
-
Freitas:2009:FE, 21(1)133--154
-
French, Tim, 27(5)917--949
-
French, Tim, see Al-Bataineh, Omar
-
Friedman, Harvey M., 23(5)607--626
-
Friedman, Harvey M., see Sitaraman, Murali
-
Fritz, Fabian, 23(6)683--709
-
Fritz, Fabian, see Leuschel, Michael
-
FRS, 29(6)933--933
-
Frutos, David de, 5(3)224--252
-
Frutos, David de, see Quemada, Juan
-
FSP, 22(6)681--711
-
Fu, Peng, 29(3)453--474
-
Fu, Xiang, 25(6)847--891
-
Fu, Yuxi, 31(1)47--58
-
Fu, Yuxi, see Dong, Xiaoju
-
Fu:2013:SLS, 25(6)847--891
-
Fu:2017:OSR, 29(3)453--474
-
Fukuda, Akira, 26(5)943--962
-
Fukuda, Akira, see Yamagata, Yoriyuki
-
full, 28(3)469--497
-
fully, 7(3)289--313, 30(5)495--523
-
Fun, 14(3)328--337
-
function, 8(6)679--705, 12(1)41--51, 17(1)38--57
-
functional, 1(1)303--319, 3(3)253--283, 4(4)341--375, 6(1)1--38,
6(1)39--59, 9(1)78--97, 20(3)241--258
-
functional, non-, 24(2)163--186
-
functionality, 26(5)963--992
-
Fundamentals, 32(1)147--148
-
Furia, Carlo A., 30(5)495--523, 30(6)627--628
-
Furia, Carlo A., see Aichernig, Bernhard K.,
see Polikarpova, Nadia
-
fusion, 24(4)623--645
-
Futatsugi, Kokichi, 29(2)309--334
-
Futatsugi, Kokichi, see Riesco, Adrián
-
futures, 27(3)551--572
-
fuzzy, 27(2)309--334