Index file section A for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
A
-
A., Thomas, 1(1)86--109
-
A., Thomas, see Alur, Rajeev
-
AADL, 22(2)219--247, 24(6)911--948
-
Aagaard, Mark D., 4(3)298--312
-
Aagaard:2003:FSM, 4(3)298--312
-
Aalst, W. M. P. van der, 10(1)57--74, 10(1)95--110
-
Aalst, W. M. P. van der, see Gottschalk, F.,
see Rozinat, A.
-
Aalst, Wil M. P. van der, 9(3)327--352, 10(1)15--28, 18(6)607--628,
25(1)1--17
-
Aalst, Wil M. P. van der, see Berti, Alessandro,
see Bolt, Alfredo,
see J{\o}rgensen, Jens B{\ae}k,
see Pesic, Maja
-
Aalst, Wil van der, 23(3)285--287
-
Aalst, Wil van der, see Hähnle, Reiner
-
Abbas, Houssam, 25(4)541--556
-
Abbas, Houssam, see Momtaz, Anik
-
Abbasi, Rosa, 25(2)185--204
-
Abbasi:2023:CRS, 25(2)185--204
-
AbC, 22(4)477--496
-
Abdelhalim, Islam, 15(4)375--396
-
Abdelhalim:2013:IFC, 15(4)375--396
-
Abdennadher, Nabil, 22(4)417--436
-
Abdennadher, Nabil, see Ben Mahfoudh, Houssem
-
abduction, 19(5)535--547
-
Abdulla, Parosh, 18(5)495--516
-
Abdulla, Parosh A., 18(5)469--473
-
Abdulla, Parosh Aziz, 14(2)109--118, 14(2)223--241, 15(2)85--88,
19(5)549--563, 23(5)825--825
-
Abdulla:2012:RMCa, 14(2)109--118
-
Abdulla:2012:RMCb, 14(2)223--241
-
Abdulla:2013:TSV, 15(2)85--88
-
Abdulla:2016:PV, 18(5)469--473
-
Abdulla:2016:PVT, 18(5)495--516
-
Abdulla:2017:ISV, 19(5)549--563, 23(5)825--825
-
Abdulla:2021:CIS, 19(5)549--563, 23(5)825--825
-
Abdullah, Milad, 25(5)717--731
-
Abdullah, Milad, see Töpfer, Michal
-
Abe, Tatsuya, 19(5)623--647
-
Abe:2017:GMC, 19(5)623--647
-
Abeywickrama, Dhaminda B., 22(4)399--415
-
Abeywickrama:2020:SAE, 22(4)399--415
-
abort-aware, 13(6)537--551
-
Abou-Jaoudeh, John, 20(1)1--18
-
Abou-Jaoudeh, John, see Jaber, Mohamad
-
Ábrahám, Erika, 18(2)121--128
-
Abraham, Jacob A., 9(1)89--101
-
Abraham, Jacob A., see Vasudevan, Shobha
-
Abraham:2016:SRA, 18(2)121--128
-
Abrial, Jean-Raymond, 12(6)447--466, 19(2)141--166, 22(3)257--264
-
Abrial, Jean-Raymond, see Su, Wen
-
Abrial:2010:ROT, 12(6)447--466
-
Abrial:2020:ACS, 22(3)257--264
-
ABS, 14(5)567--588
-
absence, 25(2)185--204
-
abstract, 5(1)34--48, 5(2)158--164, 5(2)165--184, 8(1)57--76,
13(6)491--493, 13(6)585--601, 14(2)167--191, 15(4)287--289,
17(1)107--119, 18(5)475--493, 24(1)49--65
-
abstraction, 2(4)328--342, 5(1)49--58, 7(2)143--155, 8(1)57--76,
8(3)204--215, 8(6)471--484, 11(1)27--37, 11(1)53--67, 12(6)409--427,
13(3)273--287, 14(1)1--14, 14(1)53--72, 16(2)191--213,
18(1)109--120, 18(4)449--467, 18(5)495--516, 19(5)585--603,
21(6)635--649, 22(1)35--55, 24(2)287--324, 25(4)431--452,
25(5)717--731, 25(5)785--798
-
abstraction, Data-, 12(5)373--389
-
abstraction-based, 11(2)85--94, 11(2)95--104
-
Abstraction-guided, 15(5)413--431
-
abstraction-refinement, 13(4)289--306
-
abstractionash, 12(1)23--37
-
ABZ, 19(2)187--203, 22(3)249--255
-
ABZ-2018, 22(3)257--264
-
acceleration, 10(5)401--424, 14(2)193--206, 16(1)13--29, 24(5)691--715
-
Accelerator, 7(4)361--375
-
accelerators, 7(4)361--375
-
access, 9(5)457--470, 10(6)503--520, 22(4)511--522, 25(1)49--74
-
accompanying, 11(2)105--116
-
accuracy, 19(4)427--448
-
accurate, 24(4)563--587
-
Aceto, Luca, 23(4)601--614
-
Aceto:2021:CCS, 23(4)601--614
-
achieve, 25(2)185--204
-
ACL2, 3(1)13--19
-
action, 3(4)431--455, 10(1)5--14
-
action, event-condition-, 16(5)493--505
-
action-based, 20(5)563--587
-
active, 12(1)53--67, 16(5)531--542, 16(5)569--591, 25(4)575--592
-
active, auto-, 19(6)697--716
-
activity, 15(2)125--147, 16(4)399--419
-
actors, 20(5)547--561, 22(5)617--633
-
actuator, 20(5)547--561
-
ad, 21(2)165--181
-
ad-hoc, 17(5)627--646
-
adaptable, 14(5)567--588
-
adaptation, 25(5)733--746
-
Adapters, 9(2)135--154
-
adaptive, 18(3)251--264, 22(4)389--397, 22(4)399--415, 22(4)457--476,
24(6)999--1024, 25(5)617--624, 25(5)659--673, 25(5)785--798
-
Additional, 9(2)119--132
-
address, 3(2)235--245
-
Adet, Emmanuel, Paviot-, 23(6)931--952
-
Adhikari, Kiran, 18(4)393--407
-
Adhikari:2016:VQR, 18(4)393--407
-
Adler, Yoram, 13(3)207--221
-
Adler:2011:EWU, 13(3)207--221
-
ADTLang, 23(1)89--104
-
advanced, 15(4)287--289
-
Advancements, 6(2)99--101
-
advances, 7(2)156--173, 10(4)281--283, 11(2)85--94, 14(4)383--386,
18(2)121--128, 18(3)245--249, 19(5)511--515, 19(6)649--652,
20(2)119--123, 20(2)179--194
-
adversaries, 23(5)797--821, 23(5)823--823
-
advisories, 19(6)717--741
-
aerospace, 12(1)1--7
-
affine, 25(3)355--374
-
Afzal, Wasif, 24(2)261--285
-
Afzal, Wasif, see Strandberg, Per Erik
-
against, 18(3)285--304, 22(4)365--388
-
AGATHA, 5(2)124--139
-
agent, Multi-, 10(3)207--222
-
agent, multi-, 10(3)207--222, 19(1)9--30, 25(5)693--705
-
agent-based, 6(3)231--244
-
agents, 24(3)395--414, 25(5)707--716
-
AGG, 12(3)245--261
-
aggregation, 2(3)203--207, 25(3)267--285
-
Agha, Gul, 8(3)248--260, 20(5)547--561
-
Agha, Gul, see Khamespanah, Ehsan,
see Sen, Koushik
-
Aguirre, Nazareno, 20(6)665--688
-
Aguirre, Nazareno, see Uva, Marcelo
-
AHB, 15(5)585--601
-
Ahrendt, Wolfgang, 25(2)185--204
-
Ahrendt, Wolfgang, see Abbasi, Rosa
-
AI, 16(1)49--65
-
Aichernig, Bernhard K., 16(6)727--751, 19(4)409--426
-
Aichernig, Bernhard K., see Galler, Stefan J.
-
Aichernig:2017:RTT, 19(4)409--426
-
aided, computer-, 5(4)320--330
-
Aiglstorfer, E., 5(2)140--157
-
Aiglstorfer, E., see Pretschner, A.
-
Aiken, Alexander, 3(1)93--105
-
Aiken:2000:DRR, 3(1)93--105
-
air, 24(2)127--158
-
airborne, 18(2)227--243, 19(6)717--741
-
Aircraft, 19(2)141--166
-
airplane, 16(6)753--773
-
Ait-Ameur, Yamine, 8(6)547--563, 11(3)239--253, 19(4)465--485
-
Ait-Ameur, Yamine, see Farah, Zoubeyr
-
Aït-Ameur, Yamine, 19(2)133--140,
see Boniol, Frédéric
-
Ait-Ameur:2006:FEV, 8(6)547--563
-
Ait-Ameur:2009:EPA, 11(3)239--253
-
Ait-Sadoune, Idir, 20(1)19--34
-
Ait-Sadoune, Idir, see Boukhari, Ilyès
-
Aizman, Alex, 3(4)456--468
-
Aizman:2001:EC, 3(4)456--468
-
AJAX, 10(6)477--492
-
Al Ali, Rima, 22(4)511--522
-
Al Manaseer, Waref, 22(2)183--194
-
Al Manaseer, Waref, see Allawi, Hamzeh M.
-
Al Shraideh, Mohammad, 22(2)183--194
-
Al Shraideh, Mohammad, see Allawi, Hamzeh M.
-
Al-Bab, Kinan, Dak-, 20(1)1--18
-
Al-Sibahi, Ahmad Salim, 19(5)585--603
-
Al-Sibahi, Ahmad Salim, see Dimovski, Aleksandar S.
-
AlAli:2020:TAC, 22(4)511--522
-
Alam, Muhammad, 9(5)457--470
-
Alam, Muhammad, see Breu, Ruth
-
Albert, Stephen, Van, 5(4)299--300
-
Albert, Steve, Van, 5(4)308--319
-
Albert, Elvira, 14(5)567--588
-
Albert, Elvira, see Wong, Peter Y. H.
-
ALDÉBARAN, 1(1)166--183
-
Alfonso, Jesús, 24(6)999--1024,
see Hansen, Simon Thrane
-
algebra, 8(1)4--25, 9(1)37--51, 11(3)239--253, 24(1)111--125,
25(2)133--144
-
algebraic, 24(6)999--1024, 25(3)267--285, 25(4)557--573
-
algebraically, 25(3)249--266
-
algorithm, 2(3)260--269, 3(4)382--393, 4(3)371--380, 5(4)308--319,
5(4)320--330, 6(1)67--76, 6(2)117--127, 7(1)74--86, 7(4)297--315,
8(1)4--25, 8(3)177--179, 8(4)373--386, 11(1)39--51, 11(2)153--171,
14(4)461--475, 15(5)433--454, 17(6)729--744, 18(2)129--147,
19(6)649--652, 22(2)183--194, 23(5)797--821, 23(5)823--823,
24(1)29--31, 24(1)33--48, 24(4)611--612, 24(5)663--665,
24(6)999--1024, 25(2)129--131, 25(2)219--239, 25(5)799--800
-
algorithmic, 6(4)257--259, 10(3)263--279, 15(5)397--411
-
Alhawi, Omar M., 23(2)115--135
-
Alhawi:2021:VRC, 23(2)115--135
-
Ali, Rima, Al, 22(4)511--522
-
alias-based, 15(1)41--52
-
alive, 7(2)129--142
-
all, 8(4)411--430
-
ALL-TIMES, 15(1)1--8
-
Allawi, Hamzeh M., 22(2)183--194
-
Allawi:2020:GPS, 22(2)183--194
-
allocation, 3(4)382--393
-
Almeida, Eduardo Santana de, 13(4)337--353
-
Almeida, Eduardo Santana de,
see Lisboa, Liana Barachisio
-
Alnusair, Awny, 16(3)315--334
-
Alnusair:2014:RBD, 16(3)315--334
-
along, 9(1)77--88
-
Alpuente, M., 8(6)565--585
-
Alpuente:2006:RBV, 8(6)565--585
-
Alrahman, Yehia Abd, 22(4)477--496, 25(5)765--784
-
Alrahman:2020:DAC, 22(4)477--496
-
Alrahman:2023:LSV, 25(5)765--784
-
Alshahwan, Nadia, 13(2)131--149
-
Alshahwan, Nadia, see Marchetto, Alessandro
-
Alshayeb, Mohammad, 24(6)889--910
-
Alshayeb, Mohammad, see Mohammed, Mawal A.
-
Alternating, 14(4)387--405
-
alternation-free, 8(1)37--56
-
Alur, Rajeev, 1(1)86--109, 5(4)308--319, 7(2)118--128, 16(2)191--213
-
Alur, Rajeev, see Jiang, Zhihao
-
Alur:1997:RTS, 1(1)86--109
-
Alur:2004:FSA, 5(4)308--319
-
Alur:2005:SCT, 7(2)118--128
-
Alvin, Chris, 23(1)31--53, 25(4)431--452
-
Alvin, Chris, see Ho, Vivian M.
-
Alvin:2021:SGU, 23(1)31--53
-
Aman, Bogdan, 19(4)395--408
-
Aman:2017:VCS, 19(4)395--408
-
Amat, Nicolas, 25(1)95--114
-
Amat:2023:LPR, 25(1)95--114
-
AMBA, 15(5)585--601
-
Ameur, Yamine Ait, 12(1)1--7
-
Ameur, Yamine, Ait-, 8(6)547--563, 11(3)239--253, 19(4)465--485
-
Ameur, Yamine, Aït-, 19(2)133--140
-
Ameur:2010:TWU, 12(1)1--7
-
Amighi, Afshin, 18(6)653--684
-
Amighi:2016:PCC, 18(6)653--684
-
Amparore, Elvio G., 22(5)541--562
-
Amparore:2020:VOM, 22(5)541--562
-
amplification, 24(3)415--440
-
AMT, 22(6)741--758
-
Amtoft, Torben, 2(1)13--28
-
Amtoft:1998:BAV, 2(1)13--28
-
AMulet2, 25(2)133--144
-
analog, 15(3)247--268
-
analyser, 11(5)375--392
-
analyses, 8(4)321--335
-
analysing, 2(2)144--159, 2(2)160--167, 2(2)182--191, 3(4)382--393,
9(3)269--304, 14(5)567--588, 17(4)505--526
-
analysis, 2(1)6--12, 2(1)13--28, 2(1)29--45, 2(3)219--241, 2(3)260--269,
3(3)353--368, 3(4)394--404, 4(2)142--152, 4(4)437--455, 5(1)90--103,
5(2)185--204, 5(4)308--319, 6(3)245--255, 7(1)19--30, 8(2)113--127,
8(3)177--179, 8(3)216--228, 8(3)248--260, 8(4)321--335,
8(4)397--409, 8(6)605--606, 9(1)5--24, 9(3)213--254, 9(3)255--267,
9(3)269--304, 9(3)305--326, 10(1)5--14, 10(1)29--56, 10(2)131--144,
10(2)145--160, 10(2)185--203, 10(3)247--261, 11(2)85--94,
11(4)339--353, 12(5)337--352, 13(1)1--2, 13(1)61--87, 13(4)307--317,
13(4)337--353, 14(1)15--40, 14(3)307--326, 14(6)639--651,
14(6)673--702, 15(1)9--28, 15(1)53--63, 15(1)65--84, 15(2)89--107,
15(3)171--187, 15(3)211--228, 15(4)287--289, 15(4)321--336,
16(1)81--102, 16(2)127--146, 16(4)399--419, 16(4)421--435,
16(5)493--505, 16(5)627--642, 17(3)251--266, 17(3)321--338,
17(5)559--584, 18(2)121--128, 18(5)559--573, 18(6)587--605,
19(1)1--7, 19(4)427--448, 19(4)487--510, 19(6)649--652,
20(2)119--123, 20(4)359--377, 21(2)165--181, 21(4)401--423,
21(6)607--612, 22(3)333--347, 22(6)685--687, 22(6)741--758,
23(1)71--88, 23(3)285--287, 23(6)847--851, 24(1)29--31,
24(2)183--203, 24(4)611--612, 24(5)663--665, 24(5)717--733,
24(5)821--841, 24(6)911--948, 24(6)977--997, 24(6)1025--1042,
25(1)115--128, 25(2)129--131, 25(3)341--354, 25(4)431--452
-
analysis-friendly, 21(5)515--543
-
analytic, 15(3)155--170, 25(3)241--247
-
analyzer, 2(1)46--67
-
analyzing, 2(2)133--143, 16(5)531--542, 19(4)487--510, 20(5)547--561,
25(1)1--17, 25(2)145--165, 25(3)407--426
-
Anand, Saswat, 11(1)53--67
-
Anand:2009:SEA, 11(1)53--67
-
and-conquer, divide-, 20(3)313--325
-
Andersen, Henrik R., 5(1)4--14
-
Andersen, Henrik R., see Williams, Poul F.
-
Andersen, Henrik Reif, 2(3)242--259
-
Andersen, Jesper, 8(6)485--516
-
Andersen:1999:PMC, 2(3)242--259
-
Andersen:2006:CSC, 8(6)485--516
-
Anderson, Stuart, 8(2)156--166
-
Anderson, Stuart, see Küster-Filipe, Juliana
-
Andrade, Wilkerson L., 19(1)53--71
-
Andrade, Wilkerson L., see Damasceno, Adriana C.
-
André, Charles, 8(2)146--155, see Simone, Robert de
-
André, Étienne, 21(2)203--219
-
Andre:2019:WDA, 21(2)203--219
-
Android, 17(2)201--221, 20(1)1--18
-
Andronidis, Anastasios, 24(2)205--223
-
Andronidis, Anastasios, see Arras, Paul-Antoine
-
Anielak, Grzegorz, 17(3)339--349
-
Anielak:2015:ITC, 17(3)339--349
-
animate, 6(2)143--157
-
Anlauff, Matthias, 3(4)431--455
-
Anlauff:2001:GAN, 3(4)431--455
-
annotated, JML-, 20(2)211--235
-
anomalies, 24(3)415--440
-
antecedent, 9(1)89--101
-
anti-product, 10(4)297--307
-
Antonino, Pedro, 24(4)613--633
-
Antonino:2022:AVC, 24(4)613--633
-
ants, 25(5)675--691
-
Anunchai, Somsak, Vanit-, 9(3)371--391, 10(1)29--56, 20(3)243--262
-
AOP-specific, 19(6)743--761
-
API, 22(4)477--496
-
APIs, 18(2)187--204
-
Apostolidis, Dimitrios, 7(4)351--360
-
Apostolidis, Dimitrios, see Schieferdecker, Ina
-
aPplication, 17(2)201--221
-
application, 2(4)343--349, 3(1)78--92, 3(2)156--170, 3(2)207--216,
4(2)211--223, 7(3)212--232, 10(1)5--14, 10(4)371--381,
10(5)443--454, 10(6)477--492, 10(6)493--502, 11(3)239--253,
11(6)427--440, 11(6)485--501, 11(6)503--515, 13(2)111--129,
13(2)151--166, 13(4)355--376, 13(5)431--448, 14(1)73--93,
14(4)439--459, 14(5)553--566, 15(4)321--336, 16(3)269--283,
17(2)121--123, 17(3)339--349, 17(4)527--536, 19(5)605--621,
20(1)1--18, 20(5)493--497, 21(2)221--246, 22(2)183--194,
22(4)437--455, 22(5)635--654, 23(1)105--114, 23(4)547--563
-
Application-controlled, 3(2)235--245
-
applied, 7(3)233--247, 7(4)341--350, 10(6)477--492, 14(4)461--475
-
applying, 5(4)320--330, 8(6)587--603, 15(1)53--63, 16(5)519--529,
21(6)679--689
-
approach, 5(2)107--123, 5(2)124--139, 6(2)128--142, 6(3)203--218,
6(3)231--244, 7(3)233--247, 8(6)547--563, 8(6)587--603,
9(5)415--416, 10(2)145--160, 10(3)223--231, 10(4)309--326,
11(6)427--440, 11(6)469--484, 11(6)485--501, 11(6)503--515,
12(5)373--389, 13(3)273--287, 13(4)319--335, 14(1)1--14,
14(2)207--222, 14(5)553--566, 15(3)189--209, 15(5)563--583,
16(5)627--642, 16(6)647--667, 17(1)91--105, 17(3)305--319,
19(2)141--166, 20(3)327--354, 20(4)467--491, 20(6)689--704,
21(3)325--349, 21(3)351--364, 21(4)449--469, 22(2)219--247,
22(3)349--363, 22(4)399--415, 23(1)89--104, 23(3)369--410,
23(4)615--640, 24(3)331--350, 24(3)395--414, 25(1)115--128,
25(2)185--204, 25(5)693--705, 25(5)707--716
-
Approximate, 17(4)457--467, 22(5)523--539, 24(4)613--633
-
approximated, 14(1)1--14
-
Approximating, 11(4)325--338
-
apps, 22(2)105--114
-
APSET, 17(2)201--221
-
arc, timed-, 20(5)529--546
-
Arcaini, Paolo, 19(2)247--269, 22(3)265--279
-
Arcaini:2017:RDP, 19(2)247--269
-
Arcaini:2020:VHE, 22(3)265--279
-
architecture, 2(2)133--143, 2(2)182--191, 3(3)314--331, 5(2)237--246,
6(3)219--230, 9(2)103--117, 15(1)29--39, 19(3)309--324,
22(4)437--455, 24(3)415--440
-
Árias, João Carlos Garcia, 14(4)461--475,
see Vergilio, Silvia Regina
-
ARINC-653, 23(5)721--740
-
arithmetic, 3(1)32--65, 3(2)137--155, 5(2)237--246, 8(1)26--36,
11(2)95--104, 15(5)455--474, 18(4)359--374, 23(3)489--517,
23(3)519--519, 25(2)185--204
-
Armando, Alessandro, 11(1)69--83, 18(2)187--204
-
Armando:2009:BMC, 11(1)69--83
-
Armando:2016:SSB, 18(2)187--204
-
arms, 11(3)203--215
-
Armstrong, Philip, 18(2)149--167
-
Armstrong, Philip, see Gibson-Robinson, Thomas
-
Arney, David, 5(4)308--319
-
Arney, David, see Alur, Rajeev
-
Arora, Anish, 10(5)455--471
-
Arora, Anish, see Ebnenasir, Ali
-
Arras, Paul-Antoine, 24(2)205--223
-
Arras:2022:SLT, 24(2)205--223
-
array, 24(5)843--888
-
art, 14(5)477--495
-
Artho, Cyrille, 13(3)223--246
-
Artho:2011:IDD, 13(3)223--246
-
article, 25(2)185--204
-
Arts, Thomas, 4(4)405--420, 5(2)205--220, 7(3)195--196, 17(1)1--16
-
Arts, Thomas, see Fredlund, Lars-Åke,
see Nilsson, Agneta
-
Arts:2004:DVE, 5(2)205--220
-
Arts:2005:SSF, 7(3)195--196
-
ASAP, 21(4)471--484
-
Asavoae, Irina Mariuca, 20(6)739--769
-
Asavoae, Mihail, 20(6)739--769, 24(3)415--440
-
Asavoae, Mihail, see Asavoae, Irina Mariuca,
see Binder, Benjamin
-
Asavoae:2018:SFS, 20(6)739--769
-
Ashar, Pranav, 8(4)387--396
-
Ashar, Pranav, see Ganai, Malay K.
-
ASM, 19(2)247--269
-
aspect, 5(1)1--3, 11(4)273--290, 14(1)41--52, 23(5)765--781
-
Aspect-oriented, 9(2)135--154
-
aSPIN, 5(2)165--184
-
Assayad, Ismail, 15(3)229--245
-
Assayad:2013:TEB, 15(3)229--245
-
assembly, 6(1)15--37
-
assertions, 8(4)359--371
-
Assessing, 17(1)1--16, 20(4)467--491
-
assessment, 12(3)211--230, 12(5)305--318, 14(6)673--702, 16(6)669--683,
21(2)121--141, 23(1)69--70, 23(1)105--114, 24(3)331--350
-
assignment, 10(3)223--231
-
Assisted, 4(2)189--210
-
assisted, computer-, 5(4)308--319
-
Assume, 24(5)667--689
-
Assumption-based, 7(1)61--73
-
assurance, 7(4)376--387, 22(1)1--2, 22(4)457--476
-
asynchronous, 8(1)4--25, 11(2)117--131, 14(6)639--651, 25(4)521--539
-
asynchronously, 19(4)465--485
-
Asztalos, Márk, 12(3)231--243,
see Mészáros, Tamás
-
Atkinson, Colin, 19(1)115--131
-
Atkinson, Colin, see Zech, Philipp
-
ATL, 20(6)645--663
-
atomicity, 13(1)37--60
-
attack, 16(5)481--491, 23(1)89--104
-
Attie, Paul, 6(1)1--3
-
Attie, Paul, see Zuck, Lenore
-
attitudes, 4(3)261--265
-
attribute, 24(4)511--527
-
attributed, 20(6)705--737
-
Autexier, Serge, 3(1)66--77
-
Autexier:2000:VFM, 3(1)66--77
-
Authorized, 16(1)31--48
-
Authorship, 21(4)471--484
-
auto-active, 19(6)697--716
-
automata, 4(1)57--70, 5(1)59--77, 6(1)77--97, 7(1)19--30, 8(2)128--145,
8(2)156--166, 8(2)167--176, 8(3)204--215, 8(6)471--484,
11(4)307--324, 13(3)273--287, 13(6)553--569, 15(2)109--123,
16(5)531--542, 18(1)41--56, 19(6)653--673, 20(2)179--194,
21(1)87--104, 21(2)203--219, 21(3)307--324, 21(6)667--677,
21(6)679--689, 22(5)523--539, 23(2)229--253, 24(4)635--659,
25(1)19--47
-
automata, Timed-, 15(3)211--228
-
Automata-based, 23(2)137--154
-
automated, 5(1)15--33, 5(1)59--77, 8(3)195--203, 8(3)229--247,
8(6)517--530, 8(6)607--620, 10(2)185--203, 10(6)503--520,
11(2)153--171, 11(3)175--185, 12(3)231--243, 13(2)131--149,
13(2)167--179, 16(1)49--65, 16(2)123--125, 16(3)295--313,
16(4)381--397, 16(6)713--726, 18(2)121--128, 18(3)335--353,
19(3)341--365, 20(2)119--123, 20(2)211--235, 20(4)355--358,
20(6)665--688, 20(6)705--737, 21(2)183--202, 23(3)285--287,
23(6)857--861, 24(6)949--972, 24(6)977--997
-
automatic, 2(2)192--201, 4(2)142--152, 5(2)124--139, 5(2)221--236,
5(2)237--246, 6(4)320--341, 8(3)261--279, 8(4)397--409,
8(6)607--620, 9(2)103--117, 10(4)337--346, 10(5)455--471,
10(6)493--502, 13(3)247--261, 17(3)339--349, 18(4)359--374,
19(4)427--448, 19(6)743--761, 21(6)691--707, 23(5)783--796,
24(6)889--910
-
automatically, 16(1)13--29
-
Automating, 10(4)291--295, 13(2)111--129, 22(6)709--728
-
automation, 8(6)607--620, 10(3)233--245, 10(4)281--283, 10(4)291--295,
19(3)281--308
-
automation, High-, 3(1)20--31
-
automaton, 2(3)270--278
-
autonomically, 22(4)511--522
-
autonomous, 24(3)395--414, 25(5)625--639
-
autopilot, 20(4)379--395
-
AutoProof, 17(6)745--755, 19(6)697--716
-
availability, 7(4)376--387
-
availability, high-, 7(4)376--387
-
Average-price-per-reward, 13(6)553--569
-
Aviation, 9(1)63--76
-
avionics, 24(2)225--245
-
avoidance, 9(1)63--76, 16(4)339--361, 18(2)227--243, 19(6)717--741,
24(3)371--394
-
Avoiding, 23(3)335--368
-
Avrunin, George S., 2(4)317--320
-
Avrunin:2000:BFS, 2(4)317--320
-
aware, abort-, 13(6)537--551
-
aware, data-, 18(5)535--558
-
Azimi, Pooria, 20(1)57--78
-
Azimi, Pooria, see Holmes, Josie
-
Azzopardi, Shaun, 25(5)765--784
-
Azzopardi, Shaun, see Alrahman, Yehia Abd