Index file section C for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
C
-
C, 5(1)49--58, 11(3)175--185, 11(3)187--202, 13(5)405--417, 19(1)97--114,
21(3)267--286, 21(5)545--565, 23(2)115--135
-
C++, 17(1)91--105
-
C, Handel-, 7(3)248--267
-
Cabodi, G., 20(3)313--325
-
Cabodi, Gianpiero, 7(2)102--117, 7(2)129--142
-
Cabodi:2005:BBF, 7(2)102--117
-
Cabodi:2005:BSA, 7(2)129--142
-
Cabodi:2018:SGD, 20(3)313--325
-
Cabral, Rafael da Veiga, 14(4)461--475
-
Cabral, Rafael da Veiga, see Vergilio, Silvia Regina
-
Cache, 8(4)411--430
-
Cadar, Cristian, 23(6)867--870, 24(2)205--223
-
Cadar, Cristian, see Arras, Paul-Antoine
-
Cadar:2021:KSE, 23(6)867--870
-
CADP, 15(2)89--107
-
CAESAR_SOLVE, 8(1)37--56
-
Cairoli, Francesca, 23(4)615--640
-
Cairoli, Francesca, see Bortolussi, Luca
-
CakeML, 25(2)167--184
-
calculus, 6(1)38--66, 13(3)273--287, 13(4)289--306, 22(6)689--708,
24(5)691--715
-
call, 11(3)203--215
-
Callanan, Sean, 14(3)327--347
-
Callanan, Sean, see Huang, Xiaowan
-
caller-side, 17(3)291--303
-
Calvanese, Diego, 18(5)535--558
-
Calvanese, Diego, see Montali, Marco
-
Cámara, Pedro de la, 11(5)359--374
-
Campos, Sérgio, 6(2)174--182
-
Campos, Sérgio Vale Aguiar, 2(3)260--269
-
Campos:1999:AVR, 2(3)260--269
-
Campos:2004:TSG, 6(2)174--182
-
Camurati, P. E., 20(3)313--325
-
Camurati, P. E., see Cabodi, G.
-
Cansell, Dominique, 11(3)217--238
-
Cansell:2009:SCD, 11(3)217--238
-
capability, 9(3)305--326
-
capturing, 14(5)613--630
-
Capuron, Jean-François, 21(4)425--448,
see Botella, Julien
-
CARA, 5(4)301--307, 5(4)308--319, 5(4)331--350, 5(4)351--369,
5(4)370--390
-
Carbone, Roberto, 18(2)187--204
-
Carbone, Roberto, see Armando, Alessandro
-
Carcenac, François, 8(6)471--484
-
Carcenac:2006:FFV, 8(6)471--484
-
card, 5(2)140--157, 22(2)183--194
-
care, 12(1)23--37
-
Carlos, Cohan, 5(4)320--330
-
Carlos, Cohan, see Jetley, Raoul Praful
-
Carnevali, Laura, 12(5)391--403
-
Carnevali, Laura, see Bucci, Giacomo
-
Carreño, Víctor, 4(3)371--380,
see Muñoz, César
-
Carrozza, Gabriella, 16(5)593--607
-
Carrozza:2014:DTP, 16(5)593--607
-
Cartesian, 5(1)49--58
-
Carver, Richard H., 12(1)69--88
-
Carver:2010:CLI, 12(1)69--88
-
Carzaniga, Antonio, 10(6)493--502
-
Carzaniga:2008:HWA, 10(6)493--502
-
case, 3(3)332--352, 4(4)505--528, 5(2)140--157, 5(2)237--246,
5(4)320--330, 8(6)517--530, 8(6)531--545, 10(1)15--28,
10(2)145--160, 10(6)477--492, 11(3)261--267, 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)609--625, 17(3)339--349, 18(3)319--334,
19(2)133--140, 20(5)515--528, 22(3)249--255, 22(3)257--264,
23(6)857--861, 23(6)875--877, 24(2)159--181, 25(3)355--374
-
case, Test-, 9(5)505--525
-
case, test-, 18(1)109--120, 23(6)847--851
-
case, Worst-, 4(4)437--455
-
case, worst-, 11(2)133--152, 21(5)515--543
-
Case-based, 10(3)233--245
-
case-centric, 18(5)535--558
-
Caspi, Paul, 11(5)409--418
-
Caspi, Paul, see Mikác, Jan
-
Cassar, Ian, 23(4)601--614
-
Cassar, Ian, see Aceto, Luca
-
Castellanos, José Ángel, 24(6)999--1024,
see Hansen, Simon Thrane
-
Castillos, Kalou Cabrera, 13(5)431--448
-
Castillos:2011:SBT, 13(5)431--448
-
Castro, Laura M., 17(1)1--16
-
Castro, Laura M., see Nilsson, Agneta
-
casts, 25(2)185--204
-
Cataño, Néstor, 19(1)31--52,
see Rivera, Víctor
-
causal, 25(5)659--673
-
Causevi{\'c}, Adnan, 18(3)335--353, see Enoiu, Eduard P.
-
Cavalli, Ana R., 18(3)251--264
-
Cavalli, Ana R., see Kushik, Natalia
-
CBTC, 16(6)647--667
-
CC-NUMA, 3(3)314--331
-
CCDL, 9(2)155--168
-
CCM, 9(5)417--427
-
centered, 11(6)485--501
-
centric, case-, 18(5)535--558
-
centric, object-, 25(1)1--17
-
Cerioli, Maura, 9(5)415--416
-
Cerioli, Maura, see Wermelinger, Michel
-
Cerný, Pavol, 23(4)641--654, see Tizpaz-Niari, Saeid
-
Certification, 6(1)15--37
-
Ceska, Milan, 22(5)523--539
-
Ceska:2020:ARF, 22(5)523--539
-
CESRBDDs, 24(1)89--109
-
Chadli, Mounir, 20(4)397--422
-
Chadli:2018:HLF, 20(4)397--422
-
chain, 4(2)153--172, 8(3)216--228, 8(4)397--409, 15(1)65--84,
18(3)319--334
-
Chaki, Sagar, 8(3)229--247, 12(6)409--427
-
Chaki, Sagar, see Groce, Alex,
see Gurfinkel, Arie
-
Chakraborty, Samarjit, 3(4)431--455, 21(5)515--543
-
Chakraborty, Samarjit, see Anlauff, Matthias,
see Becker, Martin
-
Chakraborty, Souymodip, 17(4)537--554
-
Chakraborty, Supratik, 10(2)113--129, 24(5)843--888
-
Chakraborty, Supratik, see Thomas, Dina
-
Chakraborty:2015:MSM, 17(4)537--554
-
Chakraborty:2022:FPI, 24(5)843--888
-
Chalin, Patrice, 12(6)429--446
-
Chalin:2010:TIG, 12(6)429--446
-
challenge, 7(2)174--183, 11(2)133--152, 14(4)383--386, 15(3)149--154,
16(5)481--491, 16(5)493--505, 16(5)519--529, 17(4)369--376,
17(6)659--676, 17(6)745--755, 19(2)133--140, 23(6)917--930
-
Chalupa, Marek, 22(2)115--133, 23(6)875--877
-
Chalupa:2020:JFM, 22(2)115--133
-
Chalupa:2021:SGT, 23(6)875--877
-
Chan, Brian, 11(6)503--515
-
Chan:2009:AET, 11(6)503--515
-
Chang, Bor-Yuh Evan, 16(2)175--190
-
Chang, Bor-Yuh Evan, see Cox, Arlen
-
Chang, Jinn-Shu, 15(2)109--123
-
Chang, Jinn-Shu, see Tsay, Yih-Kuen
-
Chang, Yi-Wen, 15(2)109--123
-
Chang, Yi-Wen, see Tsay, Yih-Kuen
-
change, 8(4)321--335, 11(6)503--515, 17(3)251--266, 23(1)69--70
-
channel, 3(4)382--393, 23(4)579--600
-
channel, side-, 23(4)641--654
-
Chao, Liu, 11(6)419--425
-
Chao, Liu, see Ricca, Filippo
-
Chapoutot, Alexandre, 19(4)427--448
-
Chapoutot, Alexandre, see Damouche, Nasrine
-
characterization, 23(5)765--781
-
charts, 5(1)78--89, 7(4)341--350
-
Charvát, Lukás, 24(1)1--28
-
Charvat:2022:UPS, 24(1)1--28
-
Chatterjee, Krishnendu, 15(5)585--601
-
Chatterjee, Krishnendu, see Godhal, Yashdeep
-
Chatterjee, Shaunak, 11(2)105--116
-
Chatterjee:2009:LLM, 11(2)105--116
-
Chattopadhyay, Agnishom, 25(4)557--573
-
Chattopadhyay, Agnishom, see Mamouras, Konstantinos
-
Chechik, Marsha, 9(5)429--445, 12(5)319--335
-
Chechik, Marsha, see Simmonds, Jocelyn
-
Chechik:2007:FCG, 9(5)429--445
-
checkable, 4(1)34--56
-
checker, 1(1)110--122, 2(4)410--425, 5(2)237--246, 9(5)505--525,
18(2)149--167, 18(2)187--204, 19(1)9--30, 22(6)759--780,
24(4)589--610
-
checking, Model-, 4(1)71--91, 7(4)297--315, 8(3)177--179,
9(1)53--62, 15(2)125--147, 17(2)223--243
-
checking, model-, 3(3)314--331, 4(2)153--172, 5(2)158--164,
14(1)53--72, 18(4)409--426, 21(4)449--469
-
checking-based, 19(4)449--464
-
checkinga, 9(1)63--76
-
checks, 18(1)1--19, 19(6)653--673
-
chemical, 6(3)186--202, 11(5)375--392
-
Chen, Chunqing, 14(6)653--671
-
Chen, Feng, 14(3)249--289
-
Chen, Feng, see Meredith, Patrick O'Neil
-
Chen, Hong Yi, 17(1)47--57
-
Chen, Xiaofang, 12(2)113--122
-
Chen, Xiaofang, see Yang, Yu
-
Chen, Yirng-An, 3(2)137--155
-
Chen, Yirng-An, see Bryant, Randal E.
-
Chen:2012:FMV, 14(6)653--671
-
Chen:2015:TPL, 17(1)47--57
-
Cheng, Zheng, 20(6)645--663
-
Cheng:2018:SAM, 20(6)645--663
-
Cheon, Yoonsik, 7(3)212--232
-
Cheon, Yoonsik, see Burdy, Lilian
-
CHEOPS, 6(3)186--202
-
Chetali, Boutheina, 11(3)175--185
-
Chetali:2009:ATE, 11(3)175--185
-
Chevalley, P., 5(1)90--103
-
Chevalley:2003:MAT, 5(1)90--103
-
Chin, Wei-Ngan, 16(4)363--380, 16(4)381--397
-
Chin, Wei-Ngan, see Ferreira, João F.,
see Gherghina, Cristian
-
Chinese, 16(4)421--435
-
chip, System-on-, 11(3)217--238
-
Chisel, 20(6)739--769
-
Cho, Shenghsun, 22(5)583--599
-
Cho, Shenghsun, see DeFrancisco, Richard
-
Chockler, Hana, 8(4)373--386, 13(3)201--205
-
Chockler:2006:CMF, 8(4)373--386
-
Chockler:2011:P, 13(3)201--205
-
Christensen, Soren, 2(2)98--132
-
Christensen, Soren, see Kristensen, Lars M.
-
Christensen, S{\o}ren, 2(2)160--167, 8(6)531--545,
see J{\o}rgensen, Jens B{\ae}k,
see Moncelet, Gilles
-
Chrszon, Philipp, 20(2)179--194
-
Chrszon, Philipp, see Klein, Joachim
-
Chugunov, Gennady, 4(4)405--420
-
Chugunov, Gennady, see Fredlund, Lars-Åke
-
Ciancia, Vincenzo, 20(3)289--311, 22(2)195--217, 25(5)641--658
-
Ciancia, Vincenzo, see Basile, Davide,
see Buonamici, Fabrizio Banci
-
Ciancia:2018:STM, 20(3)289--311
-
Ciardo, Gianfranco, 8(1)4--25, 9(1)63--76, 11(2)117--131, 22(5)541--562,
24(1)89--109
-
Ciardo, Gianfranco, see Amparore, Elvio G.,
see Babar, Junaid,
see Siminiceanu, Radu I.,
see Yu, Andy Jinqing
-
Ciardo:2006:SAS, 8(1)4--25
-
Cimatti, Alessandro, 2(4)410--425
-
Cimatti:2000:NNS, 2(4)410--425
-
CINCO, 20(3)327--354
-
Ciobanu, Gabriel, 19(4)395--408
-
Ciobanu, Gabriel, see Aman, Bogdan
-
circuit, 3(1)32--65, 3(2)137--155, 5(2)237--246, 10(3)233--245,
15(3)247--268, 21(2)143--163, 25(2)133--144
-
circular, 19(5)535--547
-
Citrus, 24(2)225--245
-
CkTailv2, 24(4)529--548
-
Claessen, Koen, 4(3)349--358
-
Claessen:2003:ULD, 4(3)349--358
-
Clara, 14(3)307--326
-
Clarke, Dave, 14(5)477--495
-
Clarke, Dave, see Schaefer, Ina
-
Clarke, E. M., 2(3)279--287, 4(1)125--137
-
Clarke, Edmund, 2(3)260--269, 2(4)410--425, 4(2)173--188, 7(2)174--183
-
Clarke, Edmund, see Campos, Sérgio Vale Aguiar,
see Cimatti, Alessandro
-
Clarke:1999:SSR, 2(3)279--287
-
Clarke:2002:PSV, 4(1)125--137
-
Clarke:2003:EVS, 4(2)173--188
-
Clarke:2005:CCB, 7(2)174--183
-
class, 3(3)332--352, 10(2)167--184, 12(1)69--88, 14(4)461--475,
18(3)265--283, 18(6)685--706
-
Classen, Andreas, 14(5)553--566, 14(5)589--612
-
Classen, Andreas, see Heymans, Patrick
-
Classen:2012:MCS, 14(5)589--612
-
classification, 17(3)305--319
-
classifying, 23(2)255--284
-
Cleaveland, Rance, 2(3)208--218, 2(3)219--241, 3(3)247--249,
5(4)351--369, 24(3)473--492
-
Cleaveland, Rance, see Du, Xiaoqun,
see Huang, Samuel, \see{Ray, Arnab
-
Cleaveland, W. Rance, 1(1)1--5
-
Cleaveland:1997:E, 1(1)1--5
-
Cleaveland:1999:PMC, 2(3)208--218
-
Cleaveland:2001:PSE, 3(3)247--249
-
clinical, 11(5)375--392
-
clock, 1(1)86--109, 8(3)248--260, 25(1)19--47
-
Clojure, 24(5)757--782
-
Cloned, 17(5)627--646
-
Closed-loop, 16(2)191--213
-
cloud-based, 18(6)587--605
-
CLP, 20(4)467--491
-
CLPS-B, 6(2)143--157
-
Clustering, 7(4)376--387
-
co-simulation, 3(3)314--331, 15(4)363--374, 24(6)999--1024
-
coarse-grained, 5(2)107--123, 18(4)449--467
-
COBOL, 11(6)441--451
-
CoCo, 23(6)905--916
-
code, 2(2)192--201, 6(1)15--37, 11(3)175--185, 11(3)187--202,
11(6)441--451, 11(6)503--515, 14(5)553--566, 15(1)53--63,
16(1)81--102, 16(3)315--334, 19(1)31--52, 19(2)247--269,
19(4)449--464, 21(3)267--286, 21(4)471--484
-
code, parallel-, 21(2)183--202
-
CoDec, 10(4)337--346
-
Codish, Michael, 2(1)29--45
-
Codish:1998:SBP, 2(1)29--45
-
Coelho, Claudionor, 14(1)95--108
-
Coelho, Claudionor, see Safe, Georgia Penido
-
coevolution, 22(4)457--476
-
Cok, David R., 7(3)212--232, 12(6)467--481
-
Cok, David R., see Burdy, Lilian
-
Cok:2010:IUP, 12(6)467--481
-
Colaço, Jean-Louis, 6(3)245--255
-
Colaco:2004:TBI, 6(3)245--255
-
CoLiS, 24(5)717--733
-
Collavizza, Hélène, 16(1)103--121
-
Collavizza:2014:CBB, 16(1)103--121
-
collective, 22(4)389--397, 22(4)399--415, 25(5)617--624, 25(5)659--673,
25(5)693--705, 25(5)785--798
-
Collins, Graham, 4(2)189--210
-
Collins, Graham, see Dennis, Louise A.
-
collision, 9(1)63--76, 16(4)339--361, 18(2)227--243, 19(6)717--741,
24(3)371--394
-
Colombo, Christian, 21(1)31--70, 23(2)155--156
-
Colombo, Christian, see Bartocci, Ezio,
see Leucker, Martin
-
colonies, 25(5)675--691
-
color-blind, 9(5)471--487
-
colored, 2(2)133--143, 2(2)168--181, 9(3)327--352, 10(1)15--28,
10(1)57--74, 10(1)95--110, 18(3)285--304
-
coloured, 2(2)98--132, 2(2)144--159, 2(2)160--167, 2(2)182--191,
3(4)405--416, 8(6)531--545, 9(3)209--212, 9(3)213--254,
9(3)255--267, 9(3)269--304, 9(3)305--326, 10(1)1--3, 10(1)5--14,
10(1)29--56, 10(1)75--93, 20(3)243--262
-
combination, 25(2)185--204
-
combinational, 3(2)207--216
-
combined, 16(5)627--642
-
combining, 12(3)211--230, 12(6)409--427, 14(1)1--14, 16(5)493--505,
19(3)309--324, 21(5)545--565, 23(1)69--70, 25(2)185--204
-
comeback, 21(5)515--543
-
Command, 10(1)5--14
-
commercial, 8(6)485--516, 16(6)647--667
-
Common, 14(1)41--52
-
communicating, 8(2)97--112, 13(1)37--60, 19(4)465--485, 24(4)529--548
-
communication, 2(1)13--28, 5(2)247--267, 9(5)417--427, 11(5)359--374,
14(5)553--566, 18(5)475--493, 21(6)651--666, 24(5)757--782
-
COMP, SL-, 23(6)895--903
-
COMP, VNN-, 25(3)329--339
-
compact, 5(2)268--297
-
comparative, 13(3)207--221
-
compare, 5(2)237--246
-
Comparing, 21(4)449--469, 22(4)365--388, 23(4)601--614, 25(5)785--798
-
comparison, 4(2)234--245, 7(2)184--194, 10(6)477--492, 15(1)41--52,
23(4)615--640
-
competition, 17(6)677--694, 19(3)367--390, 21(1)31--70, 23(6)829--832,
23(6)833--846, 23(6)879--881, 23(6)883--893, 23(6)895--903,
23(6)905--916, 25(3)329--339
-
compilation, 2(2)192--201
-
compiled, 6(1)15--37
-
complement, 5(2)237--246
-
complementary, 21(4)425--448, 25(2)185--204
-
complemented, 24(1)89--109
-
Complete, 8(4)411--430, 18(3)265--283
-
completeness, 10(6)521--534
-
complex, 7(4)316--325, 11(2)153--171
-
compliance, 7(4)341--350, 13(5)431--448
-
comply, 5(2)237--246
-
component, 7(4)341--350, 9(2)135--154, 9(2)155--168, 9(2)169--178,
9(5)417--427, 10(3)207--222, 10(3)247--261, 15(1)41--52,
15(3)155--170, 15(5)603--618, 20(6)615--643, 21(4)425--448,
22(4)497--509, 24(2)287--324, 24(3)441--472
-
component-based, 9(2)179--192, 15(3)155--170, 19(3)341--365,
25(5)717--731
-
composable, 9(2)155--168, 22(4)511--522
-
composed, 13(4)307--317
-
composition, 9(2)135--154, 10(3)247--261, 13(2)167--179, 20(6)615--643
-
composition, self-, 22(4)417--436
-
compositional, 5(1)78--89, 8(6)471--484, 8(6)485--516, 9(1)37--51,
12(5)353--372, 14(6)703--720, 15(3)171--187, 19(1)53--71,
19(5)535--547, 23(4)521--543, 25(2)167--184, 25(4)557--573
-
compositionality, 3(4)417--430
-
compression, 21(1)71--86
-
computational, 7(2)118--128, 7(2)174--183, 9(1)77--88
-
computer, 25(2)133--144
-
computer, human-, 11(3)239--253
-
computer-aided, 5(4)320--330
-
computer-assisted, 5(4)308--319
-
computing, 3(4)382--393
-
concatenation, 14(6)639--651
-
concept, 1(1)9--30, 1(1)64--85, 22(3)281--296
-
conceptual, 11(6)485--501
-
concurrency, 3(4)456--468, 21(4)365--400
-
concurrency-related, 13(6)495--518
-
concurrency-specific, 14(3)291--305
-
concurrent, 3(4)372--381, 6(4)302--319, 6(4)320--341, 9(3)213--254,
9(5)489--504, 12(1)69--88, 15(4)321--336, 16(1)49--65,
16(5)543--558, 18(2)129--147, 18(3)305--318, 18(4)375--391,
19(5)549--563, 23(5)825--825, 24(4)613--633, 25(4)481--501
-
ConcurTaskTrees, 8(6)547--563
-
condition, 8(4)359--371, 16(6)713--726
-
condition-action, event-, 16(5)493--505
-
conditioned, 9(1)89--101
-
conditions, pre-, 13(5)405--417
-
conference, 11(4)269--272, 12(3)245--261, 17(5)555--557, 23(4)545--546
-
configuration, 14(5)497--510, 14(5)531--551, 14(5)613--630,
21(6)651--666
-
configuring, 10(1)95--110
-
conflict, 4(3)371--380
-
confluence, 17(4)429--456, 23(6)905--916
-
conformance, 2(4)382--393, 7(4)297--315, 7(4)316--325, 16(3)285--294,
18(3)285--304
-
Congestion, 9(3)371--391, 10(1)29--56
-
connection, 9(3)269--304, 10(1)29--56
-
conquer, divide-and-, 20(3)313--325
-
conscious, 25(5)707--716
-
consensus, 23(5)797--821, 23(5)823--823
-
consideration, 10(4)285--289
-
consistency, 19(5)623--647
-
Consistent, 11(6)453--468
-
constraint, 6(2)143--157, 8(1)26--36, 8(2)156--166, 13(6)519--535,
18(4)409--426, 21(4)449--469, 21(6)613--633
-
constraint, linear-, 22(6)655--666, 23(1)55--67
-
constraint-based, 3(3)250--270, 14(5)511--530, 16(1)103--121
-
construction, 6(1)4--14, 8(3)177--179, 10(2)167--184, 15(2)89--107,
17(1)77--90, 19(6)649--652, 22(6)685--687, 24(1)29--31,
24(4)611--612, 24(5)663--665, 25(1)19--47, 25(2)129--131
-
construction, Correct-by-, 22(1)3--32, 22(1)33--34
-
construction, correct-by-, 19(4)465--485
-
Constructive, 14(6)673--702
-
consumption, 15(3)229--245
-
contention, 3(4)469--485, 5(2)221--236, 12(1)39--51
-
contest, 12(3)171--181
-
context, 16(5)593--607
-
context-dependent, 22(4)511--522
-
contextual, 10(3)247--261
-
Conti, Thomas, 13(3)207--221
-
Conti, Thomas, see Adler, Yoram
-
continue, 5(2)237--246
-
continuous, 1(1)64--85, 9(1)1--4, 10(4)383--400, 16(5)569--591,
17(1)77--90, 17(4)485--504, 20(5)529--546, 22(6)667--683,
24(2)261--285
-
continuous-time, 25(4)557--573
-
contract, 8(6)485--516, 9(2)193--207, 18(6)685--706, 20(6)615--643
-
contributions, 11(2)85--94
-
control, 2(4)328--342, 4(1)21--33, 5(4)308--319, 8(4)321--335,
9(3)371--391, 10(1)5--14, 10(1)29--56, 10(3)207--222, 10(4)383--400,
10(6)503--520, 16(3)215--225, 16(4)339--361, 16(5)569--591,
16(6)643--646, 16(6)669--683, 18(6)653--684, 21(2)121--141,
21(6)679--689, 22(4)511--522, 23(5)685--700, 24(2)127--158,
24(2)225--245, 25(1)49--74
-
controllable, 14(3)327--347, 23(6)917--930
-
controlled, 23(4)601--614
-
controlled, Application-, 3(2)235--245
-
controller, 3(3)353--368, 25(3)249--266
-
convenient, 12(3)263--271
-
conversion, 3(1)13--19
-
converting, 10(4)347--352
-
Cook, Byron, 4(3)298--312
-
Cook, Byron, see Aagaard, Mark D.
-
Cooperative, 23(3)313--333
-
coordinating, 22(4)477--496, 25(5)747--764
-
coordination, 5(2)107--123, 22(4)417--436, 25(5)625--639
-
Coping, 10(3)233--245
-
Copty, Fady, 4(3)335--348
-
Copty:2003:EDF, 4(3)335--348
-
copy, read-, 21(3)287--306
-
Coq, 5(2)237--246
-
Coqoon, 20(2)125--137
-
CORBA, 9(5)417--427
-
Corbett, James C., 2(4)317--320, 4(1)34--56
-
Corbett, James C., see Avrunin, George S.
-
Corbett:2002:ECP, 4(1)34--56
-
Cordeiro, Lucas, 16(5)519--529
-
Cordeiro, Lucas, see Morse, Jeremy
-
Cordeiro, Lucas C., 19(1)97--114, 23(6)857--861
-
Cordeiro, Lucas C., see Gadelha, Mikhail R.,
see Gadelha, Mikhail Y. R.
-
Cordy, Maxime, 14(5)589--612, 21(6)635--649
-
Cordy, Maxime, see Classen, Andreas
-
Cordy:2019:VAR, 21(6)635--649
-
core, Many-, 18(2)169--185
-
core, Multi-, 20(2)157--177
-
core, multi-, 19(6)675--696, 22(1)3--32, 22(1)33--34
-
cornerstones, 2(4)328--342
-
Corradini, Flavio, 6(3)231--244
-
Corradini:2004:ABA, 6(3)231--244
-
correct, 18(6)653--684, 23(3)335--368, 23(5)741--763, 25(2)185--204,
25(5)625--639
-
correct-by-construction, 19(4)465--485, 22(1)3--32, 22(1)33--34
-
correcting, 19(4)449--464
-
correction, 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
-
correctness, 4(3)298--312, 14(3)291--305
-
correlation, 9(5)417--427
-
Cortesi, Agostino, 6(1)1--3
-
Cortesi, Agostino, see Zuck, Lenore
-
Coskun, V., 5(4)370--390
-
Coskun, V., see Luqi
-
cost, 10(4)337--346
-
cost-optimal, 12(5)305--318
-
Counter-example, 5(2)158--164
-
counter-examples, 5(1)34--48
-
counterexample, 9(5)429--445, 17(5)585--600
-
counterstrategies, 15(5)563--583
-
counting, 10(6)521--534, 18(5)517--534, 22(2)163--181
-
course, 10(1)5--14
-
Cousineau, Denis, 24(6)977--997
-
Cousineau, Denis, see Lourenço, Cláudio Belo
-
Couto, Luis Diogo, 22(6)667--683
-
Couto, Marco, 9(3)353--369
-
Couto, Marco, see Machado, Ricardo J.
-
Couto:2020:ECI, 22(6)667--683
-
coverage, 8(4)373--386, 10(2)145--160, 11(4)291--305, 13(3)207--221,
13(3)247--261, 22(4)365--388, 25(3)393--405
-
Coverage-biased, 14(1)73--93
-
Covering, 5(2)268--297
-
CoVeriTest, 23(3)313--333
-
Cox, Arlen, 16(2)175--190
-
Cox:2014:BTP, 16(2)175--190
-
CPN, 9(3)213--254, 9(3)353--369, 10(1)75--93
-
CPS, 23(5)783--796
-
CPSDebug, 23(5)783--796
-
Craciunas, Silviu S., 15(3)189--209
-
Craciunas:2013:TIR, 15(3)189--209
-
Crampton, Jason, 16(1)31--48
-
Crampton:2014:AWS, 16(1)31--48
-
Crawlability, 13(2)131--149
-
Creating, 2(2)168--181
-
Crespo, Yania, 12(3)183--199
-
Crespo, Yania, see Pérez, Javier
-
Cretin, Aymeric, 24(2)127--158
-
Cretin, Aymeric, see Vernotte, Alexandre
-
criteria, 10(2)145--160, 14(3)291--305, 21(4)425--448
-
critical, 7(3)195--196, 19(4)391--393, 19(4)395--408, 20(4)355--358,
24(3)325--330, 24(6)973--976
-
critical, safety-, 7(3)197--211, 7(3)268--279, 8(4)337--354,
19(2)247--269, 20(4)359--377, 20(4)423--440
-
critical-path, 19(4)487--510
-
critiquing, 10(3)233--245
-
cross-product, 13(3)247--261
-
CRV, 21(1)31--70
-
Cryptographic, 8(1)57--76
-
CSP, 12(1)9--21, 15(4)375--396, 18(2)149--167, 19(1)73--96,
21(5)567--605
-
CTL, 2(4)350--365, 4(1)107--124, 7(1)61--73, 18(4)409--426, 22(1)35--55
-
CTL*, 10(2)167--184
-
CTL-property, 9(1)77--88
-
CTT, 8(6)547--563
-
cube, 8(3)180--194
-
Cubuktepe, Murat, 24(5)803--819
-
Cubuktepe, Murat, see Badings, Thom
-
Cunha, Alcino, 22(3)281--296
-
Cunha:2020:VHE, 22(3)281--296
-
Cuoq, Pascal, 13(5)405--417
-
Cuoq:2011:FDC, 13(5)405--417
-
current, 9(1)25--36
-
Curzon, Paul, 4(3)313--322
-
Curzon, Paul, see Kort, Skander
-
CVT, 2(2)192--201
-
cyber-physical, 20(1)79--93, 22(1)79--102, 24(6)911--948, 25(4)541--556
-
Czarnecki, Krzysztof, 17(5)627--646
-
Czarnecki, Krzysztof, see Rubin, Julia