Index file section R for sttt.bib

Last update: Fri Aug 30 02:15:44 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
• Rance, 26(3)247--248
• 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, 26(3)327--330
• Raschke, Alexander, see Butler, Michael
• Raschke:2024:ACS, 26(3)327--330
• 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, 26(3)249--268
• 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, 26(3)379--401
• 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, 26(3)379--401
• 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
• Rutenkolk, Kristin, 26(3)403--419
• Rutenkolk, Kristin, see Krings, Sebastian
• 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