Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
A
-
Aalst, W. M. P. van der, 23(3)333--363
-
Aalst, Wil M. P. van der, 22(3)459--482
-
Aaltonen, Timo, 12(4)231--232
-
Aaltonen:2000:SCP, 12(4)231--232
-
Abadi, 7(5)550--575
-
Abdulla, Parosh, 4(2)149--194
-
Abdulla:1992:AVC, 4(2)149--194
-
Abed, Sa'ed, 25(6)971--991
-
Abed:2013:AVR, 25(6)971--991
-
Abid, Mohamed, 27(1)79--102
-
Abid, Mohamed, see Elleuch, Maissa
-
abortive, 18(3)329--363
-
Abrial, Jean-Raymond, 14(3)215--227
-
Abrial:2003:MPI, 14(3)215--227
-
abridged, 8(4)479--489
-
abstract, 7(3)289--313, 7(3)314--328, 8(4)428--462, 8(6)706--715,
11(1)45--55, 12(2)71--99, 13(3)341--363, 14(4)369--399,
16(3)166--193, 23(4)433--463, 27(4)665--699, 29(1)125--153,
29(3)531--557
-
abstraction, 3(4)326--345, 12(3)147--164, 12(3)165--181, 17(3)277--318,
22(2)105--128, 23(3)289--306, 26(1)125--167, 26(1)169--194,
27(2)309--334, 28(6)1027--1056, 30(6)685--711, 31(2)231--259
-
Abstraction-Based, 10(4)381--404
-
AC, 20(4)407--428
-
accelerated, GPU-, 31(1)27--46
-
Accelerating, 27(5)917--949
-
access, 21(4)347--362, 22(2)83--104, 22(3)483--484, 27(3)525--549
-
Accessing, 6(5)569--579
-
Aceto, Luca, 6(2)201--222
-
Aceto:1994:SVL, 6(2)201--222
-
Acióly, Benedito Melo, 18(2)231--243,
see Santiago, Regivan H. Nunes
-
ACL2, 31(6)699--732
-
across, 26(2)319--366
-
action, 5(1)79--88, 6(3)250--268, 7(1)37--53, 8(5)499--538,
13(3)327--340, 15(2)103--117, 16(4)313--331, 18(2)211--230,
21(1)155--186, 22(1)33--61
-
action-based, 9(2)175--207, 16(1)5--18
-
active, 27(3)551--572, 28(2)233--263
-
Activity, 12(2)120--144, 33(6)989--1007
-
Actors, 15(4)349--369
-
ad, 8(3)247--293, 25(5)801--832, 29(6)1051--1086
-
Ada, 5(2)91--120, 23(4)465--512
-
adaptation, 28(4)531--566
-
adaptation, Self-, 28(4)669--696
-
adaptive, 10(4)313--337, 24(2)163--186, 30(2)319--332
-
adaptivity, 28(4)567--595
-
Adcock, Bruce, 23(5)607--626
-
Adcock, Bruce, see Sitaraman, Murali
-
adequate, 6(3)317--338
-
Adesi, Katerina, Barone-, 23(5)627--648
-
ADL, 12(2)120--144
-
Adopted, 14(2)99--107
-
Advanced, 15(1)84--99, 31(5)641--642
-
Advances, 13(3)187--193
-
again, 2(1)24--59
-
against, 20(6)597--617, 30(6)685--711
-
agent, 5(1)79--88, 8(2)127--161, 28(6)1027--1056, 29(2)227--249
-
agent, multi-, 23(1)21--41
-
agent-based, 23(6)711--737
-
Agerholm, Sten, 10(5)532--549
-
Agerholm, Sten, see Bicarregui, Juan
-
Aguirre, Nazareno, 27(5)831--865, 29(6)1013--1050
-
Aguirre, Nazareno, see Castro, Pablo F.,
see Demasi, Ramiro
-
Ah-kee, Alain, 2(1)312--330
-
Ah-kee:1990:POB, 2(1)312--330
-
Ahmad, Waqar, 32(1)71--111
-
Ahmad:2020:FRF, 32(1)71--111
-
Ahrendt, Wolfgang, 33(6)827--827
-
Ahrendt:2021:E, 33(6)827--827
-
Aichernig, Bernhard K., 15(2)280--295, 21(1)33--64, 30(6)627--628,
33(4)575--615
-
Aichernig, Bernhard K., see Tappler, Martin
-
Aichernig:2003:MTR, 15(2)280--295
-
Aichernig:2009:MTU, 21(1)33--64
-
Aichernig:2018:SST, 30(6)627--628
-
aid, 8(1)108--126, 32(2)251--273
-
Aïssani, Djamil, 27(1)33--52, see Yazid, Mohand
-
Al Sammane, Ghiath, 25(6)971--991
-
Al Sammane, Ghiath, see Abed, Sa'ed
-
Al-Bataineh, Omar, 27(5)917--949
-
Al-Bataineh:2015:AWC, 27(5)917--949
-
Alagar, Vangalur S., 3(3)253--283
-
Alagar:1991:FSP, 3(3)253--283
-
Alaiba, Vasile, 21(5)495--510
-
Alaiba, Vasile, see Masalagiu, Cristian
-
Albert, Elvira, 27(4)665--699
-
Albert:2015:QAC, 27(4)665--699
-
Alencar, Paulo S. C., 8(1)3--46
-
Alencar:1996:LFE, 8(1)3--46
-
Alexander, 30(6)761--762
-
algebra, 2(1)60--104, 3(1)2--20, 3(2)142--188, 5(6)481--529,
6(2)115--164, 6(3)339--358, 8(2)188--208, 8(4)379--407, 12(1)1--17,
12(5)392--415, 13(3)308--326, 17(2)138--159, 19(4)445--474,
20(4)451--479, 22(1)3--31, 22(2)83--104, 22(2)193--213,
22(3)483--484, 23(4)567--583, 24(4)423--431, 24(4)433--458,
25(6)933--945, 27(2)283--307, 29(3)423--452, 31(2)133--163,
33(4)763--802
-
Algebra, SI-, 9(4)395--408
-
algebraic, 3(4)326--345, 4_1S_612_637, 4(6)497--543, 7(3)231--265,
8(6)706--715, 9(1)1--48, 9(3)229--269, 10(5)436--451, 12(1)41--51,
12(4)298--312, 17(1)19--37, 17(1)69--90, 18(2)244--262,
21(6)513--539, 22(2)153--191, 22(3)269--296, 22(5)489--535,
27(1)133--166, 27(4)613--640, 27(5)805--829, 28(2)265--293,
28(6)1057--1078
-
algorithm, 1(1)273--292, 2(1)109--122, 4_1S_727_754, 6(6)716--737,
9(2)208--226, 9(4)409--424, 11(1)45--55, 17(1)19--37, 18(4)421--431,
19(3)321--341, 20(6)563--595, 21(1)187--223, 23(3)289--306,
24(4)477--496, 24(4)661--670, 24(4)671--678, 25(2)319--341,
25(6)893--931, 26(5)993--1031, 28(2)325--341, 29(3)559--579,
29(6)951--986, 32(4)417--437, 33(1)65--86
-
allow, 30(3)381--441
-
Alloy, 20(1)21--39, 27(2)239--253
-
Almeida, Ana de, 30(3)333--349
-
Almeida, Ana de, see Santos, Filipe
-
almost, 10(2)171--186, 17(3)319--341
-
Alphabet, 10(1)30--42, 10(1)43--58
-
Alrajeh, D., 22(3)217--241
-
Alrajeh, Dalal, 33(1)27--63
-
Alrajeh, Dalal, see Cavezza, Davide G.
-
Alrajeh:2010:DNZ, 22(3)217--241
-
alternating, 20(4)507--560
-
alternative, 11(2)107--131, 21(4)363--391, 30(3)333--349
-
always', `to-, 9(3)270--282
-
Ambient, 27(5)885--916
-
ambients, 20(4)407--428
-
amendment, 31(5)611--640, 32(1)153--153
-
America, Pierre, 1(1)366--411, 4(4)376--408, 6(3)269--316
-
America:1989:IDP, 1(1)366--411
-
America:1992:LSP, 4(4)376--408
-
America:1994:RAD, 6(3)269--316
-
Amílcar, 29(2)173--173
-
Amir, 22(6)663--665
-
Amjad, Hasan, 22(6)735--772, 25(6)893--931
-
Amjad, Hasan, see Bornat, Richard
-
Amram, Gal, 33(4)729--761
-
Amram:2021:GGS, 33(4)729--761
-
Amrouche, Nassim, 27(1)33--52
-
Amrouche, Nassim, see Yazid, Mohand
-
AMS, VHDL-, 16(1)80--94
-
An, Jie, 33(3)385--406
-
An, Jie, see Jin, Xiangyu
-
analogue, 16(1)80--94
-
analogy, 7(2)183--206
-
Analogy-Based, 13(3)403--421
-
Analyse, 11(3)272--301, 14(3)247--266
-
analysing, 2(1)359--392, 11(2)132--159, 26(6)1169--1204, 28(1)45--63,
33(6)957--987
-
analysis, 1(1)273--292, 6(1)92--112, 6(6)659--675, 7(4)353--388,
11(2)107--131, 11(6)591--615, 16(3)238--262, 16(3)263--291,
16(4)313--331, 17(3)260--276, 18(1)42--62, 18(3)329--363,
18(4)433--458, 19(1)3--33, 19(1)93--109, 19(2)225--241,
19(3)375--399, 20(3)303--348, 20(4)407--428, 22(3)297--326,
22(3)345--361, 23(3)333--363, 23(6)781--805, 24(2)249--266,
24(2)267--302, 26(5)1033--1076, 27(1)79--102, 27(3)573--609,
27(5)917--949, 28(5)881--907, 29(1)125--153, 29(2)175--225,
29(2)251--307, 29(3)531--557, 30(6)739--757, 31(1)59--94,
31(2)231--259, 31(5)503--540, 32(1)71--111, 33(1)65--86,
33(2)297--298
-
analysis-based, local-, 31(3)375--409
-
analyzing, 27(5)753--788
-
Ancient, 13(3)422--429
-
and-conquer, divide-, 7(6)663--682
-
Anderson, James H., 4(3)273--298
-
Anderson, Stuart, 6(1)92--112, 10(5)452--468
-
Anderson, Stuart, see Bruns, Glenn
-
Anderson:1992:CA, 4(3)273--298
-
Anderson:1998:DPA, 10(5)452--468
-
Andisha, Siyar, 28(3)499--527
-
Andisha, Siyar, see Feo-Arenis, Sergio
-
Andova, Suzana, 24(4)727--748
-
Andova, Suzana, see Georgievska, Sonja
-
Andrade, Wilkerson L., 24(3)331--353
-
Andrade:2012:TIR, 24(3)331--353
-
André, 32(1)149--151
-
André, Étienne, 28(5)805--845
-
Andre:2016:FCU, 28(5)805--845
-
Andrei, {\c{S}}tefan, 21(5)495--510,
see Masalagiu, Cristian
-
Android, 30(5)525--544
-
Angelic, 18(3)288--307
-
angle, 33(3)325--341
-
Anjorin, Anthony, 33(6)1115--1145
-
Anjorin, Anthony, see Weidmann, Nils
-
annotated, 29(3)495--530
-
anonymity, 26(1)63--98, 27(2)255--282
-
Anonymous, 2(1)105--108, 2(1)203--205, 2(1)294--298, 2(1)393--396,
3(1)106--108, 3(2)213--216, 3(3)308--312, 3(4)377--378,
4(1)145--147, 4_1S_781_782, 4(2)237--238, 4(3)320--322,
4(4)409--411, 5(1)89--90, 5(2)177--180, 5(3)285--288, 5(4)385--387,
5(6)573--573, 10(3)307--310, 11(3)223--224, 14(4)339--339,
14(4)340--341, 15(2)101--102, 15(4)422--422, 22(5)485--487,
25(1)1--2, 29(2)173--173, 29(6)933--933
-
Anonymous:1990:FEa, 2(1)105--108
-
Anonymous:1990:FEb, 2(1)203--205
-
Anonymous:1990:FEc, 2(1)294--298
-
Anonymous:1990:FEd, 2(1)393--396
-
Anonymous:1991:FEa, 3(1)106--108
-
Anonymous:1991:FEb, 3(2)213--216
-
Anonymous:1991:FEc, 3(3)308--312
-
Anonymous:1991:FEd, 3(4)377--378
-
Anonymous:1992:FEa, 4(1)145--147
-
Anonymous:1992:FEb, 4_1S_781_782
-
Anonymous:1992:FEc, 4(2)237--238
-
Anonymous:1992:FEd, 4(3)320--322
-
Anonymous:1992:FEe, 4(4)409--411
-
Anonymous:1993:FEa, 5(1)89--90
-
Anonymous:1993:FEb, 5(2)177--180
-
Anonymous:1993:FEc, 5(3)285--288
-
Anonymous:1993:FEd, 5(4)385--387
-
Anonymous:1993:FEe, 5(6)573--573
-
Anonymous:1998:BR, 10(3)307--310
-
Anonymous:1999:E, 11(3)223--224
-
Anonymous:2003:CV, 15(4)422--422
-
Anonymous:2003:Ea, 14(4)339--339
-
Anonymous:2003:Eb, 15(2)101--102
-
Anonymous:2003:O, 14(4)340--341
-
Anonymous:2010:RMJ, 22(5)485--487
-
Anonymous:2013:P, 25(1)1--2
-
Anonymous:2017:MJC, 29(6)933--933
-
Anonymous:2017:OAL, 29(2)173--173
-
Antonino, P., 28(6)937--1004
-
Antonino, P., see Oliveira, M. V. M.
-
Antonino, Pedro, 31(3)375--409
-
Antonino:2019:EVC, 31(3)375--409
-
Antoniou, Grigoris, 6(2)223--244
-
Antoniou:1994:VM, 6(2)223--244
-
Antoy, Sergio, 29(3)475--494
-
Antoy:2017:TBE, 29(3)475--494
-
Apple, 1(1)147--171
-
applicability, 5(2)152--176
-
application, 4(6)544--571, 11(6)665--689, 15(1)84--99, 16(3)210--237,
17(1)38--57, 25(6)993--1016, 26(2)319--366, 27(2)335--374,
27(5)885--916, 27(5)975--1001, 29(4)705--750, 29(6)987--1011,
30(1)133--162, 31(2)165--206, 31(4)421--451, 32(1)33--70,
32(1)147--148, 33(6)1147--1172
-
applicative, 25(3)365--388
-
Applied, 14(3)328--337, 18(2)211--230
-
approach, 1(1)303--319, 5(3)208--223, 7(5)550--575, 8(1)86--107,
9(4)425--445, 10(5)452--468, 12(3)182--198, 12(4)228--230,
12(5)392--415, 13(2)142--160, 13(3)341--363, 18(1)63--83,
19(4)513--550, 20(4)481--505, 21(3)227--244, 22(5)489--535,
22(5)611--627, 22(6)713--733, 23(1)21--41, 23(2)191--219,
23(5)627--648, 24(2)163--186, 25(4)465--501, 27(2)283--307,
27(2)335--374, 27(3)475--497, 27(5)753--788, 28(1)1--20,
29(6)987--1011, 30(2)193--217, 30(5)525--544, 30(6)713--738,
31(5)641--642, 32(2)275--314, 32(4)361--393, 33(4)461--518,
33(4)519--545
-
approximation, 15(4)319--348, 18(4)421--431, 27(2)309--334,
31(3)375--409
-
Apt, Krzysztof R., 6_1S_743_765, 14(2)92--98, 31(6)751--807
-
Apt:1994:RAP, 6_1S_743_765
-
Apt:2002:EWD, 14(2)92--98
-
Apt:2019:FYH, 31(6)751--807
-
Aransay, Jesús, 22(2)193--213, 28(6)1005--1026
-
Aransay:2010:GCC, 22(2)193--213
-
Aransay:2016:FCE, 28(6)1005--1026
-
Arbab, Farhad, 28(1)21--43
-
Arbab, Farhad, see Khakpour, Narges
-
Arcaini, Paolo, 28(4)567--595
-
Arcaini:2016:ABF, 28(4)567--595
-
ArcAngel, 15(1)28--47
-
Archibald, Blair, 33(6)1249--1277
-
Archibald:2021:TTG, 33(6)1249--1277
-
architectural, 8(2)162--187, 13(3)252--273, 24(4)769--792,
31(5)541--610
-
architecture, 11(3)225--243, 11(6)665--689, 19(1)63--91, 23(1)73--89,
24(3)307--330, 28(2)207--231, 28(3)441--467, 31(1)59--94
-
Arendt, T., 30(1)133--162
-
Arendt, T., see Strüber, D.
-
Arenis, Sergio, Feo-, 28(3)499--527
-
Argos, 16(3)292--312
-
Arias, Emilio Jesús Gallego, 29(1)97--124
-
Arias, José J. Pazos, 13(1)50--91
-
Arias:2001:SMF, 13(1)50--91
-
Arias:2017:CLP, 29(1)97--124
-
arithmetic, 19(3)343--362
-
Armas-Cervantes, Abel, 28(4)597--613
-
Armas-Cervantes, Abel, see Polyvyanyy, Artem
-
Armstrong, Alasdair, 28(2)265--293
-
Armstrong, J. M., 16(4)332--351
-
Armstrong, J. M., see Paynter, S. E.
-
Armstrong, Jim, 12(2)120--144
-
Armstrong, Jim, see Paynter, Stephen
-
Armstrong:2016:BPC, 28(2)265--293
-
array, 6(4)417--439
-
Arthan, R., 9(4)349--358
-
Arthan, R., see O'Halloran, C.
-
Arthan, Rob, 25(3)345--363
-
Arthan:2013:HLL, 25(3)345--363
-
as-Programs, Proofs-, 13(3)403--421
-
ASAP, 17(3)319--341
-
ASM, 15(2)237--257, 26(2)319--366
-
ASM-based, 28(4)567--595
-
ASMs, 23(1)21--41
-
aspect, 3(4)367--376, 18(2)231--243, 19(4)551--554
-
Assembling, 31(6)663--674
-
assertion-based, 19(2)205--224, 24(2)217--248
-
assertional, 2(1)109--122, 16(4)387--393
-
assertions, 6_1S_743_765
-
Assessment, 33(2)251--295
-
assignment, 5(5)432--466, 6(4)417--439
-
assistant, 21(3)277--291
-
Assisted, 29(6)933--933
-
associations, 27(5)867--884
-
associative, 3(3)218--252
-
assume-guarantee, 26(4)825--859, 30(5)571--595
-
assumption, 4(6)582--591, 7(1)18--36, 29(3)495--530
-
assumptionash, 8(2)127--161
-
assurance, 24(2)163--186, 33(6)855--884
-
Assuring, 23(5)589--606
-
ASTDs, 26(5)919--941
-
asynchronous, 6(1)60--91, 7(2)113--149, 10(2)160--170, 11(5)567--590,
16(3)238--262, 28(5)847--879, 30(1)163--192
-
asynchronously, 8(2)127--161
-
Atkinson, M. D., 4(5)493--496, 6_1S_846_848
-
Atkinson:1992:BR, 4(5)493--496
-
Atkinson:1994:BR, 6_1S_846_848
-
ATM, 10(5)483--508, 12(4)211--215
-
atomic, 16(4)387--393, 22(1)33--61, 31(5)503--540
-
atomicity, 4(3)273--298, 25(3)439--464
-
atomized, 9(5)518--536
-
attacker, 20(3)303--348
-
attacks, 30(6)685--711
-
attentional, 21(6)513--539
-
Attie, Paul, 28(2)207--231
-
Attie:2016:GFA, 28(2)207--231
-
attribute, 2(1)359--392
-
Audebaud, Philippe, 11(4)426--447
-
Audebaud:1999:DPR, 11(4)426--447
-
Audio, 10(4)313--337
-
augmented, 33(3)343--384
-
August, 29(6)933--933
-
authorization, 28(4)643--667
-
authors, 3(4)367--376
-
AUTOFOCUS, 12(4)225--227
-
automata, 8(5)499--538, 11(4)402--425, 12(5)350--371, 13(6)447--470,
17(2)138--159, 18(1)31--41, 20(6)563--595, 21(3)259--275,
22(6)681--711, 25(2)289--318, 26(2)407--432, 26(6)1169--1204,
27(5)917--949, 28(1)109--143, 29(4)629--649, 33(1)3--25,
33(2)185--205, 33(4)695--727
-
automata-based, 27(4)641--664
-
automated, 1(1)273--292, 15(2)258--279, 15(4)406--421, 23(3)243--266,
23(6)683--709, 26(2)203--249, 29(4)651--703, 30(5)571--595,
31(2)207--230
-
automatic, 4(2)149--194, 10(5)550--575, 11(6)637--664, 12(4)233--236,
22(3)423--457, 25(6)971--991, 30(3)333--349, 31(1)3--25
-
Automating, 22(3)297--326, 31(1)95--129
-
Automatizing, 6(6)676--695
-
automotive, 20(6)637--662
-
autonomous, 29(2)227--249, 32(2)157--186, 33(3)343--384, 33(6)957--987
-
Auxiliary, 11(5)541--566
-
Avalle, Matteo, 26(1)99--123, 30(2)279--317
-
Avalle, Matteo, see Sisto, Riccardo
-
Avalle:2014:FVS, 26(1)99--123
-
Avigad, Jeremy, 23(5)607--626
-
Avigad, Jeremy, see Sitaraman, Murali
-
avionics, 28(1)45--63
-
avoiding, Capture-, 20(4)451--479
-
Avron, Arnon, 6(6)620--642
-
Avron:1994:SSD, 6(6)620--642
-
aware, Battery-, 31(2)261--285
-
aware, risk-, 33(4)763--802
-
awareness, 27(5)885--916
-
axiom, 2(1)139--166, 3(2)189--205, 10(1)43--58
-
axiomatic, 4(4)323--340, 27(1)103--131, 33(4)461--518
-
Axiomatisation, 16(1)36--50
-
Axiomatization, 10(1)30--42
-
Ayeb, Béchir el, 32(4)361--393, see Lahouij, Aida
-
Azcorra, Arturo, 5(3)224--252
-
Azcorra, Arturo, see Quemada, Juan
-
Azgomi, Mohammad Abdollahi, 27(5)789--804
-
Azgomi, Mohammad Abdollahi, see Dabaghchian, Maryam