Index file section F for scicomputprogram.bib

Last update: Tue Nov 4 02:03:05 MST 2025

Return to index directory

F

F, 5(3)318--320, 12(1)87--88, 14(1)110--110, 24(2)186--187
F-Alloy, 162(z)55--75
F.R.G, 12(3)260--264
Fabiani, Erwan, 96(z)156--174
Fabiani, Erwan, see Lagadec, Loïc
Fábregas, Ignacio, 78(12)2468--2487, see Aceto, Luca
Fabresse, L., 96(z)141--155, 140(z)2--16
Fabresse, L., see Papoulias, N., see Polito, G.
Fabresse, Luc, 98(z)339--359, 195(z)z--z
Fabresse, Luc, see Peck, Mariano Martinez, see Tesone, Pablo
Fabri, Andreas, 76(4)307--323
Fabri, Andreas, see Pion, Sylvain
Fabry, Johan, 71(3)165--180, 75(12)1235--1261, 78(1)65--92, 79(z)6--22, 96(z)34--51, 96(z)52--69, 133(z)1--19
Fabry, Johan, see Allende, Esteban, see Campusano, Miguel, see Tanter, Éric, see Van Ryseghem, Benjamin, see Zambrano, Arturo
Fabry:2008:KKA, 71(3)165--180
Fabry:2014:AEM, 79(z)6--22
face, 234(z)z--99999999
face, face-to-, 90(z)34--41
face-to-face, 90(z)34--41
facet, 94(z)18--31
Fachada, Nuno, 143(z)9--19
Fachada:2017:CCF, 143(z)9--19
Facilitating, 129(z)3--19
facility, 24(3)249--286
FACS, 94(z)253--254, 113(z)221--222, 146(z)1--1, 178(z)43--44, 200(z)z--99999999, 218(z)z--99999999, 248(z)z--99999999
FACS'09, 78(1)1--2
FACS'12, 91(z)1--2
fact, 134(z)100--111, 240(z)z--99999999
factor, 48(1)67--80, 89(z)144--161, 233(z)z--99999999
Factorizable, 25(2)149--186
factory, 36(2)209--266, 45(2)175--191
factual, counter-, 200(z)z--99999999
Fadlisyah, Muhammad, 99(z)95--127
Fadlisyah:2015:FMA, 99(z)95--127
Fagerholm, Fabian, 198(z)z--99999999
Fagerholm, Fabian, see Bednarik, Roman
Fähndrich, Manuel, 75(9)796--807, see Logozzo, Francesco
Fahrenberg, Uli, 115(z)225--246, 223(z)z--99999999
Fahrenberg, Uli, see Le, Thi Thieu Hoa
Fahrenberg:2022:FG, 223(z)z--99999999
failboxes, 184(z)z--99999999
failed, 78(3)293--309
failure, 77(7)940--954, 89(z)144--161, 130(z)37--68, 230(z)z--99999999
Failure-free, 71(3)181--212
fair, 76(9)756--773
Fairbairn, Jon, 6(3)273--290
Fairbairn:1986:NTC, 6(3)273--290
fairness, 3(1)65--100, 78(9)1521--1537, 99(z)193--234
fairness-based, 225(z)z--99999999
Faithful, 13(2)181--218
Fakih, Khaled, El-, 80(z)343--355, 233(z)z--99999999, 241(z)z--99999999
Falbo, Ricardo de Almeida, 135(z)20--44
Falbo, Ricardo de Almeida, see Fonseca, Vinícius Soares
Falcão, Diogo, 95(z)275--297, see Carvalho, Gustavo
Falcone, Yliès, 123(z)2--41
Falcone:2016:RER, 123(z)2--41
Falleri, Jean-Rémy, 76(12)1177--1193, 89(z)298--319, see Abdeen, Hani, \see{Laval, Jannik
Falletta, V., 74(1)23--33
Falletta, V., see Bianchi, G.
false, 15(1)97--97, 246(z)z--z
FAMe-TM, 133(z)154--174
FAMILIAR, 78(6)657--681
family, 9(1)17--35, 77(4)444--479, 83(z)35--55, 88(z)54--81, 97(z)105--112, 126(z)52--72, 146(z)28--49, 172(z)264--293, 201(z)z--99999999, 213(z)z--99999999, 243(z)z--99999999
family-based, 224(z)z--99999999
Fan, Guisheng, 217(z)z--99999999
Fan, Guisheng, see Huang, Zijie
Fantechi, A., 128(z)2--21
Fantechi, A., see Bonacchi, A.
Fantechi, Alessandro, 76(2)63--64, 76(2)119--135, 78(7)828--842
Fantechi, Alessandro, see Beek, Maurice H. ter, see Cofer, Darren, \see{Ferrari, Alessio
Fapojuwo, Abraham, 67(2)125--161
Fapojuwo, Abraham, see Shehata, Mohamed
Farahani, Mandana, Vaziri-, 28(2)273--299
Farahbod, Roozbeh, 79(z)23--38
Farahbod:2014:EFS, 79(z)23--38
farewell, 93(z)89--109
Faria, Carla, 95(z)26--43
Faria:2014:DIP, 95(z)26--43
Fariñas, 24(1)102--103
Farkas, 247(z)z--99999999
Farmer, Andrew, 112(z)170--193
Farmer, Andrew, see Adams, Michael D.
Farré, C., 202(z)z--99999999, see López, L.
Farré, Carles, 168(z)18--37, see Ameller, David
FASE, 232(z)z--99999999, 240(z)z--99999999
Fashioning, 12(2)174--175
fast, 25(1)1--39, 26(1)59--78, 30(3)287--308, 57(3)295--317, 110(z)23--50, 132(z)226--246, 214(z)z--99999999, 244(z)z--99999999
faster, 35(2)137--161
Fathabadi, Asieh Salehi, 111(z)318--338
Fathabadi, Asieh Salehi, see Alkhammash, Eman
fault, 4(1)1--15, 8(1)43--67, 8(2)203--211, 29(1)3--22, 29(1)99--122, 29(1)171--197, 46(1)137--162, 53(2)165--194, 56(3)343--361, 89(z)350--373, 92(z)105--128, 98(z)205--232, 196(z)z--99999999, 226(z)z--99999999, 241(z)z--99999999
fault-proneness, 102(z)44--56
Fault-Tolerant, 4(1)1--15
fault-tolerant, 3(1)117--117, 118(z)24--39, 154(z)89--133
Fava, Daniel Schnetzer, 195(z)z--99999999
Fava:2020:RSG, 195(z)z--99999999
Favela, Jesús, 77(1)46--65, see Rodríguez, Marcela D.
Fazlalizadeh, Yalda, 78(1)93--116
Fazlalizadeh, Yalda, see Khalilian, Alireza
FBD, 163(z)115--137
FBDTester, 163(z)115--137
FCPP, 231(z)z--99999999
FDAF, 66(1)87--102
FDIR, 196(z)z--99999999
feasible, 228(z)z--z
Feather, Martin S., 2(2)91--131
Feather, Martin S., see London, Philip E.
Featherweight, 74(5)261--278
feature, 24(3)249--286, 29(1)259--278, 41(1)53--84, 53(3)333--352, 63(2)130--146, 76(12)1130--1143, 77(3)131--151, 78(6)657--681, 78(12)2295--2312, 96(z)230--253, 98(z)120--139, 154(z)89--133, 171(z)1--20, 172(z)264--293, 202(z)z--99999999, 205(z)z--99999999, 211(z)z--99999999, 212(z)z--99999999, 213(z)z--99999999, 214(z)z--z, 234(z)z--99999999
feature-based, 75(5)311--332, 75(11)1022--1047, 161(z)18--33
feature-oriented, 77(3)129--130, 77(3)152--173, 77(3)174--187, 79(z)70--85, 93(z)65--85, 161(z)18--33
featured, 171(z)67--88, 223(z)z--99999999
FeatureIDE, 79(z)70--85
featuring, 77(6)741--742, 133(z)91--115
February, 2(1)89--89, 22(0)181--356, 186(z)z--99999999, 187(z)z--99999999, 202(z)z--99999999, 214(z)z--99999999, 240(z)z--99999999
Fecht, Christian, 35(2)137--161
Fecht:1999:FSG, 35(2)137--161
Fed, 1(1)149--155, 3(1)117--117
Fédèle, Carine, 56(3)363--401, see Ponsini, Olivier
Federated, 235(z)z--99999999, 243(z)z--99999999
feedback, 60(2)189--204, 88(z)110--129, 105(z)73--91, 129(z)35--47, 247(z)z--99999999
feedback-driven, 227(z)z--99999999
Feeley, Marc, 57(3)295--317
Feeley, Marc, see Latendresse, Mario
Fehr, E., 31(1)47--73
Fehrenbach, Stefan, 155(z)103--145
Fehrenbach:2018:LIP, 155(z)103--145
Feijen, 12(2)165--167
Feijen, Dijkstra-, 22(1)67--105
Feijen, W. H. J., 1(1)145--147, 29(3)327--334
Feijen, W. H. J., see van der Sommen, F. W.
Feijen:1981:BRP, 1(1)145--147
Feijs, 24(2)185--186
Feijs, L. M. G., 14(1)106--109, 33(2)163--212
Feijs, Loe M. G., 39(2)149--188, 42(2)173--228
Feijs:1990:BRB, 14(1)106--109
Feijs:1999:RPA, 33(2)163--212
Feijs:2001:MNA, 39(2)149--188
Feijs:2002:CA, 42(2)173--228
Feil, Rene, 86(z)43--57
Feil, Rene, see Gonzalez-Calleros, Juan
Feitosa, Samuel, da Silva, 173(z)37--55
Feitosa, Samuel, 196(z)z--99999999
Feitosa:2020:TDA, 196(z)z--99999999
Fekete, Alan, 105(z)124--144
Fekete, Alan, see Kakkad, Vasvi
Felderer, Michael, 229(z)z--99999999
Felderer:2023:ISQ, 229(z)z--99999999
Feldman, Jerome A., 5(3)318--320
Feldman:1985:BRB, 5(3)318--320
Feldt, Robert, 240(z)z--99999999
Feldt, Robert, see Lee, Seongmin
Felgentreff, T., 134(z)4--18
Felgentreff:2017:IRR, 134(z)4--18
Feliachi, Abderrahmane, 196(z)z--z
Feliachi, Abderrahmane, see Halchin, Alexandra
Felizardo, Katia, Romero, 244(z)z--99999999
Felleisen, 11(1)88--90
Felleisen, Matthias, 17(1)35--75, 75(7)496--515
Felleisen, Matthias, see Culpepper, Ryan
Felleisen:1991:EPP, 17(1)35--75
Feng, Thomas Huining, 77(12)1235--1271
Feng, Thomas Huining, see Bae, Kyungmin
Feng, Xinyu, 187(z)z--99999999
Feng, Xinyu, see Wang, Jiawei
Feng, Yuan, 78(9)1679--1700
Feng, Yuan, see Ying, Mingsheng
Ferdinand, Christian, 35(2)163--189
Ferdinand:1999:CBP, 35(2)163--189
Ferdous, Raihana, 227(z)z--99999999
Ferdous:2023:EEM, 227(z)z--99999999
FermaT, 52(1)213--255
Fernandes, Herbert Rausch, 232(z)z--z
Fernandes, João M., 234(z)z--99999999, see Ignaim, Karam
Fernandes, João Paulo, 132(z)2--28, 132(z)77--95, 173(z)71--94, 205(z)z--99999999, see Martins, Pedro, see Pardo, Alberto, \see{Pereira, Rui
Fernandes, Leo, 191(z)z--99999999
Fernandes, Leo, see Pinheiro, Pedro
Fernandes, Therrezinha, 65(2)173--194
Fernandes:2007:DDF, 65(2)173--194
Fernandes:2019:MZB, 173(z)71--94
Fernandes:2024:SFM, 232(z)z--z
Fernandez, J.-C., 18(3)247--269
Fernandez, J.-C., see Bouajjani, A.
Fernandez, Jean-Claude, 13(2)219--236, 29(1)123--146, 47(2)203--220
Fernández, Nelly, Condori-, 78(11)2245--2258
Fernández, Pablo, 77(1)4--28, see Resinas, Manuel
Fernández, Rubén, Fuentes-, 77(3)247--269
Fernández, S., Martínez-, 134(z)61--74
Fernández, S., Mart{\'{\i}}nez-, 202(z)z--99999999
Fernández-Castro, Isabel, 78(11)2268--2281, see Losada, Begoña
Fernández-Díaz, Á, 98(z)205--232
Fernandez-Diaz:2015:ADF, 98(z)205--232
Fernández-Llamas, Camino, 88(z)41--53, see Conde, Miguel Á.
Fernández-Manjón, B., 71(1)1--16, see Navarro, A.
Fernández-Manjón, Baltasar, 67(1)3--31, see Moreno-Ger, Pablo
Fernandez-Marquez, Jose Luis, 110(z)1--2
Fernandez-Marquez:2015:PFC, 110(z)1--2
Fernández-Valmayor, A., 71(1)1--16, see Navarro, A.
Fernandez:1990:IEA, 13(2)219--236
Fernandez:1997:EAG, 29(1)123--146
Fernandez:2003:SSR, 47(2)203--220
Ferrando, Angelo, 172(z)160--179, 205(z)z--99999999, 240(z)z--99999999
Ferrando, Angelo, see Ancona, Davide
Ferrando:2019:EBC, 172(z)160--179
Ferrando:2025:TPM, 240(z)z--99999999
Ferrara, Pietro, 191(z)z--99999999
Ferrara:2020:CJB, 191(z)z--99999999
Ferrari, Alessio, 78(7)828--842
Ferrari, Fabiano, 119(z)31--50, 191(z)z--99999999
Ferrari, Fabiano, see Pinheiro, Pedro, see Santos, Adriano
Ferrari, Fabiano Cutigi, 78(9)1639--1662
Ferrari, Gian-Luigi, 133(z)20--50, 187(z)z--99999999
Ferrari, Gian-Luigi, see Basile, Davide, see Bodei, Chiara
Ferrari, Gianluigi, 75(10)848--878
Ferrari, Gianluigi, see Ciancia, Vincenzo
Ferrari, Luca, 54(1)73--98, 59(1)127--146
Ferrari, Luca, see Cabri, Giacomo
Ferrari:2013:MRC, 78(7)828--842
Ferrari:2013:TPM, 78(9)1639--1662
Ferrarotti, Flavio, 184(z)z--99999999, 210(z)z--99999999, 223(z)z--99999999
Ferrarotti, Flavio, see Schewe, Klaus-Dieter
Ferrarotti:2019:BAS, 184(z)z--99999999
Ferreira de Souza, Érica, 244(z)z--99999999, see Da Silva, Patrick Rodrigo
Ferreira, André L., 234(z)z--99999999, see Ignaim, Karam
Ferreira, Bruno Morais, 173(z)3--20
Ferreira, Felipe, 240(z)z--99999999
Ferreira, Gabriel Coutinho Sousa, 93(z)65--85, 96(z)230--253
Ferreira, Gabriel Coutinho Sousa, see Gaia, Felipe Nunes
Ferreira, João F., 76(3)160--180, 78(11)2029--2046, see Backhouse, Roland
Ferreira, Renato, 78(8)1193--1206
Ferreira, Renato, see Mata, Leonardo Luiz Padovani da
Ferreira:2014:UFO, 93(z)65--85
Ferreira:2019:DEV, 173(z)3--20
Ferreira:2025:ESU, 240(z)z--99999999
Feuser, Johannes, 91(z)188--215
Feuser:2014:DOP, 91(z)188--215
FFI-based, 243(z)z--99999999
FIACRE, 106(z)30--53
Fiadeiro, José, 77(5)577--608
Fiadeiro, Jose Luiz, 28(2)111--138
Fiadeiro, José Luiz, 44(2)133--155, 61(2)114--135, 93(z)1--2, 113(z)221--222, 191(z)z--99999999, see Braga, Christiano, see Cavalheiro, Simone, see Lopes, Antónia, see Wermelinger, Michel
Fiadeiro:1997:CSP, 28(2)111--138
Fiadeiro:2012:FMS, 77(5)577--608
Fiadeiro:2015:FAC, 113(z)221--222
Fichera, Loris, 139(z)36--55
Fichera:2017:PFP, 139(z)36--55
Fickas, Stephen, 20(1)3--50
Fickas, Stephen, see Dardenne, Anne
fidelity, High-, 68(2)64--78
Fidge, Colin, 163(z)160--173
Fidge, Colin, see Furda, Andrei
Fiege, L., 90(z)161--179
Fiege, L., see Rupanov, V.
field, 98(z)735--763, 111(z)365--394, 117(z)17--44
Field, J., 58(1)57--82
Field, John, 77(6)661--662
field, mean-, 110(z)23--50
Field-sensitive, 95(z)359--375
Field:2005:TVA, 58(1)57--82
Field:2012:SPE, 77(6)661--662
fifth, 13(1)131--132, 46(3)195--196, 98(z)1--2
Figueiredo, Daniel, 216(z)z--99999999
Figueiredo, Daniel, see Campos, Suene
Figueiredo, Eduardo, 93(z)65--85, 96(z)230--253, 119(z)31--50, 247(z)z--99999999
Figueiredo, Eduardo, see Cruz, Daniel, see Ferreira, Gabriel Coutinho Sousa, see Gaia, Felipe Nunes, see Santos, Adriano
Figueiredo, Lucília, 124(z)1--19, see Camarão, Carlos
Figueroa, Fernando, Sanchez-, 168(z)165--168
Figueroa, Ismael, 80(z)311--342, 119(z)3--30, 201(z)z--99999999
Figueroa, Ismael, see Tanter, Éric
Figueroa-Martinez, Jose, 78(11)2259--2267
Figueroa-Martinez:2013:EUL, 78(11)2259--2267
Figueroa:2016:ECH, 119(z)3--30
Figueroa:2021:WMH, 201(z)z--99999999
Filali, Mamoun, 106(z)30--53, 199(z)z--z, 207(z)z--99999999
Filali, Mamoun, see Bodeveix, Jean-Paul, see Yang, Zhibin
file, 12(1)1--38, 29(3)279--302, 74(4)197--218, 74(4)238--257
Filé, Gilberto, 47(2)89--90, see Cortesi, Agostino
files, 241(z)1--5
Filho, Britaldo Silveira, Soares-, 173(z)3--20
Filho, Eddie B. de Lima, 152(z)63--69
Filho, Eddie B. de Lima, see Monteiro, Felipe R.
Filho, João B. Ferreira, 78(12)2381--2398, see Marinho, Fabiana G.
Filho, João E. Chaves, 165(z)1--2, see Araújo, Rodrigo F.
Filho, Madiel Conserva, 174(z)1--37
Filho, Madiel Conserva, see Cavalcanti, Ana
Filieri, Antonio, 97(z)47--54
Filieri, Antonio, see Bianculli, Domenico
Filliâtre, Jean-Christophe, 64(3)332--340, 91(z)216--233, see Almeida, José Bacelar
Filliatre:2007:FPP, 64(3)332--340
Filling, 242(z)z--99999999
Filman, 5(3)318--320
Filter, 14(2)229--242
filtering, 98(z)707--734, 187(z)z--99999999
final, 6(1)89--94
finalization, 196(z)z--99999999
Finance, Jean-Pierre, 5(2)201--218, 5(3)233--264, 19(1)25--59
Finance, Jean-Pierre, see Perrin, Guy-René, see Souquières, Jeanine
Finance:1985:MLC, 5(2)201--218
Finch, Clement A., Baker-, 14(1)81--96
find, 64(3)332--340, 195(z)z--99999999
finders, 215(z)z--99999999
finding, 2(2)143--152, 6(1)1--9, 75(11)921--942, 78(4)390--411, 115(z)177--198, 188(z)z--99999999
fine, 161(z)149--171
fine-grained, 238(z)z--99999999
Finger, Frank, 44(1)51--69
Finger, Frank, see Hussmann, Heinrich
finite, 2(3)241--266, 7(3)313--319, 8(3)275--306, 19(2)171--196, 20(1)51--71, 23(1)19--53, 24(3)189--220, 28(2)273--299, 29(1)123--146, 29(3)303--326, 35(2)191--221, 39(1)57--92, 80(z)343--355, 111(z)365--394, 151(z)2--17, 158(z)100--121, 179(z)1--23, 197(z)z--99999999, 231(z)z--99999999
finite-state, 14(2)185--228
Finocchi, Irene, 53(1)37--49
Finocchi, Irene, see Bonifaci, Vincenzo
Fioravanti, F., 95(z)149--175, 147(z)78--108
Fioravanti, F., see De Angelis, E.
Fiore, Marcelo P., 33(1)97--99
Fiore:1999:BRB, 33(1)97--99
first, 10(1)87--88, 10(1)88--89, 22(1)3--19, 85(z)1--4, 93(z)110--124, 97(z)309--319, 98(z)318--338, 172(z)160--179
first, code-, 89(z)374--407
first-class, 179(z)54--86
first-order, 10(2)177--210, 39(1)125--148, 137(z)2--62, 155(z)146--172, 158(z)3--20
First-past-the-post, 85(z)166--203
first/depth, Breadth-, 22(1)3--19
Fischer, Lars, 97(z)183--201
Fischer, Lars, see Karatas, Fatih
Fisher, Michael, 10(2)215--216, 148(z)88--106
Fisher, Michael, see Kamali, Maryam
Fisher:1988:BRB, 10(2)215--216
Fitting, 11(1)91--94
Fitzgerald, Brian, 101(z)79--98
Fitzgerald, Brian, see Stol, Klaas-Jan
Fitzpatrick, Stephen, 28(1)1--41
Fitzpatrick:1997:ATA, 28(1)1--41
Five, 62(2)95--97
fixed, 11(3)197--261, 22(0)181--356, 22(3)283--306, 23(1)103--103, 228(z)z--z
Fixed-Space, 2(2)133--141
fixing, 233(z)z--99999999
fixpoint, 41(3)241--275, 231(z)z--99999999
Flack, C., 57(3)357--378
Flack, C., see Palacz, K.
flag, 7(1)87--97
Flammini, Francesco, 118(z)1--2
Flammini, Francesco, see Lang, Frédéric
Flanagan, Cormac, 50(1)253--270, 64(1)140--165, 71(2)89--109, 112(z)227--260
Flanagan, Cormac, see Yi, Jaeheon
Flanagan:2004:ASM, 50(1)253--270
Flanagan:2007:TIA, 64(1)140--165
Flanagan:2008:ADA, 71(2)89--109
flash, 74(4)219--237, 76(2)136--157
flattening, 109(z)2--35
flaws, 228(z)z--99999999
FLeCCS, 240(z)z--99999999
Fleming, Tom, 172(z)102--116
Fleming, Tom, see Deutschbein, Calvin
flexibility, 78(2)195--217
flexible, 63(1)39--56, 72(1)22--30, 72(1)40--51, 76(11)970--991, 77(6)663--684, 78(7)907--932, 78(9)1538--1558, 88(z)3--21, 96(z)156--174
flight, 78(12)2360--2380
Flinkow, Thomas, 244(z)z--z
Flinkow:2025:CDL, 244(z)z--z
floating, 98(z)184--204
floating-point, 33(2)133--162, 96(z)279--296
FLOPS, 238(z)z--z
Florido, Mário, 111(z)505--534, see Rodrigues, Vítor
flow, 1(3)203--222, 7(1)1--22, 10(1)65--85, 11(1)1--15, 16(1)1--18, 21(2)115--139, 22(3)257--282, 26(1)59--78, 30(1)119--155, 30(3)251--286, 30(3)309--338, 37(1)113--138, 39(1)3--29, 64(1)3--28, 65(2)173--194, 67(2)162--198, 75(6)376--397, 78(10)1809--1827, 113(z)29--50, 130(z)2--23, 168(z)118--141, 168(z)165--168, 187(z)z--99999999, 228(z)z--z
flow, data-, 30(1)119--155, 201(z)z--99999999
flow, information-, 247(z)z--99999999
flow-network, 93(z)19--38
flow-sensitive, 190(z)z--z
Floyd, 22(1)3--19
fly, On-the-, 77(12)1272--1288, 110(z)23--50, 127(z)2--23
fly, on-the-, 10(2)107--137, 46(3)255--281, 77(10)1075--1094
FM, 240(z)z--99999999
FMICS, 76(2)63--64, 78(7)775--777
FMICS'11, 80(z)107--108
FMICS'2014, 118(z)1--2
FMTA, 28(0)91--299
Focardi, Riccardo, 63(1)1--2, 63(1)3--15
Focardi:2006:GEI, 63(1)1--2
Focardi:2006:SSD, 63(1)3--15
Foclasa, 191(z)z--99999999
FOCLASA'06, 74(9)669--670
FOCLASA'09, 77(7)777--778
FOCLASA'10, 80(z)1--2
focus, 237(z)z--99999999
focused, Object-, 98(z)394--407
Foisy, Christian, 37(1)253--277
Foisy, Christian, see Loulergue, Frédéric
Fok, Chien-Liang, 77(6)663--684, 78(2)195--217
Fok:2012:SFS, 77(6)663--684
Fok:2013:ASP, 78(2)195--217
Fokkinga, Maarten M., 9(3)263--270, 16(1)19--48
Fokkinga:1987:CPS, 9(3)263--270
Fokkinga:1991:ETP, 16(1)19--48
Fokkink, Wan, 118(z)3--23
Fokkink, Wan, see Lockefeer, Lars
fold, 51(1)87--116, 78(11)2108--2159, 231(z)z--99999999
FoLLI, 38(1)147--149
Fong, Philip W. L., 67(2)278--300
Fong:2007:RAS, 67(2)278--300
Fons, Joan, 78(12)2399--2413
Fons, Joan, see Cetina, Carlos
Fonseca, Baldoino, 191(z)z--99999999
Fonseca, Baldoino, see Pinheiro, Pedro
Fonseca, Vinícius Soares, 135(z)20--44
Fonseca:2017:OBA, 135(z)20--44
Fontaine, Pascal, 77(4)518--532, 94(z)130--143
Fontaine, Pascal, see Déharbe, David, see Oliveira, Diego Caminha B. de
FOPARA, 111(z)363--364, 111(z)365--394, 111(z)395--425, 111(z)426--457, 111(z)458--482, 111(z)483--504, 111(z)505--534
Forax, Rémi, 77(9)990--1005, see Cervelle, Julien
Forcina, Giorgio, 168(z)142--164
Forcina, Giorgio, see Berardinis, Jacopo de
forecast, 74(11)934--988, 77(3)314--354
forecasting, 234(z)z--99999999
foreword, 12(2)170--172, 14(2)113--115, 17(1)1--z, 21(2)91--z, 22(1)1--z, 23(2)105--105, 25(2)79--80, 29(1)1--2, 30(1)1--2, 31(1)1--1, 32(1)1--2, 36(1)1--3, 44(2)131--132, 51(1)1--2, 59(1)1--3, 64(1)1--2, 70(2)87--88, 75(6)375--375, 78(5)423--424, 89(z)1--1, 115(z)1--2
Foreword, issue-, 74(5)259--260
fork, 241(z)z--z
form, 9(1)1--15, 28(1)1--41, 31(1)3--45, 62(3)228--252
Form, CD-, 95(z)390--405
form-based, 56(1)59--78
formal, semi-, 67(2)125--161
formalisation, 62(3)228--252, 76(7)587--608, 76(8)633--650, 92(z)25--55
Formalised, 196(z)z--z
Formalising, 78(12)2435--2452
formalism, 2(1)19--52, 3(2)151--188, 8(3)231--274, 15(1)55--77, 22(1)67--105, 33(2)101--131, 72(3)71--135, 77(1)66--80, 77(6)743--759, 183(z)z--99999999, z(z)z--z
formality, 29(1)53--78, 42(1)29--38
formalization, 8(1)1--42, 37(1)3--36, 75(5)333--349, 96(z)191--210, 195(z)z--99999999, 199(z)z--z
Formalizing, 18(1)107--137, 94(z)164--202, 187(z)z--99999999, 189(z)z--99999999, 195(z)z--99999999
formally, 29(1)79--98, 171(z)42--66, 216(z)z--99999999, 216(z)z--z, 245(z)z--99999999
format, 60(2)149--170, 77(7)889--907
Formato, Ferrante, 30(1)201--226
Formato, Ferrante, see Borghoff, Uwe M.
formatting, 35(1)3--27
formulas, 23(2)107--125, 99(z)193--234, 245(z)z--99999999
Fornari, Fabrizio, 166(z)35--70
Fornari, Fabrizio, see Corradini, Flavio
Fornarino, Mireille, Blay-, 78(8)1035--1054
Fornés, Antonio, Tenorio-, 111(z)156--189
Fors, Niklas, 114(z)74--84
Fors:2015:JIO, 114(z)74--84
Forti, Stefano, 230(z)z--99999999
Forti, Stefano, see Soldani, Jacopo
Fortino, Giancarlo, 78(6)725--746
Fortino:2013:ALT, 78(6)725--746
forum, 244(z)z--99999999
forward, 22(3)307--326, 27(1)1--35, 36(2)131--147, 64(1)3--28, 231(z)z--99999999, 241(z)z--99999999
Forward, Andrew, 208(z)z--99999999
Forward, Andrew, see Lethbridge, Timothy C.
forward, store-and-, 4(3)249--256
FOSD, 77(3)129--130
FOSS, 76(12)1144--1160, 91(z)249--265
Foss, Luciana, 77(3)214--246
Foss, Luciana, see Ribeiro, Leila
Fossil, 247(z)z--99999999
Foster, 15(1)111--112
Foster, Simon, 197(z)z--99999999
Foster:2020:USF, 197(z)z--99999999
Fouh, Eric, 88(z)22--40
Fouh:2014:DAI, 88(z)22--40
foundation, 4(2)219--219, 10(2)211--212, 12(3)257--259, 13(1)128--130, 15(1)97--97, 15(1)115--116, 16(1)90--90, 16(1)91--92, 24(1)99--100, 28(0)91--299, 28(2)171--192, 28(2)225--246, 38(1)155--157, 55(1)3--52, 63(3)203--206, 73(1)1--2, 74(9)669--670, 75(11)1022--1047, 77(7)777--778, 80(z)1--2, 96(z)107--120, 107(0)41--63, 115(z)147--148, 160(z)30--47, 168(z)169--170, 191(z)z--99999999, 194(z)z--z, 197(z)z--99999999, 205(z)z--99999999
foundational, 25(2)117--147, 96(z)417--443, 111(z)363--364, 111(z)365--394, 111(z)395--425, 111(z)426--457, 111(z)458--482, 111(z)483--504, 111(z)505--534
founded, well-, 4(3)257--290
four, 10(2)218--219, 102(z)57--75
four-variable, 111(z)339--362
Fourier, 26(1)59--78
Fournier, Paulin, 199(z)z--99999999
Fournier, Paulin, see Lecomte, Thierry
Fourth, 22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354
Fowler, Simon, 197(z)z--99999999
Fowler, Simon, see Choi, Kwanghoon
FP, 6(1)11--34, 19(1)61--85
fp, 6(1)11--34, 10(3)281--318
Fradet, Pascal, 31(2)263--289, 63(3)203--206, 75(7)516--542, 77(3)393--422
Fradet, Pascal, see Djoko, Simplice Djoko
Fradet:1998:SG, 31(2)263--289
Fradet:2006:SIF, 63(3)203--206
Fradet:2010:AAE, 75(7)516--542
Fragal, Vanderson Hafemann, 171(z)67--88
Fragal:2019:HFS, 171(z)67--88
Frageri, Davide, 231(z)z--99999999
Frageri, Davide, see Bucchiarone, Antonio
fragment, 4(2)159--204
Fraikin, Benoît, 74(9)723--753, 94(z)217--237
Fraikin:2009:ESC, 74(9)723--753
Fraikin:2014:SCT, 94(z)217--237
frame, 97(z)163--172
Framed, 70(1)31--61
framework, 18(2)221--222, 20(1)51--71, 20(1)141--171, 22(1)157--180, 31(2)313--334, 42(2)129--171, 44(1)5--22, 50(1)23--49, 57(3)357--378, 58(3)293--309, 59(1)147--169, 60(1)27--67, 63(3)297--320, 68(3)214--234, 70(2)127--148, 73(2)76--94, 75(7)615--637, 76(12)1223--1246, 77(7)870--886, 78(8)1073--1098, 78(9)1572--1599, 78(12)2468--2487, 79(z)70--85, 79(z)126--145, 79(z)172--188, 79(z)189--203, 88(z)41--53, 89(z)199--221, 94(z)32--52, 97(z)202--234, 98(z)531--550, 98(z)707--734, 101(z)99--123, 102(z)1--19, 103(z)71--87, 113(z)223--235, 113(z)236--260, 115(z)225--246, 122(z)1--28, 139(z)36--55, 143(z)9--19, 149(z)9--14, 157(z)56--70, 166(z)214--230, 167(z)70--90, 173(z)21--36, 177(z)19--40, 182(z)42--63, 191(z)z--99999999, 193(z)z--99999999, 196(z)z--z, 197(z)z--99999999, 199(z)z--z, 206(z)z--99999999, 207(z)z--z, 210(z)z--z, 211(z)z--99999999, 213(z)z--99999999, 223(z)z--99999999, 227(z)z--99999999, 229(z)z--z, 230(z)z--99999999, 231(z)z--99999999, 231(z)z--z, 232(z)z--99999999, 234(z)z--99999999, 236(z)z--99999999, 236(z)z--z, 237(z)z--z, 238(z)z--99999999, 239(z)z--99999999, 240(z)z--99999999, 242(z)z--99999999, 242(z)z--z, 243(z)z--99999999, 248(z)z--99999999
França, Breno de, 243(z)z--z, see Giachetti, Giovanni
Francalanza, Adrian, 168(z)94--117, 232(z)z--99999999, 248(z)z--z
Francalanza, Adrian, see Aceto, Luca, see Bernardi, Giovanni
Francalanza:2026:GMP, 248(z)z--z
France, 22(0)181--356, 247(z)z--z
France, Robert B., 78(6)657--681
France, Robert B., see Acher, Mathieu
Francel, Margaret Ann, 40(2)151--169
Francel:2001:VSW, 40(2)151--169
Franceschini, Luca, 205(z)z--99999999
Franceschini, Luca, see Ancona, Davide
Francesco, Nicoletta, De, 21(3)225--261, 30(3)309--338, 32(1)145--176
Francez, Nissim, 2(3)155--173, 3(1)101--114, 6(1)35--88
Francez, Nissim, see Elrad, Tzilla E.
Francez:1983:ENC, 3(1)101--114
Francez:1986:SCA, 6(1)35--88
Franch, X., 134(z)61--74, 202(z)z--99999999
Franch, X., see López, L., see Martínez-Fernández, S.
Franch, Xavier, 168(z)18--37
Franch, Xavier, see Ameller, David
Franchin, Ivan Gustavo, 74(10)861--878
Franchin, Ivan Gustavo, see Lemos, Otávio Augusto Lazzarini
Franco, Juliana, 197(z)z--z
Franco, Juliana, see Tasos, Alexandros
Frank, Michael, 173(z)21--36
Frank, Michael, see Bessa, Tarsila
Franz, Michael, 56(1)41--57, 57(3)275--294, 76(11)1037--1053
Franz, Michael, see Fröhlich, Peter H., see Wagner, Gregor
Franz:2005:PVM, 57(3)275--294
Frappier, M., 26(1)237--254
Frappier, Marc, 38(1)73--123, 74(9)723--753, 78(3)270--271, 94(z)217--237, 131(z)76--93, 188(z)z--z
Frappier, Marc, see Ben Ayed, Rahma, see Fraikin, Benoît, see Huynh, Nghi, \see{Krings, Sebastian
Frappier:1996:RCP, 26(1)237--254
Frappier:2013:ASM, 78(3)270--271
Fraser, Douglas, 244(z)z--99999999
Fraser, Douglas, see Miller, Alice
Fraser, Gordon, 78(4)343--344
Fraser, Gordon, see Bousquet, Lydie du
Frasincar, Flavius, 94(z)32--52
Frasincar, Flavius, see Hogenboom, Frederik
Fraternali, Piero, 89(z)71--87
Fraternali, Piero, see Brambilla, Marco
Frechina, Francisco, 80(z)385--415
Frechina, Francisco, see Alpuente, María
Fred, 10(2)215--216
Fredlund, L., 98(z)205--232
Fredlund, L., see Fernández-Díaz, Á.
free, 25(1)1--39, 51(1)153--196, 76(2)82--99, 105(z)26--43, 111(z)79--109, 237(z)z--99999999
free, alternation-, 46(3)255--281
free, clash-, 158(z)21--40
free, context-, 36(2)209--266, 75(3)176--191, 89(z)235--250
free, deadlock-, 4(3)249--256
free, Failure-, 71(3)181--212
Free, Livelock-, 4(3)249--256
free, livelock-, 4(3)249--256
free, Lock-, 64(3)341--374
free, Point-, 27(2)205--214
free, Wait-, 25(1)1--39
free, wait-, 19(3)197--237
freedom, 2(2)91--131, 97(z)366--380, 98(z)184--204
freedom, lock-, 74(3)143--165
Freedoms, 2(2)91--131
Freeman, 14(1)106--109, 24(2)183--185
Freeman, John, 75(9)762--772
Freeman, John, see Järvi, Jaakko
Freitas, Leo, 74(4)197--218, 74(4)219--237, 74(4)238--257, 175(z)17--34, 200(z)z--99999999
Freitas, Leo, see Butterfield, Andrew, see Harrison, Michael D.
Freitas, Renata de, 73(2)129--135
Freitas, Rosiane de, 165(z)24--37
Freitas, Rosiane de, see Valentin, Eduardo
Freitas:2009:PFS, 74(4)238--257
Freitas:2009:VCF, 74(4)197--218
Freitas:2020:MWP, 200(z)z--99999999
French, 4(3)291--322
Frenetic-lib, 230(z)z--99999999
frequency, 113(z)236--260, 171(z)1--20
fresh, 223(z)z--99999999
Freudenthal, Margus, 114(z)85--91
Freudenthal:2015:SDT, 114(z)85--91
Freund, Stephen N., 64(1)140--165, 71(2)89--109, 112(z)227--260
Freund, Stephen N., see Flanagan, Cormac, see Yi, Jaeheon
Frias, Marcelo, 238(z)z--99999999
Frias, Marcelo, see Politano, Mariano
Frias, Marcelo F., 181(z)47--63
Frias, Marcelo F., see Molina, Facundo
Friedman, 5(3)318--320, 11(1)88--90
friend, 75(4)211--213
Frisby, Nicolas, 75(7)543--572
Frisby:2010:CLP, 75(7)543--572
Fritz, Eric, 141(z)1--39
Fritz:2017:TSA, 141(z)1--39
Fröhlich, Antônio Augusto, 165(z)3--23, see Resner, Davi
Fröhlich, Peter H., 56(1)41--57
Frohlich:2005:SSC, 56(1)41--57
front-end, 224(z)z--99999999
Froome, Peter, 16(2)204--205
Froome:1991:BRB, 16(2)204--205
Frost, Richard A., 27(3)263--288
Frost:1996:MPF, 27(3)263--288
Fruja, Nicu G., 72(3)176--219
Fruja:2008:TPT, 72(3)176--219
Frutos-Escrig, David de, 78(12)2468--2487
Frutos-Escrig, David de, see Aceto, Luca
FSEN, 77(7)887--888, 78(12)2433--2434, 112(z)1--2, 160(z)1--2, 182(z)86--87, 206(z)z--99999999, 225(z)z--99999999, 243(z)z--99999999
FSM, 177(z)1--18
FTSCS, 133(z)89--90, 154(z)1--2, 175(z)35--36, 208(z)z--99999999, 209(z)z--z, 237(z)z--99999999, 248(z)z--99999999
FTSs, 224(z)z--99999999
Fu, Cai, 245(z)z--99999999
Fu, Cai, see Lv, Jianqiang
Fu, Ming, 187(z)z--99999999
Fu, Ming, see Wang, Jiawei
Fu, Zheng, 74(4)238--257
Fu, Zheng, see Freitas, Leo
Fudgets, 46(1)99--135
fuel, 156(z)21--44
Fuentes, Lidia, 240(z)z--99999999
Fuentes, Lidia, see Horcas, Jose-Miguel
Fuentes-Fernández, Rubén, 77(3)247--269
Fuentes-Fernandez:2012:MDP, 77(3)247--269
Fukazawa, Yoshiaki, 56(1)99--116
Fukazawa, Yoshiaki, see Washizaki, Hironori
Fukuda, Hiroaki, 102(z)108--141, 201(z)z--99999999
Fukuda, Hiroaki, see Figueroa, Ismael, see Leger, Paul
Fukuda, Munehiro, 31(2)291--311
Fukuda:1998:DCM, 31(2)291--311
fulfillment, 89(z)223--234
full, 24(3)249--286, 27(3)217--262, 53(3)259--284, 109(z)2--35, 111(z)248--276
Full-abstraction, 168(z)94--117
fully, 77(10)1122--1150, 92(z)129--161, 98(z)484--515, 111(z)248--276, 169(z)18--32
fun, 15(1)1--13
function, 3(2)119--149, 6(2)159--190, 6(2)191--205, 7(3)249--278, 9(2)161--177, 9(3)263--270, 10(1)65--85, 10(3)281--318, 11(2)133--159, 12(1)39--74, 13(2)181--218, 18(1)1--38, 18(2)139--179, 22(1)21--44, 22(1)137--155, 22(3)183--195, 22(3)257--282, 22(3)283--306, 24(1)1--39, 24(1)63--81, 24(1)83--95, 24(3)221--248, 25(0)79--325, 25(2)81--116, 25(2)117--147, 26(1)33--57, 26(1)149--165, 26(1)179--196, 26(1)217--236, 27(1)37--83, 27(3)263--288, 29(3)327--334, 30(1)157--199, 31(1)3--45, 31(1)91--112, 34(3)191--205, 37(1)207--224, 42(1)101--113, 43(1)77--89, 51(1)87--116, 74(11)989--1020, 75(11)1142--1164, 76(6)516--539, 77(4)505--517, 78(9)1212--1239, 78(10)1871--1891, 90(z)2--20, 90(z)42--54, 94(z)238--252, 111(z)426--457, 111(z)483--504, 113(z)149--190, 165(z)38--53, 173(z)128--152, 180(z)36--70, 212(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 243(z)z--99999999, 244(z)z--99999999, 245(z)z--99999999
functional, 1(1)73--114, 1(3)203--222, 3(2)119--149, 6(1)11--34, 6(3)273--290, 6(3)291--311, 7(3)249--278, 7(3)279--296, 7(3)297--312, 9(1)1--15, 9(1)91--100, 10(2)177--210, 10(3)281--318, 11(2)133--159, 12(2)158--164, 12(2)164--165, 13(1)73--110, 14(1)25--42, 14(1)59--79, 16(2)198--200, 16(3)251--275, 17(1)35--75, 18(1)1--38, 19(3)239--279, 22(1)67--105, 23(2)197--226, 24(1)1--39, 24(1)63--81, 24(1)83--95, 24(2)186--187, 25(1)41--61, 25(2)187--218, 26(1)15--31, 26(1)179--196, 27(3)263--288, 27(3)289--322, 28(1)1--41, 29(1)259--278, 32(1)73--107, 32(1)109--143, 32(1)177--210, 34(1)75--77, 34(3)207--238, 35(1)3--27, 35(2)113--136, 37(1)225--252, 37(1)253--277, 43(2)193--229, 52(1)101--129, 59(3)171--208, 75(11)1048--1076, 75(12)1193--1214, 77(7)823--847, 95(z)176--199, 96(z)279--296, 98(z)120--139, 111(z)23--50, 111(z)51--78, 111(z)190--211, 111(z)426--457, 111(z)458--482, 132(z)2--28, 135(z)88--104, 135(z)105--121, 137(z)2--62, 147(z)3--26, 147(z)109--134, 208(z)z--z, 225(z)z--99999999, 230(z)z--99999999, 238(z)z--z, 248(z)z--99999999
functional, Non-, 168(z)18--37
functional, non-, 156(z)1--20, 218(z)z--99999999, 241(z)z--99999999
functors, 76(5)349--375, 104(z)44--70
functors, -, 104(z)44--70
fundamental, 3(3)279--312, 15(1)113--114, 40(1)1--2, 77(7)887--888, 78(12)2433--2434, 112(z)1--2, 160(z)1--2, 182(z)86--87, 206(z)z--99999999, 225(z)z--99999999, 231(z)z--z, 232(z)z--99999999, 240(z)z--99999999, 243(z)z--99999999
für, 3(3)223--278
Furda, Andrei, 163(z)160--173
Furda:2018:PAD, 163(z)160--173
Fürst, Andreas, 131(z)59--75
Furst:2016:LSS, 131(z)59--75
fusion, 26(1)33--57, 76(3)204--224, 78(8)1121--1136, 132(z)77--95, 143(z)1--8, 236(z)z--99999999
Futatsugi, Kokichi, 60(1)82--116, 66(2)162--180, 224(z)z--99999999
Futatsugi, Kokichi, see Kondoh, Hidetaka, see Ogata, Kazuhiro
Futatsugi:2022:APS, 224(z)z--99999999
future, 8(1)87--103, 61(1)48--57, 74(5)314--332, 77(6)707--726, 90(z)93--115, 186(z)z--99999999, 208(z)z--99999999
fuzz, 238(z)z--99999999, 239(z)z--99999999
Fuzz, TR-, 238(z)z--99999999
fuzzing, 234(z)z--99999999, 238(z)z--99999999, 246(z)z--99999999
fuzzy, 216(z)z--99999999, 237(z)z--99999999
fuzzy-logic, 230(z)z--99999999