Compartmentalized [838]. Compass [563]. Compatibility [105]. Competitive [196, 362]. Compilation [116]. Compiler [214, 215, 897]. Complementation [271]. Complete [314, 230, 570, 571]. Completeness [569]. Complex [8, 543, 155, 456, 596, 830, 128, 841, 755, 450, 405]. Complexity [561, 574, 507]. Compliance [408]. Complicated [59]. Component [243, 227, 211, 169]. Component-Based [243]. Composed [515]. Compos<strong>in</strong>g [850]. Composition [410, 245, 517, 415, 420, 425, 710, 426]. Compositional [227, 522, 299, 259]. Comprehensive [455]. Compression [627]. Compressive [57]. Compressor [100]. Computable [606, 602]. Computation [496, 811, 930, 115, 928, 927, 493, 620, 707, 660, 697]. Computational [900, 305, 606, 852, 548, 455, 925]. Computationally [314, 435]. Computations [108]. Computer [893, 854, 404, 386, 547, 78]. Computer-<strong>in</strong>-the-Loop [547]. Comput<strong>in</strong>g [309, 416, 429, 417, 93, 639, 907, 888, 69, 913]. Concentration [466]. Concept [638]. Conceptual [257, 112, 157, 582]. Concurrent [98, 281, 224, 279, 253, 753, 263, 577]. Conditional [323, 300, 147]. Conditionals [369]. Conditions [529]. Conference [910, 900, 925, 908, 895, 896, 902, 901, 928, 927, 916, 921, 922, 909, 929, 926, 894, 897, 917, 888, 919, 890, 891, 913, 923, 899]. Conferences [900, 902, 901, 897, 898, 899]. ConfiChair [309]. Confidence [660]. Configuration [139]. Conflict [113, 287, 253]. Conflict-Driven [287]. Conformance [241]. Conjunction [372]. Connectivity [67]. Consensus [537, 531]. Consequences [372]. Conservative [456]. Considerations [556, 389]. Considers [714]. Consistency [113, 245, 525, 79]. Consistent [223]. Constra<strong>in</strong>t [537, 562]. Constra<strong>in</strong>ts [73, 91, 658, 882, 531, 251, 144]. Construction [901, 897, 809, 212]. Constructions [767]. Consumption [866]. Contact [464, 842]. Conta<strong>in</strong>er [266]. Contam<strong>in</strong>ation [812]. Content [675, 603]. Contest [358]. Context [879, 666, 15, 17, 675, 16, 710, 652, 366, 387]. Context-Aware [666, 15, 675, 16, 710, 652]. Context-Sensitive [387]. Contextual [736]. Cont<strong>in</strong>gency [584]. Cont<strong>in</strong>ue [716]. Cont<strong>in</strong>uous [806]. Contract [258]. Contracts [243, 230]. Contrast<strong>in</strong>g [546]. Contribution [734]. Contributors [698]. Control [269, 742, 231, 783, 456, 799, 632, 524, 108, 165, 625, 450, 612, 174]. Controlled [525]. Controller [33, 54]. Controllers [871, 853]. Converge [369]. Convey [133]. Cooperation [830, 318]. Coord<strong>in</strong>ate [669]. Coord<strong>in</strong>ation [762, 359, 410]. cores [100]. Corpora [139]. Corpus [765, 380, 772, 767]. Corpus-Based [767]. Corrected [447]. Correctness [224, 235]. Correlation [811, 632, 638, 546, 61]. Corroded [404]. COST [903, 90, 379, 125, 65, 342, 433]. Cost-Based [433]. 6
Cost-Efficient [342]. Cost-Sensitive [65]. Could [855]. Counter [297]. Counter-Example [297]. Counterexamples [516]. Countries [333]. Coverage [536, 654]. Cover<strong>in</strong>g [30, 816]. CPM [61]. CPM-Signal [61]. CPUs [205]. Crack [397]. Crane [804]. Creation [731]. Creative [863]. Credibility [647]. Credibility-Oriented [647]. CRF [641]. CRFs [642]. CRISPR [454]. Criticality [464]. Cross [813, 421]. Cross-Doma<strong>in</strong> [813]. Cross-Layer [421]. Crossovers [786]. Crowd [536, 486, 743]. Crowdsourced [535]. Cryptanalysis [609]. Cryptographic [193, 225]. Cryptography [616]. Cryptosystems [617]. CSP [36]. CSPs [116]. CUDA [101]. Cultural [537, 913, 540]. Cumulative [552]. Curves [315]. Customer [163, 635]. Cut [593]. Cyber [535, 743]. Cyber-Physical [743]. CyberDesign [106]. Cyber<strong>in</strong>frastructure [106]. Cyclic [77]. Cyprus [907]. Cytomics [591]. D [666, 845, 613, 399, 122, 609, 861, 59, 665, 80]. DAA [447]. Dance [130]. Danc<strong>in</strong>g [844]. DASFAA [921, 922, 923]. Data [21, 701, 706, 192, 679, 453, 131, 461, 157, 678, 928, 190, 596, 585, 834, 720, 646, 598, 584, 705, 634, 707, 398, 686, 884, 100, 197, 482, 718, 16, 674, 332, 774, 186, 22, 653, 914, 684, 581, 424, 711, 143, 719, 74, 206, 202, 687, 284, 889, 659, 692, 255]. Data-Oriented [22]. Database [123, 727, 921, 922, 923]. Databases [688, 703, 696, 709, 660]. Datasets [316, 839]. Date [791]. DBMS [721]. De-anonymization [316]. Debt [188]. Debugger [497]. Debugg<strong>in</strong>g [517]. December [905, 907]. Decentralised [887]. Decentralized [410, 172]. Decidable [221]. Decid<strong>in</strong>g [319, 300]. Decision [724, 158, 146, 187, 184, 251, 186, 842, 581]. Declarative [495, 497]. Declassification [319]. Decl<strong>in</strong>e [544]. Decomposition [808, 733, 823, 186]. Dedicated [915]. Defect [404]. Defence [624]. Defense [626, 535]. Def<strong>in</strong>ed [575]. Def<strong>in</strong><strong>in</strong>g [423, 748]. Def<strong>in</strong>ite [516]. Def<strong>in</strong>ition [137]. Def<strong>in</strong>itions [616]. Deformation [397]. Degradation [179]. Degree [546, 374]. Delay [39, 32]. Delays [33]. Delimited [269, 231]. Delimited-Control [269]. Deliveries [807]. Demand [340, 711]. Dementia [64]. Democratic [543]. Deniable [605]. Denial [246, 433]. Denmark [911]. Density [62]. Deontic [367]. Department [580]. Dependability [888]. Dependence [198]. Dependencies [113, 828, 149]. Dependency [776]. Dependent [31, 29, 86]. Deployment [337]. Deployments [333]. Depression [67]. Derivation [615]. Derivatives [879, 593]. Describe [138]. Description [136, 624]. Descriptive [561]. Descriptors [847]. Design [20, 243, 5, 846, 8, 885, 42, 412, 868, 929, 639, 861, 23, 389, 797, 798, 258, 390]. Design-Driven [5]. Design<strong>in</strong>g [17, 393]. Desired [454]. Detect [498]. Detect<strong>in</strong>g [192, 840, 839, 547]. Detection [701, 543, 436, 598, 837, 211, 434, 631, 787, 176, 841, 476, 653, 291, 59, 61]. Determ<strong>in</strong>ation [90, 80]. Determ<strong>in</strong>es [466]. Determ<strong>in</strong>istic [290, 289]. Determ<strong>in</strong>ization [265]. Develop<strong>in</strong>g [550, 411, 350]. Development [523, 514, 428]. Device [445]. 7
- Page 1 and 2: A Bibliography of Papers in Lecture
- Page 3 and 4: 216, 386, 597, 584, 867, 412, 591,
- Page 5: Camellia [607]. Camera [554]. CaMKI
- Page 9 and 10: Embodied [893]. Embryos [838]. Emer
- Page 11 and 12: Functional [495, 268, 749, 417, 67,
- Page 13 and 14: Innovation [5]. Inquisitive [367, 3
- Page 15 and 16: Maude [497]. Maximal [816]. Maximiz
- Page 17 and 18: NSGA [805]. NSGA-II [805]. Number [
- Page 19 and 20: Process [414, 179, 9, 234, 424, 194
- Page 21 and 22: Sampling [799]. SAT [284]. Satellit
- Page 23 and 24: Sub-populations [467]. Subgame [280
- Page 25 and 26: VA [912]. Validating [239]. Validat
- Page 27 and 28: REFERENCES 27 Anonymous:2012:FMb [7
- Page 29 and 30: REFERENCES 29 Alippi:2012:WSN [19]
- Page 31 and 32: REFERENCES 31 Computer Science, 720
- Page 33 and 34: REFERENCES 33 Eittenberger:2012:WIT
- Page 35 and 36: REFERENCES 35 Li:2012:MAD [56] Yang
- Page 37 and 38: REFERENCES 37 Anonymous:2012:FMg [6
- Page 39 and 40: REFERENCES 39 Zieniuk:2012:NAD [80]
- Page 41 and 42: REFERENCES 41 Drozdowski:2012:GBB [
- Page 43 and 44: REFERENCES 43 Chrobot:2012:DMV [104
- Page 45 and 46: REFERENCES 45 137-171, 2012. CODEN
- Page 47 and 48: REFERENCES 47 Panayi:2012:WWW [129]
- Page 49 and 50: REFERENCES 49 Anonymous:2012:FMk [1
- Page 51 and 52: REFERENCES 51 Douar:2012:GBR [154]
- Page 53 and 54: REFERENCES 53 Aguero:2012:ACT [166]
- Page 55 and 56: REFERENCES 55 Yannibelli:2012:MAP [
- Page 57 and 58:
REFERENCES 57 Toman:2012:GWM [189]
- Page 59 and 60:
REFERENCES 59 Computer Science, 720
- Page 61 and 62:
REFERENCES 61 Petersen:2012:GSI [21
- Page 63 and 64:
REFERENCES 63 Computer Science, 721
- Page 65 and 66:
REFERENCES 65 Jensen:2012:FSL [238]
- Page 67 and 68:
REFERENCES 67 Albert:2012:VRG [250]
- Page 69 and 70:
REFERENCES 69 Cali:2012:QUC [262] A
- Page 71 and 72:
REFERENCES 71 Peters:2012:IGE [275]
- Page 73 and 74:
REFERENCES 73 Friedmann:2012:RBA [2
- Page 75 and 76:
REFERENCES 75 Bozga:2012:DCT [300]
- Page 77 and 78:
REFERENCES 77 Comon-Lundh:2012:SPD
- Page 79 and 80:
REFERENCES 79 Anonymous:2012:FMt [3
- Page 81 and 82:
REFERENCES 81 Gomez-Barroso:2012:PI
- Page 83 and 84:
REFERENCES 83 tronic). URL http://l
- Page 85 and 86:
REFERENCES 85 Mirzayi:2012:GDA [362
- Page 87 and 88:
REFERENCES 87 LNCSD9. ISSN 0302-974
- Page 89 and 90:
REFERENCES 89 Park:2012:HDM [388] J
- Page 91 and 92:
REFERENCES 91 Lin:2012:SPP [400] Li
- Page 93 and 94:
REFERENCES 93 Lago:2012:PAA [412] P
- Page 95 and 96:
REFERENCES 95 Stocker:2012:DFO [424
- Page 97 and 98:
REFERENCES 97 Computer Science, 722
- Page 99 and 100:
REFERENCES 99 Anonymous:2012:FMbd [
- Page 101 and 102:
REFERENCES 101 LNCSD9. ISSN 0302-97
- Page 103 and 104:
REFERENCES 103 Science, 7224:13-24,
- Page 105 and 106:
REFERENCES 105 Notes in Computer Sc
- Page 107 and 108:
REFERENCES 107 Dandois:2012:CLP [49
- Page 109 and 110:
REFERENCES 109 1611-3349 (electroni
- Page 111 and 112:
REFERENCES 111 Ayoub:2012:SCP [523]
- Page 113 and 114:
REFERENCES 113 tion on a live netwo
- Page 115 and 116:
REFERENCES 115 Mancilla-Caceres:201
- Page 117 and 118:
REFERENCES 117 Bonchi:2012:BAC [560
- Page 119 and 120:
REFERENCES 119 Parikh:2012:CUG [573
- Page 121 and 122:
REFERENCES 121 ISSN 0302-9743 (prin
- Page 123 and 124:
REFERENCES 123 7231:143-151, 2012.
- Page 125 and 126:
REFERENCES 125 Corniaux:2012:DOT [6
- Page 127 and 128:
REFERENCES 127 Anonymous:2012:FMbm
- Page 129 and 130:
REFERENCES 129 Lee:2012:AFE [634] J
- Page 131 and 132:
REFERENCES 131 Hu:2012:EUD [646] Ha
- Page 133 and 134:
REFERENCES 133 Du:2012:IAA [658] Ya
- Page 135 and 136:
REFERENCES 135 Cerasuolo:2012:VNV [
- Page 137 and 138:
REFERENCES 137 0302-9743 (print), 1
- Page 139 and 140:
REFERENCES 139 Liu:2012:UTX [694] J
- Page 141 and 142:
REFERENCES 141 Bai:2012:PRS [706] M
- Page 143 and 144:
REFERENCES 143 Nishii:2012:HSS [718
- Page 145 and 146:
REFERENCES 145 52, 2012. CODEN LNCS
- Page 147 and 148:
REFERENCES 147 LNCSD9. ISSN 0302-97
- Page 149 and 150:
REFERENCES 149 (electronic). URL ht
- Page 151 and 152:
REFERENCES 151 Lopes:2012:IPT [768]
- Page 153 and 154:
REFERENCES 153 Anonymous:2012:FMbu
- Page 155 and 156:
REFERENCES 155 exchange using gramm
- Page 157 and 158:
REFERENCES 157 (electronic). URL ht
- Page 159 and 160:
REFERENCES 159 1611-3349 (electroni
- Page 161 and 162:
REFERENCES 161 Nobile:2012:GBM [829
- Page 163 and 164:
REFERENCES 163 Buchanan:2012:BIM [8
- Page 165 and 166:
REFERENCES 165 107, 2012. CODEN LNC
- Page 167 and 168:
REFERENCES 167 Anonymous:2012:FMby
- Page 169 and 170:
REFERENCES 169 Wang:2012:SPO [877]
- Page 171 and 172:
REFERENCES 171 Computer Science. Sp
- Page 173 and 174:
REFERENCES 173 OBoyle:2012:CCI [897
- Page 175 and 176:
REFERENCES 175 ing: 18th Amsterdam
- Page 177 and 178:
REFERENCES 177 Shi:2012:TDH [914] Y
- Page 179 and 180:
REFERENCES 179 Yu:2012:DSA [923] Hw
- Page 181:
REFERENCES 181 3 (e-book). ISSN 030