Index file section D for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
D
-
D'Ambros, Marco, 13(2)181--200
-
D'Argenio, Pedro, 17(4)469--484
-
D'Argenio, Pedro R., 22(6)759--780, 24(5)821--841
-
D'Argenio, Pedro R., see Budde, Carlos E.
-
d'Orso, Julien, 14(2)223--241
-
d'Orso, Julien, see Abdulla, Parosh Aziz
-
D'Souza, Deepak, 9(1)1--4
-
Dadeau, Frédéric, 13(5)431--448, 21(4)425--448,
see Botella, Julien,
see Castillos, Kalou Cabrera
-
Dak-Al-Bab, Kinan, 20(1)1--18
-
Dak-Al-Bab, Kinan, see Jaber, Mohamad
-
Dal Zilio, Silvano, 22(2)163--181, 25(1)95--114
-
Dal Zilio, Silvano, see Amat, Nicolas,
see Berthomieu, Bernard
-
Dalvandi, Mohammadsadegh, 22(3)297--313
-
Dalvandi, Mohammadsadegh, see Dghaym, Dana
-
Dam, Mads, 4(4)405--420
-
Dam, Mads, see Fredlund, Lars-Åke
-
Damasceno, Adriana C., 19(1)53--71
-
Damasceno:2017:TRT, 19(1)53--71
-
DAmbros:2011:PSV, 13(2)181--200
-
Damiani, Ferruccio, 21(6)691--707
-
Damiani:2019:ARD, 21(6)691--707
-
Damouche, Nasrine, 19(4)427--448
-
Damouche:2017:INA, 19(4)427--448
-
Dams, Dennis, 4(1)92--106
-
Dams, Dennis, see Bo{\v{s}}na{\v{c}}ki, Dragan
-
Dange, Rishi, 25(3)393--405
-
Dange, Rishi, see Usman, Muhammad
-
Darabi, S., 23(5)741--763
-
Darabi, S., see Blom, S.
-
DArgenio:2015:SSL, 17(4)469--484
-
Darulova, Eva, 25(2)185--204
-
Darulova, Eva, see Abbasi, Rosa
-
Dashevskyi, Stanislav, 21(1)105--119
-
Dashevskyi:2019:TFR, 21(1)105--119
-
data, 2(4)328--342, 5(1)15--33, 5(2)268--297, 6(1)77--97, 8(3)180--194,
12(5)337--352, 14(4)439--459, 15(4)321--336, 16(6)727--751,
17(3)321--338, 19(5)549--563, 20(1)19--34, 21(3)351--364,
22(5)601--615, 23(3)489--517, 23(3)519--519, 23(5)825--825,
24(2)127--158, 24(3)473--492, 25(4)481--501
-
Data-abstraction, 12(5)373--389
-
data-aware, 18(5)535--558
-
data-intensive, 18(6)587--605
-
dataflow, 6(3)245--255
-
Datagram, 9(3)371--391, 10(1)29--56
-
Dauer, Johann C., 25(4)593--616
-
Dauer, Johann C., see Baumeister, Jan
-
Daum, Marcus, 20(2)179--194
-
Daum, Marcus, see Klein, Joachim
-
Daumas, Marc, 5(2)237--246
-
Daumas, Marc, see Boldo, Sylvie
-
David, Alexandre, 14(6)703--720, 16(4)339--361, 17(1)17--45,
17(2)187--199, 17(3)351--367, 17(4)397--415
-
David, Alexandre, see Fang, Huixing
-
David, Cristina, 16(4)363--380
-
David, Cristina, see Gherghina, Cristian
-
David, Shoham, Ben-, 4(4)496--504
-
David:2012:CVR, 14(6)703--720
-
David:2015:RTS, 17(1)17--45
-
David:2015:SHR, 17(2)187--199
-
David:2015:SMC, 17(3)351--367
-
David:2015:UST, 17(4)397--415
-
Davies, Jessica, 12(5)319--335
-
Davies, Jessica, see Simmonds, Jocelyn
-
Daws, Conrado, 5(2)221--236
-
Daws:2004:AVI, 5(2)221--236
-
Day, Nancy A., 4(3)298--312
-
Day, Nancy A., see Aagaard, Mark D.
-
DBM-based, 25(1)19--47
-
DCCP, 10(1)29--56
-
De Fraine, Bruno, 9(2)135--154
-
De Fraine, Bruno, see Vanderperren, Wim
-
De Nicola, Rocco, 22(4)389--397, 22(4)437--455, 25(5)617--624,
25(5)675--691
-
De Nicola, Rocco, see Wirsing, Martin
-
De Rosa, Fabio, 19(3)281--308
-
De Rosa, Fabio, see Hillah, Lom Messan
-
De Sanctis, Martina, 25(1)49--74
-
Deadlocks, 9(3)269--304
-
Debbabi, Mourad, 4(4)472--495, 16(4)399--419
-
Debbabi, Mourad, see Jarraya, Yosr
-
Debbabi:2003:ST, 4(4)472--495
-
Debian, 24(5)717--733
-
Debugger, 21(5)485--513
-
debugging, 4(3)335--348, 8(3)229--247, 12(1)69--88, 12(6)467--481,
13(3)223--246, 15(5)563--583, 21(5)485--513, 21(5)515--543
-
decentralized, 24(2)159--181
-
decidable, 21(2)203--219
-
deciding, 16(1)31--48
-
decision, 3(2)112--136, 3(2)171--181, 7(2)143--155, 8(1)4--25,
10(3)223--231, 10(5)425--441, 11(2)85--94, 11(2)95--104,
12(5)337--352, 13(1)37--60, 14(5)613--630, 17(4)457--467,
17(4)469--484, 19(6)675--696, 22(5)541--562, 24(1)89--109,
25(3)249--266, 25(3)355--374
-
Decision-diagram-based, 11(2)117--131
-
Decision-making, 25(3)375--391
-
Decker, Normann, 18(2)205--225, 21(1)31--70
-
Decker, Normann, see Bartocci, Ezio
-
Decker:2016:MMT, 18(2)205--225
-
declarative, 24(4)563--587
-
decomposition, 24(1)111--125
-
deductive, 3(3)250--270, 8(3)261--279, 13(5)397--403, 20(6)645--663,
22(6)709--728, 25(2)185--204
-
deep, 25(2)145--165, 25(3)407--426
-
defect-prone, 13(2)151--166
-
defence, 10(1)75--93
-
defense, 23(1)89--104
-
defined, software-, 16(1)67--80
-
definitely, 8(1)1--3
-
DeFrancisco, Richard, 22(5)583--599
-
DeFrancisco:2020:SMC, 22(5)583--599
-
Déharbe, David, 11(3)255--260
-
Deharbe:2009:SSS, 11(3)255--260
-
Deiß, Thomas, 10(4)285--289, 10(4)347--352,
see Botteck, Martin
-
Deiss:2008:RCT, 10(4)347--352
-
delaCamara:2009:CRS, 11(5)359--374
-
Delahaye, Benoit, 17(2)171--185
-
Delahaye, Benoit, see Nouri, Ayoub
-
Delahaye, Benoît, 14(1)53--72, see Basu, Ananda
-
delBianco:2007:TUB, 9(2)179--192
-
delegation, 25(2)185--204
-
deLeon:2016:MBT, 18(3)305--318
-
Dellnitz, Michael, 10(3)223--231
-
Dellnitz, Michael, see Witting, Katrin
-
delta, 13(3)223--246, 17(5)601--626, 23(3)369--410
-
delta-oriented, 21(6)691--707
-
Delzanno, Giorgio, 3(3)250--270, 5(2)268--297, 14(2)207--222,
18(5)469--473, 18(5)475--493
-
Delzanno, Giorgio, see Abdulla, Parosh A.
-
Delzanno:2001:CBD, 3(3)250--270
-
Delzanno:2004:CST, 5(2)268--297
-
Delzanno:2012:LRM, 14(2)207--222
-
Delzanno:2016:UVP, 18(5)475--493
-
Demeyer, Serge, 22(4)365--388
-
Demeyer, Serge, see Parsai, Ali
-
Demmou, Hamid, 2(2)160--167
-
Demmou, Hamid, see Moncelet, Gilles
-
Demoen, Bart, 2(1)29--45
-
Demoen, Bart, see Codish, Michael
-
Demonceau, Laurent, 14(5)553--566
-
Demonceau, Laurent, see Heymans, Patrick
-
demonstration, 22(3)315--332
-
DeNicola:2020:DFD, 22(4)437--455
-
DeNicola:2020:REC, 22(4)389--397
-
DeNicola:2023:MFB, 25(5)675--691
-
Denis, Richard, St-, 21(2)121--141
-
Denise, Alain, 14(1)73--93
-
Denise:2012:CBR, 14(1)73--93
-
Dennis, Louise A., 4(2)189--210
-
Dennis:2003:PT, 4(2)189--210
-
dense-time, 17(2)223--243
-
dependences, 9(5)489--504
-
dependency, 13(5)405--417, 22(5)635--654, 24(1)49--65, 24(4)529--548
-
dependent, context-, 22(4)511--522
-
dependent, Time-, 10(3)223--231
-
depth-first, 10(2)161--166, 18(2)129--147
-
Derrick, John, 5(2)205--220, 13(4)355--376
-
Derrick, John, see Arts, Thomas,
see Guo, Qiang
-
DeSanctis:2023:TTJ, 25(1)49--74
-
described, 19(4)395--408
-
description, 3(4)431--455, 4(3)271--297, 9(1)89--101, 9(2)119--132,
9(2)155--168, 10(1)15--28, 17(1)1--16
-
Deshmukh, Jyotirmoy, 23(4)565--577, 25(4)427--429
-
Deshmukh, Jyotirmoy, see Nickovi{\'c}, Dejan
-
Deshmukh:2023:ISI, 25(4)427--429
-
design, 1(1)9--30, 1(1)153--165, 2(3)288--306, 3(2)193--206,
3(3)314--331, 3(3)353--368, 4(2)189--210, 4(2)211--223,
4(3)349--358, 4(3)381--396, 4(4)421--436, 5(2)237--246,
8(6)547--563, 9(1)25--36, 9(1)77--88, 9(1)89--101, 9(3)255--267,
10(3)207--222, 10(3)233--245, 11(3)217--238, 12(1)1--7, 15(1)29--39,
15(3)149--154, 15(3)155--170, 16(3)315--334, 20(1)1--18,
20(1)19--34, 20(1)79--93, 22(1)3--32, 22(1)33--34, 23(1)69--70,
23(5)679--684, 23(5)765--781, 24(2)127--158, 25(5)625--639
-
design-space, 17(5)559--584
-
deSimone:2006:TSR, 8(2)146--155
-
desktop, 13(2)151--166
-
Desmoulin, Alexandra, 11(3)261--267
-
Desmoulin:2009:FIT, 11(3)261--267
-
detecting, 3(1)93--105, 13(1)37--60, 17(2)201--221, 23(1)55--67,
23(4)565--577
-
detection, 4(2)224--233, 4(3)371--380, 12(5)319--335, 13(1)89--106,
13(2)167--179, 15(4)321--336, 16(2)147--173, 16(3)315--334,
21(4)365--400, 22(5)523--539, 24(1)1--28, 24(6)889--910,
24(6)1025--1042
-
deterministic, 20(2)179--194, 24(4)635--659
-
deterministic, limit-, 24(4)635--659
-
deterministic, non-, 24(3)371--394
-
determinization, 7(2)89--101
-
Deved{\v{z}}i{\'c}, Vladan, 9(2)103--117,
see Ga{\v{s}}evi{\'c}, Dragan
-
developer, 2(2)89--94, 10(4)285--289
-
development, 4(4)421--436, 5(2)205--220, 7(3)197--211, 8(2)93--96,
8(4)303--319, 8(4)337--354, 8(6)587--603, 9(2)103--117,
9(2)193--207, 9(5)457--470, 9(5)527--544, 10(1)5--14, 10(4)285--289,
10(4)297--307, 10(4)327--336, 11(5)409--418, 12(1)39--51,
12(5)353--372, 14(5)553--566, 16(2)123--125, 16(3)295--313,
17(1)1--16, 17(3)245--250, 19(2)247--269, 20(2)139--155
-
devices, 5(4)320--330, 10(4)285--289, 16(2)191--213
-
devoted, 22(2)103--104
-
deVries:2000:FCT, 2(4)382--393
-
DFT, 24(3)331--350
-
Dghaym, Dana, 22(3)297--313
-
Dghaym:2020:FHE, 22(3)297--313
-
Dhaussy, Philippe, 19(2)229--245
-
Dhaussy, Philippe, see Teodorov, Ciprian
-
Di Bona, Sergio, 19(3)281--308
-
Di Bona, Sergio, see Hillah, Lom Messan
-
Di Lucca, Giuseppe Antonio, 11(6)485--501
-
Di Lucca, Giuseppe Antonio, see Bernardi, Mario Luca
-
Di Marzo Serugendo, Giovanna, 22(4)417--436
-
Di Marzo Serugendo, Giovanna, see Ben Mahfoudh, Houssem
-
Di Ruscio, Davide, 24(2)247--260
-
Di Ruscio, Davide, see Bettini, Lorenzo
-
Di Salle, Amleto, 25(1)49--74
-
Di Salle, Amleto, see De Sanctis, Martina
-
Di Stefano, Luca, 25(5)675--691, 25(5)765--784
-
Di Stefano, Luca, see Alrahman, Yehia Abd,
see De Nicola, Rocco
-
Di Vito, Ben L., 3(1)20--31
-
Diagnosing, 23(2)229--253
-
diagnosis, 15(5)563--583
-
diagram-based, Decision-, 11(2)117--131
-
diagrams, 3(2)112--136, 3(2)137--155, 3(2)171--181, 5(1)4--14, 8(1)4--25,
10(5)425--441, 12(5)337--352, 14(6)653--671, 16(4)399--419,
18(3)285--304, 19(6)675--696, 22(5)541--562, 23(1)31--53,
24(1)89--109
-
Diamont, 25(4)521--539
-
Díaz, Almudena, 22(2)105--114, see Panizo, Laura
-
Dietrich, Carl B., 16(1)67--80
-
Dietrich, Carl B., see Snyder, Jason
-
Dietrich, Christian, 14(5)531--551
-
Dietrich, Christian, see Tartler, Reinhard
-
digital, 16(2)175--190
-
Dijk, Tom van, 19(6)675--696, 20(2)157--177
-
Dillig, Isil, 19(5)535--547
-
Dillig, Thomas, 19(5)535--547
-
Dillig, Thomas, see Dillig, Isil
-
Dillig:2017:SCC, 19(5)535--547
-
Dimovski, Aleksandar, 9(1)37--51, 12(5)373--389
-
Dimovski, Aleksandar, see Bakewell, Adam
-
Dimovski, Aleksandar S., 19(5)585--603, 22(1)35--55
-
Dimovski:2007:CSV, 9(1)37--51
-
Dimovski:2017:EFB, 19(5)585--603
-
Dimovski:2020:CFB, 22(1)35--55
-
Din, George, 7(4)351--360, 10(4)359--370
-
Din, George, see Schieferdecker, Ina
-
Din:2008:IPB, 10(4)359--370
-
Dini, Gianluca, 3(2)235--245
-
Dini, Gianluca, see Bartoli, Alberto
-
directed, 5(2)247--267, 6(4)277--301, 11(1)27--37
-
directed, property-, 25(3)341--354
-
Discourje, 24(5)757--782
-
DisCoveR, 24(4)563--587
-
discovering, 10(1)57--74, 23(1)71--88
-
discovery, 24(4)563--587
-
discrete, 1(1)86--109, 20(5)529--546
-
Discrete-event, 9(3)213--254
-
discrete-state, 17(4)505--526
-
distance, 8(3)229--247, 19(4)487--510
-
distance-preserving, 11(1)27--37
-
Distante, Damiano, 11(6)469--484, 11(6)485--501
-
Distante, Damiano, see Bernardi, Mario Luca,
see Scanniello, Giuseppe
-
distributed, 1(1)153--165, 3(4)382--393, 4(1)71--91, 4(4)496--504,
6(1)67--76, 7(1)1--3, 7(1)4--18, 7(1)19--30, 7(1)43--60, 7(1)74--86,
7(3)280--291, 7(4)351--360, 8(2)156--166, 8(4)387--396,
8(6)471--484, 11(1)13--25, 11(2)153--171, 12(2)113--122,
14(5)567--588, 15(2)89--107, 15(3)171--187, 15(3)211--228,
19(3)281--308, 22(1)79--102, 22(4)417--436, 22(4)477--496,
25(4)521--539, 25(4)541--556
-
Distributed-SAT, 8(4)387--396
-
distributing, 4(3)381--396
-
distribution, 7(1)61--73, 7(4)316--325, 9(3)327--352, 17(1)77--90
-
diversity, 14(5)477--495, 20(3)263--288, 22(1)57--78
-
divide-and-conquer, 20(3)313--325
-
divider, 4(3)323--334
-
DiVito:2000:HAP, 3(1)20--31
-
DivSIM, 24(3)493--510
-
Dixit, Ketan, 14(3)327--347
-
Dixit, Ketan, see Huang, Xiaowan
-
Djuri{\'c}, Dragan, 9(2)103--117,
see Ga{\v{s}}evi{\'c}, Dragan
-
Dobolyi, Kinga, 13(2)111--129
-
Dobolyi:2011:ART, 13(2)111--129
-
document, 16(6)647--667, 24(2)225--245
-
document-based, Requirements-, 5(4)370--390
-
Dokhanchi, Adel, 20(1)79--93
-
Dokhanchi, Adel, see Hoxha, Bardh
-
Dolby, Julian, 13(6)495--518
-
Dolby, Julian, see Kidd, Nicholas
-
Dolev, Shlomi, 12(1)53--67, 13(4)377--395
-
Dolev, Shlomi, see Brukman, Olga
-
Dolev:2010:FRA, 12(1)53--67
-
domain, 9(3)413--414, 12(5)353--372, 13(4)337--353, 13(6)585--601,
17(3)251--266, 17(4)485--504, 19(3)325--339, 21(3)351--364
-
domain-specific, 14(2)193--206, 20(3)327--354, 24(2)127--158
-
dominant, 5(2)237--246
-
Don't, 12(1)23--37
-
Donatelli, S., 3(4)417--430
-
Donatelli, S., see Bernardi, S.
-
Donatelli, Susanna, 22(5)541--562
-
Donatelli, Susanna, see Amparore, Elvio G.
-
Dong, Jin Song, 14(6)653--671
-
Dong, Jin Song, see Chen, Chunqing
-
Dong, Yifei, 4(4)505--528
-
Dong:2003:FLG, 4(4)505--528
-
Donzé, Alexandre, 18(4)449--467,
see Bogomolov, Sergiy
-
doors, 16(4)339--361
-
Dörr, Heiko, 6(3)183--185
-
Dorr:2004:I, 6(3)183--185
-
Dowek, Gilles, 4(3)371--380
-
Dowek, Gilles, see Muñoz, César
-
Downward, 18(1)41--56
-
Dräger, Klaus, 11(1)27--37
-
Drager:2009:DMC, 11(1)27--37
-
Dragomir, Iulia, 22(6)689--708
-
Dragomir:2020:RCR, 22(6)689--708
-
drawing, 8(1)77--91
-
DReAM, 22(4)437--455
-
Drechsler, Rolf, 3(2)112--136, 10(6)521--534, 19(5)605--621,
21(5)545--565
-
Drechsler, Rolf, see Herdt, Vladimir,
see Kinder, Sebastian, \see{Riener, Heinz
-
Drechsler:2001:BDD, 3(2)112--136
-
Driven, 9(2)103--117
-
driven, Environment-, 19(2)229--245
-
driven, event-, 18(3)285--304
-
driven, execution-, 21(3)249--265
-
Driven, Model-, 16(6)669--683
-
driven, Model-, 9(2)193--207, 18(1)1--19
-
driven, model-, 15(4)363--374, 25(1)49--74
-
driven, Property-, 16(5)465--479
-
driven, simplicity-, 20(3)327--354
-
driving, 25(5)625--639
-
Dross, Claire, 23(6)883--893
-
Dross:2021:VPV, 23(6)883--893
-
DSouza:2007:EMP, 9(1)1--4
-
DSSs, 20(5)499--514
-
Du, Xiaoqun, 2(3)219--241, 4(4)505--528
-
Du, Xiaoqun, see Dong, Yifei
-
Du:1999:LMC, 2(3)219--241
-
Dubrulle, Paul, 23(3)489--517, 23(3)519--519
-
Dubrulle:2021:CPD, 23(3)489--517, 23(3)519--519
-
Dubrulle:2021:PDF, 23(3)489--517, 23(3)519--519
-
Dubslaff, Clemens, 20(2)179--194
-
Dubslaff, Clemens, see Klein, Joachim
-
due, 25(2)185--204
-
Dumas, Marlon, 24(2)183--203
-
Dumas:2022:MLP, 24(2)183--203
-
Duret-Lutz, A., 19(6)653--673
-
Duret-Lutz, A., see Renault, E.
-
Duret-Lutz, Alexandre, 21(3)307--324
-
Duret-Lutz, Alexandre, see Bloemen, Vincent
-
Durgin, Nancy, 4(4)472--495
-
Durgin, Nancy, see Debbabi, Mourad
-
during, 15(1)29--39
-
Dwyer, Matthew, 6(4)257--259
-
Dwyer, Matthew B., 2(4)317--320, 4(1)34--56, 5(1)34--48, 8(3)280--299
-
Dwyer, Matthew B., see Avrunin, George S.,
see Corbett, James C.,
see P{\u{a}}s{\u{a}}reanu, Corina S.,
see Robby
-
Dwyer:2004:SSA, 6(4)257--259
-
dynamic, 3(4)382--393, 4(1)34--56, 6(2)174--182, 6(4)302--319,
11(4)307--324, 12(2)113--122, 13(2)167--179, 15(4)337--362,
16(5)593--607, 21(3)351--364, 22(4)437--455, 22(4)497--509,
23(5)701--719, 25(4)521--539, 25(5)693--705
-
dynamically, 18(5)517--534