Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
R
-
Rabanal, Pablo, 25(5)743--768
-
Rabanal:2013:TRS, 25(5)743--768
-
Rahimi, S., Kolahdouz-, 27(1)193--235
-
railway, 10(4)338--360, 10(4)361--380, 23(2)191--219, 33(6)829--854,
33(6)989--1007
-
RAISE, 1(1)85--114, 4(1)48--75, 20(1)101--116, 25(3)365--388,
33(1)87--125
-
Rakamari{\'c}, Zvonimir, 25(3)389--403,
see Babi{\'c}, Domagoj
-
Raman, Vishwanath, 26(4)825--859
-
Raman, Vishwanath, see Chatterjee, Krishnendu
-
Ramananandro, Tahina, 20(1)21--39
-
Ramananandro:2008:MEP, 20(1)21--39
-
Ramanathan, Geetha, 3(3)253--283
-
Ramanathan, Geetha, see Alagar, Vangalur S.
-
Ramduny-Ellis, Devina, 21(6)613--641
-
Ramduny-Ellis, Devina, see Dix, Alan
-
Ramesh, S., 20(2)205--224, 26(3)591--621
-
Ramesh, S., see Bhaduri, Purandar,
see Dixit, Manoj G.
-
ramification, 16(4)332--351
-
Ramos, R., 28(6)937--1004
-
Ramos, R., see Oliveira, M. V. M.
-
randomized, 24(4)477--496
-
Rao, Josyula R., 9(4)359--378
-
Rao, Josyula R., see Jutla, Charanjit S.
-
Rasch, Holger, 20(2)161--204
-
Rasch, Holger, see Möller, Michael
-
Raschke, 30(6)761--762
-
Rashid, Adnan, 32(2)229--250
-
Rashid:2020:FVR, 32(2)229--250
-
Raskin, Jean-François, 17(3)319--341,
see De Wulf, Martin
-
rational, 24(4)793--805
-
Ravara, António, 26(5)865--918,
see Cruz-Filipe, Luís
-
Ravn, Anders P., 16(2)140--154
-
Ravn, Anders P., see Liu, Zhiming
-
Rawlings, Rosamund, 2(1)196--202
-
Rawlings, Rosamund, see Denvir, Tim
-
RCash, 18(1)42--62
-
Reachability, 20(4)407--428
-
reaction, 16(3)263--291, 25(5)723--742
-
reactive, 3(3)253--283, 8(3)324--346, 8(3)347--368, 11(4)448--471,
24(3)331--353, 25(4)573--607, 25(4)609--657, 28(5)725--765
-
reactive, teleo-, 26(3)563--589
-
read, 24(3)355--374, 31(5)503--540
-
Ready, 28(3)499--527
-
real, 3(2)142--188, 5(6)481--529, 24(4)497--518, 25(6)993--1016
-
Real-Time, 12(2)120--144, 12(5)350--371, 13(2)128--141, 15(2)258--279
-
real-time, 5(6)530--553, 6_1S_801_825, 7(5)510--532, 8(3)294--323,
8(4)408--427, 9(2)175--207, 10(5)469--482, 16(2)104--120,
19(1)111--136, 19(3)401--413, 20(6)619--635, 22(2)153--191,
26(3)563--589, 26(3)591--621, 27(4)727--750
-
reasoning, 2(1)109--122, 2(1)167--195, 6(1)1--38, 6_1S_743_765,
6(3)269--316, 6(5)512--535, 6(6)676--695, 6(6)716--737, 10(1)30--42,
10(3)193--213, 11(6)665--689, 12(4)260--277, 15(4)406--421,
16(2)104--120, 17(1)58--68, 22(1)63--81, 22(3)363--384,
22(3)385--422, 24(4)477--496, 25(6)833--846, 26(3)563--589,
27(1)53--77, 27(1)167--192, 27(3)551--572, 27(4)701--726,
29(6)933--933, 30(5)571--595, 31(2)133--163
-
Rebiha, Rachid, 27(5)805--829
-
Rebiha:2015:GIN, 27(5)805--829
-
Reconciling, 24(4)497--518
-
reconfiguration, 28(1)21--43, 29(2)251--307
-
reconsidered, 5(3)208--223
-
Records, 13(3)386--402
-
recovery, 24(3)307--330, 27(1)1--31
-
recursion, 1(1)242--272, 2(1)60--104, 5(6)530--553, 6_1S_788_800,
12(5)372--391
-
recursive, 5(6)554--570, 7(4)389--411, 9(1)78--97, 11(6)616--636,
18(4)397--420, 27(5)951--973
-
Reddy, Uday, 26(3)435--439
-
Reddy, Uday, see Brookes, Stephen
-
Redesign, 15(4)370--389
-
reduced, 27(5)951--973
-
reduction, 10(5)469--482, 20(6)563--595, 22(6)713--733, 25(6)971--991,
28(2)295--323, 29(4)651--703
-
redundancy, 31(1)59--94
-
Reed, J. N., 16(4)394--411, 19(3)303--319
-
Reed:2004:RIC, 16(4)394--411
-
Reed:2007:RSR, 19(3)303--319
-
Reeves, Steve, 11(4)359--380, 11(4)381--401, 15(1)48--83, 20(3)295--301,
21(6)589--612, 24(1)1--1, 25(3)343--343, 26(2)195--195
-
Reeves, Steve, see Boiten, Eerke A.,
see Boiten, Eerke,
see Bowen, Jonathan P., \see{Bowen, Judy,
see Henson, Martin C.
-
Reeves:2008:DRS, 20(3)295--301
-
refactoring, 31(3)287--320
-
Refine, 18(3)263--263
-
refinement, 1(1)229--241, 1(1)242--272, 2(1)247--272, 3(2)129--141,
4(5)487--492, 5(4)367--382, 7(1)54--76, 7(2)150--168, 7(3)266--288,
7(6)652--662, 8(2)127--161, 8(3)324--346, 8(4)408--427,
8(5)539--564, 10(3)267--289, 11(1)75--105, 11(5)498--540,
12(1)18--40, 12(4)278--297, 12(5)313--349, 14(1)2--34,
14(2)123--197, 15(1)1--27, 15(1)28--47, 15(2)103--117,
15(2)118--145, 15(2)146--181, 15(2)182--214, 15(2)215--236,
15(2)237--257, 15(2)258--279, 15(2)280--295, 16(1)5--18,
16(1)51--79, 17(1)69--90, 17(2)93--112, 17(2)113--137,
17(4)423--442, 18(2)152--180, 18(2)211--230, 18(3)264--287,
18(3)329--363, 19(1)35--62, 19(2)225--241, 19(2)273--273,
19(4)417--444, 20(1)21--39, 20(3)277--294, 20(3)295--301,
21(1)65--102, 21(1)103--131, 21(1)155--186, 21(6)589--612,
22(1)3--31, 22(1)33--61, 22(5)547--583, 23(3)243--266,
23(6)711--737, 24(1)45--65, 24(1)67--95, 24(1)127--160,
24(3)393--416, 24(4)497--518, 24(4)519--535, 24(4)537--554,
24(4)769--792, 26(2)251--280, 26(2)305--317, 26(2)407--432,
26(5)919--941, 26(6)1205--1229, 27(2)375--395, 27(3)499--523,
28(6)909--935, 29(6)935--950, 30(6)685--711, 31(3)287--320,
33(4)695--727
-
refinement-based, 17(2)138--159, 26(2)367--405, 33(6)1009--1036
-
Refinement-oriented, 8(6)617--647
-
refinement-testing, 25(2)219--256
-
Refining, 10(2)125--159, 12(1)52--70, 12(5)372--391, 29(2)227--249
-
Refsdal, Atle, 25(2)159--187
-
Refsdal, Atle, see Runde, Ragnhild Kobro
-
refusals-based, 20(3)277--294
-
refutation, 25(2)319--341
-
region, 30(3)381--441
-
Régis-Gianas, Yann, 33(1)127--150, see Letan, Thomas
-
regular, 16(2)155--163
-
Reid, Gordon, 11(3)302--325
-
Reid, Gordon, see Ireland, Andrew
-
Reif, Wolfgang, 20(1)41--59, 23(1)91--112
-
Reif, Wolfgang, see Bäumler, Simon,
see Haneberg, Dominik
-
Reiff-Marganiec, Stephan, 22(3)243--268
-
Reiff-Marganiec, Stephan, see Bocchi, Laura
-
reification, 2(1)1--23, 23(3)289--306
-
Reisig, Wolfgang, 9(4)409--424
-
Reisig, Wolfgang, see Kindler, Ekkart
-
relabelling, 8(2)238--244
-
Relating, 12(3)199--209, 25(2)159--187, 29(6)935--950
-
relation, 9(2)119--148, 26(2)407--432, 26(6)1153--1167, 29(2)365--379,
29(6)1013--1050, 31(3)353--374
-
relational, 15(2)182--214, 21(1)65--102, 26(2)407--432, 26(6)1231--1269,
29(1)97--124
-
relationship, 6(6)696--715, 18(2)103--119
-
relaxation, 16(1)36--50
-
relaxed, 30(1)107--131
-
reliability, 6(5)512--535, 31(1)59--94, 32(1)71--111
-
rely-guarantee, 9(2)149--174, 22(6)735--772, 28(6)1057--1078
-
relyash, 10(3)193--213, 31(3)353--374
-
remote, 6(5)569--579, 12(4)278--297
-
Renard, Matthieu, 32(2)315--360
-
Renard:2020:RET, 32(2)315--360
-
Rensink, Arend, 29(4)651--703
-
Rensink, Arend, see Junges, Sebastian
-
Reo, 24(2)187--216
-
replicated, 9(2)119--148
-
reporting, 33(1)65--86
-
repository, 18(2)143--151
-
Repp, J., 10(4)381--404
-
Repp, J., see Ochsenschläger, P.
-
representation, 20(3)303--348
-
Representational, 12(4)260--277
-
repudiation, non-, 17(3)260--276
-
requirements, 5(4)299--336, 6(5)565--568, 24(2)163--186, 28(1)45--63,
28(5)725--765
-
Researcher, 23(3)239--242
-
resolution, 25(2)319--341, 29(3)453--474, 32(4)395--416
-
RESOLVE, 23(5)607--626
-
resources, 6(5)569--579, 18(4)495--517
-
response, 5(4)299--336, 6(5)565--568
-
Responsiveness, 16(4)394--411, 19(3)303--319
-
rest, 6(5)471--494
-
restorable, 25(5)743--768
-
restricted, 24(4)727--748
-
retaining, 24(4)727--748
-
Retargeting, 8(2)209--237
-
retrenchment, 11(5)498--540, 17(4)423--442, 23(1)113--131,
25(3)439--464, 25(4)573--607, 25(4)609--657
-
reuse, 26(4)761--793
-
reversible, 25(1)107--131, 28(4)697--722
-
review, 1(1)137--144, 1(1)293--301, 1(1)412--415, 2(1)196--202,
3(1)102--105, 3(2)206--212, 4(1)143--144, 4(5)493--496,
4(6)592--593, 5(3)282--284, 5(4)383--384, 5(6)571--572,
6_1S_846_848, 6(2)245--246, 7(1)106--110, 7(2)226--229,
7(3)348--351, 7(4)469--472, 7(5)581--585, 8(2)245--246,
8(3)376--378, 8(4)498--498, 10(3)307--310, 18(1)3--30,
29(6)1121--1122, 30(3)491--492, 30(6)759--759, 30(6)761--762,
31(4)453--454, 31(4)455--456, 31(5)641--642, 32(1)147--148,
32(1)149--151
-
Revising, 11(4)359--380, 11(4)381--401
-
revisited, 4(4)323--340, 7(1)1--2, 7(1)3--17, 7(4)412--429,
10(3)214--232, 29(6)1087--1120
-
revivals, 19(3)303--319
-
Rewitzky, I., 7(2)169--182
-
Rewitzky, Ingrid, 10(1)1--29
-
Rewitzky:1995:PTP, 7(2)169--182
-
Rewitzky:1998:UFV, 10(1)1--29
-
rewrite, 7(1)77--90, 8(4)463--478
-
rewriting, 1(1)320--338, 14(3)228--246, 20(4)407--428, 29(4)651--703
-
Reynier, Pierre-Alain, 33(1)3--25
-
Reynier, Pierre-Alain, see Bacci, Giovanni
-
Reynolds, 26(3)435--439
-
Reynolds, Mark, 23(6)739--779, 27(5)917--949
-
Reynolds, Mark, see Al-Bataineh, Omar
-
Reynolds:2011:TBD, 23(6)739--779
-
Rezazadeh, Abdolbaghi, 27(3)499--523
-
Rezazadeh, Abdolbaghi, see Fathabadi, Asieh Salehi
-
Rhode, Martin, Große-, 13(2)161--186
-
Rhodes, Tyler, 25(6)933--945
-
Rhodes, Tyler, see Bientinesi, Paolo
-
Ribeiro, Pedro, 32(2)155--155
-
Ribeiro, Pedro, see Cavalcanti, Ana
-
Riccobene, Elvinia, 26(6)1077--1113, 28(4)567--595
-
Riccobene, Elvinia, see Arcaini, Paolo
-
Riccobene:2014:FFS, 26(6)1077--1113
-
Richer, 8(5)565--584
-
Riddle, Steve, 21(3)245--257
-
Riddle, Steve, see Larsen, Peter Gorm
-
Rieke, R., 10(4)381--404
-
Rieke, R., see Ochsenschläger, P.
-
Riesco, Adrián, 29(2)309--334
-
Riesco:2017:MEC, 29(2)309--334
-
right, 10(2)171--186
-
rigorous, 21(5)495--510, 28(6)937--1004
-
rippling, 31(1)95--129
-
RISC, 21(3)277--291
-
Risi, Michele, 24(3)307--330
-
Risi:2012:UFF, 24(3)307--330
-
risk-aware, 33(4)763--802
-
RiskStructures, 33(4)763--802
-
Ritchie, 2(1)299--300
-
Ritchie, Brian, 10(5)532--549
-
Ritchie, Brian, see Bicarregui, Juan
-
river, 25(5)743--768
-
Rivkin, Andrey, 28(4)615--641
-
Rivkin, Andrey, see Montali, Marco
-
Rizzi, Alessandro Maria, 33(6)1039--1066
-
Rizzi, Alessandro Maria, see Menghi, Claudio
-
Robin, 22(5)485--487, 29(6)1121--1122
-
Robinson, Edmund, 13(3)308--326
-
Robinson, Ken, 18(3)308--328
-
Robinson, Ken, see Schneider, Steve
-
Robinson, Peter J., 6(1)1--38, 26(3)563--589
-
Robinson, Peter J., see Dongol, Brijesh,
see Staples, John
-
Robinson, Thomas, Gibson-, 28(3)381--407, 31(3)375--409
-
Robinson:2002:VAM, 13(3)308--326
-
robotic, 32(2)187--227, 32(2)229--250
-
robust, 33(1)3--25
-
Robustness, 33(3)407--435
-
Roccetti, Marco, 10(4)313--337
-
Roccetti, Marco, see Bernardo, Marco
-
Rod, 13(3)187--193, 13(3)194--194, 13(3)195--195
-
Roderick, 31(4)455--456
-
Rodin, 23(1)113--131
-
Rodrigues, 32(4)417--437
-
Rodríguez, Ismael, 25(5)743--768, see Rabanal, Pablo
-
Roever, W.-R de, 6(6)716--737
-
Roever, W.-R de, see Stomp, F. A.
-
Roever, Willem-Paul de, 7(5)550--575, 9(2)149--174
-
Roever, Willem-Paul de, see Engelhardt, Kai,
see Xu, Qiwen
-
Roggenbach, Markus, 32(1)149--151
-
Roggenbach, Markus, see Knapp, Alexander
-
ROLA, 31(5)503--540
-
role, 21(5)397--420, 28(4)643--667
-
Rollet, Antoine, 32(2)315--360
-
Rollet, Antoine, see Renard, Matthieu
-
Román-Díez, Guillermo, 27(4)665--699,
see Albert, Elvira
-
Romano, D., 10(4)361--380
-
Romano, D., see Cimatti, A.
-
Romanovsky, Alexander, 33(6)1009--1036
-
Romanovsky, Alexander, see Stankaitis, Paulius
-
Romijn, Judi, 14(3)199--199, 14(3)200--214, 14(3)319--327
-
Romijn, Judi, see Cooke, John,
see Maharaj, Savi
-
Romijn:2003:FLD, 14(3)319--327
-
Rönn, Stefan, 8(4)463--478
-
Ronn:1996:ICT, 8(4)463--478
-
root, 14(3)295--318, 14(3)328--337
-
Rosa, Marcello, La, 22(3)459--482, 27(5)753--788
-
Rosaci, Domenico, 27(5)867--884
-
Rosaci:2015:FSA, 27(5)867--884
-
Roscoe, A. W., 16(4)394--411, 17(2)93--112, 19(3)303--319, 25(1)3--35,
28(3)381--407, 28(6)937--1004, 31(3)375--409
-
Roscoe, A. W., see Antonino, Pedro,
see Boulgakov, Alexandre,
see Oliveira, M. V. M., \see{Reed, J. N.
-
Roscoe:2005:EPC, 17(2)93--112
-
Roscoe:2013:CNT, 25(1)3--35
-
Ross, Brian J., 9(3)331--348
-
Ross:1997:RPB, 9(3)331--348
-
Rossi, M., 32(1)33--70
-
Rossi, M., see Baresi, L.
-
Rossi, Matteo, 32(2)187--227, 33(2)297--298
-
Rossi, Matteo, see Bersani, Marcello M.
-
Rossi:2021:MAC, 33(2)297--298
-
Rossini, Alessandro, 26(6)1115--1152
-
Rossini:2014:FDM, 26(6)1115--1152
-
Rosu, Grigore, 13(3)274--307, 28(3)469--497
-
Rosu, Grigore, see Ciobâca, Stefan,
see Goguen, Joseph
-
Roux, Olivier, 11(4)448--471
-
Roux:1999:HVR, 11(4)448--471
-
Rowson, J. R., 1(1)147--171
-
Rowson, J. R., see Burton, C. T.
-
Roy, Dyckhoff, 5(3)282--284
-
Roy:1993:BR, 5(3)282--284
-
RT-Z, 13(2)94--110
-
rTiMo, 30(6)713--738
-
RTSash, 26(3)537--561, 27(1)33--52
-
Rubin, J., 30(1)133--162
-
Rubin, J., see Strüber, D.
-
Rubio, Fernando, 16(3)238--262, 25(5)743--768
-
Rubio, Fernando, see López, Natalia,
see Rabanal, Pablo
-
Rubio, Julio, 22(2)193--213
-
Rubio, Julio, see Aransay, Jesús
-
Rudolph, C., 17(3)260--276
-
Rudolph, C., see Gürgens, S.
-
Ruksenas, Rimvydas, 21(6)541--569
-
Ruk{\v{s}}{\.e}nas, Rimvydas, 19(4)513--550, 26(5)1033--1076,
see Curzon, Paul
-
Ruksenas:2009:VGM, 21(6)541--569
-
Ruksenas:2014:CHE, 26(5)1033--1076
-
rule, 2(1)207--225, 5(4)367--382, 5(6)554--570, 6(4)466--470,
9(4)359--378, 11(4)426--447, 27(4)641--664, 29(1)57--95
-
run-time, 28(4)531--566
-
Runde, Ragnhild Kobro, 25(2)159--187
-
Runde:2013:RCS, 25(2)159--187
-
Running, 9(3)331--348
-
runtime, 29(5)877--910, 32(2)315--360
-
Russinoff, David M., 4_1S_597_611, 6(4)359--390
-
Russinoff:1992:VSC, 4_1S_597_611
-
Russinoff:1994:MVI, 6(4)359--390
-
Russo, A., 22(3)217--241
-
Russo, A., see Alrajeh, D.
-
Russo, Alessandra, 31(5)457--458
-
Russo:2019:E, 31(5)457--458
-
Rustan, K., 7(6)683--703
-
Rustan, K., see Manohar, Rajit
-
Rusu, Vlad, 11(4)448--471, 27(4)701--726, 28(3)469--497
-
Rusu, Vlad, see Ciobâca, Stefan,
see Lucanu, Dorel, \see{Roux, Olivier
-
Rüthing, 31(5)641--642
-
Rutle, Adrian, 26(6)1115--1152, 33(6)1067--1114
-
Rutle, Adrian, see Rossini, Alessandro,
see Stünkel, Patrick
-
Rutten, Eric, 28(1)21--43
-
Rutten, Eric, see Khakpour, Narges
-
Rutten, Jan, 4(4)376--408
-
Rutten, Jan, see America, Pierre
-
Ryan, Mark, 19(1)35--62, 19(2)273--273, 19(4)417--444
-
Ryan, Mark, see Gorogiannis, Nikos
-
Rybalchenko, Andrey, 20(4)481--505
-
Rybalchenko, Andrey, see Meyer, Roland
-
Rydeheard, David E., 5(4)337--366, 13(3)187--193
-
Rydeheard, David E., see Dennis-Jones, Esther
-
Rydeheard:2002:CPM, 13(3)187--193