Index file section R for sttt.bib
Last update: Sat Jun 1 02:12:16 MDT 2024
Return to index directory
R
-
Rabin, 21(3)307--324
-
Rabiser, Rick, 14(5)477--495, 14(5)613--630
-
Rabiser, Rick, see Heider, Wolfgang,
see Schaefer, Ina
-
race, 3(1)93--105, 15(4)321--336
-
radio, 16(1)67--80
-
radiotherapy, 7(4)361--375
-
Raffelt, Harald, 11(4)307--324, 11(5)393--407
-
Raffelt:2009:DTA, 11(4)307--324
-
Raffelt:2009:LFE, 11(5)393--407
-
railway, 4(1)107--124, 16(6)643--646, 16(6)669--683, 16(6)685--711,
16(6)713--726, 20(3)243--262, 20(3)263--288, 24(3)331--350
-
Raimondi, Franco, 19(1)9--30, 21(4)449--469
-
Raimondi, Franco, see Busard, Simon,
see Lomuscio, Alessio
-
Rajamani, Sriram K., 5(1)49--58
-
Rajamani, Sriram K., see Ball, Thomas
-
Rajan, S. P., 4(1)125--137
-
Rajan, S. P., see Clarke, E. M.
-
Rakamari{\'c}, Zvonimir, 11(2)105--116,
see Chatterjee, Shaunak
-
Ramadian, Yusi, 15(3)211--228
-
Ramadian, Yusi, see Le, Thi Thieu Hoa
-
Ramakrishnan, C. R., 6(1)38--66, 18(4)355--357
-
Ramakrishnan, C. R., see Bartocci, Ezio,
see Yang, Ping
-
Rambow, Thomas, 26(1)49--78
-
Rambow, Thomas, see Schupp, Stefan
-
RAMBUTANS, 19(6)743--761
-
Ramler, Rudolf, 16(5)609--625
-
Ramler, Rudolf, see Felderer, Michael
-
random, 13(6)495--518, 14(1)73--93, 23(6)871--873, 25(3)267--285
-
randomisation, 8(3)180--194
-
randomization, 21(4)365--400
-
randomized, 23(5)797--821, 23(5)823--823, 24(6)1025--1042
-
Ranganath, Venkatesh Prasad, 9(5)489--504
-
Ranganath:2007:SCJ, 9(5)489--504
-
Ranise, Silvio, 11(3)255--260, 18(5)559--573
-
Ranise, Silvio, see Déharbe, David
-
Ranise:2016:PMC, 18(5)559--573
-
ranking, 8(3)261--279, 22(6)655--666, 23(1)55--67
-
Rapacki, Kristoffer, 18(6)581--586
-
Rapacki, Kristoffer, see Ménager, Hervé
-
rapid, 16(1)67--80, 25(3)267--285
-
rare, 22(6)759--780, 23(6)863--866, 24(5)821--841
-
Raschke, Alexander, 22(3)249--255
-
Raschke, Alexander, see Butler, Michael
-
Rash, James L., 8(6)587--603
-
Rash, James L., see Rouff, Christopher A.
-
Raskin, Jean-François, 5(2)268--297, 15(5)541--561,
19(3)367--390, 24(4)635--659, see Delzanno, Giorgio,
see Esparza, Javier,
see Filiot, Emmanuel, \see{Jacobs, Swen
-
Ráth, István, 12(3)211--230,
see Horváth, Ákos
-
rating, 17(3)339--349
-
Ratiu, Daniel, 21(3)267--286
-
Ratiu:2019:IES, 21(3)267--286
-
Ravi, Kavita, 6(2)102--116
-
Ravi, Kavita, see Jin, HoonSang
-
Ravn, Anders P., 14(6)703--720, 15(2)125--147
-
Ravn, Anders P., see David, Alexandre,
see Marques Jr., Abinoam P.
-
Ray, Arnab, 5(4)351--369
-
Ray, Rajarshi, 21(4)401--423
-
Ray, Rajarshi, see Gurung, Amit
-
Ray:2004:UVC, 5(4)351--369
-
Raymond, Pascal, 5(2)158--164, 8(6)517--530
-
Raymond, Pascal, see Jahier, Erwan,
see Pace, Gordon
-
Razavi, Niloofar, 16(1)49--65
-
Razavi:2014:GET, 16(1)49--65
-
Rby, 21(2)121--141
-
RCU, 21(3)287--306
-
RE-UWA, 11(6)485--501
-
reach, hard-to-, 11(4)291--305
-
reachability, 5(2)185--204, 7(1)19--30, 10(2)113--129, 11(2)85--94,
11(2)105--116, 11(2)117--131, 13(1)3--19, 13(4)307--317,
19(2)229--245, 21(4)401--423, 24(6)1025--1042, 25(1)95--114
-
reachable, 2(3)270--278
-
reactive, 5(1)15--33, 7(4)297--315, 8(2)97--112, 8(2)146--155,
8(6)517--530, 9(2)193--207, 15(5)433--454, 16(5)457--464,
18(3)319--334, 19(3)367--390, 22(1)3--32, 22(1)33--34,
22(6)689--708
-
read, 8(1)1--3
-
read-copy, 21(3)287--306
-
real, 5(2)140--157, 8(2)93--96, 22(2)105--114
-
real-life, 22(3)315--332
-
real-time, 1(1)64--85, 1(1)86--109, 1(1)123--133, 2(3)260--269,
4(4)437--455, 8(2)97--112, 8(2)113--127, 8(2)128--145, 8(2)146--155,
8(2)156--166, 8(6)517--530, 8(6)605--606, 9(1)1--4, 9(2)179--192,
10(3)207--222, 12(1)39--51, 12(5)391--403, 14(6)703--720,
15(3)155--170, 15(3)189--209, 15(3)211--228, 17(1)17--45,
19(1)53--71, 19(4)395--408, 20(5)547--561, 21(6)613--633,
21(6)635--649, 23(2)157--183, 25(1)115--128, 26(2)229--245
-
real-world, 22(2)183--194, 25(2)185--204
-
realistic, 16(5)465--479, 25(2)185--204
-
realizability, 16(1)31--48
-
reason, 25(2)185--204
-
reasoning, 10(3)233--245, 12(6)447--466, 20(6)705--737, 25(2)185--204
-
reasoning-based, 21(3)351--364
-
Rebeca, 22(5)617--633
-
recent, 5(2)237--246, 7(2)156--173, 14(4)383--386, 16(3)215--225,
18(2)121--128, 20(2)119--123, 20(5)493--497
-
recognition, 15(1)41--52
-
reconfigurable, 7(3)268--279, 22(4)437--455, 23(5)701--719,
25(5)765--784
-
Reconfiguration, 10(3)207--222
-
record, 10(1)15--28
-
recover, 11(6)485--501
-
recovery, 13(4)377--395, 19(3)341--365
-
recurrent, 25(3)341--354
-
recursive, 4(3)349--358, 23(4)521--543
-
reduce, 10(4)337--346
-
Reducing, 13(3)263--272
-
reduction, 2(3)279--287, 4(2)173--188, 5(2)185--204, 6(4)277--301,
6(4)302--319, 7(1)74--86, 8(1)37--56, 11(1)39--51, 12(2)113--122,
12(2)155--170, 17(4)429--456, 18(4)427--448, 21(3)351--364,
21(5)545--565, 21(5)567--605, 22(2)163--181, 22(5)523--539,
24(1)89--109, 24(5)735--756, 25(1)95--114
-
redundancy, 7(4)376--387, 25(2)167--184
-
Reed, Jeffrey H., 16(1)67--80
-
Reed, Jeffrey H., see Snyder, Jason
-
refactoring, 10(4)347--352, 12(3)183--199, 12(3)201--209, 21(6)691--707
-
reference, 17(3)291--303
-
refined, 17(5)559--584
-
refinement, 7(2)143--155, 9(1)25--36, 11(3)217--238, 11(5)409--418,
12(1)23--37, 12(5)373--389, 14(1)1--14, 16(2)191--213, 18(1)41--56,
18(1)109--120, 18(2)149--167, 18(4)393--407, 22(6)689--708
-
refinement, abstraction-, 13(4)289--306
-
refinement-based, 4(3)359--370, 22(3)333--347
-
Refsdal, Atle, 17(3)251--266
-
Refsdal:2015:SRA, 17(3)251--266
-
refutation, 23(2)115--135
-
refuting, 24(6)949--972
-
Reger, Giles, 21(1)31--70, 23(2)209--228
-
Reger, Giles, see Bartocci, Ezio
-
Reger:2021:PTS, 23(2)209--228
-
Regis, Germán, 20(6)665--688, see Uva, Marcelo
-
Régis-Gianas, Yann, 24(5)717--733,
see Becker, Benedikt
-
registries, 18(6)581--586
-
regression, 13(2)111--129, 17(3)305--319, 19(1)115--131
-
regular, 14(2)109--118, 14(2)145--165, 14(2)167--191, 14(2)193--206,
14(2)207--222, 14(2)223--241, 24(5)667--689
-
regular, omega-, 14(2)119--143
-
Rehm, Joris, 12(1)39--51
-
Rehm:2010:PDR, 12(1)39--51
-
Reichl, Klaus, 22(3)249--255
-
Reichl, Klaus, see Butler, Michael
-
Reif, Wolfgang, 20(4)359--377
-
Reif, Wolfgang, see Leupolz, Johannes
-
Reijsbergen, Daniël, 17(4)377--395
-
Reijsbergen:2015:HTS, 17(4)377--395
-
reinterpretation, 13(1)61--87
-
Reisig, Wolfgang, 25(5)659--673
-
Reisig, Wolfgang, see Fettke, Peter
-
Reitenspiess, Manfred, 7(4)376--387
-
Reitenspiess, Manfred, see Kellerer, Bartholomäus
-
related, concurrency-, 13(6)495--518
-
Relating, 14(6)631--638
-
relation, 6(2)174--182, 9(1)77--88
-
Relativized, 9(5)471--487
-
relaxation, 18(4)393--407
-
Relay, 3(1)93--105
-
reliability, 11(5)359--374, 15(3)229--245
-
reliable, 21(1)1--29, 22(4)417--436, 24(4)661--661
-
remain, 5(2)237--246
-
remove-free, 21(6)691--707
-
Renault, E., 19(6)653--673
-
Renault, Etienne, 25(1)77--94
-
Renault, Etienne, see Kirszenberg, Alexandre
-
Renault:2017:VPE, 19(6)653--673
-
Rennoch, Axel, 10(4)353--358
-
Rennoch, Axel, see Gläser, Michael
-
Rensink, Arend, 12(3)171--181, 14(1)15--40
-
Rensink, Arend, see Ghamarian, Amir Hossein
-
Rensink:2010:GTT, 12(3)171--181
-
reordering, 20(2)179--194
-
repair, 23(3)369--410, 24(5)667--689
-
repairable, 24(5)821--841
-
repairing, 14(5)531--551
-
repeatable, 21(1)105--119
-
replace-free, 21(6)691--707
-
replaying, 14(5)613--630
-
report, 4(4)421--436, 20(3)263--288, 23(6)905--916
-
repository, 15(2)109--123, 20(1)19--34
-
representation, 2(3)270--278, 20(4)441--465, 26(1)21--32
-
Reps, T., 4(1)125--137
-
Reps, T., see Clarke, E. M.
-
Reps, Thomas, 13(1)37--60, 13(1)61--87, 13(6)495--518
-
Reps, Thomas, see Kidd, Nicholas,
see Lim, Junghee
-
Requeno, José Ignacio, 20(5)563--587,
see Mateescu, Radu
-
Require, 19(4)409--426
-
requirements, 3(1)20--31, 7(4)341--350, 8(4)303--319, 9(3)353--369,
16(6)647--667, 20(1)19--34, 21(1)1--29, 22(3)349--363,
24(4)661--661
-
Requirements-document-based, 5(4)370--390
-
RERS, 16(5)481--491, 16(5)493--505, 16(5)519--529, 23(6)917--930
-
research, 4(1)1--7, 11(1)1--11, 12(6)429--446, 16(1)67--80
-
resets, 13(6)553--569
-
resolution, 6(1)38--66, 8(1)37--56, 12(5)319--335, 13(3)263--272
-
resource, 5(2)205--220
-
Restoring, 17(3)267--289
-
result, 3(1)78--92, 5(2)237--246, 10(2)161--166, 13(1)1--2, 21(1)31--70,
22(5)565--581, 23(6)931--952, 24(2)261--285
-
resuscitation, 5(4)308--319, 5(4)320--330
-
Retschitzegger, Werner, 20(6)615--643
-
Retschitzegger, Werner, see Müller, Andreas
-
reusable, 11(4)325--338, 26(2)229--245
-
Revealing, 14(5)531--551
-
review, 16(5)627--642, 17(1)59--76
-
revisited, 13(6)571--584, 17(2)143--170, 17(2)187--199, 22(2)115--133
-
reward, Average-price-per-, 13(6)553--569
-
rewrite, 12(3)263--271
-
rewriting, 24(2)205--223
-
Rezine, Ahmed, 14(2)207--222, 18(5)517--534, 19(5)549--563,
23(5)825--825
-
Rezine, Ahmed, see Abdulla, Parosh Aziz,
see Delzanno, Giorgio,
see Ganjei, Zeinab
-
Ricca, Filippo, 10(6)477--492, 11(6)419--425, 11(6)427--440,
13(2)151--166
-
Ricca, Filippo, see Marchetto, Alessandro,
see Torchiano, Marco
-
Ricca:2009:SSW, 11(6)419--425
-
Riccobene, Elvinia, 19(2)247--269
-
Riccobene, Elvinia, see Arcaini, Paolo
-
rich, 11(1)1--11, 25(4)481--501
-
rich, state-, 19(1)73--96
-
Ridi, Lorenzo, 12(5)391--403
-
Ridi, Lorenzo, see Bucci, Giacomo
-
Riener, Heinz, 19(5)605--621
-
Riener:2017:MFY, 19(5)605--621
-
Riesco, Adrián, 20(6)739--769,
see Asavoae, Irina Mariuca
-
rigid, round-, 23(5)797--821, 23(5)823--823
-
rigorous, 15(3)149--154, 16(5)457--464, 19(2)247--269, 22(4)389--397,
23(5)679--684, 25(3)301--327, 25(5)617--624
-
Rings, Thomas, 16(3)295--313
-
Rings:2014:GIT, 16(3)295--313
-
Risi, Michele, 11(6)469--484
-
Risi, Michele, see Scanniello, Giuseppe
-
risk, 16(5)627--642, 17(3)251--266, 23(1)69--70, 24(3)331--350
-
risk-based, 16(5)559--568, 16(5)569--591, 16(5)609--625
-
Rival, Xavier, 6(1)15--37
-
Rival:2004:CCA, 6(1)15--37
-
Rivas, Samuel, 17(1)1--16
-
Rivas, Samuel, see Nilsson, Agneta
-
river, 20(5)499--514
-
Rivera, Víctor, 19(1)31--52
-
Rivera:2017:CGE, 19(1)31--52
-
road, 25(2)205--218
-
Robbes, Romain, 13(2)181--200
-
Robbes, Romain, see D'Ambros, Marco
-
Robby, 4(1)34--56, 8(3)280--299, 12(6)429--446
-
Robby, see Chalin, Patrice,
see Corbett, James C.
-
Robby:2006:CJS, 8(3)280--299
-
Robinson, Thomas, Gibson-, 18(2)149--167, 21(5)567--605,
24(4)613--633
-
Robotics, 26(1)79--99
-
robots, 25(5)747--764
-
robust, 12(1)53--67
-
Robustness, 26(1)79--99
-
Rocha, Herbert, 23(2)115--135
-
Rocha, Herbert, see Alhawi, Omar M.
-
Rock, Georg, 3(1)66--77
-
Rock, Georg, see Autexier, Serge
-
Röck, Harald, 15(3)189--209, see Craciunas, Silviu S.
-
Rockai, P., 12(2)139--153
-
Rockai, P., see Barnat, J.
-
Rockai, Petr, 24(3)493--510
-
Rockai:2022:DIS, 24(3)493--510
-
Rodin, 12(6)447--466
-
Rodríguez de Guzmán, Ignacio, García-, 26(1)1--20
-
Rodríguez, Edwin, 8(3)280--299, see Robby
-
Rodriguez, José Manuel, 24(6)999--1024,
see Hansen, Simon Thrane
-
Rogalewicz, Adam, 14(2)167--191
-
Rogalewicz, Adam, see Bouajjani, Ahmed
-
Roggenbach, Markus, 16(6)685--711
-
Roggenbach, Markus, see James, Phillip
-
role, 20(1)19--34
-
Rollet, Antoine, 16(1)103--121
-
Rollet, Antoine, see Collavizza, Hélène
-
Roohi, Nima, 17(4)417--427
-
Roohi:2015:SMC, 17(4)417--427
-
root, 3(4)469--485, 5(2)221--236, 12(1)39--51
-
ROS-based, 25(5)747--764
-
Rosa, Fabio, De, 19(3)281--308
-
Roscoe, A. W., 24(4)613--633
-
Roscoe, A. W., see Antonino, Pedro
-
Rossi, Maria Teresa, 25(1)49--74
-
Rossi, Maria Teresa, see De Sanctis, Martina
-
Rosu, Grigore, 8(3)248--260, 14(3)249--289, 21(1)31--70
-
Rosu, Grigore, see Bartocci, Ezio,
see Meredith, Patrick O'Neil,
see Sen, Koushik
-
Ro{\c{s}}u, Grigore, 6(2)158--173, see Havelund, Klaus
-
Rouff, Christopher A., 8(6)587--603
-
Rouff:2006:EAF, 8(6)587--603
-
round-rigid, 23(5)797--821, 23(5)823--823
-
rounding, 25(2)185--204
-
rounding-type, 25(2)185--204
-
Routhier, Maxime, 21(2)121--141
-
Routhier:2019:QAR, 21(2)121--141
-
Routing, 21(2)165--181
-
Roux, Luka, Le, 19(2)229--245
-
Roveri, Marco, 2(4)410--425
-
Roveri, Marco, see Cimatti, Alessandro
-
Rox, Jonas, 15(3)171--187
-
Rox:2013:CPA, 15(3)171--187
-
Roy, Rajarshi, 25(3)341--354
-
Roy, Rajarshi, see Khmelnitsky, Igor
-
Roychoudhury, Abhik, 14(6)631--638
-
Roychoudhury, Abhik, see Liu, Zhiming
-
Rozier, Kristin Y., 12(2)123--137
-
Rozier:2010:LSC, 12(2)123--137
-
Rozinat, A., 10(1)57--74
-
Rozinat:2008:DCP, 10(1)57--74
-
RTAMT, 26(1)79--99
-
RTL, 9(1)89--101
-
RTLola, 25(2)205--218
-
Rubik, 8(3)180--194
-
Rubin, Julia, 17(5)627--646, 20(6)611--613
-
Rubin, Julia, see Huisman, Marieke
-
Rubin:2015:CPV, 17(5)627--646
-
Rueda, Camilo, 19(1)31--52
-
Rueda, Camilo, see Rivera, Víctor
-
Rueher, Michel, 16(1)103--121
-
Rueher, Michel, see Collavizza, Hélène
-
Ruland, Sebastian, 23(6)853--856
-
Ruland:2021:CTM, 23(6)853--856
-
rule, 3(1)13--19, 9(2)193--207, 21(1)31--70, 23(2)209--228,
23(4)547--563, 25(2)185--204
-
rule-based, 8(6)565--585, 16(3)315--334, 17(2)143--170, 23(3)289--311,
25(2)185--204
-
rule-specific, 25(5)733--746
-
Rumpe, Bernhard, 12(5)353--372
-
Rumpe, Bernhard, see Krahn, Holger
-
run-time, 24(5)757--782
-
Runde, Ragnhild Kobro, 16(5)627--642
-
Runde, Ragnhild Kobro, see Erdogan, Gencer
-
Runge, Olga, 12(3)245--261
-
Runge, Olga, see Biermann, Enrico
-
runtime, 8(3)248--260, 13(4)377--395, 14(3)243--247, 14(3)249--289,
14(3)291--305, 14(3)349--382, 17(2)121--123, 17(2)125--142,
17(2)143--170, 18(1)1--19, 19(3)341--365, 20(4)379--395,
21(1)31--70, 22(1)79--102, 23(2)157--183, 23(2)255--284,
23(4)545--546, 23(4)547--563, 24(2)159--181, 25(4)427--429,
25(4)481--501, 25(4)519--520, 26(1)79--99
-
runway, 9(1)63--76
-
Ruscio, Davide, Di, 24(2)247--260
-
Rushby, John, 9(5)447--456
-
Rushby, John, see Hamon, Grégoire
-
Russo, Alessandra, 22(1)1--2
-
Russo, Stefano, 16(5)593--607
-
Russo, Stefano, see Carrozza, Gabriella
-
Russo:2020:MBS, 22(1)1--2
-
Rutkowski, Michal, 13(6)553--569
-
Rutkowski:2011:APP, 13(6)553--569
-
Ruys, Theo C., 4(2)246--259, 15(4)337--362, 16(5)481--491
-
Ruys, Theo C., see Nguyen, Viet Yen,
see Pol, Jaco van de
-
Ruys:2003:MVT, 4(2)246--259
-
Ryan, Mark D., 9(1)53--62
-
Ryan, Mark D., see Guelev, Dimitar P.
-
Rybalchenko, Andrey, 15(4)291--303
-
Rybalchenko, Andrey, see Gupta, Ashutosh Kumar
-
Rydeheard, David, 23(2)209--228
-
Rydeheard, David, see Reger, Giles
-
Ryzhyk, Leonid, 19(3)367--390
-
Ryzhyk, Leonid, see Jacobs, Swen