Index file section N for sttt.bib
Last update: Fri Aug 30 02:15:44 MDT 2024
Return to index directory
N
-
Nacif, Jose Augusto, 14(1)95--108
-
Nacif, Jose Augusto, see Safe, Georgia Penido
-
Nadjm-Tehrani, Simin, 7(3)268--279
-
Nadjm-Tehrani, Simin, see Hammarberg, Jerker
-
Nagele, Julian, 23(6)905--916
-
Nagele, Julian, see Middeldorp, Aart
-
Najm, Eli, 2(4)321--327
-
Najm, Eli, see Holzmann, Gerard
-
Nakano, Keisuke, 11(6)453--468
-
Nakano:2009:CWS, 11(6)453--468
-
Nam, Wonhong, 5(4)308--319, 7(2)118--128
-
Nam, Wonhong, see Alur, Rajeev
-
NaN, 25(2)185--204
-
Nardone, Roberto, 16(6)669--683
-
Nardone, Roberto, see Marrone, Stefano
-
NASA, 9(1)63--76
-
native, cloud-, 26(1)21--32
-
Naujokat, Stefan, 16(5)465--479, 16(5)543--558, 20(3)327--354,
20(4)397--422
-
Naujokat, Stefan, see Chadli, Mounir,
see Steffen, Bernhard
-
Naujokat:2018:CSD, 20(3)327--354
-
Naulin, Thomas, 22(3)315--332
-
Naulin, Thomas, see Hansen, Dominik
-
navigation, 11(6)469--484
-
Nayeri, Nader, 22(3)315--332
-
Nayeri, Nader, see Hansen, Dominik
-
need, 3(1)66--77
-
needed, 11(6)503--515
-
Neele, Thomas, 24(5)735--756, 25(2)129--131
-
Neele, Thomas, see Jensen, Peter Gj{\o}l
-
Neele:2022:POR, 24(5)735--756
-
negative, 10(2)161--166
-
Negulescu, Radu, 4(3)359--370
-
Negulescu, Radu, see Kong, Xiaohua
-
Neider, Daniel, 25(3)341--354
-
Neider, Daniel, see Khmelnitsky, Igor
-
Nejati, Saeed, 25(2)219--239, 25(5)799--800
-
Nejati, Saeed, see Scott, Joseph
-
Nenova, Stefana, 15(1)29--39
-
Nenova, Stefana, see Heckmann, Reinhold
-
Nenzi, Laura, 25(4)503--517
-
Nenzi:2023:MLT, 25(4)503--517
-
net, 2(2)98--132, 2(2)133--143, 2(2)144--159, 2(2)160--167, 2(2)168--181,
2(2)182--191, 3(4)382--393, 3(4)394--404, 3(4)405--416,
3(4)417--430, 3(4)486--497, 7(1)43--60, 8(3)195--203, 8(6)531--545,
9(3)209--212, 9(3)213--254, 9(3)255--267, 9(3)269--304,
9(3)305--326, 9(3)327--352, 9(3)393--411, 10(1)1--3, 10(1)5--14,
10(1)15--28, 10(1)29--56, 10(1)57--74, 10(1)75--93, 10(1)95--110,
10(2)161--166, 10(2)167--184, 18(3)285--304, 18(6)685--706,
20(3)243--262, 20(4)467--491, 20(5)529--546, 22(2)163--181,
25(1)95--114
-
network, 7(4)316--325, 8(6)607--620, 10(1)75--93, 11(4)291--305,
13(3)247--261, 20(5)547--561, 22(2)105--114, 22(5)523--539,
23(4)641--654, 25(2)145--165, 25(3)301--327, 25(3)329--339,
25(3)341--354, 25(3)393--405, 25(3)407--426, 25(4)575--592,
25(5)733--746
-
Neubauer, Johannes, 16(5)569--591
-
Neubauer:2014:RBT, 16(5)569--591
-
Neugebauer, Mario, 8(6)607--620
-
Neugebauer, Mario, see Ploennigs, Joern
-
Neuhäußer, Martin R., 22(2)135--161,
see Lange, Tim
-
Neukirchen, Helmut, 10(4)309--326
-
Neukirchen:2008:AQE, 10(4)309--326
-
neural, 23(4)615--640, 23(4)641--654, 25(2)145--165, 25(3)301--327,
25(3)329--339, 25(3)341--354, 25(3)393--405, 25(3)407--426,
25(4)575--592, 25(5)733--746
-
new, 2(4)410--425, 4(1)8--20, 10(1)15--28, 10(3)223--231, 11(4)339--353,
12(2)89--95, 13(1)1--2, 13(5)419--429, 17(1)1--16, 25(2)185--204
-
next, 12(6)429--446, 18(2)227--243
-
next-generation, 19(6)717--741
-
Nguyen, Hoang Nga, 16(6)685--711
-
Nguyen, Hoang Nga, see James, Phillip
-
Nguyen, Luan Viet, 21(1)87--104
-
Nguyen, Luan Viet, see Bak, Stanley
-
Nguyen, Quang-Huy, 11(3)175--185
-
Nguyen, Quang-Huy, see Chetali, Boutheina
-
Nguyen, Viet Yen, 15(4)337--362
-
Nguyen:2013:SDI, 15(4)337--362
-
Niari, Saeid, Tizpaz-, 23(4)641--654
-
Nickovi{\'c}, Dejan, 15(3)247--268, 19(4)409--426, 22(6)741--758,
23(4)565--577, 23(5)783--796, 25(4)427--429, 26(1)79--99,
see Aichernig, Bernhard K.,
see Bartocci, Ezio,
see Deshmukh, Jyotirmoy, \see{Maler, Oded,
see Yamaguchi, Tomoya
-
Nickovic:2020:AQQ, 22(6)741--758
-
Nickovic:2021:SDT, 23(4)565--577
-
Nicola, Rocco, De, 22(4)389--397, 22(4)437--455, 25(5)617--624,
25(5)675--691
-
Nicolás, G., López-, 19(3)325--339
-
Nicole, Denis, 16(5)519--529
-
Nicole, Denis, see Morse, Jeremy
-
Nielsen, Brian, 5(1)59--77
-
Nielsen, Jorn, Lind-, 2(3)242--259
-
Nielsen:2003:ATG, 5(1)59--77
-
Nielson, Flemming, 2(1)13--28, 16(4)421--435
-
Nielson, Flemming, see Amtoft, Torben,
see Yüksel, Ender
-
Nielson, Hanne Riis, 2(1)13--28, 16(4)421--435
-
Nielson, Hanne Riis, see Amtoft, Torben,
see Yüksel, Ender
-
Niemelä, Ilkka, 7(2)89--101, see Jussila, Toni
-
Niemetz, Aina, 25(2)219--239, 25(5)799--800
-
Niemetz, Aina, see Scott, Joseph
-
Niere, Jörg, 6(3)203--218, see Burmester, Sven
-
Nießen, Nils, 24(3)331--350, see Weik, Norman
-
nightly, 24(2)261--285
-
Nikravan, Esmaeel, 21(3)351--364
-
Nikravan:2019:RBA, 21(3)351--364
-
Nilsson, Agneta, 17(1)1--16
-
Nilsson, Marcus, 14(2)223--241
-
Nilsson, Marcus, see Abdulla, Parosh Aziz
-
Nilsson:2015:AEI, 17(1)1--16
-
Nobre, Tiago, 14(4)461--475
-
Nobre, Tiago, see Vergilio, Silvia Regina
-
Nocco, Sergio, 7(2)102--117, 7(2)129--142
-
Nocco, Sergio, see Cabodi, Gianpiero
-
Noll, Thomas, 4(4)405--420, 7(2)184--194, 22(2)135--161
-
Noll, Thomas, see Fredlund, Lars-Åke,
see Lange, Tim, \see{Leucker, Martin
-
Nolte, Gerrit, 25(3)241--247, 25(3)287--299, 25(3)301--327,
25(3)355--374
-
Nolte, Gerrit, see Jansen, Nils,
see Murtovi, Alnis,
see Schlüter, Maximilian
-
Nolte:2023:PTA, 25(3)355--374
-
non, 24(5)667--689
-
non-deterministic, 24(3)371--394
-
non-Markovian, 24(5)821--841
-
non-termination, 24(5)691--715
-
nondeterminism, 17(4)485--504, 22(6)759--780
-
nondeterministic, 18(3)251--264
-
nonlinear, 13(5)449--461, 26(2)169--188
-
Nordio, Martin, 19(6)697--716
-
Nordio, Martin, see Furia, Carlo A.
-
Norman, Gethin, 5(2)221--236, 6(2)128--142, 8(3)216--228
-
Norman, Gethin, see Daws, Conrado,
see Kwiatkowska, Marta,
see Younes, Håkan L. S.
-
Norrish, Michael, 4(2)189--210
-
Norrish, Michael, see Dennis, Louise A.
-
North, Siobhán, 24(6)949--972, see Taylor, Ramsay G.
-
not, 5(2)237--246, 19(5)605--621, 25(2)185--204
-
notable, 25(2)185--204
-
notation, 3(4)431--455, 5(2)237--246, 9(2)119--132, 16(3)215--225
-
Noureddine, Mohamad, 21(2)143--163
-
Noureddine, Mohamad, see Zaraket, Fadi A.
-
Nouri, Ayoub, 17(2)171--185
-
Nouri:2015:SMC, 17(2)171--185
-
novel, 16(6)647--667
-
Nowack, Martin, 23(6)867--870
-
Nowack, Martin, see Cadar, Cristian
-
{NUMA, CC}-, 3(3)314--331
-
Number, 25(2)185--204
-
numbers, 19(4)427--448
-
numeric, 12(6)409--427
-
numerical, 8(3)216--228, 10(3)223--231, 13(6)585--601, 19(4)427--448
-
Núñez, Manuel, 19(4)391--393,
see Güdemann, Matthias
-
NUSMV, 2(4)410--425
-
NuSMV-SA, 9(1)5--24
-
nutshell, 1(1)134--152
-
Nxumalo, Madoda, 25(1)115--128
-
Nxumalo:2023:EAM, 25(1)115--128
-
Nyberg, Mattias, 26(2)207--228
-
Nyberg, Mattias, see Hampus, Anton
-
Nyman, Ulrik, 9(5)471--487, 14(6)703--720, 17(1)17--45, 23(5)721--740,
24(6)1025--1042
-
Nyman, Ulrik, see David, Alexandre,
see Han, Pujie, \see{Kiviriga, Andrej,
see Larsen, Kim G.