Index file section M for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
M
-
Maathuis, Olaf, 24(5)783--802
-
Maathuis, Olaf, see Hiep, Hans-Dieter A.
-
Macedo, Nuno, 22(3)281--296
-
Macedo, Nuno, see Cunha, Alcino
-
Machado, Patricia D. L., 19(1)53--71
-
Machado, Patricia D. L., see Damasceno, Adriana C.
-
Machado, Ricardo J., 9(3)353--369
-
Machado, T. J., 24(3)371--394
-
Machado, T. J., see Kouskoulas, Yanni
-
Machado:2007:RVE, 9(3)353--369
-
machine, 8(6)517--530, 12(2)97--111, 18(3)251--264, 20(1)35--55,
22(5)601--615, 23(1)1--29, 24(6)949--972, 25(3)249--266
-
machine, multi-, 19(2)205--228
-
Machine-learning, 25(5)717--731
-
Mackenzie, Bennett, 20(1)95--117
-
Mackenzie, Bennett, see Pantelic, Vera
-
Mader, Angelika, 4(1)21--33, 12(5)305--318
-
Mader, Angelika, see Brinksma, Ed
-
Mader:2010:SSA, 12(5)305--318
-
Madhusudan, P., 7(2)118--128
-
Madhusudan, P., see Alur, Rajeev
-
Madsen, Frederik, 24(6)999--1024
-
Madsen, Frederik, see Hansen, Simon Thrane
-
Maeda, Toshiyuki, 19(5)623--647
-
Maeda, Toshiyuki, see Abe, Tatsuya
-
Maesano, Ariele-Paolo, 19(3)281--308
-
Maesano, Ariele-Paolo, see Hillah, Lom Messan
-
Maesano, Libero, 19(3)281--308
-
Maesano, Libero, see Hillah, Lom Messan
-
Maggi, Alessandro, 22(4)437--455
-
Maggi, Alessandro, see De Nicola, Rocco
-
magic, 17(6)757--781
-
Mahfoudh, Houssem, Ben, 22(4)417--436
-
Main, 4(4)397--400
-
maintainer, 24(5)717--733
-
maintenance, 8(4)321--335, 13(2)167--179
-
Majumdar, Rupak, 9(5)505--525, 15(4)291--303
-
Majumdar, Rupak, see Beyer, Dirk,
see Gupta, Ashutosh Kumar
-
Makedonski, Philip, 16(3)227--246
-
Makedonski:2014:QET, 16(3)227--246
-
makes, 4(1)1--7
-
making, 10(3)223--231
-
making, Decision-, 25(3)375--391
-
Maldonado, José Carlos, 14(4)383--386,
see Petrenko, Alexandre
-
Maler, Oded, 15(3)247--268
-
Maler:2013:MPA, 15(3)247--268
-
Malik, Sharad, 3(2)207--216, 18(4)375--391
-
Malik, Sharad, see Mohnke, Janett,
see Sethi, Divjyot
-
malware, 16(2)147--173
-
Mammar, Amel, 19(2)167--186, 22(3)333--347, 22(3)349--363
-
Mammar, Amel, see Fotso, Steve Jeffrey Tueno
-
Mammar:2017:MLG, 19(2)167--186
-
Mammar:2020:FRB, 22(3)333--347
-
Mamouras, Konstantinos, 25(4)557--573
-
Mamouras:2023:CFA, 25(4)557--573
-
managed, 17(5)627--646
-
management, 3(2)235--245, 9(3)269--304, 10(1)15--28, 10(1)29--56
-
Managing, 4(2)246--259
-
Manaseer, Waref, Al, 22(2)183--194
-
Mandal, Amit Kr, 23(1)71--88
-
Mandal, Amit Kr, see Ferrara, Pietro
-
Mandrioli, Dino, 8(4)301--302
-
Mandrioli, Dino, see Fitzgerald, John S.
-
Mangharam, Rahul, 16(2)191--213
-
Mangharam, Rahul, see Jiang, Zhihao
-
manipulation, 3(2)171--181, 3(2)182--192
-
manipulator, 5(1)15--33
-
Manjunath, Niveditha, 23(5)783--796
-
Manjunath, Niveditha, see Bartocci, Ezio
-
Manolache, Luca, 25(3)393--405
-
Manolache, Luca, see Usman, Muhammad
-
Mans, R. S., 10(1)57--74
-
Mans, R. S., see Rozinat, A.
-
Mantel, Heiko, 3(1)66--77
-
Mantel, Heiko, see Autexier, Serge
-
Mantovani, Jacopo, 11(1)69--83
-
Mantovani, Jacopo, see Armando, Alessandro
-
Manual, 12(3)231--243
-
Many-core, 18(2)169--185
-
Mapping, 17(5)559--584
-
March, 2(3)203--207
-
Marchand, Hervé, 14(4)407--437,
see Falcone, Yliès
-
Marché, Claude, 24(5)717--733, 24(6)977--997,
see Becker, Benedikt,
see Lourenço, Cláudio Belo
-
Marchetto, Alessandro, 10(6)473--476, 10(6)477--492, 11(6)427--440,
13(2)131--149, 13(2)151--166
-
Marchetto, Alessandro, see Torchiano, Marco
-
Marchetto:2008:CSB, 10(6)477--492
-
Marchetto:2008:SST, 10(6)473--476
-
Marchetto:2009:OST, 11(6)427--440
-
Marchetto:2011:CMA, 13(2)131--149
-
Märcker, Steffen, 20(2)179--194, see Klein, Joachim
-
Margaria, Tiziana, 1(1)1--5, 1(1)9--30, 1(1)31--48, 1(1)49--63,
2(2)202--202, 4(3)266--270, 5(1)1--3, 5(2)107--123, 7(4)293--296,
8(6)467--469, 9(5)415--416, 11(3)173--174, 11(4)307--324,
11(5)355--357, 11(5)393--407, 12(6)405--408, 14(5)511--530,
16(4)335--337, 16(5)465--479, 16(5)543--558, 18(6)629--651,
24(4)611--612
-
Margaria, Tiziana, see Braun, Volker,
see Cleaveland, W. Rance,
see Friese, Thomas, \see{Hinchey, Mike,
see Jörges, Sven,
see Kroening, Daniel,
see Lamprecht, Anna-Lena,
see Legay, Axel, \see{Raffelt, Harald,
see Steffen, Bernhard,
see Wermelinger, Michel
-
Margaria:1997:IEU, 1(1)49--63
-
Margaria:2003:IPS, 5(1)1--3
-
Margaria:2003:PSE, 4(3)266--270
-
Margaria:2004:LCG, 5(2)107--123
-
Margaria:2005:IP, 7(4)293--296
-
Margaria:2006:SSL, 8(6)467--469
-
Margaria:2009:P, 11(5)355--357
-
Margaria:2014:PVT, 16(4)335--337
-
Mariani, Leonardo, 6(3)231--244, 23(4)545--546
-
Mariani, Leonardo, see Corradini, Flavio,
see Finkbeiner, Bernd
-
Markey, Nicolas, 23(2)229--253
-
Markey, Nicolas, see Bouyer, Patricia
-
markings, 22(2)163--181, 23(2)229--253
-
Markov, 4(2)153--172, 8(3)216--228, 8(4)397--409, 13(1)3--19,
17(4)457--467, 17(4)469--484
-
Markovian, non-, 24(5)821--841
-
Marks, Gordon, 20(1)95--117
-
Marks, Gordon, see Pantelic, Vera
-
Marks, Lionel, 11(6)503--515
-
Marks, Lionel, see Chan, Brian
-
Marmorstein, Robert, 8(1)4--25
-
Marmorstein, Robert, see Ciardo, Gianfranco
-
Marquard, Morten, 24(4)563--587
-
Marquard, Morten, see Back, Christoffer Olling
-
Marquardt, W., 6(3)186--202
-
Marquardt, W., see Schopfer, G.
-
Marques Jr., Abinoam P., 15(2)125--147
-
Marques:2013:MCW, 15(2)125--147
-
Marrero, Will, 4(2)173--188
-
Marrero, Will, see Clarke, Edmund
-
Marrone, Stefano, 16(6)669--683
-
Marrone:2014:TMD, 16(6)669--683
-
Martel, Matthieu, 19(4)427--448
-
Martel, Matthieu, see Damouche, Nasrine
-
Martelli, Giacomo, 16(6)647--667
-
Martelli, Giacomo, see Ferrari, Alessio
-
Martin, Antoine, 25(1)77--94
-
Martin, Antoine, see Kirszenberg, Alexandre
-
Martin, Florian, 2(1)46--67
-
Martin, John C., 5(4)301--307
-
Martin:1998:PEP, 2(1)46--67
-
Martin:2004:FMS, 5(4)301--307
-
Martínez, Jesús, 5(2)165--184,
see Gallardo, María del Mar
-
Marzo Serugendo, Giovanna, Di, 22(4)417--436
-
Massacci, Fabio, 21(1)105--119
-
Massacci, Fabio, see Dashevskyi, Stanislav
-
Massingill, Berna L., 3(2)217--234
-
Massingill:2001:PPP, 3(2)217--234
-
Massink, Mieke, 11(5)355--357, 20(3)289--311, 22(2)195--217
-
Massink, Mieke, see Buonamici, Fabrizio Banci,
see Ciancia, Vincenzo,
see Margaria, Tiziana
-
mastering, 17(3)245--250
-
Masterminding, 23(1)69--70
-
matching, 3(2)207--216, 9(2)169--178, 12(3)211--230
-
Mateescu, Radu, 2(1)68--88, 8(1)37--56, 15(2)89--107, 20(2)119--123,
20(5)563--587
-
Mateescu, Radu, see Garavel, Hubert,
see Sighireanu, Mihaela
-
Mateescu:2006:CGL, 8(1)37--56
-
Mateescu:2018:FMC, 20(5)563--587
-
Mateescu:2018:RAI, 20(2)119--123
-
mathematical, 18(1)109--120
-
Mattson, Timothy G., 3(2)217--234
-
Mattson, Timothy G., see Massingill, Berna L.
-
Mauri, Marco, 9(2)179--192
-
Mauri, Marco, see Bianco, Vieri del
-
Mavridou, Anastasia, 23(5)685--700, 24(6)973--976
-
Mavridou, Anastasia, see Grompanopoulos, Christos,
see Lafuente, Alberto Lluch
-
Mavrommatis, Panayiotis, 11(2)153--171
-
Mavrommatis, Panayiotis, see Georgiou, Chryssis
-
Maximova, Maria, 23(3)411--488
-
Maximova, Maria, see Schneider, Sven
-
Mayer, Mikaël, 15(5)455--474, see Kuncak, Viktor
-
Mazzanti, Franco, 20(3)263--288
-
Mazzanti:2018:TFM, 20(3)263--288
-
Mazzocca, Nicola, 16(6)669--683
-
Mazzocca, Nicola, see Marrone, Stefano
-
MCC, 23(6)931--952
-
McDermott, John, 13(5)463--489
-
McDermott, John, see Freitas, Leo
-
McIlraith, Sheila A., 16(1)49--65
-
McIlraith, Sheila A., see Razavi, Niloofar
-
MCMAS, 19(1)9--30
-
McMillan, Ken, 19(5)535--547
-
McMillan, Ken, see Dillig, Isil
-
mCRL2, 24(3)441--472
-
MDA-based, 9(2)103--117
-
MDP, 17(4)429--456
-
MDPs, 24(5)803--819
-
meaning, 1(1)6--8
-
measure, 8(3)195--203
-
Measurement, 15(1)9--28
-
Mechanical, 3(4)469--485
-
mechanism, 9(3)327--352
-
Mechanized, 3(1)78--92
-
mechatronic, 2(2)160--167, 10(3)205--206, 10(3)207--222, 10(3)223--231
-
Mechitov, Kirill, 20(5)547--561
-
Mechitov, Kirill, see Khamespanah, Ehsan
-
Mechlenborg, Peter, 10(1)5--14
-
Mechlenborg, Peter, see Kristensen, Lars M.
-
mecum, 2(2)89--94
-
medical, 5(4)320--330, 16(2)191--213, 22(2)195--217
-
meet, 3(1)66--77, 16(1)1--12, 17(6)745--755
-
Mehlitz, Peter, 25(4)481--501
-
Mehlitz, Peter, see Shafiei, Nastaran
-
Mehta, Farhad, 12(6)447--466
-
Mehta, Farhad, see Abrial, Jean-Raymond
-
Meinke, Karl, 17(1)107--119
-
Meinke, Karl, see Wong, Peter Y. H.
-
Meira, Silvio Romero de Lemos, 13(4)337--353
-
Meira, Silvio Romero de Lemos,
see Lisboa, Liana Barachisio
-
Mejri, Mohamed, 4(4)472--495
-
Mejri, Mohamed, see Debbabi, Mourad
-
Melatti, I., 11(1)13--25
-
Melatti, Igor, 6(4)320--341, 8(4)397--409
-
Melatti, Igor, see Penna, Giuseppe Della
-
Melatti:2009:PDM, 11(1)13--25
-
Melbourne, 2(3)203--207
-
Melham, Thomas F., 4(2)189--210
-
Melham, Thomas F., see Dennis, Louise A.
-
Melham, Tom, 18(3)319--334
-
Melham, Tom, see Schrammel, Peter
-
memory, 3(2)235--245, 8(4)411--430, 8(6)531--545, 9(5)505--525,
11(2)105--116, 12(2)139--153, 19(5)623--647, 22(2)115--133
-
memory, weak-, 22(6)709--728
-
Menabeni, Simone, 16(6)647--667
-
Menabeni, Simone, see Ferrari, Alessio
-
Ménager, Hervé, 18(6)581--586
-
Menager:2016:URI, 18(6)581--586
-
Menezes, Rafael S., 23(6)857--861
-
Menezes, Rafael S., see Gadelha, Mikhail R.
-
Mens, Tom, 12(3)183--199
-
Mens, Tom, see Pérez, Javier
-
Mentré, David, 24(6)977--997,
see Lourenço, Cláudio Belo
-
Meredith, Patrick O'Neil, 14(3)249--289
-
Meredith:2012:OMR, 14(3)249--289
-
Merelli, Emanuela, 6(3)231--244
-
Merelli, Emanuela, see Corradini, Flavio
-
Merino, Pedro, 5(2)165--184, 11(5)359--374, 20(5)499--514,
22(2)103--104
-
Merino, Pedro, see Cámara, Pedro de la,
see Gallardo, María del Mar
-
Merriam, Nicholas, 15(1)9--28, 15(1)65--84
-
Merriam:2013:EPI, 15(1)65--84
-
Merriam:2013:MTM, 15(1)9--28
-
Merten, Maik, 11(4)307--324, 16(5)457--464
-
Merten, Maik, see Howar, Falk,
see Raffelt, Harald
-
Méry, Dominique, 11(3)217--238,
see Cansell, Dominique
-
message, 5(1)78--89, 7(4)326--340, 22(5)617--633
-
message-passing, 16(2)127--146
-
Mészáros, Tamás, 12(3)231--243
-
Meszaros:2010:MAP, 12(3)231--243
-
meta-model, 6(3)203--218
-
metabolic, 3(4)394--404
-
metamodel, 24(2)247--260
-
metaSMT, 19(5)605--621
-
method, 1(1)6--8, 2(3)203--207, 3(1)66--77, 3(4)382--393, 5(4)301--307,
5(4)320--330, 7(3)195--196, 8(2)97--112, 8(3)195--203, 8(4)301--302,
8(4)411--430, 8(6)467--469, 8(6)471--484, 8(6)531--545,
8(6)547--563, 8(6)587--603, 9(3)213--254, 9(3)371--391, 10(1)29--56,
10(2)167--184, 10(2)185--203, 10(3)223--231, 11(3)239--253,
12(1)1--7, 12(1)39--51, 13(5)463--489, 15(1)9--28, 16(6)643--646,
19(4)391--393, 20(3)237--241, 20(3)263--288, 20(4)355--358,
22(6)667--683, 23(5)679--684, 23(6)879--881, 24(3)325--330,
24(3)351--370, 24(6)973--976
-
method-based, 24(4)511--527
-
methodological, 17(1)1--16
-
Methodology, 10(1)5--14
-
metric, 8(3)229--247, 8(4)373--386, 9(1)1--4, 13(2)131--149,
22(5)541--562, 23(3)411--488, 25(3)393--405
-
Metta, Ravindra, 21(5)515--543
-
Metta, Ravindra, see Becker, Martin
-
Metzler, Patrick, 22(5)565--581
-
Metzler:2020:EST, 22(5)565--581
-
Meyer-Kayser, Joachim, 4(2)153--172
-
Meyer-Kayser, Joachim, see Hermanns, Holger
-
Mezei, Gergely, 12(3)231--243
-
Mezei, Gergely, see Mészáros, Tamás
-
MGP, Tiger-, 23(6)853--856
-
microgrid, 17(4)537--554
-
microprocessor, 4(3)298--312, 8(4)411--430
-
MIDAS, 19(3)325--339
-
Middeldorp, Aart, 23(6)905--916
-
Middeldorp:2021:CRE, 23(6)905--916
-
middleware, 7(4)376--387
-
migrating, 11(6)441--451
-
migration, 11(6)427--440
-
Mikác, Jan, 11(5)409--418
-
Mikac:2009:FED, 11(5)409--418
-
Mikucionis, Marius, 17(2)187--199, 17(3)351--367, 17(4)397--415
-
Mikucionis, Marius, see David, Alexandre
-
Milewicz, Reed, 21(1)31--70
-
Milewicz, Reed, see Bartocci, Ezio
-
Miller, Steven P., 8(4)303--319
-
Miller:2006:PS, 8(4)303--319
-
Millett, Lynette I., 2(4)343--349
-
Millett:2000:ISP, 2(4)343--349
-
Minato, Shin-ichi, 3(2)156--170
-
Minato:2001:ZSB, 3(2)156--170
-
Minea, M., 2(3)279--287
-
Minea, M., see Clarke, E. M.
-
Miner, Andrew, 24(1)89--109
-
Miner, Andrew, see Babar, Junaid
-
minimisation, 20(2)157--177
-
minimization, 7(3)280--291, 17(1)77--90
-
minimized, 2(3)270--278
-
mining, 18(6)607--628, 20(1)79--93
-
Mirian-Hosseinabadi, Seyed-Hasan, 24(4)511--527
-
Mirian-Hosseinabadi, Seyed-Hasan, see Habibi, Elahe
-
Misailovic, Sasa, 25(4)521--539
-
Misailovic, Sasa, see Fernando, Vimuth
-
missile, 2(2)144--159
-
Mitchell, Brice, 9(3)255--267, 10(1)5--14
-
Mitchell, Brice, see Kristensen, Lars M.
-
Mitchell, John C., 4(4)472--495
-
Mitchell, John C., see Debbabi, Mourad
-
Mitchell:2007:FSS, 9(3)255--267
-
Mitsch, Stefan, 18(1)67--91, 19(6)717--741, 20(6)615--643,
23(5)827--827
-
Mitsch, Stefan, see Jeannin, Jean-Baptiste,
see Müller, Andreas,
see Quesel, Jan-David
-
Mittal, Pranjal, 20(1)57--78
-
Mittal, Pranjal, see Holmes, Josie
-
mixed-signal, 15(3)247--268
-
Mkaouar, Hana, 22(2)219--247
-
Mkaouar:2020:FAA, 22(2)219--247
-
ML, 7(2)184--194
-
mobile, 2(2)133--143, 3(4)382--393, 6(1)38--66, 8(6)531--545
-
mock, 11(4)273--290
-
modal, 2(3)242--259, 22(1)35--55, 25(5)707--716
-
model, meta-, 6(3)203--218
-
model-based, 5(2)140--157, 8(4)303--319, 9(5)527--544, 10(1)5--14,
14(4)383--386, 14(6)673--702, 15(5)563--583, 16(4)437--455,
17(5)585--600, 18(3)265--283, 18(3)305--318, 19(1)115--131,
19(3)271--279, 19(3)309--324, 20(1)79--93, 20(4)441--465,
21(4)425--448, 22(1)1--2, 22(1)3--32, 22(1)33--34, 22(2)105--114,
22(2)219--247, 23(5)721--740
-
model-checking, 3(3)314--331, 4(1)71--91, 4(2)153--172, 5(2)158--164,
7(4)297--315, 8(3)177--179, 9(1)53--62, 14(1)53--72, 15(2)125--147,
17(2)223--243, 18(4)409--426, 21(4)449--469
-
Model-Driven, 16(6)669--683
-
model-driven, 9(2)193--207, 15(4)363--374, 18(1)1--19, 25(1)49--74
-
modeling, 1(1)64--85, 7(4)326--340, 8(2)93--96, 8(2)113--127,
8(6)607--620, 9(5)471--487, 10(6)521--534, 11(3)203--215,
12(3)245--261, 12(5)391--403, 14(5)511--530, 14(6)653--671,
15(3)269--286, 17(5)559--584, 17(5)601--626, 18(1)21--40,
19(2)141--166, 19(2)167--186, 20(1)1--18, 20(3)327--354,
20(5)547--561, 21(2)143--163, 21(2)165--181, 22(3)349--363,
24(2)225--245, 24(3)331--350, 24(3)415--440, 24(6)911--948
-
modelling, 3(4)382--393, 6(3)186--202, 8(6)547--563, 9(3)213--254,
9(3)255--267, 9(3)269--304, 9(3)327--352, 10(1)75--93,
12(6)447--466, 14(1)15--40, 14(5)567--588, 16(4)421--435,
16(6)685--711, 17(4)537--554, 20(3)243--262, 21(6)607--612,
22(4)437--455, 25(5)675--691
-
models@run.time, 22(1)79--102
-
modular, 9(3)393--411, 24(5)691--715
-
module, 7(3)268--279
-
modulo, 13(5)449--461, 18(2)205--225
-
Moha, Naouel, 12(3)273--285
-
Moha:2010:EKS, 12(3)273--285
-
Mohammed, Mawal A., 24(6)889--910
-
Mohammed:2022:GTA, 24(6)889--910
-
Mohnke, Janett, 3(2)207--216
-
Mohnke:2001:ABB, 3(2)207--216
-
Mol, Maarten de, 14(1)15--40
-
Mol, Maarten de, see Ghamarian, Amir Hossein
-
Molitor, Paul, 3(2)207--216
-
Molitor, Paul, see Mohnke, Janett
-
Moller, Faron, 16(6)685--711
-
Moller, Faron, see James, Phillip
-
M{\o}ller, Mikael H., 14(6)703--720, see David, Alexandre
-
moment, 3(2)137--155
-
Momtaz, Anik, 25(4)541--556
-
Momtaz:2023:PMD, 25(4)541--556
-
Monahan, Rosemary, 19(6)763--771
-
Monahan, Rosemary, see Huisman, Marieke
-
Monate, Benjamin, 13(5)405--417
-
Monate, Benjamin, see Cuoq, Pascal
-
Moncelet, Gilles, 2(2)160--167
-
Moncelet:1998:AMS, 2(2)160--167
-
Monica, Stefania, 25(5)693--705
-
Monica:2023:KAI, 25(5)693--705
-
monitor, 9(1)63--76, 23(4)579--600
-
monitoring, 6(2)158--173, 8(3)248--260, 13(4)377--395, 14(3)327--347,
15(3)247--268, 17(2)125--142, 17(3)291--303, 18(2)205--225,
22(1)79--102, 22(6)729--740, 23(2)137--154, 23(2)185--208,
23(4)615--640, 23(5)765--781, 24(2)159--181, 25(4)503--517,
25(4)521--539, 25(4)541--556, 25(4)557--573, 25(4)575--592,
25(4)593--616
-
Monnier, Marius, 25(4)453--479
-
Monnier, Marius, see Soueidi, Chukri
-
Montages, 3(4)431--455
-
Montali, Marco, 18(5)535--558
-
Montali:2016:SDA, 18(5)535--558
-
Monteiro, José, 18(4)359--374, see Lopes, Nuno P.
-
Monti, Raúl E., 24(5)821--841, see Budde, Carlos E.
-
MontiCore, 12(5)353--372
-
MoonLight, 25(4)503--517
-
Moore, 23(1)1--29
-
Moore, J. Strother, 8(4)359--371
-
Moore:2006:IAO, 8(4)359--371
-
MOP, 14(3)249--289
-
more, 7(2)87--88, 12(1)9--21, 13(2)151--166, 13(6)585--601,
14(4)407--437, 21(5)485--513
-
Moreau, Hugo, 25(1)77--94
-
Moreau, Hugo, see Kirszenberg, Alexandre
-
Morse, Jeremy, 16(5)519--529
-
Morse:2014:ASB, 16(5)519--529
-
Mosincat, Adina, 13(2)167--179
-
Mosincat:2011:AMS, 13(2)167--179
-
mostly, 5(2)237--246
-
Mostowski, Wojciech, 17(6)729--744
-
Mostowski, Wojciech, see Bruns, Daniel
-
Mota, Alexandre, 14(6)673--702
-
Mota, Alexandre, see Gomes, Adriano
-
Mota, Jean-Marc, 11(3)239--253
-
Mota, Jean-Marc, see Ait-Ameur, Yamine
-
MoTMoT, 12(3)201--209
-
motor, 10(3)223--231
-
Mounier, Laurent, 1(1)166--183, 14(3)349--382, 14(4)407--437
-
Mounier, Laurent, see Bozga, Marius,
see Falcone, Yliès
-
Movaghar, Ali, 22(5)617--633
-
Movaghar, Ali, see Yousefi, Farnaz
-
movement, 20(3)289--311
-
moving, 24(3)351--370
-
Moy, Yannick, 17(6)695--707
-
Moy, Yannick, see Hoang, Duc
-
MSC, 14(6)639--651
-
MTL, 9(1)1--4, 20(4)379--395
-
Mühlberg, Jan Tobias, 16(1)81--102
-
Muhlberg:2014:SOC, 16(1)81--102
-
Mukhopadhyay, Supratik, 17(1)47--57, 23(1)31--53, 25(4)431--452
-
Mukhopadhyay, Supratik, see Alvin, Chris,
see Chen, Hong Yi, \see{Ho, Vivian M.
-
Muliawan, Olaf, 12(3)201--209
-
Muliawan:2010:MRU, 12(3)201--209
-
Müller, Andreas, 20(6)615--643
-
Müller, David, 20(2)179--194, see Klein, Joachim
-
Müller, Mark Niklas, 25(3)329--339,
see Brix, Christopher
-
Müller, Peter, 22(6)709--728, 23(6)883--893,
see Dross, Claire,
see Summers, Alexander J.
-
Müller, Sebastian, 10(4)353--358,
see Gläser, Michael
-
Müller-Olm, Markus, 13(6)491--493, see Jones, Neil D.
-
Muller:2018:TCC, 20(6)615--643
-
multi-agent, 10(3)207--222, 19(1)9--30, 25(5)693--705
-
multi-core, 19(6)675--696, 20(2)157--177, 22(1)3--32, 22(1)33--34
-
multi-goal, 23(6)853--856
-
Multi-level, 24(2)183--203
-
multi-machine, 19(2)205--228
-
Multi-objective, 14(4)461--475
-
multi-player, 20(2)195--210
-
multi-threaded, 4(1)71--91, 21(5)545--565
-
multiobjective, 10(3)223--231
-
multiphase, 23(1)55--67
-
multiple, 16(5)609--625, 20(2)195--210, 20(3)313--325, 24(3)395--414,
25(5)747--764
-
multiplier, 25(2)133--144
-
multiprocessor, 3(3)314--331
-
multithreaded, 8(3)248--260
-
multivehicle, 24(3)371--394
-
Münch, Eckehard, 10(3)207--222, see Burmester, Sven
-
Muñoz, César, 4(3)371--380
-
Munoz:2003:FVC, 4(3)371--380
-
Mur, 8(4)397--409
-
Murgia, Maurizio, 25(5)785--798
-
Murgia:2023:CPA, 25(5)785--798
-
Murphy, John, 10(3)247--261
-
Murphy, John, see Trofin, Mircea
-
Murtovi, Alnis, 25(3)287--299, 25(3)301--327, 25(3)355--374
-
Murtovi, Alnis, see Nolte, Gerrit,
see Schlüter, Maximilian
-
Murtovi:2023:FGT, 25(3)287--299
-
Muschevici, Radu, 14(5)567--588
-
Muschevici, Radu, see Wong, Peter Y. H.
-
Muscholl, Anca, 5(1)78--89
-
Muscholl, Anca, see Gunter, Elsa L.
-
Musliner, David J., 16(1)13--29
-
Musliner, David J., see Goldman, Robert P.
-
mutation, 5(1)90--103, 10(2)145--160, 22(1)57--78, 22(4)365--388
-
mutually, 23(4)521--543
-
Mycroft, Alan, 4(3)271--297
-
Mycroft:2003:HLT, 4(3)271--297
-
Myreen, Magnus O., 25(2)167--184
-
Myreen, Magnus O., see Tan, Yong Kiam