Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
S
-
Saaman, Erik, 1(1)19--84
-
Saaman, Erik, see Backhouse, Roland
-
SACM, 33(6)855--884
-
safe, 26(1)125--167, 33(3)437--455
-
safety, 5(4)299--336, 6(5)495--511, 6(5)565--568, 7(4)389--411,
33(2)251--295, 33(3)325--341
-
Safety-Critical, 25(1)37--57
-
safety-critical, 33(3)343--384
-
Saidouni, Djamel Eddine, 27(5)951--973
-
Saidouni, Djamel Eddine, see Bouneb, Messaouda
-
Salaün, Gwen, 22(6)681--711, 28(2)179--180,
see Giannakopoulou, Dimitra,
see Lang, Frédéric
-
Saleh, Mohamed, 22(5)585--609
-
Saleh:2010:GTF, 22(5)585--609
-
salience, 21(6)541--569
-
Salzer, Gernot, 21(3)293--301
-
Salzer, Gernot, see Feinerer, Ingo
-
Sammane, Ghiath, Al, 25(6)971--991
-
Sampaio, A., 28(6)937--1004
-
Sampaio, A., see Oliveira, M. V. M.
-
Sampaio, Augusto, 15(2)146--181, 22(2)153--191, 22(5)489--535,
26(3)441--490, 28(5)725--765, 29(3)381--382
-
Sampaio, Augusto, see Carvalho, Gustavo,
see Cavalcanti, Ana, \see{Duran, Adolfo,
see Falaschi, Moreno,
see Nogueira, Sidney, \see{Sherif, Adnan
-
Sampath, Prahladavaradan, 26(4)695--727
-
Sampath:2014:ETP, 26(4)695--727
-
SAN, 19(1)3--33
-
Sander, Herbert P., 1(1)303--319
-
Sander, Herbert P., see Dybjer, Peter
-
Sanders, Beverly A., 3(2)189--205, 9(3)270--282
-
Sanders, Beverly A., see Dijkstra, Rutger M.
-
Sanders, J. W., 2(1)273--293, 3(2)206--212, 7(4)430--439, 8(6)617--647,
24(1)45--65, 26(4)623--676
-
Sanders, J. W., see Hayes, I. J.,
see Lengauer, C., \see{Liu, Xi,
see Morgan, Carroll, \see{Murphy, David
-
Sanders:1991:ESA, 3(2)189--205
-
Sanders:2012:ER, 24(1)45--65
-
Sandner, R., 16(3)194--209
-
Sandner, R., see Krüger, I.
-
Sangiorgi, Davide, 31(6)733--749
-
Sangiorgi, Davide, see Pous, Damien
-
sanity, 28(1)45--63
-
Sannella, Donald, 9(3)229--269, 13(3)252--273
-
Sannella, Donald, see Bidoit, Michel
-
Sannella, Donald T., 13(3)187--193
-
Sannella, Donald T., see Rydeheard, David E.
-
Sannella:1997:ECA, 9(3)229--269
-
Sántha, Miklós, 4_1S_638_648,
see Balcázar, José
-
Santiago, Regivan H. Nunes, 18(2)231--243
-
Santiago:2006:FAC, 18(2)231--243
-
Santos, Filipe, 30(3)333--349
-
Santos:2018:ASM, 30(3)333--349
-
Sarkar, Dipankar, 29(2)365--379
-
Sarkar, Dipankar, see Banerjee, Kunal
-
Sasson, Nada, 6(6)620--642
-
Sasson, Nada, see Avron, Arnon
-
SAT, 31(3)375--409, 33(6)829--854
-
satisfiability, 21(5)485--494, 30(2)193--217
-
Scaife, N., 17(1)38--57
-
Scaife, N., see Cook, A.
-
scalable, 21(1)187--223, 24(2)267--302
-
scale, 23(6)683--709
-
Scandurra, Patrizia, 26(6)1077--1113
-
Scandurra, Patrizia, see Riccobene, Elvinia
-
Scanniello, Giuseppe, 24(3)307--330
-
Scanniello, Giuseppe, see Risi, Michele
-
scenarios, 20(1)79--100
-
Schaefer, Ina, 26(4)761--793
-
Schaefer, Ina, see Damiani, Ferruccio
-
schedulability, 7(5)510--532
-
schedulers, 24(4)679--699, 24(4)727--748
-
scheduling, 26(2)281--303, 31(2)261--285
-
Schellhorn, Gerhard, 20(1)41--59, 21(1)65--102, 22(1)33--61,
23(1)91--112, 30(5)597--625
-
Schellhorn, Gerhard, see Banach, Richard,
see Boiten, Eerke,
see Bäumler, Simon,
see Derrick, John, \see{Haneberg, Dominik
-
Schema, 33(6)1115--1145
-
Schema-Based, 15(1)48--83
-
schematics, 33(6)829--854
-
scheme, 24(4)793--805, 27(1)33--52
-
Schettini, Andrea, Maggiolo-, 19(1)93--109, 20(4)351--377
-
Schieferdecker, Ina, 10(5)483--508
-
Schieferdecker, Ina, see Vassiliou-Gioles, Theofanis
-
Schlager, Steffen, 17(4)423--442
-
Schlager, Steffen, see Beckert, Bernhard
-
Schlatte, Rudolf, 21(6)571--588
-
Schlatte, Rudolf, see Basuki, Thomas Anung
-
Schmaltz, Julien, 20(3)241--258
-
Schmaltz:2008:FFC, 20(3)241--258
-
Schmidt, David, 4_1S_727_754
-
Schmidt, David, see Mizuno, Masaaki
-
Schmidt, Renate A., 6(3)339--358
-
Schmidt, Renate A., see Brink, Chris
-
Schneider, David, 30(5)545--569
-
Schneider, Steve, 5(6)530--553, 12(3)165--181, 17(4)390--422,
18(3)308--328, 26(1)1--2, 26(1)37--62, 26(1)63--98, 26(2)251--280,
28(6)909--935
-
Schneider, Steve, see Boiten, Eerke,
see Davies, Jim, \see{Heather, James,
see Hoang, Thai Son, \see{Moran, Murat
-
Schneider-Kamp, Peter, 29(3)559--579
-
Schneider-Kamp, Peter, see Codish, Michael
-
Schneider:2000:ATC, 12(3)165--181
-
Schneider:2005:CTC, 17(4)390--422
-
Schneider:2006:TMP, 18(3)308--328
-
Schneider:2014:BSE, 26(2)251--280
-
Schneider:2018:MBP, 30(5)545--569
-
Schnoebelen, Philippe, 24(4)595--607
-
Schnoebelen, Philippe, see Bouyer, Patricia
-
Schoeller, Bernd, 21(4)319--346
-
Schoeller, Bernd, see Ostroff, Jonathan S.
-
Scholefield, David, 8(4)408--427
-
Scholefield:1996:RTR, 8(4)408--427
-
Schrammel, Peter, 29(5)911--931
-
Schrammel:2017:IBM, 29(5)911--931
-
Schreiner, Wolfgang, 21(3)277--291
-
Schreiner:2009:RPP, 21(3)277--291
-
Schreur, Ronny Wichers, 19(2)191--203
-
Schreur, Ronny Wichers, see Jacobs, Bart
-
Schreye, Danny, De, 29(1)125--153
-
Schröder, Lutz, 22(3)363--384, 33(4)695--727,
see Mossakowski, Till,
see Wißmann, Thorsten
-
Schulte, Wolfram, 22(3)423--457
-
Schulte, Wolfram, see Smans, Jan
-
Schulz, Hans-Jörg, 25(5)723--742, see John, Mathias
-
Schumann, Heidrun, 25(5)723--742
-
Schumann, Heidrun, see John, Mathias
-
Schuppan, Viktor, 14(3)267--280
-
Schuppan:2003:VIF, 14(3)267--280
-
Schürr, Andy, 31(5)457--458, see Russo, Alessandra
-
SCI, 11(5)475--497
-
science, 13(3)187--193
-
scientist, 21(5)393--395
-
SCOOP, 19(4)487--512, 21(4)347--362
-
screw, 30(6)739--757
-
SCTL-MUS, 13(1)50--91
-
SDL, 3(1)21--57
-
SDLV, 33(3)325--341
-
second, 8(3)247--293
-
section, 30(6)627--628
-
sector, multi-, 24(3)355--374
-
secure, 14(1)2--34, 24(4)793--805, 28(4)669--696
-
security, 4_1S_727_754, 17(3)260--276, 17(3)277--318, 20(1)41--59,
22(1)63--81, 23(5)627--648, 23(6)711--737, 25(1)59--87,
26(1)99--123, 26(1)125--167, 26(1)169--194, 27(5)789--804,
30(2)279--317, 30(5)525--544
-
See, 5(4)299--336, 6(5)565--568, 7(1)1--2, 7(1)3--17, 7(2)113--149,
10(2)160--170, 18(4)495--517, 19(4)551--554, 22(2)83--104,
22(3)483--484, 31(5)611--640, 32(1)153--153
-
Seed, L., 18(1)3--30
-
Seed, L., see Bogdanov, K.
-
Segala, Roberto, 7(3)231--265
-
Segala, Roberto, see Lynch, Nancy
-
Segall, 9(2)208--226
-
Seidel, Karen, 8(1)67--85, 8(6)617--647
-
Seidel, Karen, see Morgan, Carroll
-
Seidel:1996:SDV, 8(1)67--85
-
Sekerinski, Emil, 15(2)215--236
-
Sekerinski:2003:ETV, 15(2)215--236
-
Seki, Hirohisa, 29(1)1--2, 29(3)401--421
-
Seki, Hirohisa, see Proietti, Maurizio
-
Seki:2017:DPC, 29(3)401--421
-
Seldin, Jonathan P., 4(5)425--441
-
Seldin:1992:CCC, 4(5)425--441
-
selection, 23(1)3--19
-
Self-adaptation, 28(4)669--696
-
Self-Driving, 33(3)325--341
-
self-interest, 24(4)793--805
-
self-stabilisation, 24(4)661--670
-
Sellink, Alex, 10(1)30--42, 10(1)43--58
-
Sellink, Alex, see Korver, Henri
-
semantic, 4_1S_649_672, 4_1S_727_754, 4(4)376--408, 5(2)91--120,
5(3)181--207, 6(6)586--606, 7(3)289--313, 7(4)440--468, 8(1)47--66,
8(6)706--715, 9(1)68--77, 9(5)518--536, 10(1)1--29, 10(2)171--186,
11(4)359--380, 11(4)426--447, 11(6)690--723, 12(1)18--40,
13(2)142--160, 15(4)299--318, 15(4)390--405, 15(4)406--421,
16(3)166--193, 17(3)319--341, 18(2)181--210, 21(1)3--32,
21(5)421--449, 22(3)269--296, 23(2)153--170, 23(2)221--238,
23(3)307--332, 25(1)89--106, 26(2)251--280, 26(3)491--535,
26(5)943--962, 27(1)133--166, 27(3)525--549, 27(4)641--664,
27(5)867--884, 29(3)453--474, 29(5)853--875, 30(1)163--192,
30(3)351--380, 30(3)491--492, 32(2)275--314, 33(2)207--249,
33(3)457--458, 33(4)803--826
-
Semantics--Directed, 12(2)71--99
-
semantics-based, 3(4)315--325
-
semantics.org, http://www.concrete-, 30(3)491--492
-
semaphores, 25(6)947--969
-
Semiotic, 11(3)272--301
-
semiring, 24(4)623--645
-
Senni, Valerio, 24(4)569--594
-
Senni, Valerio, see Pettorossi, Alberto
-
sensor, 27(1)79--102, 33(6)1249--1277
-
separation, 7(4)430--439, 18(2)120--142, 22(6)735--772, 30(3)381--441,
31(2)207--230
-
sequence, 18(1)84--101, 22(6)667--679, 25(2)159--187, 25(3)389--403,
26(6)1153--1167
-
sequencer, 9(4)395--408
-
sequential, 4(5)487--492, 6(3)250--268, 6(6)716--737, 7(6)620--651,
15(1)84--99, 18(2)181--210, 19(2)159--189
-
Sequentiality, 6(6)620--642
-
Sere, 26(2)197--201
-
Sere, K., 8(3)324--346
-
Sere, K., see Back, R. J. R.
-
Sere, Kaisa, 12(4)278--297, 26(2)281--303
-
Sere, Kaisa, see Boström, Pontus
-
Sere:2000:DRR, 12(4)278--297
-
Serial, 14(3)247--266
-
Sernadas, 29(2)173--173
-
Sernadas, A., 7(1)18--36
-
Sernadas, A., see Costa, J. F.
-
Sernadas, Amílcar, 2(1)24--59, see Carmo, José
-
server, 28(4)697--722
-
service, 12(4)218--219, 12(4)220--221, 12(4)222--224, 17(3)277--318,
23(4)433--463, 23(4)541--565, 24(2)187--216, 25(6)833--846,
26(6)1077--1113, 27(4)613--640, 32(4)361--393
-
service-centred, 26(5)865--918
-
service-oriented, 26(5)865--918
-
Serý, Ondrej, 25(4)543--572, see Poch, Tomás
-
set, 1(1)173--192, 12(6)443--458, 23(1)73--89, 24(2)249--266,
33(4)519--545
-
Sevegnani, Michele, 26(3)537--561, 33(6)1249--1277
-
Sevegnani, Michele, see Archibald, Blair,
see Calder, Muffy
-
SH-Verification, 10(4)381--404
-
Shallow, 13(3)327--340
-
Shankland, Carron, 10(5)509--531, 14(3)199--199, 14(3)200--214,
14(3)281--294
-
Shankland, Carron, see Cooke, John,
see Fidge, Colin, \see{Maharaj, Savi
-
Shankland:1998:TIP, 10(5)509--531
-
shaper, 30(3)333--349
-
shared, 4(4)323--340, 8(1)67--85, 9(2)149--174, 24(4)609--621,
27(3)551--572, 30(3)351--380
-
shared-memory, 31(2)133--163
-
Shared-Variable, 14(2)123--197
-
shared-variable, 25(6)893--931
-
sharing, 6(6)659--675, 26(3)537--561
-
Sharp, 11(5)498--540
-
Sharygina, Natasha, 17(4)461--483, 23(5)627--648
-
Sharygina, Natasha, see Braghin, Chiara,
see Chaki, Sagar
-
Sheng, Feng, 32(2)275--314
-
Sheng:2020:TPA, 32(2)275--314
-
Sherif, Adnan, 22(2)153--191
-
Sherif:2010:PAF, 22(2)153--191
-
Shi, Jianqi, 32(1)113--145
-
Shi, Jianqi, see Huang, Yanhong
-
Shi, Ling, 30(3)351--380
-
Shi, Zhiping, 30(6)739--757
-
Shi:2018:FAK, 30(6)739--757
-
Shi:2018:USC, 30(3)351--380
-
Shields, M. W., 4_1S_649_672, 11(5)567--590
-
Shields, M. W., see Pitt, D. H.
-
Shields, Michael, 14(1)35--54
-
Shields, Michael, see Pitt, David H.
-
Shields:1992:MHP, 4_1S_649_672
-
Shoham, Sharon, 30(5)571--595
-
Shoham, Sharon, see Elkader, Karam Abd
-
should, 13(3)214--232
-
showing, 7(5)576--580
-
Shukla, Sandeep, 17(2)160--176
-
Shukla, Sandeep, see Norman, Gethin
-
SI--Algebra, 9(4)395--408
-
Sibilio, Eleonora, 25(5)801--832
-
Sibilio, Eleonora, see Merro, Massimo
-
Siddique, Umair, 28(5)881--907
-
Siddique:2016:FAG, 28(5)881--907
-
Sidorova, N., 23(3)333--363
-
Sidorova, N., see Aalst, W. M. P. van der
-
Siekmann, Jörg, 11(3)326--342
-
Siekmann:1999:LUI, 11(3)326--342
-
Sifakis, Joseph, 28(2)207--231
-
Sifakis, Joseph, see Attie, Paul
-
signalling, 10(5)483--508, 33(6)1009--1036
-
signature, 19(1)63--91
-
signing, 26(4)825--859
-
Signoles, Julien, 27(3)573--609
-
Signoles, Julien, see Kirchner, Florent
-
Silberschatz, Abraham, 2(1)342--358
-
Silberschatz, Abraham, see Soparkar, Nandit
-
Simao, Adenilso, 28(1)65--78
-
Simao, Adenilso, see Paiva, Sofia Costa
-
Simone, C., 4_1S_612_637
-
Simone, C., see Pomello, L.
-
Simons, Anthony J. H., 23(1)43--71
-
Simons, Anthony J. H., see Derrick, John
-
Simons, Martin, 8(1)86--107
-
Simons:1996:ALS, 8(1)86--107
-
simple, 7(4)353--388, 20(3)259--275, 25(6)847--891, 26(2)319--366
-
Simpson, 16(4)332--351
-
Simpson, Andrew, 26(6)1231--1269
-
Simpson, Andrew, see Wu, Nicolas
-
Simpson, Dan, 1(1)293--301, 3(1)102--105, 8(4)490--497
-
Simpson, Dan, see Cooke, John,
see Harman, Mark, \see{Pitt, David
-
simulation, 1(1)229--241, 7(3)231--265, 7(6)620--651, 11(5)498--540,
18(1)31--41, 19(2)205--224, 29(6)1013--1050
-
Simulink, 21(5)451--483
-
Sinclair, J. E., 16(4)394--411, 19(3)303--319
-
Sinclair, J. E., see Reed, J. N.
-
Sinclair, Jane, 7(3)266--288
-
Sinclair:1995:ERS, 7(3)266--288
-
Singh, Ranjeet, 29(1)33--55
-
Singh, Ranjeet, see Chawdhary, Aziem
-
single, 5(4)367--382
-
singleton, 18(2)181--210, 20(3)295--301
-
Sinha, Nishant, 17(4)461--483
-
Sinha, Nishant, see Chaki, Sagar
-
Sinnig, Daniel, 23(3)307--332
-
Sinnig:2011:POS, 23(3)307--332
-
Sintzoff, 23(3)239--242
-
Sipma, Henny, 12(4)218--219
-
Sipma, Henny, see Browne, Anca
-
Sipma, Henny B., 20(4)507--560
-
Sipma, Henny B., see Slanina, Matteo
-
Sistla, A. Prasad, 6(5)495--511, 11(4)402--425
-
Sistla:1994:SLF, 6(5)495--511
-
Sistla:1999:PVL, 11(4)402--425
-
Sisto, Riccardo, 20(3)303--348, 26(1)99--123, 26(1)125--167,
30(2)279--317
-
Sisto, Riccardo, see Avalle, Matteo,
see Bertolotti, Ivan Cibrario,
see Pironti, Alfredo
-
Sisto:2018:FSI, 30(2)279--317
-
Sitaraman, Murali, 8(6)716--736, 23(5)607--626
-
Sitaraman:1996:IPC, 8(6)716--736
-
Sitaraman:2011:BPB, 23(5)607--626
-
Skeirik, Stephen, 29(3)423--452
-
Skeirik, Stephen, see Meseguer, José
-
Sketch, 11(5)475--497
-
SL, 17(2)177--200
-
Slanina, Matteo, 20(4)507--560
-
Slanina:2008:DVA, 20(4)507--560
-
slice, 24(2)217--248, 30(1)107--131
-
slicing, 8(4)490--497, 18(2)103--119, 20(6)563--595, 24(2)217--248
-
sliding, 17(3)342--388
-
Sliding-Window, 7(1)1--2
-
sliding-window, 7(1)3--17
-
Slind, Konrad, 19(3)343--362
-
Slind:2007:PPS, 19(3)343--362
-
Sloane, A., 26(1)169--194
-
Sloane, A., see Hoang, T. S.
-
slot, 16(4)332--351
-
Slotosch, Oscar, 12(4)225--227
-
Slotosch:2000:MVA, 12(4)225--227
-
small, 4(1)100--142
-
Smans, Jan, 22(3)423--457
-
Smans:2010:AVJ, 22(3)423--457
-
smart, 32(1)71--111
-
smells, 22(3)345--361
-
Smetsers, Sjaak, 19(2)191--203
-
Smetsers, Sjaak, see Jacobs, Bart
-
Smith, G., 17(4)389--389
-
Smith, G., see Boiten, E.
-
Smith, Graeme, 7(3)289--313, 8(3)347--368, 13(2)128--141, 15(1)1--27,
18(3)264--287, 21(1)155--186, 22(1)1--1, 24(1)45--65, 24(3)393--416,
29(2)227--249, 29(6)935--950, 32(1)1--32
-
Smith, Graeme, see Boiten, Eerke,
see Derrick, John, \see{Duke, Roger,
see Li, Qin, \see{Sanders, J. W.
-
Smith, Hampton, 23(5)607--626
-
Smith, Hampton, see Sitaraman, Murali
-
Smith, Noah, Torp-, 22(5)547--583
-
Smith:1995:FAS, 7(3)289--313
-
Smith:2002:IRT, 13(2)128--141
-
Smith:2006:VDR, 18(3)264--287
-
Smith:2009:MCA, 21(1)155--186
-
Smith:2017:RTR, 29(6)935--950
-
Smith:2020:LHW, 32(1)1--32
-
Smolka, Scott A., 8(5)585--606
-
Smolka:1996:PEP, 8(5)585--606
-
SMV, 14(3)267--280
-
Snepscheut, 6(3)247--249, 7(1)1--2
-
Snepscheut, Jan L. A. van de, 4(2)195--236, 7(1)3--17
-
Snepscheut, Jan L. A. van de, see Lukkien, Johan J.
-
Social, 11(3)272--301
-
software, 2(1)1--23, 8(1)3--46, 13(1)50--91, 13(2)161--186,
17(4)443--460, 17(4)461--483, 18(2)143--151, 20(2)161--204,
21(3)293--301, 24(2)163--186, 24(3)307--330, 24(3)355--374,
27(3)573--609, 28(3)441--467, 29(5)911--931, 30(6)761--762,
33(3)301--323
-
Soldani, Jacopo, 31(4)421--451
-
Soldani, Jacopo, see Brogi, Antonio
-
Soldo, Matteo, 32(2)187--227
-
Soldo, Matteo, see Bersani, Marcello M.
-
Solin, Kim, 22(1)3--31
-
Solin, Kim, see Meinicke, Larissa
-
solution, 9(4)425--445, 17(4)443--460, 22(5)537--545, 25(5)743--768
-
solving, 30(5)545--569, 31(3)375--409
-
Sommerville, S. T., 1(1)147--171
-
Sommerville, S. T., see Burton, C. T.
-
Song, Fu, 27(2)397--421
-
Song, Xiaoyu, 30(6)739--757
-
Song, Xiaoyu, see Shi, Zhiping
-
Song:2015:MCD, 27(2)397--421
-
Soparkar, Nandit, 2(1)342--358
-
Soparkar:1990:ICH, 2(1)342--358
-
Sorge, Volker, 11(3)326--342
-
Sorge, Volker, see Siekmann, Jörg
-
sorted, 3(1)2--20
-
sorted, order-, 8(5)539--564, 29(3)423--452
-
sorting, 29(3)559--579
-
Sotudeh, Gholamreza, 27(2)309--334
-
Sotudeh:2015:AAF, 27(2)309--334
-
sound, 24(1)127--160, 29(6)951--986, 30(1)107--131, 30(2)279--317,
33(4)547--573
-
Soundness, 23(3)333--363
-
space, 4_1S_612_637, 5(6)481--529, 10(3)290--306, 20(2)225--238,
25(4)465--501
-
Spanning, 11(1)45--55
-
Spark, 32(1)33--70
-
spatial, 25(2)189--218
-
Special, 18(3)263--263, 19(2)137--138, 30(6)627--628
-
Specific, Domain-, 10(5)452--468
-
specification, 1(1)115--135, 1(1)242--272, 1(1)303--319, 2(1)1--23,
2(1)226--246, 3(1)21--57, 3(3)253--283, 4(1)13--47, 4(1)48--75,
4(1)100--142, 4(3)239--272, 4(6)544--571, 5(4)299--336,
6(5)471--494, 6(5)565--568, 6(6)643--658, 7(3)329--347,
7(4)430--439, 7(6)587--619, 7(6)704--727, 8(2)127--161,
8(4)428--462, 8(5)607--616, 8(6)716--736, 9(3)229--269,
9(4)349--358, 10(1)59--75, 10(2)187--192, 11(2)107--131,
11(5)475--497, 12(1)52--70, 12(3)147--164, 12(4)237--259,
12(5)350--371, 13(1)1--31, 13(1)32--49, 13(2)111--127,
13(2)161--186, 13(3)252--273, 14(3)228--246, 16(3)263--291,
18(3)364--395, 19(1)35--62, 19(2)159--189, 19(2)273--273,
19(4)417--444, 20(1)21--39, 20(1)101--116, 20(3)277--294,
20(6)563--595, 21(5)495--510, 22(2)153--191, 22(3)345--361,
22(5)585--609, 23(1)3--19, 25(3)365--388, 27(5)831--865, 28(1)1--20,
28(1)145--178, 32(2)187--227, 33(4)729--761
-
specified, 4(1)48--75, 15(1)1--27
-
specifying, 1(1)147--171, 6(5)569--579, 10(2)125--159, 12(4)231--232,
25(5)769--799
-
Spectrum, Broad-, 13(3)196--213
-
spectrum, wide-, 29(5)853--875
-
Spichkova, Maria, 20(6)637--662
-
Spichkova, Maria, see Botaschanjan, Jewgenij
-
SPIN, 11(6)637--664, 14(3)247--266, 27(5)789--804
-
Spin, 17(2)177--200, 27(2)239--253
-
Spivey, J. M., 7(2)150--168
-
Spivey, Michael, 8(3)369--375, 8(5)565--584
-
Spivey:1995:UCS, 7(2)150--168
-
Spivey:1996:CTF, 8(3)369--375
-
Spivey:1996:RTZ, 8(5)565--584
-
Spoletini, Paola, 31(5)459--502, 33(6)1039--1066
-
Spoletini, Paola, see Menghi, Claudio
-
Sprevak, 29(6)1121--1122
-
Springer, 30(3)491--492, 30(6)759--759, 30(6)761--762, 31(4)453--454
-
Springintveld, Jan, 17(1)19--37
-
Springintveld, Jan, see Groote, Jan Friso
-
Sproston, Jeremy, 14(3)295--318
-
Sproston, Jeremy, see Kwiatkowska, Marta
-
SRML, 22(3)243--268
-
stabilisation, self-, 24(4)661--670
-
Stability, 6(6)620--642
-
stable, 19(3)303--319
-
stack, 5(4)289--298, 21(1)187--223, 23(4)541--565
-
stack, nested-, 4(4)341--375
-
Staden, Stephan van, 24(4)423--431
-
Staden, Stephan van, see Hoare, Tony
-
Stamper, Richard, 7(2)207--225
-
Stamper, Richard, see Todd, FRCS, Bryan S.
-
standard, 10(3)243--247, 11(4)472--473, 28(3)499--527
-
Standardization, 11(1)1--20
-
Stankaitis, Paulius, 33(6)1009--1036
-
Stankaitis:2021:RBD, 33(6)1009--1036
-
Stannett, Mike, 2(1)331--341, 6(6)696--715, 18(1)31--41
-
Stannett:1990:XMH, 2(1)331--341
-
Stannett:1994:ICS, 6(6)696--715
-
Stannett:2006:STA, 18(1)31--41
-
Staples, John, 6(1)1--38
-
Staples, Mark, 12(5)372--391
-
Staples:1994:FLH, 6(1)1--38
-
Staples:2000:IRR, 12(5)372--391
-
star, 33(4)519--545
-
Starvation-free, 25(6)947--969
-
state, 3(3)284--307, 4_1S_612_637, 4(6)572--581, 8(5)607--616,
17(4)461--483, 18(4)397--420, 18(4)421--431, 20(2)225--238,
26(3)441--490, 26(5)943--962, 28(2)233--263, 28(5)805--845,
29(5)777--803, 30(2)319--332
-
state, steady-, 31(1)27--46
-
state-based, 6(5)471--494, 7(3)266--288
-
Statechart, 11(6)637--664
-
Statechartable, 25(5)659--681
-
Stateflow, 26(2)367--405
-
Statemate, 15(4)390--405
-
statements, 9(5)518--536
-
static, 6(2)201--222
-
statistical, 31(2)165--206, 33(6)957--987, 33(6)1147--1172
-
Stavridou, Victoria, 5(4)299--336, 7(6)704--727
-
Stavridou, Victoria, see Mukherjee, Paul
-
stays, 6(5)471--494
-
steady-state, 31(1)27--46
-
Steen, Maarten, 10(2)125--159
-
Steen, Maarten, see Derrick, John
-
steered, 33(3)301--323
-
Steering, 33(3)325--341
-
Steffen, 31(5)641--642
-
Steffen, Bernhard, 8(5)585--606, 8(5)607--616, 23(5)589--606,
28(2)233--263
-
Steffen, Bernhard, see Cassel, Sofia,
see Graf, Susanne, \see{J{\"o}rges, Sven,
see Smolka, Scott A.
-
Steggles, Jason, 27(3)525--549
-
Steggles, Jason, see Ciobanu, Gabriel
-
Stell, John, 7(2)226--229
-
Stell, John, see Mukherjee, Paul
-
Stenger, Marvin, 31(2)261--285
-
Stenger, Marvin, see Bisgaard, Morten
-
STeP, 12(4)218--219
-
step, 18(2)143--151
-
Stepney, Susan, 3(1)58--101, 20(1)5--19, 25(3)439--464
-
Stepney, Susan, see Banach, Richard,
see Woodcock, Jim
-
Stepney:1991:DCC, 3(1)58--101
-
stepwise, 24(4)519--535, 26(2)281--303, 33(1)87--125
-
Stevens, Perdita, 18(4)397--420, 30(1)1--1
-
Stevens, Perdita, see Denney, Ewen,
see Tenzer, Jennifer
-
Stewart, A., 6(4)417--439, 16(1)36--50
-
Stewart, A., see Wray, J. P.
-
Stewart, Alan, 23(4)421--432, 25(6)833--846
-
Stewart, Iain, 7(5)581--585
-
Stewart, Iain, see Mitchell, W. P. R.
-
Stewart:2004:BSA, 16(1)36--50
-
Stewart:2011:PMB, 23(4)421--432
-
Stewart:2013:RAO, 25(6)833--846
-
stochastic, 16(3)238--262, 24(4)497--518, 26(3)537--561, 27(1)53--77,
29(4)629--649, 29(4)751--775, 33(6)989--1007
-
Stoddart, Bill, 5(4)289--298, 25(1)107--131
-
Stoddart:1993:TIS, 5(4)289--298
-
Stoddart:2013:UPC, 25(1)107--131
-
Stoelinga, Mariëlle, 14(3)328--337, 29(4)651--703, 30(1)77--106,
see Gerhold, Marcus,
see Junges, Sebastian
-
Stoelinga:2003:FFC, 14(3)328--337
-
St{\o}len, Ketil, 8(2)127--161, 13(1)1--31, 25(2)159--187,
see Grosu, Radu,
see Runde, Ragnhild Kobro
-
Stolen:1996:SRN, 8(2)127--161
-
Stomp, F. A., 2(1)109--122, 6(6)716--737
-
Stomp, F. A., see Partsch, H. A.
-
Stomp, Frank, 11(5)475--497
-
Stomp, Frank, see Felty, Amy
-
Stomp:1994:PSR, 6(6)716--737
-
stop, 18(4)459--493
-
stopping, 18(4)459--493, 26(2)319--366
-
storage, 24(3)355--374
-
storing, 5(4)299--336, 6(5)565--568
-
StPowla, 22(3)243--268
-
strand, 25(4)465--501
-
strategic, 19(4)445--474
-
strategy, 13(3)233--251, 15(2)146--181, 24(4)647--660, 27(3)525--549
-
Streader, David, 20(3)295--301
-
Streader, David, see Reeves, Steve
-
stream, 12(6)423--442, 12(6)443--458, 12(6)459--472, 12(6)473--484,
13(6)431--446, 16(4)374--386, 20(6)597--617, 28(1)1--20
-
Stream-Based, 13(1)1--31
-
stream-based, 26(5)865--918
-
Streamlining, 20(2)141--160
-
Strichman, 30(6)759--759
-
Strichman, Ofer, 21(5)485--494
-
Strichman, Ofer, see Kroening, Daniel
-
strict, 9(1)78--97
-
string, 25(6)847--891, 29(1)33--55
-
strong, 3(3)284--307
-
Strüber, D., 30(1)133--162
-
Struber:2018:VBM, 30(1)133--162
-
structural, 15(1)1--27, 27(4)727--750, 28(1)21--43
-
structural, non-, 9(1)49--67
-
structure, 2(1)123--138, 6(3)269--316, 19(3)363--374, 24(4)609--621,
27(3)499--523, 31(3)287--320, 33(4)547--573
-
structured, 1(1)115--135, 8(1)67--85, 8(1)86--107, 9(5)469--483,
12(6)485--500, 22(5)629--661, 27(5)831--865, 27(5)867--884
-
structuring, 4(1)13--47
-
Struth, Georg, 28(2)265--293
-
Struth, Georg, see Armstrong, Alasdair
-
Studio, 12(4)233--236
-
study, 4(1)76--99, 10(4)338--360, 10(5)483--508, 11(2)107--131,
12(4)218--219, 13(1)50--91, 14(3)200--214, 14(3)328--337,
18(3)308--328, 19(1)63--91, 22(2)193--213, 26(1)3--36,
26(5)1033--1076, 30(2)239--277, 33(6)1249--1277
-
study, case-, 7(2)150--168
-
Stünkel, Patrick, 33(6)1067--1114
-
Stunkel:2021:CSF, 33(6)1067--1114
-
Stuttering, 14(4)342--368
-
style, 3(4)367--376, 22(5)629--661, 29(5)805--832
-
style, MATLAB-, 28(1)79--107
-
stylized, 28(3)441--467
-
Su, Li, 21(6)513--539, 26(6)1169--1204
-
Su, Wen, 26(2)319--366
-
Su, Wen, see Banach, Richard
-
Su:2009:PAM, 21(6)513--539
-
Su:2014:ANM, 26(6)1169--1204
-
Subramani, K., 18(4)421--431, 25(2)319--341
-
Subramani:2006:AAS, 18(4)421--431
-
Subramani:2013:IAO, 25(2)319--341
-
subscripted, 6(4)466--470
-
subset, 11(6)637--664
-
substation, 32(1)71--111
-
substitutability, 7(6)620--651, 12(1)18--40
-
substitution, 3(2)189--205, 6(4)466--470, 20(4)451--479
-
subtyping, 7(6)620--651, 8(3)247--293, 9(1)49--67
-
Sufrin, Bernard, 11(3)244--271
-
Sufrin, Bernard, see Bornat, Richard
-
Sugar, 15(4)406--421
-
Sühl, Carsten, 13(2)94--110
-
Suhl:2002:OIF, 13(2)94--110
-
suitable, 31(2)231--259
-
suites, 28(1)65--78
-
Sullivan, Kevin, 28(3)441--467
-
Sullivan, Kevin, see Bagheri, Hamid
-
summation, 17(1)19--37
-
Sun, Jun, 21(5)451--483, 26(4)729--759, 30(3)351--380
-
Sun, Jun, see Chen, Chunqing,
see Dong, Jin Song, \see{Shi, Ling
-
Sunesen, Kim, 12(4)216--217
-
Sunesen, Kim, see Larsen, Peter Gorm
-
Suonio, Reino, Kurki-, 4(6)582--591
-
super-Turing, 2(1)331--341
-
Superposition, 8(3)324--346, 16(1)5--18
-
support, 17(1)69--90, 19(3)277--302, 21(3)259--275, 24(1)127--160,
27(3)499--523
-
survey, 26(1)99--123
-
Susatyo, E., 26(1)169--194
-
Susatyo, E., see Hoang, T. S.
-
Swaminathan, Mani, 24(4)477--496, 27(4)727--750
-
Swaminathan, Mani, see Olderog, Ernst-Rüdiger
-
Swaminathan:2012:LRR, 24(4)477--496
-
Swierstra, S. D., 5(1)21--60
-
Swierstra, S. D., see Lentfert, P. J. A.
-
Switched, 33(3)385--406
-
switching, 23(3)365--389
-
symbiosis, 30(2)239--277
-
symbolic, 12(5)392--415, 23(2)171--190, 23(6)781--805, 33(3)301--323,
33(3)407--435, 33(4)617--636
-
symmetry, 22(6)713--733
-
Synchronisable, 10(4)405--434
-
synchronisation, 16(1)36--50, 23(4)421--432
-
Synchronisation, Lip-, 10(5)550--575
-
synchronization, 19(3)321--341, 31(5)611--640, 32(1)153--153
-
synchronizing, 26(6)1153--1167
-
synchronous, 16(3)263--291, 17(4)443--460, 31(2)133--163
-
syntax, 4(4)341--375, 13(3)341--363
-
synthesis, 7(6)587--619, 13(6)447--470, 19(3)343--362, 20(2)205--224,
26(4)825--859, 28(3)441--467, 32(2)157--186, 32(2)187--227,
33(1)3--25, 33(4)637--667
-
Synthesizing, 27(1)1--31, 28(1)21--43, 29(4)583--600
-
system-level, 27(1)133--166
-
systematic, 4_1S_776_780
-
systolic, 2(1)273--293, 4(2)149--194