Index file section S for adauserj.bib
Last update: Sun Jan 7 02:00:07 MST 2024
Return to index directory
S
-
Sáchez-Ledesma, Francisco, 36(1)49--55
-
Sachez-Ledesma:2015:TBC, 36(1)49--55
-
Sadovykh, Andrey, 36(4)246--253
-
Sadovykh, Andrey, see Quadri, Imran
-
safe, 15(2)77--85, 20(2)z--z, 36(4)264--267
-
safety, 11(1)17--20, 12(1)11--31, 13(1)21--26, 14(1)7--10, 15(1)14--33,
15(2)77--85, 15(2)95--104, 15(3)189--201, 16(3)123--131,
16(3)177--179, 23(2)105--z, 25(2)98--z, 30(4)248--z, 35(1)47--z,
35(4)259--265, 36(3)192--195, 36(4)237--241
-
Safety-Critical, 31(2)131--z
-
safety-critical, 12(1)11--31, 12(2)92--103, 13(1)21--26, 14(1)7--10,
15(2)77--85, 16(3)123--131, 16(3)177--179
-
Safety-Related, 35(4)272--277
-
Salazar, E., 35(1)55--z, 35(2)123--z
-
Salazar, E., see Alonso, A.,
see Puente, J. A. de la
-
Salvachua, J., 13(1)27--33
-
Salvachua, J., see Manas, J. A.
-
SAMATE, 28(3)184--z
-
same, 17(3)132--142
-
Sánchez, Fernando, 22(1)44--z
-
Sanchez:2001:ADP, 22(1)44--z
-
Sandberg, Per, 26(4)306--z
-
Sandberg:2005:LTS, 26(4)306--z
-
Sandén, B., 33(1)54--62
-
Sanden, B. I., 17(1)25--36
-
Sandén, Bo I., 23(2)105--z
-
Sanden:1996:UTC, 17(1)25--36
-
Sanden:2002:RTP, 23(2)105--z
-
Sanden:2012:ELM, 33(1)54--62
-
Santos, Luìs, 23(4)239--z
-
Santos:2002:ECA, 23(4)239--z
-
Sargsyan, K., 35(1)38--z
-
Sargsyan:2014:RSB, 35(1)38--z
-
SC65A, 11(1)17--20
-
SCADA, 15(2)86--94
-
scale, 15(1)42--44
-
scale, large-, 18(3)121--143
-
scanned, 16(3)136--150
-
scanners, 18(1)29--40
-
Schanda, F., 36(2)105--112
-
Schanda, F., see Baird, S.
-
scheduling, 8(1)15--16, 11(3)128--132, 11(4)165--169, 13(2)63--67,
13(2)73--78, 15(2)77--85
-
schemas, 8(z)73--78
-
scheme, 8(z)101--106, 36(1)49--55
-
Schlienger, F., 13(2)68--72
-
Schlienger, F., see Losavio, F.
-
Schmidt, C., 36(2)99--104
-
Schmidt, C., see Martignano, M.
-
Schonberg, E., 29(3)200--z, 31(1)42--z
-
Schonberg:2008:PAS, 29(3)200--z
-
Schonberg:2010:OHG, 31(1)42--z
-
Schonbert, 16(4)224--228
-
science, 8(1)z--z, 8(z)111--114, 8(z)115--120, 14(3)121--123,
16(4)205--211, 17(1)37--45, 17(3)132--142, 18(3)144--147
-
Scientific, 9(1)29--39
-
Scope, 25(1)29--z
-
second, 9(3)131--135, 17(3)132--142
-
section, 15(2)160--176, 18(3)121--143
-
secure, 13(3)114--116, 13(3)117--118, 17(3)125--131, 28(4)237--z
-
security, 8(z)73--78, 13(3)117--118, 15(2)77--85, 15(3)189--201,
16(3)123--131, 16(4)212--214
-
Security-Critical, 25(2)98--z
-
see, 9(2)71--72
-
Seeking, 35(4)259--265
-
seeking, work-, 32(1)43--48
-
seen, 17(1)25--36, 17(2)89--104
-
SELECT, 11(4)170--179
-
selection, 8(2)8--11, 9(3)101--102, 9(3)102--104, 14(1)7--10,
14(3)111--115, 15(4)251--262
-
self-defence, 9(3)124--126
-
semantic, 11(1)14--16, 11(1)21--25, 13(2)58--62, 14(3)125--134,
15(2)105--107, 15(2)151--152, 16(3)110--122, 18(2)75--77, 18(2)z--z,
23(2)100--z, 35(2)128--z
-
semaphores, 11(3)128--132, 14(4)164--166
-
Seminar, 17(2)z--99999999, 18(1)z--z
-
Sensitive, Language-, 8(3)42--45
-
Sensors, 9(3)127--128
-
Sensory, 16(3)132--135
-
separate, 8(z)3--9
-
separated, 18(2)78--91
-
sequence, 17(1)25--36, 35(1)38--z
-
sequential, 15(2)133--150, 16(1)32--39
-
server, 12(1)37--41, 25(3)157--z
-
Servers, 29(1)54--z
-
service, 15(2)77--85, 15(4)247--249, 17(3)132--142, 18(2)78--91
-
service, in-, 15(3)189--201
-
session, 28(4)246--z, 29(1)44--z, 29(2)112--z, 29(2)124--z, 29(3)186--z,
29(3)192--z, 29(3)196--z, 31(4)263--z, 31(4)266--z, 34(2)109--111,
34(2)112--116, 34(2)117--119, 34(2)120--124, 34(4)230--230,
34(4)237--238, 34(4)239--241, 34(4)242--242, 36(1)43--48,
36(1)49--55, 36(3)182--186, 37(1)52--52, 37(1)53--56, 37(1)57--58
-
set, 8(z)85--90, 16(2)71--82, 16(4)215--219
-
set, tool-, 11(1)14--16
-
Several, 18(3)121--143
-
shallow, 17(3)125--131
-
shared, 14(4)164--166, 17(2)72--88
-
sharing, 11(3)128--132, 15(2)66--76
-
sharing, work-, 32(1)43--48
-
shelf, 15(2)95--104
-
Shelf, Off-The-, 15(2)95--104
-
shelf, off-the-, 15(2)95--104
-
Sherif, Y. S., 13(3)119--128
-
Sherif:1992:ASL, 13(3)119--128
-
ship, 9(3)124--126
-
shore, 8(1)31--36
-
short-term, 16(4)205--211
-
should, 17(4)165--167, 18(3)144--147
-
show, 15(2)105--107, 15(2)133--150, 15(2)151--152, 16(2)71--82,
17(1)37--45
-
shown, 15(2)133--150
-
Shrinks, 30(2)115--z
-
Siemens, 9(4)173--178
-
SIERRADA, 8(z)11--14
-
Sierrada, 8(1)z--z
-
Signaling, 35(2)144--z
-
significance, 17(2)89--104
-
significant, 15(1)34--41
-
SIMD, 8(z)21--26
-
similar, 18(1)29--40
-
simple, 15(2)160--176, 16(3)132--135
-
simplification, 18(1)29--40
-
Simpson, D., 18(3)144--147
-
Simpson:1997:ASE, 18(3)144--147
-
Simulating, 36(4)259--263, 37(1)59--63
-
simulation, 8(z)11--14, 11(3)133--144, 13(3)119--128, 15(2)66--76,
15(2)86--94, 15(2)151--152, 16(1)32--39, 16(2)71--82, 16(3)132--135,
19(1)57--82
-
simulator, 9(2)79--82, 13(3)114--116, 15(2)86--94, 16(1)32--39,
33(3)212--216
-
Simulators, 15(2)86--94
-
simultaneously, 17(1)25--36
-
single, 8(2)30--39, 8(3)15--16, 16(1)32--39
-
SIP, 15(3)189--201
-
situation, 15(1)34--41
-
Situational, 36(3)192--195
-
Situations, 19(1)z--99999999
-
size, 15(1)34--41
-
Skavhaug, A., 32(4)265--275
-
Skavhaug, A., see Gregertsen, K. N.
-
skeletons, 14(2)55--69
-
Sketch, 36(3)152--181
-
skilled, 15(1)14--33
-
Smart, John, 15(1)34--41, 15(2)108--132
-
Smart:1994:IBA, 15(2)108--132
-
Smart:1994:PPA, 15(1)34--41
-
SMCS, 8(1)31--36, 9(1)29--39
-
Smith, M., 17(3)125--131
-
Smith, P., 8(z)111--114
-
Smith:1987:AIC, 8(z)111--114
-
Smith:1996:OPA, 17(3)125--131
-
SMP, 29(2)127--z
-
Snowdon, R. A., 9(4)156--161
-
Snowdon:1988:BOI, 9(4)156--161
-
so-called, 18(3)121--143
-
Sobczak, M., 30(4)243--z, 31(2)136--z
-
Sobczak:2009:EEA, 30(4)243--z
-
Sobczak:2010:PCA, 31(2)136--z
-
soccer, 33(3)212--216
-
social, 16(4)205--211
-
Societies, 16(4)205--211
-
soft, 16(4)205--211
-
software-based, 15(3)189--201
-
software-download, 28(4)237--z
-
software-related, 15(3)189--201
-
solid, 17(3)125--131
-
solution, 11(3)128--132, 13(3)117--118, 14(1)27--32, 17(1)25--36
-
Solve, 25(1)33--z
-
SonarQube, 36(2)99--104
-
sort, 9(3)113--123
-
Sotirovski, D., 27(4)248--z
-
Sotirovski, D., see Klein, J.
-
Soubiran, E., 35(2)144--z, 35(4)272--277
-
Soubiran, E., see Cancila, D., \see{Cohen, A.
-
source, 9(1)29--39, 9(3)113--123, 15(1)34--41, 16(1)47--z, 16(3)123--131,
16(3)151--162, 16(4)z--z, 17(2)z--z, 17(4)z--z, 18(1)z--99999999,
18(2)75--77, 18(2)z--99999999, 19(1)z--99999999, 19(2)138--z,
36(2)99--104, 36(4)264--267
-
South, 17(3)132--142
-
space, 14(3)111--115, 16(3)132--135
-
Spacecraft, 35(1)55--z
-
spaced, 17(1)25--36
-
SPARC, 15(2)86--94
-
SPARK, 16(3)123--131, 22(4)244--z, 31(1)55--z, 31(4)278--z,
33(2)124--126, 33(2)127--131, 34(4)243--252, 35(1)38--z, 35(1)61--z,
35(3)204--z, 36(2)105--112, 36(2)113--115
-
SPATS, 16(3)123--131
-
Special, 36(1)43--48, 36(1)49--55, 37(1)35--50
-
specific, 11(1)21--25, 16(4)205--211
-
specific, Ada-, 13(3)117--118
-
specific, project-, 14(1)11--25
-
specification, 8(1)z--z, 8(3)33--41, 8(z)15--20, 8(z)85--90, 8(z)91--99,
9(1)29--39, 9(3)113--123, 9(3)129--130, 9(3)131--135, 13(1)27--33,
13(2)68--72, 13(3)114--116, 14(1)27--32, 14(2)55--69, 14(3)125--134,
15(1)42--44, 15(2)95--104, 15(2)151--152, 15(3)203--220,
16(3)163--176, 18(2)75--77, 18(2)z--z, 32(1)49--59
-
specified, 15(2)77--85, 15(3)203--220, 16(2)83--94
-
specify, 15(2)160--176, 16(3)163--176
-
specifying, 16(3)110--122
-
speed, 15(2)105--107
-
spirit, 16(4)224--228
-
splitting, 12(1)37--41
-
sponsoring, 26(4)308--z
-
sponsors, 17(4)172--176, 18(2)z--99999999, 19(1)z--99999999,
19(2)139--z, 22(1)60--z, 22(2)128--z, 22(3)190--z, 22(4)256--z,
23(1)64--z, 23(2)119--z, 23(3)184--z, 23(4)248--z, 24(1)64--z,
24(2)128--z, 24(3)192--z, 25(1)38--z, 25(2)110--z, 25(3)174--z,
25(4)246--z, 26(1)64--z, 26(2)144--z, 26(3)224--z, 26(4)312--z,
27(1)64--z, 27(2)128--z, 27(3)192--z, 27(4)256--z, 28(1)64--z,
28(2)128--z, 31(3)z--z, 31(4)z--z, 32(1)z--z, 32(3)z--z, 32(4)z--z,
33(1)z--z, 33(2)z--z, 33(3)z--z, 34(2)z--z, 34(3)z--z, 34(4)z--z,
35(1)z--z, 35(2)z--z, 35(3)z--z, 35(4)z--z, 36(1)z--z, 36(2)z--z,
36(3)z--z, 36(4)z--z, 37(1)z--z
-
sponsorship, 14(1)7--10
-
sporadic, 13(2)63--67
-
Springer, 35(2)104--z
-
stack, 16(3)123--131, 33(4)289--z
-
Stadlmann, Burkhard, 26(3)220--z
-
Stadlmann:2005:ADB, 26(3)220--z
-
staff, 9(3)101--102
-
stage, 18(2)78--91
-
STAMP, 16(3)177--179
-
STANDARD, 8(2)13--14
-
standard, 8(1)13--14, 8(2)13--14, 8(z)3--9, 8(z)47--51, 8(z)65--72,
8(z)73--78, 8(z)101--106, 11(1)17--20, 13(2)51--57, 13(2)58--62,
13(2)73--78, 13(2)79--84, 14(1)7--10, 14(1)11--25, 15(1)14--33,
15(1)34--41, 15(1)42--44, 15(2)55--65, 16(1)29--z, 16(2)83--94,
16(3)163--176, 16(3)z--z, 16(4)215--219, 17(1)37--45, 18(2)75--77,
18(2)78--91, 29(3)186--z, 33(2)103--105, 34(1)35--z, 34(1)45--z,
35(2)104--z, 36(4)237--241, 37(1)31--34
-
standardisation, 8(1)13--14, 8(z)65--72, 8(z)73--78, 11(2)67--z,
17(3)132--142
-
standardised, 18(1)29--40
-
standardization, 11(2)67--z, 16(1)29--z, 25(3)155--z
-
Standardizing, 25(2)91--z
-
start, 17(1)25--36, 17(3)132--142
-
state, 15(2)133--150, 18(2)78--91
-
Statecharts, 15(2)151--152
-
Statemate, 15(2)151--152
-
statement, 11(4)170--179, 13(1)27--33, 15(2)151--152
-
static, 11(1)14--16, 11(1)21--25, 15(4)265--271, 16(3)123--131,
16(3)177--179, 17(2)72--88, 25(1)33--z, 28(3)184--z, 29(1)38--z,
35(2)128--z
-
statically, 13(3)117--118
-
Station, 14(3)111--115
-
status, 11(2)67--z, 30(1)49--z
-
STD-1815B, ANSI/MIL-, 13(2)51--57
-
STD2167A, DOD-, 14(1)11--25
-
stealing, work-, 32(1)43--48
-
step, 8(z)33--40, 18(2)78--91
-
still, 16(4)215--219
-
stimulus-response-nets, 8(3)33--41
-
storage, 13(3)117--118
-
story, 26(4)306--z
-
Stråhle, Rei, 26(4)306--z, see Sandberg, Per
-
strains, 16(3)132--135
-
strategy, 8(2)30--39, 9(4)156--161, 15(1)34--41, 17(2)72--88,
27(2)110--z, 32(1)43--48
-
Stream, 15(2)108--132, 29(2)133--z
-
strengths, 18(3)121--143, 33(1)54--62
-
strict, 15(1)14--33
-
string, 16(4)215--219
-
stringent, 13(3)114--116
-
strong, 8(z)3--9, 13(3)119--128, 14(4)161--163, 15(1)42--44
-
Structural, 15(1)14--33
-
structure, 8(2)40--45, 8(z)65--72, 8(z)85--90, 8(z)107--110, 9(1)6--13,
9(4)173--178, 12(3)137--142, 13(1)33--43, 13(2)68--72,
13(3)119--128, 14(3)125--134, 15(1)42--44, 15(2)55--65,
15(2)108--132, 15(2)160--176, 16(2)71--82, 16(3)110--122,
16(4)212--214, 16(4)215--219, 17(1)25--36, 17(2)89--104,
18(3)121--143, 26(2)120--z, 32(3)182--187, 33(2)106--114
-
structured, 14(3)125--134, 15(4)251--262, 16(4)205--211, 35(4)251--258
-
structuring, 8(z)65--72, 11(2)88--97, 17(2)89--104
-
Stuckey, Richard, 16(2)83--94
-
Stuckey:1995:FCI, 16(2)83--94
-
student, 16(4)205--211, 17(1)37--45, 29(3)213--z, 31(2)121--z,
31(3)189--z, 32(1)40--42
-
study, 9(3)124--126, 11(4)161--164, 11(4)180--188, 15(2)108--132,
35(2)144--z, 35(4)272--277, 36(4)246--253
-
style, 13(1)33--43
-
subgraph, 16(2)71--82
-
subgroup, 8(z)107--110
-
subject, 17(2)89--104
-
submarine, 8(1)31--36, 9(1)29--39, 16(3)151--162
-
Submitted, 33(2)103--105
-
subprogram, 8(2)13--14, 8(3)15--16
-
subroutine, 8(z)91--99
-
subset, 9(3)127--128, 11(1)14--16, 11(4)165--169, 15(2)77--85,
16(2)71--82, 16(3)123--131
-
Subsetting, 30(3)185--z
-
subsystem, 12(1)42--44, 15(1)42--44
-
successful, 16(3)110--122
-
successfully, 15(2)153--159
-
successive, 15(2)133--150
-
such, 15(1)34--41, 15(2)77--85, 15(2)95--104, 15(2)177--182, 16(2)83--94,
16(4)224--228, 17(1)25--36, 17(2)89--104, 18(3)121--143,
18(3)144--147
-
sufficient, 18(1)29--40
-
suggested, 15(2)160--176
-
Suggestions, 29(2)133--z
-
suitability, 15(2)95--104, 17(2)89--104, 23(4)245--z
-
suitable, 16(3)132--135
-
suite, 8(z)47--51, 11(2)67--z
-
summary, 8(z)47--51, 15(1)14--33, 15(2)55--65, 31(4)263--z, 31(4)266--z,
34(2)109--111, 34(2)112--116, 34(2)117--119, 34(2)120--124,
34(4)230--230, 34(4)237--238, 34(4)239--241, 34(4)242--242,
37(1)52--52, 37(1)53--56, 37(1)57--58
-
SUNash, 15(2)86--94
-
Sundmark, D., 35(1)47--z
-
Sundmark, D., see Ekman, M.
-
SUN/SPARC, 15(2)86--94
-
super, 12(1)42--44
-
supervisory, 8(1)15--16, 13(2)63--67, 16(4)205--211
-
supplied, 15(1)14--33
-
suppliers, 15(1)14--33
-
supply, 15(2)86--94, 16(2)71--82
-
support, 8(1)31--36, 8(1)z--z, 8(3)42--45, 8(z)11--14, 8(z)41--46,
8(z)61--64, 8(z)65--72, 8(z)73--78, 8(z)79--83, 8(z)85--90,
9(1)41--46, 9(3)129--130, 9(3)131--135, 9(4)156--161, 9(4)162--172,
9(4)173--178, 11(1)27--32, 11(3)133--144, 12(1)37--41, 13(2)73--78,
14(2)55--69, 14(3)125--134, 15(1)34--41, 15(2)77--85, 15(2)86--94,
15(2)105--107, 15(2)108--132, 15(2)151--152, 15(2)153--159,
15(4)251--262, 15(4)265--271, 16(2)71--82, 16(2)83--94,
16(3)123--131, 16(3)163--176, 16(3)177--179, 18(1)29--40,
18(3)121--143, 29(2)120--z, 33(4)289--z, 34(1)49--z, 35(2)123--z,
36(2)105--112
-
supported, 15(1)34--41
-
supporting, 8(z)85--90
-
suppression, 11(4)165--169
-
Surprising, 8(3)15--16
-
survey, 14(3)121--123, 18(3)121--143, 22(2)118--z
-
Survivability, 36(3)192--195
-
Sward, R. E., 33(3)204--211
-
Sward, R. E., see Bundgaard, J.
-
Swiss, 16(3)136--150
-
Switched, 35(2)138--z
-
switching, 14(4)164--166
-
Switzerland, 16(3)136--150
-
sychronisation, 15(2)133--150
-
symbol, 12(3)131--136, 15(1)34--41, 15(2)108--132, 15(2)133--150,
15(2)160--176, 15(3)203--220, 16(2)83--94
-
Symposium, 36(4)225--230
-
Syms, T., 8(1)44--47
-
Syms:1987:AN, 8(1)44--47
-
synchronization, 13(2)58--62, 15(2)77--85, 15(2)133--150, 17(4)172--176
-
synopsis, 15(2)55--65
-
syntax, 9(4)151--154, 18(1)29--40, 23(2)100--z
-
system, discrete-, 13(3)119--128
-
systematic, 9(1)41--46