Index file section S for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
S
-
SA, NuSMV-, 9(1)5--24
-
Sabetta, Antonino, 21(1)105--119
-
Sabetta, Antonino, see Dashevskyi, Stanislav
-
Sabiguero, Ariel, 10(4)337--346
-
Sabiguero:2008:ACG, 10(4)337--346
-
SaBRe, 24(2)205--223
-
Sadoune, Idir, Ait-, 20(1)19--34
-
Safari, M., 23(5)741--763
-
Safari, M., see Blom, S.
-
safe, 19(6)717--741, 22(5)565--581, 24(2)247--260, 24(3)371--394
-
Safe, Georgia Penido, 14(1)95--108
-
Safe:2012:SFV, 14(1)95--108
-
safely, 11(4)325--338
-
safety, 6(2)158--173, 8(3)177--179, 8(3)248--260, 9(1)5--24, 9(1)63--76,
9(3)371--391, 9(5)505--525, 13(4)377--395, 14(6)673--702,
15(4)305--320, 15(5)433--454, 16(6)713--726, 18(1)67--91,
18(2)169--185, 22(2)115--133, 23(5)827--827, 24(1)33--48
-
safety-critical, 7(3)197--211, 7(3)268--279, 8(4)337--354,
19(2)247--269, 20(4)359--377, 20(4)423--440
-
Sagiv, Mooly, 19(5)535--547
-
Sagiv, Mooly, see Dillig, Isil
-
Sagonas, Konstantinos, 2(1)29--45, 4(4)401--404, 4(4)421--436,
21(3)287--306
-
Sagonas, Konstantinos, see Codish, Michael,
see Johansson, Erik, \see{Jonsson, Bengt,
see Kokologiannakis, Michalis
-
Saksena, Mayank, 14(2)223--241
-
Saksena, Mayank, see Abdulla, Parosh Aziz
-
Salle, Amleto, Di, 25(1)49--74
-
Salmerón, Alberto, 20(5)499--514,
see Gallardo, María del Mar
-
Salva, Sebastien, 24(4)529--548
-
Salva, Sébastien, 17(2)201--221
-
Salva:2015:AAA, 17(2)201--221
-
Salva:2022:LBM, 24(4)529--548
-
Sampaio, Augusto, 14(6)673--702
-
Sampaio, Augusto, see Gomes, Adriano
-
sampling, 17(4)469--484, 21(6)613--633
-
Sanán, David, 11(5)359--374,
see Cámara, Pedro de la
-
Sánchez, César, 23(2)157--183,
see Gorostiaga, Felipe
-
Sanctis, Martina, De, 25(1)49--74
-
Sanders, Beverly A., 3(2)217--234
-
Sanders, Beverly A., see Massingill, Berna L.
-
Sanders, J. W., 25(5)707--716
-
Sanders, J. W., see Yifeng, Chen
-
Sankaranarayanan, Sriram, 15(4)321--336, 16(2)175--190
-
Sankaranarayanan, Sriram, see Cox, Arlen,
see Kahlon, Vineet
-
Sankur, Ocan, 19(3)367--390
-
Sankur, Ocan, see Jacobs, Swen
-
sans, 24(5)843--888
-
Santos, Daniel Ricardo dos, 21(1)105--119
-
Santos, Daniel Ricardo dos, see Dashevskyi, Stanislav
-
SAT, 8(4)387--396, 10(6)503--520, 11(1)69--83, 13(5)449--461,
20(6)665--688, 25(2)133--144
-
SAT, Distributed-, 8(4)387--396
-
SAT-based, 7(2)156--173, 8(4)387--396, 18(2)187--204, 19(5)517--534
-
satellite, 14(5)553--566
-
satisfiability, 5(1)4--14, 7(2)143--155, 11(3)255--260, 12(2)123--137
-
SATMC, 18(2)187--204
-
saturation, 8(1)4--25
-
Sawaya, G., 11(1)13--25
-
Sawaya, G., see Melatti, I.
-
Sayed, Shereef, 16(1)67--80
-
Sayed, Shereef, see Snyder, Jason
-
SBIP, 17(2)171--185
-
SCADEash, 11(5)409--418
-
scalability, 5(1)1--3
-
scalable, 4(4)496--504, 5(2)107--123, 12(2)139--153, 13(6)585--601,
18(6)587--605, 20(6)645--663, 21(5)515--543, 23(2)185--208,
23(6)917--930, 24(3)395--414
-
scale, large-, 14(5)531--551
-
Scandurra, Patrizia, 15(4)363--374
-
Scandurra, Patrizia, see Bombino, Massimo
-
Scanniello, Giuseppe, 11(6)469--484
-
Scanniello:2009:AEB, 11(6)469--484
-
scenario, 18(6)607--628, 20(1)35--55, 22(2)105--114, 22(4)457--476
-
Scenario-based, 13(5)431--448, 24(5)803--819
-
Schadle, Florence, 21(4)425--448
-
Schadle, Florence, see Botella, Julien
-
Schaefer, Ina, 14(5)477--495, 14(5)511--530
-
Schaefer, Ina, see Jörges, Sven
-
Schaefer:2012:SDS, 14(5)477--495
-
Schäfer, Jan, 14(5)567--588, see Wong, Peter Y. H.
-
Schäfer, Wilhelm, 10(3)205--206
-
Schafer:2008:ISS, 10(3)205--206
-
Schairer, Axel, 3(1)66--77
-
Schairer, Axel, see Autexier, Serge
-
Schallhart, Christian, 12(1)23--37
-
Schallhart, Christian, see Bauer, Andreas
-
Schapachnik, Fernando, 7(1)4--18
-
Schapachnik, Fernando, see Braberman, Víctor
-
schedulability, 15(3)211--228, 17(2)187--199, 25(1)115--128
-
schedule, 4(1)21--33, 12(5)305--318, 22(5)565--581
-
scheduler, 8(4)411--430, 16(4)381--397
-
scheduling, 7(2)102--117, 10(1)5--14, 11(5)375--392, 12(3)245--261,
16(1)1--12, 19(3)281--308, 20(4)397--422, 23(5)721--740
-
Scheideler, Peter, 10(3)207--222
-
Scheideler, Peter, see Burmester, Sven
-
Scheinhardt, Werner, 17(4)377--395
-
Scheinhardt, Werner, see Reijsbergen, Daniël
-
schemas, 16(1)31--48
-
Schewe, Klaus-Dieter, 19(2)133--140
-
Schewe, Klaus-Dieter, see Boniol, Frédéric
-
Schewe, Sven, 15(5)519--539, 21(3)325--349
-
Schewe, Sven, see Fearnley, John,
see Finkbeiner, Bernd
-
Schieferdecker, Ina, 7(4)351--360, 10(4)281--283, 10(4)383--400,
16(3)215--225, 16(5)559--568
-
Schieferdecker, Ina, see Felderer, Michael,
see Grabowski, Jens
-
Schieferdecker:2005:DFL, 7(4)351--360
-
Schieferdecker:2008:ISS, 10(4)281--283
-
Schieferdecker:2008:THC, 10(4)383--400
-
Schiffl, Jonas, 25(2)185--204
-
Schiffl, Jonas, see Abbasi, Rosa
-
Schilling, Christian, 21(1)87--104, 25(4)575--592
-
Schilling, Christian, see Bak, Stanley,
see Kueffner, Konstantin
-
Schirmer, Sebastian, 25(4)593--616
-
Schirmer, Sebastian, see Baumeister, Jan
-
Schivo, Stefano, 23(1)69--70
-
Schivo, Stefano, see Kammüller, Florian
-
Schlatte, Rudolf, 14(5)567--588
-
Schlatte, Rudolf, see Wong, Peter Y. H.
-
Schlich, Bastian, 11(3)187--202
-
Schlich:2009:MCC, 11(3)187--202
-
Schlüter, Maximilian, 25(3)287--299, 25(3)301--327, 25(3)355--374,
see Murtovi, Alnis, \see{Nolte, Gerrit
-
Schluter:2023:TRU, 25(3)301--327
-
Schmerl, Sebastian, 13(1)89--106
-
Schmerl:2011:UMC, 13(1)89--106
-
Schmid, Klaus, 17(5)559--584
-
Schmid, Klaus, see Eichelberger, Holger
-
Schmidt, Aurora, 19(6)717--741
-
Schmidt, Aurora, see Jeannin, Jean-Baptiste
-
Schmidt, Joshua, 24(6)1043--1077
-
Schmidt, Karsten, 8(3)195--203
-
Schmidt:2006:AGP, 8(3)195--203
-
Schmidt:2022:SSV, 24(6)1043--1077
-
Schmitting, Peter, 10(4)353--358
-
Schmitting, Peter, see Gläser, Michael
-
Schneider, David, 22(3)315--332
-
Schneider, David, see Hansen, Dominik
-
Schneider, Joshua, 23(2)185--208
-
Schneider, K., 13(3)273--287
-
Schneider, K., see Bauer, K.
-
Schneider, Steve, 15(4)375--396, 16(6)685--711
-
Schneider, Steve, see Abdelhalim, Islam,
see James, Phillip
-
Schneider, Sven, 20(6)705--737, 23(3)369--410, 23(3)411--488
-
Schneider:2018:ARA, 20(6)705--737
-
Schneider:2021:FTT, 23(3)411--488
-
Schneider:2021:LBI, 23(3)369--410
-
Schneider:2021:SOF, 23(2)185--208
-
Schnitzer, Yannik, 25(2)205--218
-
Schnitzer, Yannik, see Biewer, Sebastian
-
Schobbens, Pierre Yves, 9(1)53--62
-
Schobbens, Pierre Yves, see Guelev, Dimitar P.
-
Schobbens, Pierre-Yves, 14(5)589--612
-
Schobbens, Pierre-Yves, see Classen, Andreas
-
Schopfer, G., 6(3)186--202
-
Schopfer:2004:CTI, 6(3)186--202
-
Schordan, Markus, 15(1)41--52, 16(5)493--505
-
Schordan, Markus, see Schreiner, Dietmar
-
Schordan:2014:CSA, 16(5)493--505
-
Schrammel, Peter, 18(3)319--334
-
Schrammel:2016:GTC, 18(3)319--334
-
Schreiner, Dietmar, 15(1)41--52, 15(1)53--63
-
Schreiner, Dietmar, see Lisper, Björn
-
Schreiner:2013:CTB, 15(1)41--52
-
Schröder-Preikschat, Wolfgang, 14(5)531--551,
see Tartler, Reinhard
-
Schulz, Bernd, 10(3)223--231
-
Schulz, Bernd, see Witting, Katrin
-
Schulz, Stephan, 10(4)327--336, 16(3)295--313, 24(1)67--87
-
Schulz, Stephan, see Rings, Thomas,
see Vukmirovi{\'c}, Petar
-
Schulz:2008:TSD, 10(4)327--336
-
Schupp, Sibylle, 17(1)91--105, 25(1)19--47
-
Schupp, Sibylle, see Lehmann, Sascha,
see Lincke, Daniel
-
Schuppan, Viktor, 5(2)185--204
-
Schuppan:2004:ERF, 5(2)185--204
-
Schürr, Andy, 6(3)183--185, 22(1)1--2, 23(6)853--856,
see Dörr, Heiko,
see Ruland, Sebastian,
see Russo, Alessandra
-
Schuster, Assaf, 4(4)496--504
-
Schuster, Assaf, see Ben-David, Shoham
-
Schuts, Mathijs, 18(1)93--108
-
Schuts, Mathijs, see Osaiweran, Ammar
-
Schwenger, Maximilian, 25(2)205--218
-
Schwenger, Maximilian, see Biewer, Sebastian
-
Schwinger, Wieland, 20(6)615--643
-
Schwinger, Wieland, see Müller, Andreas
-
Schwoon, Stefan, 10(2)161--166
-
Schwoon, Stefan, see Esparza, Javier
-
science, 17(3)321--338
-
Scientific, 18(6)575--580, 18(6)607--628, 18(6)629--651
-
Scott, Joseph, 25(2)219--239, 25(5)799--800
-
Scott:2023:ASS, 25(2)219--239, 25(5)799--800
-
Scott:2023:PCA, 25(2)219--239, 25(5)799--800
-
screen, 16(4)339--361
-
scripting, 20(1)57--78
-
scripts, 24(5)717--733
-
SDL, 1(1)153--165
-
search, 7(1)31--42, 18(2)129--147, 18(4)449--467
-
Sebastiani, Roberto, 13(4)319--335
-
Sebastiani:2011:SSE, 13(4)319--335
-
secrecy, 8(1)57--76
-
section, 2(2)95--97, 2(3)208--218, 3(3)247--249, 3(4)369--371,
4(2)139--141, 4(3)266--270, 4(4)401--404, 6(1)1--3, 6(4)257--259,
7(1)1--3, 7(3)195--196, 8(1)1--3, 8(6)467--469, 9(2)133--134,
9(3)209--212, 9(5)415--416, 10(1)1--3, 10(3)205--206, 10(4)281--283,
10(6)473--476, 11(2)85--94, 11(6)419--425, 13(2)107--109,
13(6)491--493, 14(3)243--247, 17(5)555--557, 22(3)249--255,
22(4)389--397, 25(5)617--624
-
secure, 9(5)527--544, 23(1)69--70
-
SEcurity, 17(2)201--221
-
security, 4(2)173--188, 4(4)472--495, 7(3)233--247, 8(1)57--76,
9(5)527--544, 10(6)473--476, 13(5)463--489, 17(3)245--250,
17(3)251--266, 17(3)267--289, 17(3)305--319, 18(2)187--204,
18(5)559--573, 21(2)221--246, 21(4)425--448, 23(1)69--70
-
SED, 21(5)485--513
-
Sedlmeier, Andreas, 22(4)457--476
-
Sedlmeier, Andreas, see Gabor, Thomas
-
Sedwards, Sean, 17(3)351--367, 17(4)469--484, 22(6)759--780
-
Sedwards, Sean, see Budde, Carlos E.,
see D'Argenio, Pedro,
see David, Alexandre
-
See, 18(1)67--91, 19(5)549--563, 21(1)1--29, 22(1)3--32, 22(1)33--34,
23(3)489--517, 23(3)519--519, 23(5)797--821, 23(5)823--823,
23(5)825--825, 23(5)827--827, 24(4)661--661, 25(2)219--239,
25(5)799--800
-
Seehusen, Fredrik, 16(5)627--642
-
Seehusen, Fredrik, see Erdogan, Gencer
-
Seeralan, Deepan, 16(1)67--80
-
Seeralan, Deepan, see Snyder, Jason
-
Seidl, Martina, 19(3)367--390
-
Seidl, Martina, see Jacobs, Swen
-
Seifermann, Stephan, 25(5)733--746
-
Seifermann, Stephan, see Bure{\v{s}}, Tom{\'a}{\v{s}}
-
Selected, 15(4)337--362, 21(3)247--248
-
selection, 14(1)95--108, 18(3)305--318, 21(4)425--448, 25(2)219--239,
25(5)799--800
-
selective, 24(2)205--223
-
self-composition, 22(4)417--436
-
Self-optimization, 10(3)207--222, 10(3)223--231
-
self-optimizing, 10(3)205--206, 10(3)207--222, 25(5)717--731
-
Selic, Bran, 8(2)93--96
-
Selic, Bran, see Graf, Susanne
-
semantic, 7(3)248--267, 8(2)93--96, 8(2)97--112, 8(4)359--371, 9(1)1--4,
9(1)25--36, 9(1)37--51, 9(5)447--456, 12(5)373--389, 13(1)61--87,
13(3)273--287, 20(6)739--769
-
Semantics-based, 2(1)29--45
-
semantics-preserving, 25(3)301--327
-
Semeráth, Oszkár, 22(1)57--78
-
Semerath:2020:DGM, 22(1)57--78
-
Sen, Koushik, 8(3)248--260, 23(6)863--866
-
Sen, Koushik, see Lemieux, Caroline
-
Sen, Sagar, 12(3)273--285
-
Sen, Sagar, see Moha, Naouel
-
Sen:2006:OEP, 8(3)248--260
-
sensor, 20(5)547--561
-
separation, 23(6)895--903
-
sequence, 5(1)78--89, 6(2)174--182, 7(4)326--340, 7(4)341--350,
18(3)285--304, 23(1)31--53
-
sequential, 7(1)43--60, 7(2)129--142
-
sequentialization-based, 21(5)545--565
-
Serazio, Luca, 16(3)295--313
-
Serazio, Luca, see Rings, Thomas
-
Serhrouchni, Ahmed, 2(4)321--327
-
Serhrouchni, Ahmed, see Holzmann, Gerard
-
serial, 2(1)68--88
-
Serugendo, Giovanna, Di Marzo, 22(4)417--436
-
service, 7(4)351--360, 7(4)376--387, 11(6)427--440, 11(6)441--451,
13(2)167--179, 15(2)125--147, 17(1)77--90, 18(6)581--586,
19(3)271--279, 22(4)417--436, 24(4)511--527
-
service-oriented, 19(3)309--324
-
Serwe, Wendelin, 15(2)89--107
-
Serwe, Wendelin, see Garavel, Hubert
-
Sery, Ondrej, 19(5)517--534
-
Sery, Ondrej, see Fedyukovich, Grigory
-
Seshia, Sanjit A., 11(2)95--104
-
Seshia, Sanjit A., see Bryant, Randal E.
-
session, 1(1)49--63
-
set, 10(3)223--231, 11(4)325--338, 15(5)455--474, 18(1)57--66,
20(5)589--610, 23(6)853--856
-
Sethi, Divjyot, 18(4)375--391
-
Sethi:2016:MCU, 18(4)375--391
-
setting, 22(4)365--388, 22(6)667--683
-
seven, 12(1)9--21, 20(3)263--288
-
Seyster, Justin, 14(3)327--347
-
Seyster, Justin, see Huang, Xiaowan
-
Shabalin, Pasha, 9(5)527--544
-
Shabalin, Pasha, see Jürjens, Jan
-
Shacham, Ohad, 13(3)263--272
-
Shacham, Ohad, see Bar-Ilan, Omer
-
Shafiei, Nastaran, 25(4)481--501
-
Shafiei:2023:CRV, 25(4)481--501
-
Shafique, Muhammad, 17(1)59--76
-
Shafique:2015:SRS, 17(1)59--76
-
Shakhov, Vladimir, 23(1)105--114
-
Shakhov:2021:GBT, 23(1)105--114
-
shalls, 8(4)303--319
-
Shalyto, Anatoly, 20(1)35--55
-
Shalyto, Anatoly, see Ulyantsev, Vladimir
-
Shankar, S., 4(1)125--137
-
Shankar, S., see Clarke, E. M.
-
shape, 23(4)565--577
-
shared, 8(6)547--563, 12(2)139--153
-
sharing, 5(2)268--297, 20(3)313--325
-
Sharp, Richard, 4(3)271--297
-
Sharp, Richard, see Mycroft, Alan
-
Sharygina, Natasha, 14(1)1--14, 19(5)517--534, 24(1)111--125
-
Sharygina, Natasha, see Blicha, Martin,
see Fedyukovich, Grigory
-
Sharygina:2012:ARA, 14(1)1--14
-
Shaw, Mary, 4(1)1--7
-
Shaw:2002:WMG, 4(1)1--7
-
Sheeran, Mary, 4(3)349--358
-
Sheeran, Mary, see Claessen, Koen
-
Sheinvald, Sarai, 24(5)667--689
-
Sheinvald, Sarai, see Frenkel, Hadar
-
Sher, Falak, 17(4)537--554
-
Sher, Falak, see Chakraborty, Souymodip
-
Shi, Jianqi, 16(4)339--361
-
Shi, Jianqi, see Fang, Huixing
-
Shi, Wenchang, 23(1)55--67
-
Shi, Wenchang, see Yuan, Yue
-
Shin, Insub, 2(2)168--181
-
Shin, Insub, see Wagenhals, Lee W.
-
Shintani, Kiraku, 23(6)905--916
-
Shintani, Kiraku, see Middeldorp, Aart
-
Shoham, Sharon, 13(4)289--306
-
Shoham, Sharon, see Fecher, Harald
-
should, 2(4)350--365, 5(2)237--246, 8(1)1--3
-
show, 5(2)237--246, 25(2)185--204
-
Shraideh, Mohammad, Al, 22(2)183--194
-
Shtrichman, O., 2(2)192--201
-
Shtrichman, O., see Pnueli, A.
-
Sibahi, Ahmad Salim, Al-, 19(5)585--603
-
Sickert, Salomon, 24(4)635--659
-
Sickert, Salomon, see Esparza, Javier
-
side, caller-, 17(3)291--303
-
side-channel, 23(4)641--654
-
Siegel, M., 2(2)192--201
-
Siegel, M., see Pnueli, A.
-
Siegle, Markus, 4(2)153--172
-
Siegle, Markus, see Hermanns, Holger
-
Sieling, Detlef, 3(2)112--136
-
Sieling, Detlef, see Drechsler, Rolf
-
Sifakis, Joseph, 22(4)437--455, 23(5)701--719, 25(5)625--639
-
Sifakis, Joseph, see Bozga, Marius,
see De Nicola, Rocco,
see El Ballouli, Rim
-
Sighireanu, Mihaela, 2(1)68--88, 23(6)895--903, 24(5)717--733
-
Sighireanu, Mihaela, see Becker, Benedikt
-
Sighireanu:1998:VLL, 2(1)68--88
-
Sighireanu:2021:SCC, 23(6)895--903
-
signal, 22(6)741--758, 25(4)557--573
-
signal, mixed-, 15(3)247--268
-
signalling, 9(3)305--326, 20(3)243--262
-
signatures, 13(1)89--106, 17(1)91--105
-
Signoles, Julien, 21(1)31--70
-
Signoles, Julien, see Bartocci, Ezio
-
Silvetti, Simone, 25(4)503--517
-
Silvetti, Simone, see Nenzi, Laura
-
Simao, Adenilso, 14(4)383--386
-
Simao, Adenilso, see Petrenko, Alexandre
-
Simão, Thiago D., 25(3)375--391, see Badings, Thom
-
similarity, 13(2)111--129
-
Siminiceanu, Radu, 8(1)4--25
-
Siminiceanu, Radu, see Ciardo, Gianfranco
-
Siminiceanu, Radu I., 9(1)63--76
-
Siminiceanu:2007:FVN, 9(1)63--76
-
Simmonds, Jocelyn, 12(5)319--335
-
Simmonds:2010:ERP, 12(5)319--335
-
Simone, Robert de, 8(2)146--155
-
Simons, David P. L., 3(4)469--485
-
Simons:2001:MVI, 3(4)469--485
-
Simonsen, Jakob Grue, 8(6)485--516
-
Simonsen, Jakob Grue, see Andersen, Jesper
-
simple, 17(1)47--57
-
simpler, 5(2)237--246
-
simplicity-driven, 20(3)327--354
-
simulated, 6(1)67--76
-
simulating, 20(3)243--262
-
simulation, 1(1)153--165, 2(4)343--349, 3(4)405--416, 6(3)186--202,
8(2)128--145, 9(1)77--88, 9(3)213--254, 9(5)471--487, 14(4)387--405,
16(4)339--361, 24(5)821--841
-
simulation, co-, 3(3)314--331, 15(4)363--374, 24(6)999--1024
-
simulator, 2(2)144--159, 24(3)493--510
-
Simulink, 20(1)95--117
-
Sincero, Julio, 14(5)531--551
-
Sincero, Julio, see Tartler, Reinhard
-
Sindhu, Muddassar Azam, 17(1)107--119
-
Sindhu, Muddassar Azam, see Wong, Peter Y. H.
-
Singh, Satnam, 4(3)349--358
-
Singh, Satnam, see Claessen, Koen
-
Singhal, Vigyan, 2(3)288--306
-
Singhal, Vigyan, see Pixley, Carl
-
single, 3(2)235--245
-
single-path, 22(6)655--666, 23(1)55--67
-
Sinnott, R. O., 18(6)587--605
-
Sinnott:2016:SCB, 18(6)587--605
-
SIP-ISUPash, 10(4)353--358
-
Sirjani, Marjan, 20(5)547--561
-
Sirjani, Marjan, see Khamespanah, Ehsan
-
site, 8(6)565--585, 11(6)453--468, 11(6)469--484
-
size, 13(3)263--272
-
Sjödin, Mikael, 4(4)437--455, see Engblom, Jakob
-
Skeleton, 24(4)549--561
-
sketching, 15(5)475--495, 21(3)249--265
-
Skou, Arne, 5(1)59--77, 14(6)703--720
-
Skou, Arne, see David, Alexandre,
see Nielsen, Brian
-
Skowron, Frank, 22(3)315--332
-
Skowron, Frank, see Hansen, Dominik
-
SL-COMP, 23(6)895--903
-
SLA, 13(2)167--179
-
Slaats, Tijs, 24(4)563--587
-
Slaats, Tijs, see Back, Christoffer Olling
-
Sleek, 16(4)381--397
-
slicing, 2(4)343--349, 4(1)125--137, 9(1)25--36, 9(1)89--101,
9(5)489--504, 20(6)645--663, 20(6)739--769, 23(2)209--228,
23(6)875--877
-
Slind, Konrad, 4(2)189--210, 7(4)341--350
-
Slind, Konrad, see Bunker, Annette,
see Dennis, Louise A.
-
Slotosch, O., 5(2)140--157
-
Slotosch, O., see Pretschner, A.
-
small, 8(3)180--194
-
Smans, Jan, 17(6)659--676
-
Smans, Jan, see Jacobs, Bart
-
smart, 16(4)421--435, 17(4)469--484, 20(5)515--528, 22(2)183--194,
22(4)497--509, 24(2)159--181
-
SMC, 17(4)397--415
-
smells, 24(6)889--910
-
Smolka, Scott A., 2(3)219--241, 4(4)505--528, 6(1)38--66, 14(3)327--347,
22(5)583--599
-
Smolka, Scott A., see DeFrancisco, Richard,
see Dong, Yifei, \see{Du, Xiaoqun,
see Huang, Xiaowan, \see{Yang, Ping
-
Smrcka, Ales, 24(1)1--28
-
Smrcka, Ales, see Charvát, Lukás
-
SMT, 11(1)69--83, 12(1)23--37, 12(6)467--481, 13(5)419--429,
20(4)467--491, 24(6)1043--1077, 25(2)185--204, 25(2)219--239,
25(5)799--800
-
SMT-based, 18(1)109--120, 25(2)185--204
-
SMV, 8(1)26--36
-
Sneed, Harry M., 11(6)441--451
-
Sneed:2009:PPM, 11(6)441--451
-
Snelting, Gregor, 2(1)1--5
-
Snelting:1998:PFS, 2(1)1--5
-
SNIP, 14(5)589--612
-
Snook, Colin, 22(3)297--313
-
Snook, Colin, see Dghaym, Dana
-
Snyder, Jason, 16(1)67--80
-
Snyder:2014:OSS, 16(1)67--80
-
social, 17(3)321--338, 25(5)707--716
-
socket, 11(5)359--374
-
Soechting, Elizabeth, 13(2)111--129
-
Soechting, Elizabeth, see Dobolyi, Kinga
-
Soeken, Mathias, 19(5)605--621
-
Soeken, Mathias, see Riener, Heinz
-
software, 2(1)1--5, 2(2)133--143, 4(1)1--7, 5(4)301--307, 5(4)370--390,
6(4)257--259, 6(4)302--319, 7(3)197--211, 7(4)376--387, 8(2)93--96,
8(3)280--299, 8(4)303--319, 8(4)321--335, 8(4)337--354,
8(4)359--371, 8(6)531--545, 9(1)37--51, 9(2)169--178, 9(2)179--192,
9(5)415--416, 9(5)471--487, 9(5)505--525, 10(2)145--160,
10(3)247--261, 11(1)1--11, 11(1)69--83, 11(3)255--260,
11(4)339--353, 11(5)359--374, 12(2)89--95, 12(6)405--408,
12(6)409--427, 13(1)1--2, 13(2)181--200, 13(5)397--403,
14(3)327--347, 14(4)383--386, 14(5)477--495, 14(5)531--551,
14(5)553--566, 14(5)589--612, 14(6)631--638, 15(1)41--52,
15(2)85--88, 15(4)337--362, 16(5)507--518, 17(1)1--16,
17(3)267--289, 17(5)555--557, 17(5)585--600, 17(5)627--646,
18(1)57--66, 18(3)245--249, 18(4)355--357, 19(1)1--7, 20(1)95--117,
20(4)423--440, 20(6)611--613, 22(1)1--2, 22(1)3--32, 22(1)33--34,
22(2)135--161, 22(2)219--247, 23(6)829--832, 23(6)833--846,
24(2)261--285, 24(5)717--733
-
software-defined, 16(1)67--80
-
software-intensive, 18(1)21--40
-
Sohail, Saqib, 15(5)433--454
-
Sohail:2013:SFT, 15(5)433--454
-
Sokolova, Ana, 15(3)189--209, 25(1)75--76
-
Sokolova, Ana, see Craciunas, Silviu S.,
see Laarman, Alfons
-
Sokolsky, Oleg, 14(3)243--247
-
Sokolsky:2012:ISS, 14(3)243--247
-
Solar-Lezama, Armando, 15(5)475--495
-
Solar-Lezama:2013:PS, 15(5)475--495
-
Solhaug, Bj{\o}rnar, 17(3)251--266, see Refsdal, Atle
-
solution, 7(4)316--325, 16(6)647--667, 21(1)1--29, 24(4)661--661
-
solver, 6(2)143--157, 10(6)503--520, 11(1)69--83, 12(1)23--37,
12(6)467--481, 13(5)419--429, 13(5)449--461, 19(5)605--621,
23(6)895--903, 25(2)185--204
-
solving, 7(2)118--128, 10(3)233--245, 11(3)255--260, 11(5)375--392,
12(2)155--170, 12(3)273--285, 13(6)519--535, 17(6)659--676,
20(6)665--688, 21(3)325--349, 24(6)1043--1077, 25(1)95--114,
25(2)133--144
-
Somenzi, Fabio, 3(2)171--181, 6(2)102--116, 7(2)143--155, 15(5)433--454
-
Somenzi, Fabio, see Jin, HoonSang,
see Li, Bing, \see{Sohail, Saqib
-
Somenzi:2001:EMD, 3(2)171--181
-
Somers, Lou, 19(4)487--510
-
Somers, Lou, see Hendriks, Martijn
-
Song, Fu, 16(2)147--173
-
Song, M., 10(1)57--74
-
Song, M., see Rozinat, A.
-
Song:2014:PMC, 16(2)147--173
-
Sora, Ioana, 9(2)155--168
-
Sora:2007:CCC, 9(2)155--168
-
Sorber, Jacob, 7(1)31--42
-
Sorber, Jacob, see Jones, Michael D.
-
sorters, 4(3)349--358
-
SOTA, 22(4)399--415
-
Sotoudeh, Matthew, 25(2)145--165
-
Sotoudeh:2023:STA, 25(2)145--165
-
Soueidi, Chukri, 25(4)453--479
-
Soueidi:2023:EEB, 25(4)453--479
-
sound, 17(4)429--456, 19(3)341--365
-
Soundness, 18(5)535--558
-
source, 11(3)187--202, 16(1)67--80, 21(4)471--484
-
source, open-, 19(1)9--30
-
source-level, 15(1)53--63
-
space, 2(3)279--287, 3(2)235--245, 6(2)117--127, 7(1)74--86,
7(3)280--291, 8(1)77--91, 8(3)177--179, 8(3)180--194, 8(3)195--203,
8(6)587--603, 9(3)213--254, 9(3)255--267, 9(3)269--304,
9(3)305--326, 9(3)393--411, 10(1)5--14, 10(1)29--56, 10(2)167--184,
10(3)233--245, 10(5)443--454, 12(2)97--111, 18(4)449--467,
21(1)71--86, 21(3)325--349, 21(4)365--400
-
space, design-, 17(5)559--584
-
space, state-, 8(1)4--25
-
Spagnolo, Giorgio O., 16(6)647--667, 20(3)263--288
-
Spagnolo, Giorgio O., see Ferrari, Alessio,
see Mazzanti, Franco
-
SPARK, 17(6)695--707
-
spatial, 18(6)587--605, 22(2)195--217, 25(5)641--658
-
spatio-temporal, 20(3)289--311, 25(4)503--517
-
special, 2(3)208--218, 6(4)257--259, 7(1)1--3, 7(3)195--196, 8(1)1--3,
8(6)467--469, 9(2)133--134, 9(3)209--212, 9(5)415--416, 10(1)1--3,
10(3)205--206, 10(4)281--283, 10(6)473--476, 11(2)85--94,
11(6)419--425, 13(2)107--109, 13(6)491--493, 14(3)243--247,
17(5)555--557, 18(4)355--357, 19(4)391--393, 22(2)103--104,
22(3)249--255, 22(4)389--397, 22(5)563--564, 23(4)545--546,
24(1)29--31, 24(4)611--612, 24(5)663--665, 25(1)75--76,
25(2)129--131, 25(2)185--204, 25(4)427--429, 25(4)519--520,
25(5)617--624
-
specific, 12(5)353--372
-
specific, AOP-, 19(6)743--761
-
specific, concurrency-, 14(3)291--305
-
specific, Domain-, 14(2)193--206
-
specific, domain-, 20(3)327--354, 24(2)127--158
-
specific, rule-, 25(5)733--746
-
specification, 3(3)314--331, 3(4)372--381, 4(1)34--56, 4(2)189--210,
4(4)456--471, 5(4)308--319, 6(2)143--157, 7(4)326--340,
7(4)341--350, 7(4)351--360, 7(4)361--375, 8(2)93--96, 8(3)280--299,
8(6)485--516, 9(2)179--192, 9(3)255--267, 9(5)505--525,
10(4)309--326, 10(4)353--358, 12(1)9--21, 12(6)467--481,
14(6)639--651, 15(5)563--583, 15(5)585--601, 16(4)363--380,
17(1)17--45, 17(1)107--119, 19(1)53--71, 19(5)549--563,
20(4)397--422, 20(6)665--688, 21(2)183--202, 22(3)297--313,
22(4)511--522, 23(5)825--825, 24(2)159--181, 24(3)351--370,
24(3)441--472
-
specified, 11(2)153--171
-
specified, edge-, 24(1)89--109
-
specifying, 5(4)331--350, 23(4)565--577, 23(5)685--700
-
speed, 12(5)319--335, 16(1)13--29
-
speed, high-, 22(5)523--539
-
SPIN, 2(4)321--327, 2(4)350--365, 2(4)382--393, 2(4)394--409,
4(2)234--245, 21(3)247--248, 22(2)103--104, 22(5)563--564,
25(1)75--76
-
Spin, 4(1)92--106, 22(3)265--279
-
Spin-based, 21(3)267--286
-
split, 20(3)313--325
-
SPLs, 21(6)691--707
-
spontaneous, 22(4)417--436
-
Spoto, Fausto, 23(1)71--88
-
Spoto, Fausto, see Ferrara, Pietro
-
Srba, Jirí, 15(2)125--147, 18(4)409--426, 20(5)529--546,
22(5)635--654, 24(1)49--65, see Enevoldsen, S{\o}ren,
see Jensen, Jonas Finnemann,
see Jensen, Peter Gj{\o}l,
see Marques Jr., Abinoam P.
-
Srivastava, Saurabh, 15(5)497--518
-
Srivastava:2013:TBP, 15(5)497--518
-
St-Denis, Richard, 21(2)121--141
-
St-Denis, Richard, see Routhier, Maxime
-
stage, two-, 15(5)433--454
-
Stahlbauer, Andreas, 16(5)507--518
-
Stahlbauer, Andreas, see Beyer, Dirk
-
Stanca-Kaposta, Bogdan, 16(3)285--294
-
Stanca-Kaposta, Bogdan, see Zeiss, Benjamin
-
standard, 5(2)237--246, 7(2)184--194, 7(4)341--350, 19(4)427--448,
22(3)333--347, 22(3)349--363
-
standardization, 7(4)376--387
-
Standardized, 10(4)353--358
-
standards-based, 7(4)376--387
-
Stark, Eugene W., 5(4)331--350
-
Stark:2004:FSC, 5(4)331--350
-
state, 2(3)270--278, 2(3)279--287, 5(2)185--204, 6(2)117--127,
7(1)74--86, 7(3)280--291, 8(1)77--91, 8(3)177--179, 8(3)180--194,
8(3)195--203, 9(3)213--254, 9(3)255--267, 9(3)269--304,
9(3)305--326, 9(3)393--411, 10(1)5--14, 10(1)29--56, 10(2)167--184,
10(5)443--454, 11(1)39--51, 12(2)97--111, 14(5)477--495,
16(5)493--505, 18(3)251--264, 21(4)365--400, 24(6)949--972,
25(1)19--47
-
state, discrete-, 17(4)505--526
-
state, explicit-, 4(4)505--528, 5(2)247--267
-
state, finite-, 2(4)317--320, 6(4)320--341, 20(1)35--55
-
state-based, 15(3)155--170, 17(1)59--76
-
State-explosion, 9(1)53--62
-
state-rich, 19(1)73--96
-
state-space, 8(1)4--25
-
Stateflow, 9(5)447--456, 14(6)653--671
-
Stateless, 21(3)287--306
-
statements, 4(3)298--312
-
static, 4(2)142--152, 10(2)131--144, 10(3)247--261, 15(4)321--336,
16(5)493--505, 19(4)427--448, 23(1)31--53, 23(1)71--88
-
stations, 4(1)107--124
-
statistical, 8(3)216--228, 10(2)145--160, 14(1)53--72, 17(2)171--185,
17(2)187--199, 17(3)351--367, 17(4)369--376, 17(4)377--395,
17(4)417--427, 17(4)429--456, 17(4)485--504, 17(4)505--526,
17(4)527--536, 17(4)537--554, 22(6)759--780, 25(3)407--426
-
status, 16(3)215--225
-
Stefano, Luca, Di, 25(5)675--691, 25(5)765--784
-
Stefansen, Christian, 8(6)485--516
-
Stefansen, Christian, see Andersen, Jesper
-
Steffen, B., 1(1)64--85
-
Steffen, B., see Larsen, Kim G.
-
Steffen, Bernhard, 1(1)1--5, 1(1)9--30, 5(2)107--123, 6(1)4--14,
8(6)467--469, 11(3)173--174, 11(4)307--324, 11(5)393--407,
14(5)511--530, 16(5)457--464, 16(5)465--479, 16(5)543--558,
16(5)569--591, 18(6)629--651, 19(1)1--7, 20(3)327--354,
20(4)397--422, 23(4)521--543, 23(5)655--677, 23(6)879--881,
23(6)917--930, 25(3)241--247, 25(3)267--285, 25(3)287--299,
25(3)301--327, 25(3)355--374
-
Steffen, Bernhard, see Beyer, Dirk,
see Chadli, Mounir,
see Cleaveland, W. Rance,
see Frohme, Markus, \see{Gossen, Frederik,
see Hinchey, Mike, \see{Howar, Falk,
see Hungar, Hardi, \see{Jansen, Nils,
see Jörges, Sven,
see Kopetzki, Dawid,
see Lamprecht, Anna-Lena,
see Margaria, Tiziana,
see Murtovi, Alnis, \see{Naujokat, Stefan,
see Neubauer, Johannes,
see Nolte, Gerrit, \see{Raffelt, Harald,
see Schlüter, Maximilian
-
Steffen:1997:ETI, 1(1)9--30
-
Steffen:2014:PDB, 16(5)465--479
-
Steffen:2014:TGC, 16(5)543--558
-
Steffen:2017:PST, 19(1)1--7
-
Stein, Benno, 10(3)233--245
-
Stein:2008:CLD, 10(3)233--245
-
Steinmetz, Marcel, 25(3)407--426
-
Steinmetz, Marcel, see Gros, Timo P.
-
Stephan, Frank, 21(3)325--349
-
Stephan, Frank, see Fearnley, John
-
Stephan, Werner, 3(1)66--77
-
Stephan, Werner, see Autexier, Serge
-
Stepien, Bernard, 10(4)371--381, 16(3)269--283
-
Stepien:2008:FTW, 10(4)371--381
-
Stepien:2014:IEI, 16(3)269--283
-
steps, 24(6)999--1024
-
stepwise, 11(6)427--440
-
Sterbenz, 5(2)237--246
-
Stevens, Perdita, 2(2)89--94, 6(2)99--101, 7(2)184--194
-
Stevens, Perdita, see Katoen, Joost-Pieter,
see Leucker, Martin
-
Stevens:1998:VTD, 2(2)89--94
-
still, 5(2)237--246, 7(2)129--142
-
stochastic, 3(4)417--430, 8(6)517--530, 12(5)305--318, 16(4)421--435,
17(4)485--504, 17(4)505--526, 20(2)195--210
-
Stoelinga, Mariëlle, 24(5)821--841,
see Budde, Carlos E.
-
Stoelinga, Mariëlle I. A., 3(4)469--485,
see Simons, David P. L.
-
Stoilkovska, Ilina, 24(1)33--48
-
Stoilkovska:2022:VSS, 24(1)33--48
-
St{\o}len, Ketil, 16(5)627--642, 17(3)251--266,
see Erdogan, Gencer, \see{Refsdal, Atle
-
Stoller, Scott D., 4(1)71--91, 14(3)327--347, 23(4)615--640
-
Stoller, Scott D., see Bortolussi, Luca,
see Huang, Xiaowan
-
Stoller:2002:MCM, 4(1)71--91
-
Store, 15(2)109--123
-
Storm, 24(4)589--610
-
Strandberg, Per Erik, 24(2)261--285
-
Strandberg:2022:STR, 24(2)261--285
-
strategy, 12(3)211--230, 16(1)103--121, 20(2)195--210, 20(4)441--465,
20(5)529--546, 21(4)449--469, 21(6)613--633, 24(3)395--414,
25(5)641--658
-
Stream, 23(2)157--183
-
streaming, 22(1)3--32, 22(1)33--34
-
streams, 23(2)157--183, 24(3)473--492
-
Street, James, 18(4)393--407
-
Street, James, see Adhikari, Kiran
-
Strejcek, Jan, 22(2)115--133, 23(6)875--877
-
Strejcek, Jan, see Chalupa, Marek
-
Strelec, Martin, 17(4)537--554
-
Strelec, Martin, see Chakraborty, Souymodip
-
strengths, 25(2)185--204
-
Strichman, Ofer, 7(2)87--88, 7(2)174--183, 8(3)229--247, 11(2)95--104,
13(3)263--272
-
Strichman, Ofer, see Bar-Ilan, Omer,
see Biere, Armin, \see{Bryant, Randal E.,
see Clarke, Edmund, \see{Groce, Alex
-
Striver, 23(2)157--183
-
stroke, 12(1)9--21
-
strong, 1(1)6--8, 5(2)237--246, 7(1)74--86, 13(6)553--569
-
structural, 25(3)393--405
-
structure, 5(2)268--297, 6(1)77--97, 8(3)180--194, 11(6)469--484,
15(5)541--561, 16(5)465--479, 19(5)549--563, 22(5)601--615,
23(5)825--825, 24(4)613--633, 25(3)355--374
-
structured, 16(4)363--380
-
STTT, 2(3)208--218
-
stubborn, 20(5)589--610
-
study, 3(3)332--352, 4(4)505--528, 5(2)140--157, 5(4)320--330,
8(6)517--530, 8(6)531--545, 11(5)375--392, 12(3)183--199,
12(3)287--304, 15(3)211--228, 15(5)585--601, 16(4)421--435,
16(5)593--607, 16(5)609--625, 19(2)133--140, 20(5)515--528,
20(6)689--704, 22(3)249--255, 22(3)257--264, 22(5)601--615,
23(6)931--952, 24(2)159--181, 25(3)355--374
-
study-based, 10(6)477--492
-
Stumpf, Tobias, 21(6)651--666
-
Stumpf, Tobias, see Herrmann, Linda
-
Su, Wen, 19(2)141--166
-
Su, Zhendong, 3(1)93--105
-
Su, Zhendong, see Aiken, Alexander
-
Su:2017:ALG, 19(2)141--166
-
sub-task, 20(3)313--325
-
subject, 24(6)999--1024
-
SubPolyhedra, 13(6)585--601
-
Subramaniam, Mahadevan, 3(1)32--65, 16(4)437--455
-
Subramaniam, Mahadevan, see Guo, Hai-Feng,
see Kapur, Deepak
-
subscribe, 6(3)219--230
-
subway, 16(4)339--361
-
successful, 25(2)185--204
-
Such, 5(2)237--246
-
Suilen, Marnix, 25(3)375--391
-
Suilen, Marnix, see Badings, Thom
-
suitability, 12(3)183--199
-
suite, 10(4)327--336, 10(4)347--352, 14(5)567--588, 16(3)285--294
-
suite, test-, 23(6)853--856
-
Sulewski, Damian, 13(1)21--35
-
Sulewski, Damian, see Bosnacki, Dragan
-
summaries, 19(5)565--584
-
Summers, Alexander J., 22(6)709--728
-
Summers:2020:ADV, 22(6)709--728
-
Sun, Jun, 14(6)653--671, 20(6)689--704
-
Sun, Jun, see Chen, Chunqing,
see Wang, Jingyi
-
Sun, Youcheng, 25(3)393--405
-
Sun, Youcheng, see Usman, Muhammad
-
Sundmark, Daniel, 18(3)335--353, 24(2)261--285
-
Sundmark, Daniel, see Enoiu, Eduard P.,
see Strandberg, Per Erik
-
super, 12(1)53--67
-
superscalar, 2(2)182--191, 4(3)298--312, 24(3)415--440
-
supervisory, 21(2)121--141, 21(6)679--689
-
support, 8(6)531--545, 10(1)75--93, 10(3)207--222, 13(4)355--376,
25(2)185--204, 25(3)249--266, 25(5)765--784
-
support, Tool-, 9(5)527--544
-
Supporting, 24(2)247--260
-
suppressed, Zero-, 3(2)156--170
-
suppression, 23(4)601--614
-
Suri, Neeraj, 22(5)565--581
-
Suri, Neeraj, see Metzler, Patrick
-
surrogate, 25(3)341--354
-
survey, 2(3)242--259, 7(2)156--173, 11(4)339--353, 16(6)727--751
-
survivability, 23(1)105--114
-
Suter, Philippe, 15(5)455--474
-
Suter, Philippe, see Kuncak, Viktor
-
Suvée, Davy, 9(2)135--154, see Vanderperren, Wim
-
swarm, 8(6)587--603, 22(2)183--194, 22(5)583--599
-
swarm-based, 8(6)587--603
-
Sweep, 8(3)195--203
-
sweep-line, 8(3)195--203, 9(3)371--391, 10(1)29--56
-
switching, 13(6)519--535
-
SWOT, 19(1)1--7
-
Sylvan, 19(6)675--696
-
symbolic, 2(3)260--269, 2(4)410--425, 4(1)107--124, 4(4)496--504,
5(1)15--33, 5(2)158--164, 6(2)128--142, 7(2)118--128, 7(2)143--155,
8(1)4--25, 10(2)113--129, 11(1)53--67, 11(4)339--353, 13(1)61--87,
13(4)319--335, 16(1)81--102, 16(4)437--455, 16(5)519--529,
19(1)53--71, 20(2)157--177, 21(5)485--513, 21(5)545--565,
23(6)867--870, 23(6)875--877
-
Symmetric, 4(1)92--106
-
Symmetry, 6(4)302--319, 21(5)567--605
-
Symposium, 13(2)107--109
-
synchronization, 15(5)413--431, 23(3)335--368, 25(5)659--673
-
synchronizing, 18(5)517--534
-
synchronous, 6(3)245--255, 8(1)4--25, 8(2)146--155, 8(6)517--530,
24(1)33--48, 24(6)911--948
-
syntactic, 20(4)441--465
-
SYNTCOMP, 19(3)367--390
-
synthesis, 4(3)271--297, 10(5)455--471, 12(5)305--318, 15(5)397--411,
15(5)413--431, 15(5)433--454, 15(5)455--474, 15(5)497--518,
15(5)519--539, 15(5)541--561, 15(5)585--601, 15(5)603--618,
17(5)601--626, 18(2)227--243, 19(3)367--390, 19(5)535--547,
20(2)195--210, 21(6)679--689, 23(4)601--614, 23(6)917--930,
24(3)395--414, 24(6)999--1024, 25(5)641--658
-
synthesizing, 13(6)519--535, 16(5)465--479, 19(4)449--464
-
SyReNN, 25(2)145--165
-
SysML, 16(4)399--419
-
system-level, 5(2)107--123, 7(4)326--340, 18(1)21--40
-
System-on-chip, 11(3)217--238
-
systematic, 4(2)211--223, 16(3)295--313, 16(5)627--642, 17(1)59--76,
17(3)305--319, 17(5)601--626
-
Szilágyi, Gábor, 22(1)79--102,
see Búr, Márton