Index file section S for scicomputprogram.bib

Last update: Fri Apr 18 02:03:15 MDT 2025

Return to index directory

S

S, 14(1)110--110, 16(1)93--95, 23(1)91--101
S2O, 236(z)z--99999999
Saadatjoo, Mohammad Ali, 184(z)z--99999999
Saadatjoo:2019:TDG, 184(z)z--99999999
Saade, Débora C., Muchaluat-, 107(0)64--92
Saake, Gunter, 79(z)70--85
Saake, Gunter, see Thüm, Thomas
Saar de Moraes, Rodrigo, 208(z)z--99999999
SaardeMoraes:2021:AMV, 208(z)z--99999999
Sabahi-Kaviani, Zeynab, 113(z)85--118, 177(z)41--66
Sabahi-Kaviani:2015:FSE, 113(z)85--118
Sabahi-Kaviani:2019:BMI, 177(z)41--66
Sabel, David, 147(z)3--26
Sabel, David, see Schmidt-Schauß, Manfred
Sabouri, Hamideh, 75(10)811--827, 83(z)35--55
Sabouri:2010:ABS, 75(10)811--827
Sabouri:2014:RVC, 83(z)35--55
SAC, 94(z)1--2
SAC-SVT'15, 132(z)141--142
Sachtleben, Robert, 226(z)z--99999999, 237(z)z--99999999
Sachtleben, Robert, see Gleirscher, Mario
Sachtleben:2024:UFC, 237(z)z--99999999
Sadoune, Idir, Ait-, 241(z)z--99999999
Sadovykh, Andrey, 232(z)z--99999999
Sadovykh:2024:IAM, 232(z)z--99999999
Safari, Hadi, 225(z)z--99999999
Safari, Hadi, see Zakeriyan, Arvin
safe, 46(3)219--254, 58(1)141--178, 59(1)26--37, 59(3)209--249, 62(2)122--144, 68(1)2--20, 75(7)573--595, 76(5)376--391, 76(11)970--991, 77(6)707--726, 78(5)481--498, 78(9)1490--1520, 98(z)140--158, 122(z)1--28, 195(z)z--99999999, 197(z)z--99999999, 203(z)z--99999999, 206(z)z--99999999, 242(z)z--99999999, 243(z)z--99999999
safe, crash-, 131(z)3--21
safe, Type-, 52(1)281--306
safe, type-, 67(2)199--222, 97(z)282--308
safe, Type-, 76(4)290--306
SafeGen, 76(5)376--391
safely, 239(z)z--99999999
safer, 93(z)39--64
safety, 22(3)197--230, 29(1)147--170, 40(1)97--118, 51(1)153--196, 58(1)264--289, 67(2)278--300, 72(3)176--219, 78(4)390--411, 80(z)150--168, 80(z)223--263, 90(z)161--179, 98(z)464--483, 98(z)516--530, 103(z)51--70, 133(z)51--73, 156(z)104--120, 172(z)117--134, 175(z)17--34, 184(z)z--99999999, 198(z)z--99999999, 199(z)z--99999999, 200(z)z--99999999, 215(z)z--99999999, 216(z)z--99999999, 218(z)z--99999999, 231(z)z--99999999, 236(z)z--99999999
safety, exception-, 76(4)278--289
Safety-Critical, 133(z)89--90, 154(z)1--2, 175(z)35--36, 181(z)140--176, 208(z)z--99999999, 237(z)z--99999999
safety-critical, 36(1)53--64, 55(1)81--115, 80(z)264--287, 111(z)339--362, 172(z)102--116
Safety-level, 29(1)147--170
Safránek, David, 185(z)z--99999999, see Benes, Nikola
Sagiv, Mooly, 58(1)264--289
Sagiv, Mooly, see Shaham, Ran
Sagonas, Konstantinos, 62(2)98--121, 80(z)223--263, 137(z)1--1, 147(z)109--134
Sagonas, Konstantinos, see Asai, Kenichi, see Gerakios, Prodromos, see Giantsios, Aggelos
Sagonas:2006:EMM, 62(2)98--121
Saha, Anju, 212(z)z--99999999, 237(z)z--99999999
Saha, Anju, see Jain, Shivani
Said, Najah, Ben, 187(z)z--99999999
Said, Bilal, 232(z)z--99999999
Said, Bilal, see Sadovykh, Andrey
Saito, Chieri, 78(7)933--952
Saito:2013:MMS, 78(7)933--952
Sakabe, Toshiki, 111(z)110--134
Sakabe, Toshiki, see Yamada, Akihisa
Sakaguchi, Kazuhiko, 191(z)z--99999999
Sakaguchi:2020:PEM, 191(z)z--99999999
Salas-Zárate, María del Pilar, 102(z)1--19, 156(z)90--103, see Paredes-Valverde, Mario Andrés
Salas-Zarate:2015:ABP, 102(z)1--19
Salaün, Gwen, 74(3)100--127, 77(7)777--778, 77(7)870--886, 78(1)46--64, 80(z)1--2, 80(z)107--108, 91(z)1--2, 117(z)1--16, 132(z)141--142, 146(z)87--103, 168(z)1--17, 168(z)169--170, 170(z)1--26, 183(z)z--99999999, 202(z)z--99999999, see Abid, Rim, \see{Canal, Carlos, see Durán, Francisco, see Garavel, Hubert, \see{Krishna, Ajay, see Mousavi, Mohammad Reza, see Pasareanu, Corina S.
Salaun:2012:PSI, 77(7)777--778
Salaun:2014:PSS, 80(z)107--108
Salaun:2016:SIS, 132(z)141--142
Salaun:2021:QSN, 202(z)z--99999999
sale, 21(2)93--113
Salehi, Asieh, 158(z)122--147
Salehi, Asieh, see Hoang, Thai Son
Salespoint, 79(z)189--203
Salle, Amleto, Di, 197(z)z--99999999
SALSA, 77(1)46--65
Salvaneschi, Guido, 102(z)20--43
Salvaneschi:2015:CLD, 102(z)20--43
Samaan, M., 41(1)85--104
Samaan, M., see Marchand, H.
Samanipour, Ali, 239(z)z--99999999
Samanipour:2025:MMB, 239(z)z--99999999
Samelson, K., 1(1)73--114
Samelson, K., see Bauer, F. L.
Sampaio, Augusto, 33(1)87--96, 40(1)59--96, 52(1)53--100, 75(3)106--133, 75(5)350--373, 95(z)275--297, 162(z)35--54, 174(z)1--37, 181(z)84--110, 181(z)111--139, 189(z)z--99999999, 236(z)z--99999999
Sampaio, Augusto, see Araujo, Hugo, see Arruda, Filipe, \see{Borba, Paulo, see Carvalho, Gustavo, see Cavalcanti, Ana, see Cornélio, Márcio, see Jesus, Joabe, \see{Mota, Alexandre, see Nogueira, Sidney, \see{Ramos, Rodrigo, see Silva, Bruno Cesar F.
sample, 184(z)z--99999999
sampling, 78(8)1099--1118, 78(11)2047--2063, 167(z)1--24, 226(z)z--99999999, 240(z)z--99999999
Sampson, Adam T., 77(6)727--740
Sampson, Adam T., see Ritson, Carl G.
San Pietro, P., 20(1)141--171
San Pietro, P., see Ciapessoni, E.
Sanán, D., 77(3)375--392, see Gallardo, M. M.
Sanchez, Alejandro, 98(z)764--784
Sánchez, Luis Emiliano, 172(z)264--293
Sánchez, Roberto, Therón-, 121(z)55--74
Sanchez-Figueroa, Fernando, 168(z)165--168
Sanchez-Figueroa, Fernando, see Rodriguez-Echeverria, Roberto
Sánchez-Ruiz-Granados, Antonio A., 69(1)68--75, see Díaz-Agudo, Belén
Sanchez:2015:PAR, 98(z)764--784
Sanchez:2019:FHS, 172(z)264--293
Sancho, Pere P., 57(1)45--60
Sancho:2005:EPA, 57(1)45--60
Sander Reiser, Renata Hax, 173(z)56--70
Sander Reiser, Renata Hax, see Medeiros Duarte, Rodrigo
Sanders, Beverly A., 24(2)129--148, 29(3)335--335
Sanders, Beverly A., see Chandy, K. Mani
Sandro, Alessio, Di, 231(z)z--99999999
Sands, David, 46(1)99--135
Sands, David, see Moran, Andrew
SANER, 229(z)z--99999999, 238(z)z--99999999
Sangiorgi, Davide, 38(1)151--153, 44(3)293--342, 59(3)209--249
Sangiorgi, Davide, see Giannini, Paola, see Kleist, Josva
Sangiorgi:2000:CMS, 38(1)151--153
Sangiovanni-Vincentelli, Alberto, 77(2)96--112, 171(z)21--41
Sangiovanni-Vincentelli, Alberto, see Ghosal, Arkadeb, see Iannopollo, Antonio
Sangiovanni-Vincentelli, Alberto L., 236(z)z--99999999
Sangiovanni-Vincentelli, Alberto L., see Iannopollo, Antonio
SanJosé, Juan-Fernando, Martín-, 88(z)3--21
Sannella, Donald, 25(2)79--80, 144(z)1--49
Sannella, Donald, see Codescu, Mihai
Sannella:1995:F, 25(2)79--80
Santana, Railana, 231(z)z--99999999
Santana:2024:EER, 231(z)z--99999999
Santander--Amsterdam, 90(z)42--54
Santi, Andrea, 78(6)747--761
Santi, Andrea, see Boissier, Olivier
Santiago, Regivan, 175(z)1--16, 216(z)z--99999999
Santiago, Regivan, see Campos, Suene
Santiago:2019:IDL, 175(z)1--16
Santone, Antonella, 30(3)309--338, 32(1)145--176, 54(2)291--311, 78(9)1346--1367, 95(z)390--405
Santone, Antonella, see Barbuti, Roberto, see Cuomo, Antonio, see De Francesco, Nicoletta
Santone:2005:CLI, 54(2)291--311
Santone:2013:ICS, 78(9)1346--1367
Santoro, Corrado, 139(z)36--55
Santoro, Corrado, see Fichera, Loris
Santos, Adriano, 119(z)31--50
Santos, André, 78(8)1119--1120
Santos, André L. M., 32(1)3--47, see Peyton Jones, Simon L.
Santos, Cássio, 92(z)86--104, see Braga, Christiano
Santos, Gustavo, 195(z)z--99999999
Santos, Gustavo, see Alcocer, Juan Pablo Sandoval
Santos, Jário, 136(z)43--59, see Elias, Endhe
Santos, Joel dos, 107(0)64--92
Santos, Olga C., 88(z)92--109
Santos, Osmar Marchi dos, 77(3)214--246
Santos, Osmar Marchi dos, see Ribeiro, Leila
Santos, Paulo Sérgio M. dos, 229(z)z--99999999, see Erthal, Vladimir M.
Santos, Renan, 196(z)z--99999999
Santos:2013:SSB, 78(8)1119--1120
Santos:2014:EWB, 88(z)92--109
Santos:2016:ACP, 119(z)31--50
Santos:2020:RM, 196(z)z--99999999
Santosa, Andrew E., 105(z)124--144
Santosa, Andrew E., see Kakkad, Vasvi
Sanyal, Ratna, 239(z)z--99999999
Sanyal, Ratna, see Shweta
Saouter, Y., 15(2)135--158
Saouter, Y., see Benaini, A.
SApHESIA, 200(z)z--99999999
Sapienza, Gaetana, 133(z)216--242
Sapienza, Gaetana, see Seceleanu, Cristina
Saraiva, João, 68(1)1--1, 78(8)1119--1120, 96(z)254--275, 132(z)2--28, 132(z)77--95, 173(z)71--94, 205(z)z--99999999, see Bryant, Barrett R., see Cunha, Jácome, see Fernandes, João Paulo, see Martins, Pedro, \see{Pardo, Alberto, see Pereira, Rui, \see{Santos, Andr{\'e}
Sarasa-Cabezuelo, Antonio, 88(z)1--2
Sarasa-Cabezuelo, Antonio, see Sierra, José-Luis
Saraswat, V. A., 30(1)3--49
Saraswat, V. A., see Gupta, V.
Sarikoc, Fatih, 244(z)z--99999999
Sarikoc:2025:MCV, 244(z)z--99999999
Sarimbekov, Aibek, 79(z)146--157, 95(z)344--358, 98(z)100--115
Sarimbekov, Aibek, see Marek, Lukás
Sarimbekov:2014:DPA, 95(z)344--358
Sarimbekov:2014:JCS, 79(z)146--157
Sartor, Giovanni, 225(z)z--99999999
Sartor, Giovanni, see Crafa, Silvia
SAS'94, 31(1)3--45, 31(1)47--73, 31(1)91--112, 31(1)113--145, 31(1)147--173
Sasano, Isao, 228(z)z--99999999
Sasano:2023:TBS, 228(z)z--99999999
Sassone, Vladimiro, 89(z)2--22
Sassone, Vladimiro, see Horne, Ross
SAT-based, 77(7)779--798
SAT-based, Max-, 228(z)z--99999999
SAT-solving, 77(10)1178--1197
Satan, 50(1)3--22
satellite, 78(7)884--905, 82(z)44--55
satisfaction, 30(1)227--250, 76(8)681--710, 218(z)z--99999999
satisfiability, 25(0)79--325, 25(2)117--147, 154(z)3--41, 165(z)1--2
Sato, Hiroyuiki, 243(z)z--99999999
Sato, Hiroyuiki, see Li, Shaowen
Sato, Naoto, 131(z)59--75
Sato, Naoto, see Fürst, Andreas
Sato, Ryosuke, 137(z)2--62, 231(z)z--99999999
Sato, Ryosuke, see Al Ameen, Mahmudul Faisal, see Asada, Kazuyuki
Sato, Tetsuya, 230(z)z--99999999
Sato, Tetsuya, see Hirata, Michikazu
Saumya, 18(2)213--215
Sauna, 99(z)95--127
Saunders, 16(1)97--100
sausages, 52(1)213--255
Sauthoff, Georg, 87(z)2--22
Sauthoff:2014:YGA, 87(z)2--22
Savarimuthu, Bastin Tony Roy, 199(z)z--99999999
Savarimuthu, Bastin Tony Roy, see Meldrum, Sarah
Savary-Leblanc, Maxime, 230(z)z--99999999, 234(z)z--99999999
Savary-Leblanc, Maxime, see Bucchiarone, Antonio
Savary-Leblanc:2024:MAR, 234(z)z--99999999
Saxe, James B., 55(1)209--226
Saxe, James B., see Leino, K. Rustan M.
Saxena, Ishan, 244(z)z--99999999
Saxena, Ishan, see Stemmer, Ralf
SBD, 243(z)z--99999999
SBESC, 165(z)ii--ii
SBFT'23, 239(z)z--99999999
SBLP, 80(z)51--51, 93(z)1--2, 132(z)1, 218(z)z--99999999
SBLP'14, 119(z)1--2
SBLP'15+16, 173(z)1--2
SBMF, 77(4)423--423, 92(z)85--85, 107(z)1, 126(z)1--2, 181(z)82--83, 191(z)z--99999999, 201(z)z--99999999, 220(z)z--99999999, 230(z)z--99999999, 238(z)z--99999999
SBST'22, 233(z)z--99999999
SC22, 24(3)287--287
Scala, 239(z)z--99999999, 240(z)z--99999999
scalability, 79(z)158--171, 136(z)43--59
scalable, 78(6)715--724, 95(z)426--444, 192(z)z--99999999
Scalas, Alceste, 109(z)36--60, 243(z)z--99999999
Scalas, Alceste, see Bartoletti, Massimo, see Casadei, Roberto
scale, 34(2)79--140, 78(6)657--681, 118(z)3--23, 157(z)3--16
scale, Large-, 89(z)71--87, 131(z)59--75
scale, large-, 75(7)615--637, 79(z)241--259, 173(z)95--127, 180(z)1--15, 205(z)z--99999999, 238(z)z--99999999, 239(z)z--99999999
Scaletta, Marco, 226(z)z--99999999
Scaletta, Marco, see Kamburjan, Eduard
scaling, 17(0)z--z, 17(1)217--245, 113(z)236--260
SCAM, 105(z)1--2
Scandurra, Patrizia, 80(z)356--384, 159(z)28--57, 244(z)z--99999999
Scandurra, Patrizia, see Bonfanti, Silvia, see Camilli, Matteo, see Mirandola, Raffaela
scanner, 9(3)271--286
scanning, 75(11)1095--1112
Scapin, Enrico, 95(z)359--375
Scapin:2014:FSU, 95(z)359--375
ScaRLib, 238(z)z--99999999
Scarso, Giordano, 224(z)z--99999999
Scarso, Giordano, see Beek, Maurice H. ter
scenario, 84(z)77--100, 98(z)268--292, 98(z)707--734, 215(z)z--99999999
scenario-based, 56(1)157--170, 76(8)651--680, 149(z)15--27, 242(z)z--99999999, 244(z)z--99999999
ScenarioTools, 149(z)15--27
scene, 95(z)44--72, 242(z)z--99999999
Schachte, Peter, 31(1)3--45
Schachte, Peter, see Armstrong, Tania
Schader, Martin, 66(2)105--124
Schader, Martin, see Gitzel, Ralf
Schaefer, Ina, 78(5)521--541, 97(z)282--308, 163(z)62--84, 166(z)1--2
Schaefer, Ina, see Bettini, Lorenzo, see Cleophas, Loek, \see{Wille, David
Schaeffer, Jonathan, 67(1)32--58
Schaeffer, Jonathan, see Cutumisu, Maria
Schäfer, Jan, 78(2)218--247, see Bettini, Lorenzo
Schäfer, Wilhelm, 45(2)99--136, see Jahnke, Jens H.
Schalij, Frits D., 15(2)235--248
Schalij, Frits D., see Kessels, Joep L. W.
Schätz, Bernhard, 78(1)1--2, 80(z)107--108, 154(z)89--133, see Becker, Klaus, \see{Meng, Sun, see Salaün, Gwen
Schauß, Manfred, Schmidt-, 147(z)3--26
Scheben, Ursula, 56(1)117--139
Scheben:2005:HCI, 56(1)117--139
schedulability, 98(z)184--204, 113(z)236--260, 127(z)103--130, 202(z)z--99999999
schedules, 157(z)71--102
scheduling, 20(1)113--140, 24(2)159--181, 28(0)91--299, 28(2)247--271, 42(1)49--60, 77(6)727--740, 97(z)309--319, 106(z)54--77, 113(z)236--260, 127(z)103--130, 154(z)42--60, 189(z)z--99999999
Schellekens, Dries, 74(1)13--22
Schellekens:2008:RAL, 74(1)13--22
Schellhorn, Gerhard, 76(9)737--738, 76(9)756--773, 96(z)297--314, 131(z)3--21, 158(z)21--40, 241(z)z--99999999
Schellhorn, Gerhard, see Boiten, Eerke, see Ernst, Gidon, \see{Tofan, Bogdan
Schellhorn:2011:CFA, 76(9)756--773
Schellhorn:2018:SEC, 158(z)21--40
Schellhorn:2025:VFS, 241(z)z--99999999
schema, 10(1)1--18, 45(2)137--153, 97(z)113--121
scheme, 9(3)271--286, 76(4)307--323
schemes, 23(2)197--226, 98(z)484--515, 111(z)300--317, 214(z)z--99999999
Scherlis, William L., 58(3)384--411
Scherlis, William L., see Greenhouse, Aaron
Schettini, Andrea, Maggiolo-, 73(2)76--94
Schewe, Klaus-Dieter, 131(z)1--2, 131(z)42--58, 158(z)1--2, 184(z)z--99999999, 210(z)z--99999999, 223(z)z--99999999
Schewe, Klaus-Dieter, see Ait-Ameur, Yamine, see Beierle, Christoph, see Butler, Michael, see Börger, Egon, see Ferrarotti, Flavio
Schewe:2021:LRA, 210(z)z--99999999
Schewe:2022:BTR, 223(z)z--99999999
Schieferdecker, Ina, 46(3)195--196
Schieferdecker, Ina, see Garavel, Hubert
Schill, Alexander, 94(z)53--66
Schill, Alexander, see Heinrich, Matthias
Schlatte, Rudolf, 223(z)z--99999999
Schlatte:2022:AST, 223(z)z--99999999
Schlehuber-Caissier, Philipp, 230(z)z--99999999
Schlehuber-Caissier, Philipp, see Renkin, Florian
Schlich, Bastian, 76(2)100--118
Schlich:2011:ASA, 76(2)100--118
Schlichting, Richard D., 4(1)1--15
Schlichting, Richard D., see Schneider, Fred B.
Schmerl, Bradley, 127(z)50--75, 167(z)51--69
Schmerl, Bradley, see Cámara, Javier
Schmid, Klaus, 53(3)259--284
Schmid, Stefan, 230(z)z--99999999
Schmid, Stefan, see Larsen, Kim G.
Schmid:2004:CAF, 53(3)259--284
Schmidt, 11(2)185--191
Schmidt, David, 24(1)100--102
Schmidt, David A., 11(2)107--131, 31(1)47--73, 64(1)29--53
Schmidt, David A., see Banerjee, Anindya
Schmidt, Douglas C., 73(1)39--58
Schmidt, Douglas C., see Gokhale, Aniruddha
Schmidt, Joshua, 188(z)z--99999999
Schmidt, Joshua, see Krings, Sebastian
Schmidt, Maximilian, 231(z)z--99999999
Schmidt, Maximilian, see Yigitbas, Enes
Schmidt-Schauß, Manfred, 147(z)3--26
Schmidt-Schauss:2017:ICN, 147(z)3--26
Schmidt:1988:DSB, 11(2)107--131
Schmidt:1995:BRB, 24(1)100--102
Schmidt:2007:CLR, 64(1)29--53
Schmitz, Lothar, 1(3)235--254, 79(z)101--115, 79(z)189--203
Schmitz, Lothar, see Krebs, Nico, see Zschaler, Steffen
Schmitz, Sylvain, 75(1)71--84
Schmitz:1982:EPS, 1(3)235--254
Schmitz:2010:EAD, 75(1)71--84
Schneckenreither, Manuel, 185(z)z--99999999
Schneckenreither, Manuel, see Moser, Georg
Schneider, David, 188(z)z--99999999
Schneider, David, see Krings, Sebastian
Schneider, Fred B., 4(1)1--15, 6(1)1--9, 24(2)105--128
Schneider, Fred B., see McCurley, Robert, see Stoller, Scott D.
Schneider, Gerardo, 78(12)2511--2536
Schneider, Gerardo, see Hansen, Hallstein A.
Schneider, J.-G., 56(1)59--78
Schneider, J.-G., see Lumpe, M.
Schneider, Kevin A., 95(z)445--468
Schneider, Kevin A., see Mondal, Manishankar
Schneider, Klaus, 96(z)377--394
Schneider, Klaus, see Talpin, Jean-Pierre
Schneider, Steve, 28(1)43--90, 76(10)837--860, 96(z)315--336, 111(z)213--z
Schneider, Steve, see James, Phillip
Schneider:1984:FTB, 4(1)1--15
Schneider:1997:TRC, 28(1)43--90
Schneider:2011:CSI, 76(10)837--860
Schneider:2015:SIA, 111(z)213--z
Schnoebelen, Ph, 11(2)133--159
Schnoebelen:1988:RCP, 11(2)133--159
Schobbens, Pierre-Yves, 11(2)107--131, 20(1)73--111, 80(z)416--439, 152(z)116--160
Schobbens, Pierre-Yves, see Castro, Thiago, see Classen, Andreas
Schobbens:1993:EAS, 20(1)73--111
Schoenmakers, Berry, 14(2)243--254, 27(2)119--137
Schoenmakers, Berry, see Kaldewaij, Anne, see Katoen, Joost-Pieter
Schoett, Oliver, 14(1)43--57
Schoett:1990:BCD, 14(1)43--57
Schofield, Baltasar García, Perez-, 176(z)1--13
Schofield, J. Baltasar García, Perez-, 74(10)836--860
Scholefield, David, 24(2)159--181
Scholefield:1995:PPR, 24(2)159--181
Scholl, Christoph, 77(10)1122--1150, 111(z)248--276, 148(z)123--160
Scholl, Christoph, see Althaus, Ernst, see Damm, Werner, \see{Morb{\'e}, Georges
Scholliers, Christophe, 78(10)1951--1970, 80(z)52--64, 98(z)360--375, 230(z)z--99999999, 238(z)z--99999999
Scholliers, Christophe, see De Roover, Coen, see Lauwaerts, Tom, see Singh, Robbert Gurdeep
Scholliers:2014:PAM, 80(z)52--64
Scholliers:2015:CC, 98(z)360--375
Scholten, 23(1)91--101
Scholten, C. S., 27(2)205--214
Scholten, C. S., see Bijlsma, A.
Scholz, Bernhard, 105(z)124--144
Scholz, Bernhard, see Kakkad, Vasvi
Scholz, Peter, 40(1)119--145
Scholz:2001:IDS, 40(1)119--145
Schön, Sebastian, 166(z)167--193, see Kamburjan, Eduard
school, 2(1)89--89
Schrammel, Peter, 93(z)125--153
Schrammel, Peter, see Gonnord, Laure
Schrettner, Lajos, 105(z)3--25
Schrettner, Lajos, see Beszédes, Árpád
Schrijvers, Tom, 84(z)101--120, 111(z)1--2, 152(z)70--98, 231(z)z--99999999, 234(z)z--99999999
Schrijvers, Tom, see Berg, Birthe van den, see Rivas, Exequiel
Schrijvers:2014:TMS, 84(z)101--120
Schrijvers:2015:PSS, 111(z)1--2
Schröder-Preikschat, Wolfgang, 53(3)333--352, see Beuche, Danilo
Schultchen, Marius, 107(0)2--18
Schultchen, Marius, see Löwe, Michael
Schulte, Wolfram, 26(1)59--78
Schulte, Wolfram, see Achatz, Klaus
Schulz, Christoph, 107(0)2--18
Schulz, Christoph, see Löwe, Michael
Schulze, Sandro, 241(z)z--99999999
Schulze, Sandro, see Chen, Siyue
Schumacher, Allan, 67(1)32--58
Schumacher, Allan, see Cutumisu, Maria
Schumacher, Michael, 75(5)289--291
Schumacher, Michael, see Wood, Alan
Schupp, Sibylle, 76(4)278--289
Schupp, Sibylle, see Munkby, Gustav
Schupp, Stefan, 225(z)z--99999999, 240(z)z--99999999
Schupp, Stefan, see Delicaris, Joanna, see Hofmann, Till
Schuppan, Viktor, 77(7)908--939
Schuppan:2012:TNU, 77(7)908--939
Schürr, Andy, 34(1)1--54, 60(2)149--170, see Andries, Marc, \see{Holt, Richard C.
Schuster, Johann, 91(z)90--114
Schuster, Johann, see Jansen, Nils
Schuts, Mathijs, 233(z)z--99999999
Schuts, Mathijs, see Kurtev, Ivan
Schuur, Bram, 112(z)145--169
Schuur, Bram, see Leather, Sean
Schwägerl, Felix, 113(z)51--81
Schwagerl:2015:GBA, 113(z)51--81
Schwaha, Philipp, 76(4)324--346
Schwaha, Philipp, see Heinzl, René
Schwartzbach, Michael, 76(6)492--515
Schwartzbach, Michael, see M{\o}ller, Anders
Schwartzbach, Michael I., 23(1)19--53, 68(1)2--20
Schwartzbach, Michael I., see Brabrand, Claus, see Palsberg, Jens
Schwarz, Mathias, 133(z)51--73
Schwarz, Mathias, see Ernst, Erik
Schwoon, Stefan, 58(1)206--263
Schwoon, Stefan, see Reps, Thomas
Sci, 2(1)85--85, 29(3)335--335, 44(3)343--344, 54(2)313--313
science, 1(3)203--222, 2(1)89--89, 3(1)101--114, 4(1)95--96, 4(1)96--97, 4(2)219--219, 8(3)231--274, 9(3)213--220, 10(1)88--89, 10(2)215--216, 11(1)1--15, 11(1)90--91, 11(1)95--97, 11(1)97--98, 11(2)176--178, 12(3)260--264, 12(3)267--270, 13(1)131--132, 15(1)113--114, 15(1)115--116, 20(3)223--251, 24(1)97--99, 24(2)185--186, 24(2)186--187, 33(2)213--214, 66(2)103--104, 69(1)76--85, 71(3)242--247, 76(11)1073--1073, 129(z)48--71
ScienceDirect, 156(z)z--z
Scientific, 10(1)88--89, 173(z)95--127
scientist, 75(4)211--213
Sciit, 206(z)z--99999999
SCJ-Circus, 181(z)140--176
SCM, Odyssey-, 65(3)249--274
SCOOP, 133(z)194--215
scoping, 63(3)207--239, 75(12)1235--1261
scores, 224(z)z--99999999
Scott, Elizabeth, 61(3)228--244, 68(2)95--110, 69(1)76--85, 75(1)55--70, 78(10)1828--1844, 87(z)23--43, 97(z)64--68, 125(z)1--22, 166(z)120--145, 175(z)63--84
Scott, Elizabeth, see Johnstone, Adrian
Scott, William E., 200(z)z--99999999
Scott, William E., see Freitas, Leo
Scott:2010:RPS, 75(1)55--70
Scott:2013:GPT, 78(10)1828--1844
Scott:2016:SGP, 125(z)1--22
Scott:2018:GSA, 166(z)120--145
Scott:2019:DRU, 175(z)63--84
Scozzari, Francesca, 120(z)1--24, 148(z)161--188
Scozzari, Francesca, see Amato, Gianluca
SCP, 74(4)167--167, 84(z)1--2, 92(z)1--1, 111(z)1--2, 126(z)1--2, 155(z)1--2, 167(z)iii--iii
SCR, 95(z)275--297
screen, 5(2)111--142
screening, 29(1)259--278
script, 6(1)35--88
ScriptEase, 67(1)32--58
scripting, 27(1)37--83, 31(2)179--203, 67(1)32--58, 77(9)971--989
Sdf, 97(z)2--10
SEA-based, 105(z)3--25
SEAA'12, 97(z)331--332
Seaman, Jill, 27(3)289--322
Seaman:1996:OSS, 27(3)289--322
seamless, 56(1)157--170, 96(z)34--51
search, 12(3)177--190, 14(2)243--254, 14(2)305--321, 22(1)3--19, 24(2)149--158, 28(0)91--299, 28(2)247--271, 62(1)25--46, 84(z)101--120, 95(z)426--444, 97(z)405--425, 172(z)264--293, 235(z)z--99999999
search, binary-, 9(1)37--83
search, text-, 54(1)3--23
Search-Based, 233(z)z--99999999, 239(z)z--99999999
search-based, 212(z)z--99999999, 230(z)z--99999999
searching, 3(1)37--63, 12(3)177--190, 14(2)243--254
Seberry, 12(3)259--260
SeByte, 95(z)426--444
Seceleanu, Cristina, 133(z)216--242, 224(z)z--99999999
Seceleanu, Cristina, see Gu, Rong
Seceleanu, Tiberiu, 133(z)216--242
Seceleanu, Tiberiu, see Seceleanu, Cristina
Seceleanu:2017:AWT, 133(z)216--242
Second, 25(2)81--116, 72(1)1--2
Second-order, 25(2)81--116, 32(1)3--47
section, 75(11)1142--1164, 78(4)343--344, 78(5)542--543, 78(6)613--614, 78(6)682--683, 78(7)775--777, 78(7)906--906, 78(8)969--970, 78(8)1119--1120, 78(10)1751--1751, 78(10)1892--1894, 78(11)2243--2244, 80(z)1--2, 80(z)107--108, 87(z)1--1, 95(z)273--274, 97(z)281--281, 105(z)1--2, 110(z)1--2, 115(z)147--148, 130(z)1, 140(z)1--1
secure, 37(1)113--138, 46(1)163--193, 50(1)73--99, 63(1)3--15, 66(1)60--70, 74(1)43--51, 91(z)141--160, 227(z)z--99999999
secure, non-, 66(1)60--70
Securing, 243(z)z--99999999
security, 12(3)259--260, 21(2)93--113, 50(1)51--71, 50(1)73--99, 59(1)127--146, 61(1)58--71, 63(1)1--2, 63(1)16--38, 63(1)88--107, 66(1)87--102, 74(8)629--653, 77(10)1058--1074, 95(z)200--218, 97(z)183--201, 121(z)153--175, 152(z)1--37, 187(z)z--99999999, 206(z)z--99999999
see, 1(3)203--222, 1(3)223--233, 2(1)85--85, 2(1)312--318, 3(3)223--278, 22(3)283--306, 23(1)103--103, 24(2)129--148, 29(3)335--335, 42(2)129--171, 44(3)343--344, 150(z)75--86
seeking, 89(z)350--373
Segers, J., 27(2)185--204
Segers:1996:DAC, 27(2)185--204
segment, 5(2)219--229, 6(3)313--318, 7(1)87--97, 15(1)79--94, 18(1)39--66, 27(2)119--137
Segura, Ángel Mora, 180(z)71--80
Segura, Clara, 111(z)51--78, 111(z)426--457, 111(z)458--482
Segura, Clara, see Montenegro, Manuel
Segura, Javier, 90(z)1--1, 90(z)42--54
Segura, Javier, see Gil, Amparo
Segura:2019:EEP, 180(z)71--80
Seidel, Heinrich, 15(1)1--13
Seidel, K., 28(2)171--192
Seidel, K., see He, Jifeng
Seidl, Christoph, 163(z)62--84, 163(z)139--159
Seidl, Christoph, see Mauro, Jacopo, see Wille, David
Seidl, H., 32(1)73--107
Seidl, Helmut, 35(2)137--161, 120(z)1--24
Seidl, Helmut, see Amato, Gianluca, see Fecht, Christian
Seidl, Matthew L., 62(2)145--163
Seidl, Matthew L., see Wright, Greg
Seidl:1998:CSD, 32(1)73--107
Seigneur, Jean-Marc, 54(1)49--71
Seigneur:2005:CTK, 54(1)49--71
Seinturier, Lionel, 78(8)969--970
Seinturier:2013:PSS, 78(8)969--970
Seisenberger, Monika, 154(z)61--88
Seisenberger, Monika, see Berger, Ulrich
Seki, Hiroyuki, 7(3)297--312
Seki, Hiroyuki, see Inoue, Katsuro
Seldin, 10(1)95--97
select, 205(z)z--99999999
selected, 16(1)89--90, 21(2)141--163, 21(2)165--190, 22(0)181--356, 22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354, 23(2)107--125, 23(2)127--149, 23(2)151--195, 23(2)197--226, 23(2)227--286, 26(0)274, 38(1)147--149, 46(3)195--196, 68(1)1--1, 76(5)347--348, 76(6)467--468, 76(9)737--738, 76(10)835--836, 77(4)423--423, 77(6)661--662, 77(6)741--742, 77(7)777--778, 77(7)887--888, 78(3)270--271, 78(11)2027--2028, 78(12)2433--2434, 80(z)1--2, 80(z)107--108, 85(z)101--101, 91(z)1--2, 91(z)139--140, 92(z)85--85, 94(z)1--2, 94(z)67--68, 94(z)253--254, 95(z)147--148, 95(z)343--343, 96(z)175--176, 97(z)381--382, 99(z)1--2, 107(z)1, 110(z)1--2, 112(z)1--2, 112(z)119, 113(z)1--2, 119(z)1--2, 123(z)1, 126(z)1--2, 132(z)1, 137(z)1--1, 146(z)1--1, 147(z)1--2, 160(z)1--2, 166(z)1--2, 173(z)1--2, 178(z)43--44, 182(z)86--87, 191(z)z--99999999, 206(z)z--99999999, 216(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999, 220(z)z--99999999, 225(z)z--99999999, 230(z)z--99999999, 233(z)z--99999999, 238(z)z--99999999, 240(z)z--99999999, 243(z)z--99999999
selecting, 40(2)213--234
selection, 22(3)307--326, 27(2)119--137, 31(1)75--89, 31(1)147--173, 75(9)773--786, 94(z)18--31, 126(z)52--72, 181(z)84--110, 205(z)z--99999999, 212(z)z--99999999, 213(z)z--99999999, 214(z)z--99999999, 226(z)z--99999999
selective, 54(2)291--311, 59(1)38--63
self-adaptation, 167(z)51--69
Self-Adaptive, 191(z)z--99999999, 240(z)z--99999999
self-adaptive, 78(1)3--26, 102(z)20--43, 127(z)50--75, 159(z)28--57, 168(z)169--170
Self-Adaptiveness, 204(z)z--99999999
self-admitted, 213(z)z--99999999
self-applicable, 16(2)151--195
self-assembly, 99(z)75--94
Self-certification, 56(1)141--156
self-composition, 78(5)556--568, 78(7)796--812
self-driving, 226(z)z--99999999
Self-healing, 57(1)27--44
self-managing, 64(2)246--262
Self-organisation, 110(z)1--2
self-organising, 110(z)23--50
Self-organized, 78(5)594--611
Self-Organizing, 78(5)542--543
Selic, Bran, 44(1)1--4, 68(3)111--113
Selic, Bran, see Evans, Andy, see Pierantonio, Alfonso
Selinger, Peter, 151(z)2--17
Selinger:2018:FAR, 151(z)2--17
Sellami, Asma, 135(z)88--104
Sellami, Asma, see Haoues, Mariem
Sellink, Alex, 36(2)209--266, 45(2)193--243
Sellink, Alex, see Brand, Mark van den
Sellink:2002:RCC, 45(2)193--243
sema, 3(3)223--278
semantic, Syntactic-, 97(z)47--54
semantics, action-, 47(1)3--36
Semantics-based, 147(z)78--108, 191(z)z--99999999
Semantics-directed, 21(3)263--291
semantics-preserving, 112(z)145--169
semaphores, 24(2)159--181
semi-automated, 90(z)135--160, 231(z)z--99999999
semi-automatic, 136(z)43--59
semi-formal, 67(2)125--161
semilattices, 35(2)191--221
Semini, Laura, 34(2)79--140
Semini:1999:RCT, 34(2)79--140
Semiring, 17(1)77--117
semirings, 76(3)181--203
Semmelrock, Nils, 98(z)516--530
Semmelrock, Nils, see Majster-Cederbaum, Mila
Sen, Alper, 135(z)4--19
Sen, Alper, see Kirbas, Serkan
Sendai, 21(2)141--163, 21(2)165--190
sense, 135(z)4--19
Senseash, 79(z)39--51
Sensemaking--Coevolution--Implementation, 101(z)21--41
sensing, 167(z)51--69
sensitive, 3(2)151--188, 22(3)257--282, 29(3)279--302, 225(z)z--99999999, 235(z)z--99999999
sensitive, divergence-, 96(z)354--376
sensitive, Field-, 95(z)359--375
sensitive, flow-, 190(z)z--99999999
Sensitive, Locality-, 145(z)1--12
sensitivity, 240(z)z--99999999
sensor, 56(1)191--210, 77(6)663--684, 78(2)195--217, 78(5)583--593, 78(10)1951--1970, 81(z)53--78, 118(z)40--59
sensor-actor, 80(z)25--49
Sepahvand, Reza, 228(z)z--99999999
Sepahvand:2023:UWE, 228(z)z--99999999
separate, 11(1)17--28, 77(2)96--112, 78(6)615--632
separation, 77(9)1006--1036
September, 3(1)117--117, 15(1)115--116, 183(z)z--z, 195(z)z--z, 196(z)z--z, 209(z)z--z, 221(z)z--z, 236(z)z--z, 244(z)z--z
sequence, 5(3)233--264, 5(3)309--316, 6(1)11--34, 7(3)313--319, 8(1)87--103, 9(1)91--100, 9(2)207--211, 15(2)185--200, 27(2)139--173, 27(2)175--184, 44(3)253--292, 51(3)215--263, 54(2)213--256, 56(1)231--249, 74(1)34--42, 78(9)1294--1323, 78(10)1871--1891, 94(z)362--378, 163(z)115--137, 201(z)z--99999999, 216(z)z--99999999
SequenceL, 42(1)115--128
sequential, 3(1)101--114, 3(2)189--204, 5(3)233--264, 5(3)265--276, 5(3)277--307, 6(1)35--88, 6(3)213--272, 8(1)43--67, 9(1)101--105, 13(2)133--180, 15(2)119--133, 15(2)171--183, 20(3)253--289, 21(1)1--56, 22(1)45--65, 24(2)129--148, 26(1)59--78, 26(1)99--115, 26(1)197--216, 74(8)629--653, 77(10)1075--1094, 85(z)224--240, 94(z)93--108, 110(z)104--118, 133(z)91--115, 146(z)2--27, 223(z)z--99999999
sequentialization, 13(1)111--116
Sere, K., 13(2)133--180, 26(1)79--97, 31(2)313--334, 55(1)259--288
Sere, K., see Back, R. J. R., see Goeman, H. J. M., \see{Plosila, J.
Sere, Kaisa, 80(z)25--49
Sere, Kaisa, see Kamali, Maryam
Serebrenik, Alexander, 65(1)30--40, 89(z)251--272
Serebrenik, Alexander, see Hee, Kees van, see Vasilescu, Bogdan
Serial, 29(1)235--258
serial, As-if-, 74(5)314--332
Serial-Parallel, 15(2)201--215
serial-parallel, 15(2)201--215
Serialisable, 131(z)42--58
serializable, 51(1)47--85
series, 10(2)212--213, 33(2)213--214, 38(1)143--146, 38(1)147--149
Series-Parallel, 11(2)167--173
serious, 206(z)z--99999999
Serra, Ivo, 95(z)26--43
Serra, Ivo, see Faria, Carla
Serral, Estefanía, 78(10)1987--2008, see Gil, Miriam
Serrano, Juan M., 190(z)z--99999999
Serrano, Juan M., see López-González, J.
Serrano, Manuel A., 243(z)z--99999999
Serrano, Manuel A., see Pecorelli, Fabiano
Serugendo, Giovanna, Di Marzo, 110(z)1--2
servanda, 225(z)z--99999999
server, 31(2)179--203, 62(1)66--84, 70(2)89--110, 77(9)990--1005, 80(z)169--187
servers, LR-, 111(z)505--534
Servetto, Marco, 95(z)219--253, 172(z)180--202, 224(z)z--99999999
Servetto, Marco, see Gariano, Isaac Oscar, see Giannini, Paola
Servetto:2014:MCL, 95(z)219--253
service, 29(1)259--278, 31(2)179--203, 39(2)249--272, 53(2)125--141, 60(2)134--148, 71(2)144--164, 74(9)671--687, 74(10)777--811, 75(7)516--542, 75(11)1001--1021, 77(1)4--28, 77(3)290--313, 77(3)355--374, 77(6)663--684, 78(2)168--194, 78(2)195--217, 78(5)556--568, 88(z)110--129, 89(z)374--407, 94(z)255--288, 94(z)289--306, 97(z)183--201, 97(z)202--234, 110(z)3--22, 115(z)177--198, 127(z)2--23, 134(z)61--74, 173(z)95--127, 187(z)z--99999999, 191(z)z--99999999, 197(z)z--99999999, 229(z)z--99999999, 237(z)z--99999999, 238(z)z--99999999
Service-Based, 31(2)359--381
service-based, 31(2)359--381, 88(z)41--53, 136(z)17--42
Service-Oriented, 97(z)181--182
service-oriented, 77(5)577--608, 80(z)356--384, 115(z)3--22, 168(z)18--37, 211(z)z--99999999
Servilla, 77(6)663--684
serving, 78(8)1099--1118
Serwe, Wendelin, 74(3)100--127, 78(7)843--861, 80(z)130--149, 118(z)24--39
Serwe, Wendelin, see Garavel, Hubert, see Lantreibecq, Etienne, see Mateescu, Radu, \see{Zhang, Zhen
session, 78(2)147--167, 94(z)255--288, 115(z)100--126, 155(z)52--75, 180(z)36--70, 204(z)z--99999999
session-based, 172(z)135--159
Session-ocaml, 172(z)135--159
set, 4(1)45--86, 4(3)323--333, 5(1)37--58, 6(3)313--318, 9(1)17--35, 9(1)85--89, 11(3)197--261, 22(1)21--44, 22(1)67--105, 22(1)157--180, 22(3)327--354, 23(0)107--311, 23(1)19--53, 23(1)55--89, 23(2)127--149, 25(1)63--77, 31(2)263--289, 35(2)79--111, 72(1)3--21, 74(3)128--142, 92(z)211--228, 145(z)1--12, 157(z)56--70, 175(z)63--84, 184(z)z--99999999, 187(z)z--99999999, 195(z)z--99999999, 208(z)z--99999999, 212(z)z--99999999, 214(z)z--99999999, 231(z)z--99999999
Sethi, Adarshpal S., 53(2)165--194
Sethi, Adarshpal S., see Steinder, Ma{\l}gorzata
Sethi, Ravi, 1(3)203--222
Sethi:1982:CEE, 1(3)203--222
SETTA, 206(z)z--99999999
Settas, Dimitrios, 91(z)249--265
Settas, Dimitrios, see Sowe, Sulayman K.
setting, 24(3)189--220, 78(2)218--247
Sevegnani, Michele, 80(z)288--310, 215(z)z--99999999, 241(z)z--99999999, 242(z)z--99999999
Sevegnani, Michele, see Archibald, Blair, see Calder, Muffy, \see{Xu, Mengwei
Several, 213(z)z--99999999
severity, 195(z)z--99999999
Sewe, Andreas, 79(z)146--157
Sewe, Andreas, see Sarimbekov, Aibek
sfd, 4(3)249--256
SFr, 18(2)215--218
SGSM, 242(z)z--99999999
shadow, 74(8)629--653, 132(z)226--246
Shaffer, Clifford A., 88(z)22--40, 88(z)82--91
Shaffer, Clifford A., see Cooper, Matthew L., see Fouh, Eric
Shafiee, Arya, 78(8)1099--1118
Shafiee, Arya, see Pirzadeh, Heidar
Shafique, Muhammad, 133(z)154--174
Shafique, Muhammad, see Bukhari, Syed Ali Asadullah
Shah, Syed Jawad Hussain, 235(z)z--99999999
Shah, Syed Jawad Hussain, see Kuhail, Mohammad Amin
Shah, Vijay, 54(1)125--142
Shah:2005:SET, 54(1)125--142
Shaham, Ran, 58(1)264--289
Shaham:2005:ELT, 58(1)264--289
Shahbaz, Muzammil, 97(z)405--425
Shahbaz:2015:AGV, 97(z)405--425
Shahmehri, Nahid, 228(z)z--99999999
Shahmehri, Nahid, see Kargén, Ulf
Shahzad, Tariq, 236(z)z--99999999
Shahzad, Tariq, see Iqbal, Muhammad
Shaikh, Siraj Ahmed, 91(z)139--140
Shaikh, Siraj Ahmed, see Barbosa, Luís Soares
shake, 26(1)255--272
Shamir, Boaz, Patt-, 29(3)303--326
Shamsabadi, Seyede Mehrnaz, 225(z)z--99999999
Shamsabadi, Seyede Mehrnaz, see Zakeriyan, Arvin
Shan, Chung-chieh, 60(3)274--297, 112(z)120--144
Shan, Chung-chieh, see Biernacki, Dariusz, see Kameyama, Yukiyoshi
Shang, Weiyi, 77(6)760--776
Shang, Weiyi, see Bettenburg, Nicolas
Shanian, Sara, 78(8)1099--1118
Shanian, Sara, see Pirzadeh, Heidar
Shankar, Natarajan, 26(1)33--57, 76(7)609--626
Shankar, P., 48(1)1--20
Shankar, P., see Paleri, V. K.
Shankar:1996:STM, 26(1)33--57
Shankar:2011:MVS, 76(7)609--626
Shanneb, Abdelsalam, 58(3)344--365
Shanneb:2005:ERP, 58(3)344--365
Shao, Zhiqing, 217(z)z--99999999
Shao, Zhiqing, see Huang, Zijie
Shao, Zhong, 50(1)101--127
Shao, Zhong, see Yu, Dachuan
shape, 23(1)1--18, 25(0)79--325, 25(2)251--283, 37(1)207--224, 77(9)1006--1036, 95(z)320--342, 111(z)51--78
Shapeliness, 37(1)225--252
Sharafi, Zohreh, 79(z)260--278
Sharafi, Zohreh, see De Smet, Benoît
shared, 6(2)103--134, 6(2)135--158, 25(1)1--39, 46(1)71--98, 63(1)3--15, 64(2)246--262, 75(6)426--439, 76(12)1078--1097, 94(z)53--66, 100(z)28--60, 102(z)57--75, 238(z)103152--103152
shared-memory, 78(7)843--861
shared-variable, 6(1)35--88
Sharif, Bonita, 198(z)z--99999999
Sharif, Bonita, see Bednarik, Roman
sharing, 27(3)217--262, 27(3)289--322, 39(1)125--148, 80(z)288--310, 98(z)140--158, 137(z)63--97, 172(z)180--202
Sharma, Arpit, 230(z)z--99999999
Sharma, Arpit, see Moharil, Ambarish
Sharp, David, 73(1)26--38
Sharp, David, see Karsai, Gabor
Shavit, Nir, 58(3)291--292
Shavit, Nir, see Moir, Mark
Shawe-Taylor, John, 12(3)259--260
Shawe-Taylor:1989:BRB, 12(3)259--260
Sheeran, Mary, 22(1)107--135
Sheeran, Mary, see Jones, Geraint
Shehata, Mohamed, 67(2)125--161
Shehata:2007:USF, 67(2)125--161
Shepherdson, J. C., 11(1)98--99
Shepherdson:1988:BRB, 11(1)98--99
Shereshevsky, M., 56(3)343--361
Shereshevsky, M., see Cortellessa, V.
Shi, Jialiang, 235(z)z--99999999
Shi, Jialiang, see Dong, Haozhen
Shi, Jianqi, 206(z)z--99999999, 215(z)z--99999999
Shi, Jianqi, see He, Weigang, \see{Mao, Xia
Shi, Rui, 78(8)1176--1192
Shi:2013:LTS, 78(8)1176--1192
Shieber, 14(1)110--110
Shim, Sunghwan, 238(z)103152--103152
Shim, Sunghwan, see Hong, Jaemin
Shimari, Kazumasa, 206(z)z--99999999, 236(z)z--99999999
Shimari:2021:NNO, 206(z)z--99999999
Shimari:2024:EES, 236(z)z--99999999
Shin, Michael E., 57(1)27--44, 61(1)16--26, 66(1)60--70
Shin, Wonho, 242(z)z--99999999
Shin, Wonho, see Sim, Yusung
Shin:2005:SHC, 57(1)27--44
Shin:2006:DAS, 61(1)16--26
Shin:2007:SRA, 66(1)60--70
Shkaravska, Olha, 111(z)363--364
Shkaravska:2015:PSI, 111(z)363--364
shortcut, 78(8)1121--1136, 132(z)77--95
Shorter, 22(1)157--180
Shortest, 15(1)55--77
shortest-path, 22(1)3--19
Showing, 5(2)111--142
Shukla, Sandeep, 96(z)377--394
Shukla, Sandeep, see Talpin, Jean-Pierre
Shweta, 239(z)z--99999999
Shweta:2025:HAE, 239(z)z--99999999
shy, structure-, 76(6)516--539
Shyamasundar, R. K., 4(3)249--256
Shyamasundar:1984:SLF, 4(3)249--256
Sibilla, 235(z)z--99999999
Sidcup, 12(1)85--87
side, 171(z)42--66
side, rail-, 244(z)z--99999999
side-channel, 78(7)796--812
Side-Effects, 7(3)279--296
side-effects, 58(3)325--343
Sidorova, Natalia, 65(1)30--40
Sidorova, Natalia, see Hee, Kees van
Sieber, 10(2)211--212
Siefkes, 16(1)97--100
Siegel, Jeff, 67(1)32--58
Siegel, Jeff, see Cutumisu, Maria
Siek, Jeremy G., 76(4)225--226, 76(5)423--465, 194(z)z--99999999
Siek, Jeremy G., see Kokke, Wen
Siek:2011:LGP, 76(5)423--465
Siek:2011:SIL, 76(4)225--226
Sierra, J. L., 71(1)1--16
Sierra, J. L., see Navarro, A.
Sierra, Javier, 168(z)165--168
Sierra, Javier, see Rodriguez-Echeverria, Roberto
Sierra, José Luis, 67(1)3--31, see Moreno-Ger, Pablo
Sierra, José-Luis, 88(z)1--2, 129(z)1--2
Sierra:2014:PSI, 88(z)1--2
Sierra:2016:SIE, 129(z)1--2
sieves, 9(1)17--35
Sifakis, Joseph, 55(1)161--183, 98(z)293--316
Sifakis, Joseph, see Bensalem, Saddek, see Gössler, Gregor
Sighireanu, Mihaela, 46(3)255--281
Sighireanu, Mihaela, see Mateescu, Radu
SIGNAL, 16(2)103--149
signal, 16(2)103--149, 29(1)147--170, 41(1)85--104
Signature, 113(z)29--50
Signer, Beat, 86(z)30--42
Signer, Beat, see Dumas, Bruno
significance, 78(9)1572--1599
Signoles, Julien, 132(z)226--246
Signoles, Julien, see Jakobsson, Arvid
Sigurdarson, Steinar Hugi, 89(z)41--68
Sigurdarson, Steinar Hugi, see Reynisson, Arni Hermann
Siirtola, Antti, 198(z)z--99999999
Siirtola:2020:OCA, 198(z)z--99999999
Sijtema, M., 80(z)188--209
Sijtema:2014:EFE, 80(z)188--209
Silakov, Denis, 91(z)234--248
Silakov, Denis, see Rubanov, Vladimir
Sillitti, A., 56(1)141--156
Sillitti, A., see Gross, H.-G.
Silva Feitosa, Samuel, da, 173(z)37--55
Silva, Patrick Rodrigo, Da, 244(z)z--99999999
Silva, Alexandra, 77(6)685--706, 78(9)1324--1345, 80(z)3--24, 100(z)1--1, 186(z)z--99999999
Silva, Alexandra, see Beohar, Harsh, see Bonsangue, Marcello, see Carbone, Marco, \see{Moon, Young-Joo
Silva, António Rito, 239(z)z--99999999, see Pereira, Pedro
Silva, António, Rito-, 63(2)172--185
Silva, Bruno Cesar F., 181(z)111--139
Silva, Caine, 210(z)z--99999999
Silva, Caine, see Guérin, Sylvain
Silva, Daniel, 211(z)z--99999999
Silva, Daniel, see Macedo, Nuno
Silva, Eduardo, 192(z)z--99999999
Silva, Glaúcia, Braga e, 244(z)z--99999999
Silva, Isabela S., 152(z)63--69
Silva, Isabela S., see Monteiro, Felipe R.
Silva, Jefferson de Carvalho, 132(z)96--128, 173(z)95--127
Silva, Jefferson de Carvalho, see Junior, Francisco Heron de Carvalho
Silva, Leandro Dias da, 56(1)171--189
Silva, Nuno, 95(z)3--25
Silva, Nuno, see Maio, Paulo
Silva, Ricardo, 211(z)z--99999999
Silva, Ricardo, see Macedo, Nuno
Silva, Viviane Torres da, 92(z)86--104
Silva, Viviane Torres da, see Braga, Christiano
Silva:2019:CSB, 181(z)111--139
Silva:2019:SWM, 173(z)95--127
Silva:2020:VMR, 192(z)z--99999999
Silva:2025:AGB, 244(z)z--99999999
Silvási, Frantisek, 195(z)z--99999999
Silvasi:2020:LFB, 195(z)z--99999999
Silveira, Leonardo Almeida da, 165(z)38--53
Silveira, Leonardo Almeida da, see Brandalero, Marcelo
Silver, 75(1)39--54, 114(z)33--44
Silverman, 16(1)95--97
Sim, Susan Elliott, 60(2)149--170
Sim, Susan Elliott, see Holt, Richard C.
Sim, Yusung, 242(z)z--99999999
Sim:2025:ACT, 242(z)z--99999999
Simao, Adenilso, 80(z)343--355, 92(z)85--85, 171(z)67--88
Simao, Adenilso, see El-Fakih, Khaled, see Fragal, Vanderson Hafemann
Simao:2014:SPB, 92(z)85--85
{\v{S}}ime{\v{c}}ek, P., 76(2)136--157, see Edelkamp, S.
Simi, 18(2)209--213
similarity, 78(9)1208--1211, 78(10)1871--1891, 95(z)426--444, 145(z)1--12, 202(z)z--99999999
Siminiceanu, Radu I., 80(z)169--187
Siminiceanu, Radu I., see Cataño, Néstor
Simon, Axel, 95(z)254--271
Simon, Doug, 70(2)127--148
Simon, Doug, see Mathiske, Bernd
Simon:2014:DCT, 95(z)254--271
Simone, Robert de, 106(z)78--92
Simone, Robert de, see Mallet, Frédéric
simpA, 76(1)37--62
Simpl, 114(z)85--91
simple, 3(3)279--312, 4(3)249--256, 9(3)221--262, 48(1)1--20, 50(1)23--49, 64(1)3--28, 75(7)573--595, 75(11)1142--1164
simplified, 30(3)287--308
simply-typed, 31(1)47--73
Simpson, Alex, 31(2)383--385
Simpson:1998:BR, 31(2)383--385
Sims, Steven T., 42(1)39--47
Sims, Steven T., see Cleaveland, Rance
simulation, 22(1)21--44, 24(2)105--128, 24(2)159--181, 24(3)189--220, 25(2)285--327, 26(1)79--97, 28(0)91--299, 28(2)273--299, 29(1)79--98, 29(1)99--122, 29(1)123--146, 29(1)171--197, 29(1)235--258, 29(1)259--278, 31(2)291--311, 75(12)1262--1269, 76(9)739--755, 78(6)705--714, 89(z)41--68, 133(z)216--242, 157(z)3--16, 167(z)70--90, 168(z)142--164, 174(z)1--37, 215(z)z--99999999, 241(z)z--99999999
simulation-based, 75(10)898--917, 162(z)110--131, 181(z)111--139, 226(z)z--99999999, 242(z)z--99999999
simulator, 223(z)z--99999999, 239(z)z--99999999, 242(z)z--99999999
Simulink, 113(z)29--50, 236(z)z--99999999
simultaneous, 13(2)133--180, 76(12)1177--1193
Sinderen, Marten van, 227(z)z--99999999
Sinderen, Marten van, see Wang, Chong
Singer, Jeremy, 70(2)111--126
Singer:2008:DAJ, 70(2)111--126
Singh, Ambuj K., 16(1)49--88, 21(3)191--223
Singh, Anu, 75(6)440--469
Singh, Neeraj Kumar, 196(z)z--99999999, 216(z)z--99999999, 243(z)z--99999999
Singh, Neeraj Kumar, see Dupont, Guillaume, see Halchin, Alexandra, see Rivière, Peter
Singh, Robbert Gurdeep, 230(z)z--99999999
Singh, Sandeep Kumar, 226(z)z--99999999
Singh, Sandeep Kumar, see Khatri, Yogita
Singh:1991:SCO, 16(1)49--88
Singh:1993:RCS, 21(3)191--223
Singh:2010:PCM, 75(6)440--469
Singh:2023:GSP, 230(z)z--99999999
Singh:2025:ITS, 243(z)z--99999999
single, 8(2)203--211, 22(1)45--65, 48(2)119--161, 80(z)343--355, 105(z)92--123
single-path, 166(z)146--166
single-user, 94(z)53--66
Sinkovics, Ábel, 78(9)1600--1621
Sinkovics:2013:IMC, 78(9)1600--1621
Sintzoff, 76(8)627--630
Sintzoff, Michel, 1(1)1--2, 26(1)1--2
Sintzoff:1981:E, 1(1)1--2
Sintzoff:1996:E, 26(1)1--2
Sirer, Emin Gün, 47(2)91--120, see Aldrich, Jonathan
Sirevåg, Martin, 216(z)z--99999999, see Murray, Yvonne
Sirjani, Marjan, 61(2)75--113, 75(10)811--827, 76(1)3--22, 76(8)631--632, 77(7)777--778, 77(7)848--869, 77(7)887--888, 78(1)3--26, 78(12)2433--2434, 89(z)41--68, 98(z)184--204, 112(z)1--2, 113(z)85--118, 128(z)22--50, 153(z)1--29, 160(z)1--2, 168(z)142--164, 182(z)86--87
Sirjani, Marjan, see Arbab, Farhad, see Baier, Christel, see Berardinis, Jacopo de, see Canal, Carlos, \see{Dastani, Mehdi, see Hojjat, Hossein, \see{Jafari, Ali, see Khakpour, Narges, see Khamespanah, Ehsan, see Pourvatan, Bahman, see Reynisson, Arni Hermann, see Sabahi-Kaviani, Zeynab, see Sabouri, Hamideh, see Salaün, Gwen, see Talcott, Carolyn
SirkiÃ\currency, Teemu, 198(z)z--99999999, see Bednarik, Roman
site, Call-, 79(z)146--157
situ, 1(3)223--233, 2(1)85--85
situ, in-, 24(2)149--158
Sivabalasingam, Theleepan, 75(8)672--688
Sivabalasingam, Theleepan, see Lung, Chung-Horng
Sivadas, Sathyanarayanan, 75(8)672--688
Sivadas, Sathyanarayanan, see Lung, Chung-Horng
Sivaramakrishnan, K. C., 78(2)147--167
Sivaramakrishnan:2013:ES, 78(2)147--167
Six, 101(z)136--152
sixteenth, 15(1)115--116
Sixth, 20(1)73--111, 20(1)141--171
Siy, Harvey, 227(z)z--99999999
Siy, Harvey, see Newar, Dip Kiran Pradhan
size, 77(9)1006--1036, 95(z)254--271, 135(z)88--104
size-limited, 206(z)z--99999999, 236(z)z--99999999
size-polymorphic, 230(z)z--99999999
sizing, 135(z)105--121
skeleton, 2(3)241--266, 75(8)689--725
sketches, 63(2)186--201, 74(1)43--51
Skew-space, 78(5)445--457
Skillicorn, D. B., 20(3)205--221, z(z)z--z
Skillicorn, D. B., see Cai, W.
Skillicorn, David B., 23(1)1--18, 78(9)1663--1678
Skillicorn, David B., see Gibbons, Jeremy, see Grant, Scott
Skillicorn:1993:DPP, 20(3)205--221
skills, 231(z)z--99999999
Skjellum, Anthony, 54(1)125--142
Skjellum, Anthony, see Shah, Vijay
Skou, Arne, 113(z)236--260, 127(z)103--130
Skou, Arne, see Boudjadar, Abdeldjalil
slackness, 20(3)205--221
Sladi{\'c}, Goran, 230(z)z--99999999, see Slivka, Jelena
Slater, 10(2)218--219
SLE, 96(z)395--395
Slegel, Steve, 78(12)2360--2380
Slegel, Steve, see Ganesan, Dharmalingam
slice, 27(1)1--35
slicing, 40(2)151--169, 50(1)189--224, 62(3)228--252, 64(1)3--28, 74(7)399--413, 75(3)134--175, 75(10)811--827, 75(10)828--847, 78(9)1240--1263, 80(z)385--415, 103(z)51--70, 220(z)z--99999999
sliding, 7(1)1--22
Slimming, 76(11)1037--1053
Slivka, Jelena, 230(z)z--99999999, 238(z)z--99999999
Slivka, Jelena, see Proki{\'c}, Simona
Slivka:2023:TSA, 230(z)z--99999999
Sloane, Anthony, 75(1)1--2, 132(z)2--28
Sloane, Anthony, see Johnstone, Adrian, see Martins, Pedro
Sloane, Anthony M., 78(10)1752--1769, 96(z)488--510, 114(z)20--32
Sloane:2013:PEA, 78(10)1752--1769
Sloane:2014:DSP, 96(z)488--510
Sloane:2015:OK, 114(z)20--32
Slope, 24(2)149--158
Smajevic, Muhamed, 231(z)z--99999999
Smajevic:2024:COW, 231(z)z--99999999
small, 3(2)217--222, 3(3)313--319, 4(1)87--94, 4(2)205--210, 4(3)323--333, 5(1)97--106, 5(2)219--229, 5(3)309--316, 6(1)95--102, 6(2)207--211, 6(3)213--272, 6(3)313--318, 7(1)87--97, 7(2)243--248, 7(3)313--319, 8(1)105--112, 8(2)203--211, 9(1)91--100, 9(2)207--211, 10(1)99--105, 10(3)319--325, 11(2)167--173, 12(1)75--81, 14(1)97--101, 15(2)159--169, 75(4)264--275, 89(z)176--198, 156(z)21--44
smallest, 6(2)135--158, 18(3)281--292
smalltalk, 11(1)94--95, 23(1)19--53, 96(z)1--3, 96(z)4--16, 96(z)17--33, 96(z)52--69, 96(z)70--83, 199(z)z--99999999
Smans, Jan, 82(z)77--97
Smans, Jan, see Philippaerts, Pieter
Smaragdakis, Yannis, 76(5)376--391
Smaragdakis, Yannis, see Huang, Shan Shan
smart, 21(2)93--113, 55(1)53--80, 67(2)125--161, 78(10)1930--1950, 95(z)112--134, 168(z)142--164, 232(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999, 236(z)z--99999999, 238(z)z--99999999, 243(z)z--99999999
smart-cards, 21(2)93--113
SMArtOp, 150(z)26--30
smell, 182(z)64--85, 212(z)z--99999999, 217(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 236(z)z--99999999, 237(z)z--99999999, 238(z)z--99999999, 243(z)z--99999999
Smet, Benoît, De, 79(z)260--278
Smet:2014:TVA, 79(z)260--278
Smetsers, Sjaak, 76(2)82--99
Smetsers, Sjaak, see Gastel, Bernard van
Smith, 16(2)202--203
Smith, Dennis, 40(2)147--149
Smith, Douglas R., 5(1)37--58, 8(3)213--229, 14(2)305--321, 28(2)247--271
Smith, Douglas R., see Pepper, Peter
Smith, Geoffrey, 32(1)49--72
Smith, Geoffrey S., 23(2)197--226
Smith, Graeme, 131(z)126--150, 184(z)z--99999999, 217(z)z--99999999
Smith, Graeme, see Coughlin, Nicholas, see Li, Qin, \see{Winter, Kirsten
Smith, Jacob N., 75(7)596--614
Smith, Jacob N., see Järvi, Jaakko
Smith, Rayward-, 10(1)88--89
Smith:1985:DDC, 5(1)37--58
Smith:1987:ASD, 8(3)213--229
Smith:1990:ATD, 14(2)305--321
Smith:1994:PTS, 23(2)197--226
Smith:1998:SPT, 32(1)49--72
Smith:2001:P, 40(2)147--149
Smolander, Kari, 101(z)124--135
Smolander, Kari, see Päivärinta, Tero
Smolka, Scott A., 75(6)440--469
Smolka, Scott A., see Singh, Anu
smoothers, 214(z)z--99999999
smoothsort, 1(3)223--233, 2(1)85--85
SMORE, 121(z)16--33
SMT, 94(z)130--143, 178(z)20--42, 233(z)z--99999999, 239(z)z--99999999
SMT-solver, 118(z)60--76
SMT-solvers, 78(3)310--326
SMUIML, 86(z)30--42
Smyth, Ben, 111(z)300--317
Smyth:2015:FAP, 111(z)300--317
Snapshots, 58(3)310--324
Sneed, Harry, 45(2)193--243
Sneed, Harry, see Sellink, Alex
Snelting, Gregor, 97(z)122--126
Snelting:2015:UPS, 97(z)122--126
Snepscheut, Jan L. A., Van De, 15(2)119--133
Snepscheut, Jan L. A., van de, 7(1)55--60, 12(2)151--155
Snepscheut, Jan L. A. van de, 14(2)113--115
snippets, 227(z)z--99999999
Snodgrass, 14(1)106--109
Snook, Colin, 158(z)122--147
Snook, Colin, see Hoang, Thai Son
SOAP, 97(z)181--182
Soares, Gustavo, 93(z)39--64
Soares, Gustavo, see Mongiovi, Melina
Soares-Filho, Britaldo Silveira, 173(z)3--20
Soares-Filho, Britaldo Silveira, see Ferreira, Bruno Morais
Soboci{\'n}ski, Pawe{\l}, 218(z)z--99999999, see Paixão, João
Sochor, J., 76(10)877--890
Sochor, J., see Bene{\v{s}}, N.
social, 89(z)144--161, 121(z)16--33, 129(z)92--102, 207(z)z--99999999, 236(z)z--99999999
Society, 10(1)95--97
Socio-technical, 184(z)z--99999999
SODA, 78(6)705--714
Söderberg, Emma, 78(10)1809--1827
Soderberg:2013:EIF, 78(10)1809--1827
soft, 11(1)90--91, 98(z)159--183, 183(z)z--99999999
software-defined, 187(z)z--99999999
software-intensive, 76(12)1098--1112, 192(z)z--99999999, 212(z)z--99999999
software-like, 96(z)156--174
Softwarenaut, 79(z)204--223
Soh, Leen-Kiat, 227(z)z--99999999
Soh, Leen-Kiat, see Newar, Dip Kiran Pradhan
Sohn, So Young, 60(1)68--81
Sohn:2006:COM, 60(1)68--81
Sohrabi, Mohammad Karim, 145(z)1--12
Sohrabi:2017:PSS, 145(z)1--12
Sokolova, Ana, 100(z)1--1, 109(z)1
Sokolova, Ana, see Carbone, Marco
Sokolowski, Stefan, 13(1)119--122
Soko{\l}owski, Stefan, 4(2)141--157
Sokolowski:1984:PCT, 4(2)141--157
Sokolowski:1989:BRB, 13(1)119--122
Sokolsky, Oleg, 42(1)49--60, 106(z)1--2, 206(z)z--99999999
Sokolsky, Oleg, see Hugues, Jérôme, see Kwak, Hee-Hwan, \see{Larsen, Kim G.
SolAR, 232(z)z--99999999
Solar, Genoveva, Vargas-, 215(z)z--99999999
Solberg Gasser, Kirsten, Lackner, 31(1)113--145
Soldani, Jacopo, 115(z)177--198, 162(z)110--131, 166(z)194--213, 191(z)z--99999999, 204(z)z--99999999, 230(z)z--99999999
Soldani, Jacopo, see Bonchi, Filippo, see Brogi, Antonio, see Jacquet, Jean-Marie, see Pimentel, Ernesto
Soldani:2023:YEF, 230(z)z--99999999
Soleimanifard, Siavash, 127(z)76--102
Soleimanifard:2016:AVP, 127(z)76--102
Solenoid, 78(12)2435--2452
Solid*, 79(z)224--240
solidity, 232(z)z--99999999, 243(z)z--99999999
Solin, Kim, 74(8)654--668
Solin:2009:ETR, 74(8)654--668
solitaire-like, 78(11)2029--2046
Solodkyy, Yuriy, 75(7)638--667, 76(4)290--306
Solodkyy, Yuriy, see Pirkelbauer, Peter
Solodkyy:2011:ETS, 76(4)290--306
solution, 5(2)201--218, 22(1)45--65, 24(3)189--220, 24(3)249--286, 77(9)971--989, 78(1)65--92, 165(z)24--37, 228(z)z--99999999
solution-oriented, 77(1)1--3
solve, 3(1)115--116, 224(z)z--99999999
solver, 35(2)137--161, 94(z)130--143
solver, SMT-, 118(z)60--76
solvers, SMT-, 78(3)310--326
solving, 13(1)1--21, 19(1)61--85, 24(1)63--81, 26(1)5--9, 30(1)83--118, 30(1)201--226, 30(3)287--308, 31(2)335--358, 34(3)163--190, 67(1)105--124, 147(z)54--77, 233(z)z--99999999
solving, problem-, 237(z)z--99999999
solving, SAT-, 77(10)1178--1197
Sommen, F. W., van der, 29(3)327--334
S{\o}ndergaard, Harald, 31(1)3--45, see Armstrong, Tania
Song, Fangmin, 15(1)79--94
Song, Jiyoung, 163(z)115--137
Song, Myoungkyu, 98(z)617--644, 181(z)27--46, 227(z)z--99999999
Song, Myoungkyu, see Newar, Dip Kiran Pradhan, see Wang, Yuchen
Song, You, 89(z)350--373
Song, You, see Huang, Fuqun
Song:2015:RMA, 98(z)617--644
Song:2018:FAT, 163(z)115--137
Sorbo, Andrea, Di, 205(z)z--99999999
S{\o}rensen, M. H., 32(1)73--107, see Seidl, H.
S{\o}rensen, Morten Heine B., 37(1)163--205
Sorensen:2000:CPT, 37(1)163--205
Sorknæs, Peter, 191(z)z--99999999, see Cabrera, Pedro
sort, 3(2)205--216, 7(1)23--33, 74(9)702--722
Sorted, Many-, 12(3)207--253
sorted, many-, 158(z)3--20, 225(z)z--99999999
sorted, Order-, 99(z)235--261
sorting, 1(3)223--233, 2(1)85--85, 3(2)205--216, 5(1)37--58, 9(2)107--136, 9(3)213--220, 9(3)263--270, 15(1)55--77, 15(2)119--133, 22(1)45--65, 26(1)15--31, 30(3)251--286, 78(5)594--611
SOS, 240(z)z--99999999
Sosa, Rosario, Uceda-, 242(z)z--99999999
SoSs, 200(z)z--99999999
Sosu, Rexford Nii Ayitey, 238(z)z--99999999
Sosu, Rexford Nii Ayitey, see Zhang, Chi
Soto, Arturo, Mora-, 121(z)176--189
Soubervielle-Montalvo, Carlos, 196(z)z--99999999
Soubervielle-Montalvo, Carlos, see Nuñez-Varela, Alberto S.
sound, 32(1)49--72, 75(3)106--133, 94(z)255--288, 99(z)128--192, 162(z)35--54, 229(z)z--99999999
sound, type-, 117(z)17--44
Soundararajan, Neelam, 8(1)43--67
Soundararajan, Neelam, see Joseph, Mathai
soundness, 46(3)283--306
Souquières, Jeanine, 5(2)201--218, 5(3)233--264, see Finance, Jean-Pierre
Souquieres:1985:DII, 5(3)233--264
source, 16(1)1--18, 16(2)151--195, 43(1)77--89, 60(2)121--133, 61(3)190--210, 62(3)205--208, 62(3)209--227, 76(12)1113--1129, 77(3)131--151, 78(9)1368--1406, 78(9)1663--1678, 78(10)1871--1891, 88(z)82--91, 91(z)139--140, 91(z)161--187, 96(z)121--140, 98(z)376--393, 98(z)680--706, 105(z)1--2, 176(z)14--32, 180(z)1--15, 196(z)z--99999999, 206(z)z--99999999, 208(z)z--99999999, 230(z)z--99999999, 237(z)z--99999999
source, open-, 79(z)241--259, 91(z)216--233
source-code, 97(z)127--134, 105(z)73--91
Sourcerer, 79(z)241--259
Sousa, Pedro, 45(2)137--153
Sousa, Simão Melo de, 111(z)505--534, see Rodrigues, Vítor
Sousa, Vasco, 170(z)45--79
Sousa, Vasco, see Syriani, Eugene
Sousa:2002:CRA, 45(2)137--153
Southport, 12(2)168--170
Souto, Francisco, Valdés-, 135(z)105--121
Souza, Bruno P. de, 229(z)z--99999999
Souza, Bruno P. de, see Erthal, Vladimir M.
Souza, Érica, Ferreira de, 244(z)z--99999999
Souza, Jeckson Dellagostin, 165(z)38--53
Souza, Jeckson Dellagostin, see Brandalero, Marcelo
Sowe, Sulayman K., 91(z)249--265
Sowe:2014:ESF, 91(z)249--265
space, 7(3)297--312, 25(2)187--218, 30(3)309--338, 31(2)231--261, 31(2)313--334, 34(2)79--140, 37(1)163--205, 41(3)277--294, 43(1)1--33, 46(1)137--162, 46(1)163--193, 47(2)203--220, 64(2)187--204, 64(2)246--262, 66(3)246--265, 74(9)702--722, 75(6)426--439, 75(11)921--942, 77(10)1122--1150, 78(7)778--795, 78(9)1427--1448, 80(z)356--384, 111(z)395--425, 111(z)426--457, 111(z)458--482, 148(z)123--160, 178(z)20--42, 203(z)z--99999999, 208(z)z--99999999, 223(z)z--99999999
space, data-, 63(1)3--15
Space, Fixed-, 2(2)133--141
space, Skew-, 78(5)445--457
space, state-, 76(2)100--118
space, tuple-, 115(z)149--176
Spadotti, Régis, 106(z)30--53, see Bodeveix, Jean-Paul
Spain, 2(1)87--88
Spanders, 78(5)544--555
spanning, 3(2)205--216, 78(5)544--555
SPARCv8, 187(z)z--99999999
Spark, 184(z)z--99999999
sparse, 111(z)23--50
sparse-matrix, 150(z)26--30
SPARTA, 74(1)23--33
spatial, 198(z)z--99999999
Spec, 96(z)34--51
specialisation, 52(1)307--339, 137(z)125--140
specialization, 95(z)149--175, 147(z)78--108, 185(z)z--99999999
specializer, 52(1)341--370
specific, 27(1)37--83, 205(z)z--99999999, 233(z)z--99999999
specific, bargaining-, 77(1)4--28
specific, concern-, 87(z)62--94
specific, Domain-, 96(z)488--510
specific, domain-, 46(3)219--254, 62(1)47--65, 78(6)657--681, 87(z)2--22, 93(z)19--38, 197(z)z--99999999, 207(z)z--99999999
specificational, 2(2)91--131
specified, 5(1)59--81, 28(2)139--170, 41(1)85--104
specify, 3(2)151--188, 51(1)47--85, 152(z)1--37, 207(z)z--99999999
specifying, 14(2)159--184, 18(3)223--245, 26(1)79--97, 40(1)31--57, 75(7)615--637, 76(2)65--81, 80(z)264--287, 107(0)19--40, 130(z)2--23, 149(z)3--8
spectral, 54(1)125--142
spectrum, 1(1)73--114, 106(z)3--29
speculative, 167(z)25--50
speech, 59(1)109--126
speed, 4(3)221--248
Spek, Pieter van der, 76(12)1261--1274
Spektor, Allan, 214(z)z--99999999
Spektor, Allan, see Tang, Yiming
Spiegelberg, G., 90(z)161--179
Spiegelberg, G., see Rupanov, V.
Spill, 28(2)193--223
SPIN, 111(z)277--299
Spinellis, Diomidis, 75(4)216--231
Spinellis:2010:CRB, 75(4)216--231
spirit, 11(1)87--88
Spivey, 11(2)180--184, 33(2)213--214
Spivey, Mike, 14(1)25--42
Spivey:1990:FTE, 14(1)25--42
SPLC, 78(12)2293--2294, 230(z)z--99999999, 243(z)z--99999999
splitting, 23(0)107--311, 23(2)127--149, 115(z)47--78, 174(z)90--108
spoken, 54(1)99--124
Sponar, 2(1)89--89
Spot, 230(z)z--99999999
Spoto, Fausto, 95(z)359--375, 191(z)z--99999999
Spoto, Fausto, see Ferrara, Pietro, see Scapin, Enrico
SPPF-style, 75(1)55--70
spreadsheets, 96(z)254--275
Springer, 10(2)215--216, 11(1)90--91, 11(1)95--97, 11(1)97--98, 11(2)175--176, 11(2)191--195, 12(3)260--264, 15(1)113--114, 16(1)95--97, 16(1)97--100, 16(2)204--205, 23(1)91--101, 51(3)291--292
Springer, Thomas, 94(z)53--66
Springer, Thomas, see Heinrich, Matthias
Springer-Verlag, 1(3)203--222
Spronck, Pieter, 67(1)59--75
Spronck, Pieter, see Ponsen, Marc
Sputh, Bernhard H. C., 203(z)z--99999999
Sputh, Bernhard H. C., see Cledou, Guillermina
SQA4AI, 229(z)z--99999999
SQL, 75(7)573--595, 105(z)44--72
square, 9(2)207--211
SRA, 240(z)z--99999999
Srba, Jirí, 230(z)z--99999999, see Hasrat, Imran Riaz, see Larsen, Kim G.
Sreedhar, Vugranam, 75(11)921--942
Sreedhar, Vugranam, see Buss, Marcio
Sridhar, Meera, 93(z)110--124
Sridhar:2014:HBI, 93(z)110--124
Sridharan, Manu, 219(z)z--99999999
Sridharan:2022:SPE, 219(z)z--99999999
Srikant, Y. N., 48(1)1--20
Srikant, Y. N., see Paleri, V. K.
Srisa-an, Witawas, 70(2)89--110
Srisa-an, Witawas, see Xian, Feng
Srivas, Mandayam, 10(1)33--63
Srivas, Mandayam, see Kapur, Deepak
Sroka, Jacek, 157(z)3--16
Sroka, Jacek, see Kedzia, Kamil
Ssanyu, Jackline, 211(z)z--99999999, 229(z)z--99999999
Ssanyu:2021:PCF, 211(z)z--99999999
Ssanyu:2023:TLP, 229(z)z--99999999
SSCalc, 243(z)z--99999999
SSCOP, 36(1)27--52
ST, 206(z)z--99999999
St-Denis, Richard, 94(z)217--237
St-Denis, Richard, see Fraikin, Benoît
stability, 76(12)1210--1222
stabilization, 160(z)93--114
stable, 72(1)40--51
Stack, 11(2)107--131, 199(z)z--99999999, 241(z)z--99999999
stack-based, 11(2)107--131
Stackability, 31(1)47--73
Staden, Stephan van, 85(z)102--114
Staden, Stephan van, see Hoare, Tony
Stadler, Lukas, 78(5)481--498
Stadler, Lukas, see Würthinger, Thomas
stage, Multi-, 76(5)349--375
stage, multi-, 62(1)85--94
staged, 62(1)47--65, 62(1)66--84
Stahl, Christian, 138(z)1--25
Stahl, Christian, see Müller, Richard
Staicu, Mihail-Octavian, 115(z)79--99
Staicu, Mihail-Octavian, see Jacquet, Jean-Marie
STAMP, 172(z)117--134
Stan, 18(2)215--218
standard, 2(3)207--214, 8(1)87--103, 16(2)204--205, 24(3)249--286, 31(1)147--173, 44(1)71--100, 60(2)149--170, 65(1)57--69, 68(2)79--94, 91(z)141--160, 131(z)76--93, 184(z)z--99999999
standard, non-, 30(3)309--338
standardization, 89(z)162--175, 91(z)234--248
Stanford, 38(1)147--149
Stanojevi{\'c}, Dusan, 129(z)92--102, see Raspopovi{\'c}, Miroslava
Stark, 236(z)z--99999999
Stark, Ian, 118(z)60--76
Stark, Ian, see Campbell, Brian
Staron, Miroslaw, 135(z)1--3
Staron:2017:PSI, 135(z)1--3
starts, 15(1)97--97
starvation, 76(2)82--99
state, 6(1)89--94, 7(1)1--22, 8(3)275--306, 18(3)247--269, 20(1)51--71, 22(1)137--155, 29(1)123--146, 30(3)309--338, 43(1)1--33, 47(2)203--220, 77(5)644--659, 77(10)1122--1150, 78(3)270--271, 78(6)725--746, 78(7)778--795, 80(z)343--355, 94(z)67--68, 94(z)93--108, 118(z)60--76, 131(z)22--41, 132(z)209--225, 133(z)116--153, 148(z)26--48, 148(z)123--160, 163(z)42--61, 163(z)115--137, 171(z)67--88, 178(z)20--42, 184(z)z--99999999, 197(z)z--99999999, 209(z)z--99999999, 210(z)z--99999999, 231(z)z--99999999, 233(z)z--99999999, 238(z)103152--103152, 242(z)z--99999999, 244(z)z--99999999
state, finite-, 14(2)185--228
state, N-, 24(3)189--220
State-Based, 216(z)z--99999999
state-based, 36(1)65--96, 53(2)143--164
State-cover, 78(9)1294--1323
state-rich, 76(9)792--833
state-space, 76(2)100--118
State-taint, 162(z)93--109
state-transition, 8(3)231--274
stateash, 76(2)119--135, 76(10)877--890
statechart, 8(3)231--274, 40(1)31--57, 40(1)119--145, 65(1)14--29, 74(3)65--99, 166(z)3--34, 170(z)45--79
Stateflow, 77(10)1151--1177
stateful, 78(9)1470--1489, 102(z)108--141, 195(z)z--99999999
statement, 9(3)287--306, 20(3)223--251, 27(1)1--35, 40(2)171--188, 214(z)z--99999999
static, 1(3)203--222, 3(3)279--312, 5(2)201--218, 16(1)1--18, 22(1)107--135, 22(3)283--306, 23(1)19--53, 27(1)37--83, 46(1)5--30, 47(2)89--90, 52(1)9--51, 58(1)1--2, 58(1)141--178, 59(1)4--25, 60(3)274--297, 64(1)29--53, 74(5)261--278, 75(3)134--175, 75(6)376--397, 75(11)1165--1191, 76(2)100--118, 78(9)1701--1727, 80(z)91--105, 80(z)223--263, 83(z)35--55, 95(z)320--342, 96(z)70--83, 98(z)735--763, 118(z)77--95, 147(z)27--53, 155(z)3--26, 191(z)z--99999999, 213(z)z--99999999, 214(z)z--99999999, 217(z)z--99999999, 223(z)z--99999999, 224(z)z--99999999, 225(z)z--99999999, 229(z)z--99999999
Statically, 23(1)19--53, 76(5)376--391, 219(z)z--99999999
station, 41(1)85--104
statistical, 10(2)213--215, 127(z)103--130, 132(z)173--189
Stauch, D., 63(3)297--320
Stauch, D., see Altisen, K.
Stavridou, V., 10(1)92--93
Stavridou:1988:BRB, 10(1)92--93
Stavrou, Aristos, 60(1)27--67
Stavrou, Aristos, see Papadopoulos, George A.
Steam-Boiler, 46(3)197--217
Steele Jr., Guy L., 75(9)787--795
Steele Jr., Guy L., see Hallett, J. J.
Steen, M. W. A., 33(3)261--298
Steen, M. W. A., see Bowman, H.
Steen, Maarten, 35(1)29--75
Steen, Maarten, see Boiten, Eerke
Steen, Maarten van, 64(2)246--262, 75(6)426--439
Steen, Maarten van, see Russello, Giovanni
Stefano, Luca, Di, 187(z)z--99999999, 223(z)z--99999999
Stefano, Manuel, De, 214(z)z--99999999
Stefano:2022:ISC, 214(z)z--99999999
Steffen, Bernhard, 21(2)115--139
Steffen, Martin, 76(10)915--941, 78(12)2511--2536, 181(z)1--26, 195(z)z--99999999
Steffen, Martin, see Dovland, Johan, see Fava, Daniel Schnetzer, see Gkolfi, Anastasia, see Hansen, Hallstein A.
Steffen, Peter, 51(3)215--263
Steffen, Peter, see Giegerich, Robert
Steffen:1993:GDF, 21(2)115--139
Steggles, L. Jason, 94(z)238--252
Steggles, L. Jason, see Jones, Cliff B.
Stehr, Mark-Oliver, 78(12)2453--2467
Stehr, Mark-Oliver, see Kim, Minyoung
Steimke, Frank, 89(z)162--175
Steimke, Frank, see Büttner, Fabian
Steinbrüggen, R., 1(1)73--114, see Bauer, F. L.
Steinder, Ma{\l}gorzata, 53(2)165--194
Steinder:2004:SFL, 53(2)165--194
Steinert, Bastian, 76(12)1194--1209
Steinert, Bastian, see Lincke, Jens
Steininger, Andreas, 80(z)109--129
Steininger, Andreas, see Reinbacher, Thomas
Stelovsky, Jan, 198(z)z--99999999
Stelovsky, Jan, see Bednarik, Roman
Stemmer, Ralf, 244(z)z--99999999
Stemmer:2025:RMC, 244(z)z--99999999
step, 26(1)33--57, 77(7)955--967, 77(10)1095--1121, 197(z)z--99999999, 236(z)z--99999999
step, two-, 163(z)19--41
step-local, 241(z)z--99999999
Stephen, 15(1)97--97, 15(1)111--112
Stephenson, Ben, 78(5)423--424
Stephenson, Ben, see Aleksy, Markus
Stephenson, K., 49(1)47--88
Stephenson, K., see Rees, D. Ll. L.
Stepney, S., 67(2)301--329
Stepney, S., see Banach, R.
stepwise, 9(3)287--306, 13(2)133--180, 14(2)185--228, 27(2)139--173, 30(3)251--286, 88(z)110--129
Sterritt, Roy, 61(1)48--57, 66(1)71--86
Sterritt, Roy, see Peña, Joaquin
Sterritt:2006:NGS, 61(1)48--57
Steve, 78(3)269--269
Steven, 33(1)97--99
Stevens, Reinout, 96(z)107--120
Stevens:2014:LFG, 96(z)107--120
Stevenson, Andrew, 96(z)444--459, 97(z)59--63
Stevenson, Graeme, 110(z)3--22
Stevenson, Graeme, see Viroli, Mirko
Stevenson, Mark, 97(z)405--425
Stevenson, Mark, see Shahbaz, Muzammil
Stevenson:2014:SGI, 96(z)444--459
Stevenson:2015:PVB, 97(z)59--63
Stewart, Alan, 28(1)1--41
Stewart, Alan, see Fitzpatrick, Stephen
stigmergy, 187(z)z--99999999
still, 244(z)z--99999999
StMungo, 155(z)52--75
stochastic, 38(1)143--146, 80(z)3--24, 157(z)71--102, 166(z)71--88, 168(z)1--17, 177(z)19--40, 232(z)z--99999999
stock, 225(z)z--99999999
Stoelinga, M. I. A., 80(z)188--209
Stoelinga, M. I. A., see Sijtema, M.
Stoelinga, Mariëlle, 123(z)1, 132(z)141--142, see Pang, Jun, \see{Sala{\"u}n, Gwen
Stoica, Anca-Juliana, 101(z)42--65
Stoica:2015:SCG, 101(z)42--65
Stol, Klaas-Jan, 101(z)79--98
Stol:2015:TOS, 101(z)79--98
Stölen, Ketil, 26(1)255--272
St{\o}len, Ketil, 11(2)195--196, 74(1)34--42, see Refsdal, Atle
Stolen:1988:BRB, 11(2)195--196
Stolen:1996:RPS, 26(1)255--272
Stoller, Scott D., 24(2)105--128, 41(2)139--172, 47(2)221--242
Stoller, Scott D., see Liu, Yanhong A.
Stoller:1995:VPU, 24(2)105--128
Stolz, Volker, 74(4)168--196, 75(10)879--897, 220(z)z--99999999
Stolz, Volker, see Carvalho, Gustavo, see Chen, Zhenbang, \see{Lei, Bin
stop, 32(1)73--107
storage, 4(1)96--97, 15(2)217--233, 15(2)235--248, 22(1)45--65, 24(3)189--220, 28(2)273--299, 30(1)51--82, 30(1)227--250, 30(3)287--308, 50(1)101--127
store, 34(3)163--190, 74(4)238--257, 202(z)z--99999999
store-and-forward, 4(3)249--256
Storer, Tim, 206(z)z--99999999
Storer, Tim, see Edwards, Nystrom
Storey, M.-A. D., 36(2)183--207
Storey:2000:HDP, 36(2)183--207
storm, 158(z)100--121
Storm, Tijs van der, 96(z)460--487, 97(z)69--74, 97(z)143--149, 114(z)7--19
Storm, Tijs van der, see Basten, Bas, see Eijck, Jan van
Störrle, Harald, 134(z)47--60
Storrle:2017:CEE, 134(z)47--60
story, 89(z)69--70, 227(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999
story-based, 236(z)z--99999999
Stosiek, Alina, 89(z)162--175
Stosiek, Alina, see Büttner, Fabian
Stoye, William, 6(3)291--311
Stoye:1986:MBF, 6(3)291--311
Straeten, R., Van Der, 78(2)168--194
Straeten, Ragnhild, Van Der, 87(z)62--94
Strahler, 6(2)207--211
Strand, 15(1)111--112
strata, 78(8)1099--1118
strategic, 16(2)197--198, 76(6)516--539, 202(z)z--99999999
Stratego, 230(z)z--99999999
Strategoash, 72(1)52--70
strategy, 2(3)207--214, 8(1)69--86, 8(3)213--229, 14(1)1--24, 21(1)57--90, 33(3)261--298, 40(1)59--96, 52(1)165--212, 75(12)1235--1261, 76(10)837--860, 76(12)1098--1112, 95(z)298--319, 99(z)75--94, 101(z)136--152, 152(z)116--160, 156(z)21--44, 196(z)z--99999999, 224(z)z--99999999, 225(z)z--99999999, 228(z)z--99999999, 229(z)z--99999999, 237(z)z--99999999
Stratified, 78(8)1099--1118
Streader, David, 76(9)774--791
Streader, David, see Reeves, Steve
stream, 54(2)257--290, 75(6)398--425, 78(11)2192--2215, 96(z)84--106, 105(z)124--144, 111(z)395--425, 132(z)173--189, 172(z)1--26, 195(z)z--99999999, 231(z)z--99999999
stream-processing, 10(1)65--85
streaming, 57(1)61--72, 65(2)108--139, 186(z)z--99999999
Streicher, Thomas, 38(1)155--157
Streicher:2000:PFM, 38(1)155--157
Strengthening, 41(2)139--172
stressing, 76(7)609--626
Stricker, Vanessa, 78(12)2414--2432
Stricker, Vanessa, see Heuer, André
strict, 44(1)5--22, 224(z)z--99999999
strictness, 7(3)249--278, 12(1)39--74, 22(3)327--354, 31(1)91--112, 31(1)113--145
Strider, 53(2)143--164
Striewe, Michael, 129(z)35--47
Striewe:2016:AMG, 129(z)35--47
strike, 8(3)275--306
string, 2(1)69--81, 12(3)177--190, 54(1)3--23, 75(11)1077--1094, 76(11)1073--1073, 97(z)405--425, 161(z)89--104
Strobbe, Matthias, 66(1)4--24
Strobbe, Matthias, see Verstichel, Stijn
Strocco, Fabio, 78(5)521--541, 133(z)51--73
Strocco, Fabio, see Bettini, Lorenzo, see Ernst, Erik
Strollo, Daniele, 75(10)848--878
Strollo, Daniele, see Ciancia, Vincenzo
strong, 10(2)177--210, 75(11)1165--1191, 78(9)1521--1537, 100(z)84--104
strongest, 20(3)223--251, 193(z)z--99999999
Stroustrup, Bjarne, 75(7)638--667, 75(9)773--786
Stroustrup, Bjarne, see Pirkelbauer, Peter
Strüber, Daniel, 214(z)z--99999999, see Kosiol, Jens
structural, 2(3)215--240, 5(2)111--142, 9(2)161--177, 10(3)247--280, 29(1)99--122, 30(3)309--338, 74(10)836--860, 74(10)861--878, 75(4)232--246, 78(1)46--64, 105(z)73--91, 110(z)78--103, 150(z)56--74, 235(z)z--99999999
structure, 3(1)1--35, 4(3)291--322, 5(2)111--142, 7(1)35--53, 8(2)113--137, 10(2)177--210, 10(3)221--245, 10(3)247--280, 11(1)29--43, 11(2)161--165, 11(2)195--196, 12(2)157--158, 13(1)73--110, 14(2)255--279, 14(2)281--304, 15(1)95--97, 18(1)1--38, 20(3)173--204, 22(1)67--105, 23(0)107--311, 23(2)107--125, 23(2)151--195, 23(2)227--286, 23(2)287--311, 24(2)149--158, 25(0)79--325, 25(2)187--218, 25(2)251--283, 26(1)15--31, 26(1)33--57, 26(1)59--78, 26(1)133--148, 26(1)149--165, 26(1)217--236, 26(1)255--272, 31(2)263--289, 31(2)291--311, 31(2)313--334, 32(1)73--107, 32(1)109--143, 34(1)75--77, 34(3)163--190, 49(1)47--88, 50(1)129--160, 62(3)253--286, 78(7)953--968, 79(z)224--240, 95(z)406--425, 99(z)128--192, 107(0)19--40, 111(z)318--338, 128(z)51--67, 132(z)77--95, 148(z)49--65, 170(z)45--79, 230(z)z--99999999
structure-editor, 9(2)179--205
structure-shy, 76(6)516--539
structured, 3(3)279--312, 11(3)263--297, 13(1)125--127, 14(2)185--228, 18(2)221--222, 20(3)173--204, 23(1)1--18, 25(2)117--147, 25(2)187--218, 25(2)251--283, 31(2)263--289, 34(3)163--190, 67(2)223--246, 75(12)1193--1214, 78(10)1770--1808, 97(z)235--265, 150(z)31--55, 231(z)z--99999999
structured, Block-, 16(3)251--275
structured, block-, 16(3)251--275
structured, Graph-, 32(1)109--143
structured, Tree-, 32(1)109--143
Structuring, 4(1)17--44, 125(z)1--22
Struik, P., 15(2)185--200
Struik:1990:SDP, 15(2)185--200
Struth, Georg, 76(3)181--203
Struth, Georg, see Desharnais, Jules
Stuart, A. A., Verrijn-, 7(1)23--33
Stübbe, Jonas, 240(z)z--99999999, see Delicaris, Joanna
Stüber, Sebastian, 232(z)z--99999999, see Buschhaus, Constantin
stuck-at, 8(2)203--211
Stuckey, Peter J., 111(z)156--189
Stuckey, Peter J., see Caballero, Rafael
Student, 10(1)95--97
study, 3(1)37--63, 4(1)17--44, 4(1)96--97, 10(2)218--219, 11(3)263--297, 16(1)93--95, 16(3)251--275, 23(2)287--311, 28(2)273--299, 38(1)147--149, 38(1)155--157, 40(2)189--211, 57(3)253--274, 59(1)4--25, 59(3)171--208, 62(1)3--24, 74(5)296--313, 74(9)754--776, 76(2)65--81, 76(2)82--99, 77(6)760--776, 78(1)117--144, 78(6)705--714, 78(7)828--842, 78(8)1010--1034, 78(8)1137--1156, 78(11)2108--2159, 80(z)169--187, 80(z)211--222, 82(z)77--97, 91(z)249--265, 93(z)65--85, 95(z)112--134, 95(z)445--468, 96(z)279--296, 97(z)113--121, 101(z)66--78, 103(z)13--50, 110(z)51--77, 120(z)25--48, 134(z)47--60, 135(z)45--74, 152(z)1--37, 158(z)100--121, 160(z)78--92, 163(z)42--61, 191(z)z--99999999, 201(z)z--99999999, 205(z)z--99999999, 207(z)z--99999999, 208(z)z--99999999, 214(z)z--99999999, 227(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999, 235(z)z--99999999, 240(z)z--99999999, 242(z)z--99999999
studying, 63(3)321--374, 76(12)1078--1097, 76(12)1210--1222, 80(z)457--479, 97(z)135--142, 218(z)z--99999999
Stuikys, Vytautas, 129(z)48--71
Stuikys:2016:MDP, 129(z)48--71
Stulova, Nataliia, 155(z)3--26
Stulova:2018:STO, 155(z)3--26
Stumptner, Markus, 97(z)202--234
Stumptner, Markus, see Cameron, Alexander
stutter, 235(z)z--99999999
style, 10(1)19--32, 16(1)90--90, 22(3)183--195, 23(2)107--125, 24(2)105--128, 26(1)179--196, 29(1)23--52, 74(1)52--63, 100(z)2--27
style, Boyer-Moore-, 48(2)99--117
style, Hilbert-, 34(2)141--158
style, Hoare-, 9(3)263--270
style, IR-, 77(3)355--374
style, SPPF-, 75(1)55--70
styles, 11(1)65--86, 56(1)79--98, 206(z)z--99999999
Su, Ting, 206(z)z--99999999
Su, Ting, see He, Weigang
Su, Wen, 94(z)109--129, 94(z)164--202
Su, Wen, see Banach, Richard
Su:2014:FHS, 94(z)164--202
sub-system, 78(9)1346--1367
subexpression, 147(z)3--26
subgoal, 89(z)223--234
sublinear, 27(2)85--118, 75(11)1095--1112
submachines, 131(z)3--21
Subramani, K., 76(7)609--626
Subramani, K., see Shankar, Natarajan
Subramaniam, Mahadevan, 52(1)165--212
Subramaniam, Mahadevan, see Winter, Victor L.
Subramanian, Nary, 57(1)1--4, 61(1)1--3, 66(1)1--3, 75(8)669--671, 77(1)1--3
Subramanian, Nary, see Chung, Lawrence
subroutine, 10(3)247--280
subsequence, 6(3)313--318
subservicing, 63(1)39--56
subset, 42(2)229--271, 45(2)245--270, 46(3)283--306, 158(z)21--40
substitution, 5(2)143--169, 23(2)287--311, 27(2)205--214, 33(1)87--96
substitutivity, 75(10)898--917
subsumption, 25(2)81--116, 239(z)z--99999999
subtree, 175(z)63--84
subtype, 39(1)57--92
subtyping, 17(1)217--245, 23(2)197--226, 25(2)81--116, 41(1)1--51, 43(2)93--127, 75(9)787--795, 76(10)915--941, 78(7)933--952, 179(z)54--86, 197(z)z--99999999, 208(z)z--99999999
succeed, 48(2)163--196
success, 89(z)69--70, 89(z)144--161, 130(z)37--68, 172(z)48--62, 195(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999
such, 4(1)45--86
Südholt, Mario, 75(12)1235--1261, see Tanter, Éric
sufficient, 50(1)51--71, 93(z)154--182
suffix, 25(0)79--325, 25(2)187--218
Sufrin, Bernard, 1(3)157--202, 13(1)117--119
Sufrin:1982:FSD, 1(3)157--202
Sufrin:1989:BRB, 13(1)117--119
suggested, 240(z)z--99999999
suite, 29(1)123--146, 79(z)39--51, 149(z)15--27, 150(z)1--25, 179(z)1--23, 227(z)z--99999999
suite, test-, 232(z)z--99999999
Sulewski, D., 76(2)136--157
Sulewski, D., see Edelkamp, S.
Sulzmann, Martin, 202(z)z--99999999, 218(z)z--99999999
Sulzmann, Martin, see Camarão, Carlos, see Gallagher, John P.
summaries, 239(z)z--99999999
summarization, 226(z)z--99999999
Summary-based, 92(z)56--84
summer, 2(1)89--89
Sun, Jing, 74(4)167--167, 95(z)93--111, 206(z)z--99999999, 214(z)z--99999999, 230(z)z--99999999
Sun, Jing, see Cai, Cheng-Hao, see Chondamrongkul, Nacha, see Dong, Jin Song, \see{Wang, Hai H.
Sun, Meng, 113(z)285--301, 170(z)27--44, 177(z)19--40, 192(z)z--99999999, 243(z)z--99999999
Sun, Meng, see Li, Yi, see Singh, Neeraj Kumar, see Zhang, Xiyue
Sun, Weidi, 192(z)z--99999999
Sun, Weidi, see Li, Yi
Sun, Weifeng, 214(z)z--99999999, 215(z)z--99999999
Sun, Weifeng, see Huang, Rubing
Sun, Xiaobing, 233(z)z--99999999
Sun, Xiaobing, see Ji, Wangjie
Sun, Yizhan, 53(2)215--253
Sun, Yizhan, see Couch, Alva
Sun, Yong-Qiang, 9(1)1--15
Sun, Yudong, 48(1)43--65
Sun, Yudong, see Cao, Jiannong
Sun:1987:DSE, 9(1)1--15
Sundar, R., 25(1)63--77
Sundar, R., see Madhukar, K.
Sunkle, Sagar, 77(3)152--173
Sunkle, Sagar, see Günther, Sebastian
sunt, 225(z)z--99999999
Sunyé, Gerson, 149(z)9--14, see Daniel, Gwendal
Suonio, Reino, Kurki-, 20(1)113--140
supercombinator, 8(2)113--137
Superpoder, 240(z)z--99999999
supervisory, 94(z)217--237, 97(z)17--22, 115(z)127--145
supply, 78(12)2313--2330
support, 5(2)201--218, 40(1)59--96, 53(2)143--164, 65(1)57--69, 73(1)13--25, 74(1)34--42, 74(10)836--860, 78(6)615--632, 78(11)2259--2267, 86(z)1--2, 88(z)92--109, 89(z)199--221, 91(z)141--160, 94(z)53--66, 95(z)73--92, 226(z)z--99999999, 232(z)z--99999999
supporting, 26(1)255--272, 27(2)175--184, 29(3)279--302, 44(1)51--69, 45(2)99--136, 52(1)131--163, 56(1)41--57, 57(1)109--128, 76(12)1144--1160, 76(12)1177--1193, 77(1)4--28, 78(8)1035--1054, 78(9)1728--1750, 78(10)1987--2008, 90(z)135--160, 96(z)84--106, 135(z)20--44, 174(z)38--71, 202(z)z--99999999, 221(z)z--99999999
supportive, 77(5)551--576
suppressing, 123(z)2--41
surge, 158(z)100--121
surprising, 97(z)309--319
survey, 50(1)3--22, 53(2)165--194, 63(1)3--15, 85(z)41--99, 96(z)444--459, 163(z)42--61
Suryadevara, Jagadish, 133(z)216--242
Suryadevara, Jagadish, see Seceleanu, Cristina
Susi, Angelo, 227(z)z--99999999
Susi, Angelo, see Ferdous, Raihana
suspendible, 65(1)14--29
Sussex, 12(3)265--266
Sustaining, 214(z)z--99999999
Sutton, Andrew, 78(9)1449--1469
Sutton:2013:ECC, 78(9)1449--1469
Sventek, Joseph, 80(z)288--310
Sventek, Joseph, see Calder, Muffy
SVT, 123(z)1
SVT'15, SAC-, 132(z)141--142
Swamy, Nikhil, 58(3)366--383, 62(2)122--144
Swamy, Nikhil, see Rose, James
Swamy:2006:SMM, 62(2)122--144
swap, 9(3)213--220, 12(1)75--81
swapping, 179(z)54--86
swarm, 237(z)z--99999999, 239(z)z--99999999
Swierstra, S. Doaitse, 96(z)211--229, 114(z)45--56, 137(z)98--124
Swierstra, S. Doaitse, see Bransen, Jeroen, see Viera, Marcos
Swierstra, Wouter, 233(z)z--99999999
Swierstra, Wouter, see Krijnen, Jacco O. G.
switch, 216(z)z--99999999
switching, 4(3)249--256, 5(1)1--36, 21(3)225--261
Switzerland, 18(2)215--218
SWQL, 207(z)z--99999999
SYB, 112(z)170--193
symbolic, 9(2)161--177, 9(2)179--205, 9(3)271--286, 11(1)45--63, 16(3)207--249, 20(1)51--71, 29(1)79--98, 39(1)93--123, 74(9)688--701, 74(9)723--753, 77(7)848--869, 77(10)1122--1150, 80(z)416--439, 82(z)44--55, 91(z)90--114, 97(z)383--404, 98(z)464--483, 102(z)142--157, 105(z)44--72, 111(z)248--276, 126(z)52--72, 158(z)21--40, 158(z)41--63, 178(z)20--42, 187(z)z--99999999, 206(z)z--99999999, 231(z)z--99999999, 233(z)z--99999999, 235(z)z--99999999, 243(z)z--99999999
symbols, 7(3)313--319, 21(2)93--113, 21(2)141--163, 21(3)263--291, 22(3)183--195, 25(2)187--218, 28(2)139--170, 29(3)303--326
symmetric, 90(z)55--66
symmetric, Time-, 215(z)z--99999999
symmetrically, 78(7)953--968
Symmetry, 132(z)209--225
symposium, 13(1)131--132, 15(1)115--116, 17(0)z--z, 22(0)181--356, 22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354, 25(0)79--325, 32(1)73--107, 32(1)109--143, 32(1)145--176, 32(1)177--210, 38(1)147--149, 58(1)1--2, 75(9)761--761, 75(11)919--920, 77(4)423--423, 77(9)969--970, 78(4)388--389, 78(6)613--614, 78(7)906--906, 78(8)1119--1120, 80(z)51--51, 92(z)85--85, 93(z)1--2, 96(z)175--176, 107(z)1, 119(z)1--2, 127(z)1, 162(z)1--2, 165(z)ii--ii, 173(z)1--2, 181(z)82--83, 187(z)z--99999999, 191(z)z--99999999, 201(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999, 220(z)z--99999999, 225(z)z--99999999, 230(z)z--99999999, 238(z)z--99999999, 432(0)ix--435
Synchronisation, 66(3)205--225
synchronization, 2(3)241--266, 13(1)1--21, 21(3)191--223, 22(1)45--65, 26(1)255--272, 47(2)91--120, 58(3)291--292, 63(2)109--110, 78(9)1294--1323, 115(z)199--224, 163(z)174--189
Synchronized, 28(0)91--299, 28(2)93--110
synchronizer, 58(3)293--309
synchronous, 16(2)103--149, 19(2)87--152, 20(1)141--171, 26(1)255--272, 29(1)199--233, 31(1)75--89, 48(1)21--42, 63(3)297--320, 92(z)211--228, 109(z)96--124, 111(z)190--211, 180(z)18--35, 184(z)z--99999999, 203(z)z--99999999, 206(z)z--99999999, 207(z)z--99999999
synopsis, 73(1)26--38
syntactic, 9(3)271--286, 11(2)107--131, 78(10)1845--1870, 95(z)176--199, 235(z)z--99999999
Syntactic-semantic, 97(z)47--54
syntactical, 75(11)1113--1141
syntax, 7(3)279--296, 8(2)147--172, 9(3)271--286, 11(1)45--63, 12(3)207--253, 21(3)263--291, 22(0)181--356, 22(3)197--230, 75(7)473--495, 76(12)1130--1143, 78(6)615--632, 78(10)1809--1827, 93(z)19--38, 166(z)120--145, 187(z)z--99999999, 228(z)z--99999999, 238(z)z--99999999
syntax-directed, 9(2)179--205
synthesis, 1(1)5--48, 1(3)235--254, 2(3)215--240, 15(2)135--158, 55(1)259--288, 71(3)181--212, 75(11)1022--1047, 76(8)651--680, 77(4)424--443, 83(z)56--79, 94(z)109--129, 97(z)17--22, 146(z)87--103, 160(z)3--29, 171(z)21--41, 185(z)z--99999999, 187(z)z--99999999, 212(z)z--99999999, 218(z)z--99999999, 224(z)z--99999999, 228(z)z--99999999, 230(z)z--99999999, 233(z)z--99999999, 242(z)z--99999999
synthesis, Pre-, 157(z)41--55
synthesisers, 201(z)z--99999999
synthesize, 2(3)241--266
Synthesizing, 60(2)134--148, 196(z)z--99999999, 206(z)z--99999999, 236(z)z--99999999
Syriani, Eugene, 170(z)45--79
Syriani:2019:SBP, 170(z)45--79
Systae, Kari, 20(1)113--140
Systae, Kari, see Kurki-Suonio, Reino
system, sub-, 78(9)1346--1367
system, transition-, 186(z)z--99999999
System-level, 242(z)z--99999999
system-on-a-chip, 173(z)21--36
systemash, 75(8)669--671
systematic, 1(1)115--144, 4(2)103--139, 15(2)185--200, 21(1)1--56, 22(1)107--135, 24(1)1--39, 25(1)63--77, 78(8)1010--1034, 105(z)145--170, 156(z)1--20, 204(z)z--99999999, 230(z)z--99999999, 232(z)z--99999999, 240(z)z--99999999
Systems, Systems-of-, 184(z)z--99999999, 212(z)z--99999999
systems, systems-of-, 192(z)z--99999999
Systems-of-Systems, 184(z)z--99999999, 212(z)z--99999999
systems-of-systems, 192(z)z--99999999
systolic, 9(2)207--211, 14(2)229--242, 15(2)135--158, 15(2)171--183, 15(2)201--215, 15(2)217--233, 27(2)119--137
Szafron, Duane, 67(1)32--58
Szafron, Duane, see Cutumisu, Maria
Szasz, Nora, 107(0)41--63, 126(z)3--30
Szasz, Nora, see Calegari, Daniel
Szatmári, Zoltán, 98(z)80--99, see Ujhelyi, Zoltán
Szeredi, Péter, 18(2)213--215
Szeredi:1992:BRB, 18(2)213--215
Sztipanovits, Janos, 89(z)105--125
Sztipanovits, Janos, see Nadas, Andras
Szydlowski, Barbara, 27(3)263--288
Szydlowski, Barbara, see Frost, Richard A.
Szymanski, Boleslaw K., 10(3)221--245
Szymanski:1988:EHD, 10(3)221--245