Paper2008.msl

import "platform:/resource/SLROnToleranceInMDE/src/Language.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Authors.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Venues.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2013.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2014.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2011.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2006.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2003.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2005.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1996.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2008.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2004.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2009.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2000.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2012.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2015.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1997.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2010.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1999.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2001.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1998.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2007.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1989.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1991.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1992.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2002.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1990.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2016.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2017.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2018.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2019.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2020.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1977.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1994.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1983.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1995.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1982.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1987.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1986.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1988.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1985.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1993.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1984.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1978.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1976.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1979.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1980.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1941.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1968.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1981.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1975.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1972.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1974.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1969.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1967.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1970.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1959.msl"
 	
model Paper2008{
	paper1537440013:Paper {
                .title : "Consistent integration of models based on views of visual languages"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue19
            	-cites->paper1556566737
            	-cites->paper1573663598
            	-cites->paper1782382739
            	-cites->paper1928902483
            	-cites->paper1963930008
            	-cites->paper2012959900
            	-cites->paper2081518875
            	-cites->paper2111429223
            	-cites->paper2133724574
            	-cites->paper2143477432
            	-authors->author1762008226
            	-authors->author692045707
            	-authors->author268076468
            	-authors->author2188988982
            }
	paper1559755909:Paper {
                .title : "Flexible rulebased constraint model linearisation"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue34
            	-cites->paper1490019423
            	-cites->paper1507787362
            	-cites->paper1546943373
            	-cites->paper1564783277
            	-cites->paper1576770735
            	-cites->paper1692778824
            	-cites->paper1763415119
            	-cites->paper1838083129
            	-cites->paper1872879644
            	-cites->paper1986964870
            	-cites->paper2079333278
            	-cites->paper2107062658
            	-cites->paper2127724972
            	-cites->paper2151308681
            	-cites->paper2159875930
            	-authors->author2101252935
            	-authors->author2079669046
            	-authors->author204000554
            	-authors->author2077987469
            }
	paper1585480189:Paper {
                .title : "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue40
            	-cites->paper1482962177
            	-cites->paper1808519102
            	-cites->paper2025383609
            	-cites->paper2070123002
            	-cites->paper2090354977
            	-cites->paper2103608266
            	-cites->paper2109519329
            	-cites->paper2112444623
            	-cites->paper2148893609
            	-cites->paper2170188124
            	-authors->author1607443066
            	-authors->author1978163079
            	-authors->author1293943865
            	-authors->author300748100
            }
	paper1599490280:Paper {
                .title : "Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue40
            	-cites->paper1489800325
            	-cites->paper1512371038
            	-cites->paper1526808427
            	-cites->paper1689834700
            	-cites->paper1819146036
            	-cites->paper1996832037
            	-cites->paper2041701185
            	-cites->paper2059226812
            	-cites->paper2071616717
            	-cites->paper2108571087
            	-cites->paper2109233982
            	-cites->paper2111299652
            	-cites->paper2114000297
            	-cites->paper2118826152
            	-cites->paper2134716336
            	-cites->paper2139872812
            	-cites->paper2140225592
            	-cites->paper2144807091
            	-cites->paper2145450038
            	-cites->paper2147276070
            	-cites->paper2156705373
            	-cites->paper2164693633
            	-cites->paper2167429246
            	-cites->paper2482678392
            	-authors->author211901146
            	-authors->author2116990958
            }
	paper1999340986:Paper {
                .title : "Classifying integrity checking methods with regard to inconsistency tolerance"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue95
            	-cites->paper132658143
            	-cites->paper181078895
            	-cites->paper190622319
            	-cites->paper1480514185
            	-cites->paper1545155892
            	-cites->paper1563464738
            	-cites->paper1599778614
            	-cites->paper1957041901
            	-cites->paper1970000427
            	-cites->paper1973288761
            	-cites->paper2006519067
            	-cites->paper2037504708
            	-cites->paper2075950442
            	-cites->paper2076126314
            	-cites->paper2077518845
            	-cites->paper2084827335
            	-cites->paper2099805467
            	-cites->paper2103920867
            	-cites->paper2119295867
            	-cites->paper2120820661
            	-cites->paper2985039099
            	-authors->author303637227
            	-authors->author2600423479
            }
	paper2041454162:Paper {
                .title : "A flexible channel access model for wireless network interface cards"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue118
            	-cites->paper1591726984
            	-cites->paper2000566811
            	-cites->paper2045202337
            	-cites->paper2158937243
            	-cites->paper2171041293
            	-authors->author2973884101
            	-authors->author2974247318
            }
	paper2058367869:Paper {
                .title : "Nu a dynamic aspectoriented intermediate language model and virtual machine for flexible runtime adaptation"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue125
            	-cites->paper1491095550
            	-cites->paper1501829296
            	-cites->paper1545945520
            	-cites->paper1565164326
            	-cites->paper1598886868
            	-cites->paper1654534824
            	-cites->paper1970462831
            	-cites->paper1970558557
            	-cites->paper1972328015
            	-cites->paper1979823255
            	-cites->paper2031282842
            	-cites->paper2040348150
            	-cites->paper2061180491
            	-cites->paper2071558059
            	-cites->paper2079777989
            	-cites->paper2083803628
            	-cites->paper2086394627
            	-cites->paper2088018252
            	-cites->paper2090727480
            	-cites->paper2099016869
            	-cites->paper2111141292
            	-cites->paper2111298490
            	-cites->paper2111386044
            	-cites->paper2136133803
            	-cites->paper2136238707
            	-cites->paper2137591753
            	-cites->paper2141317620
            	-cites->paper2146766856
            	-cites->paper2152722217
            	-cites->paper2295265000
            	-cites->paper2480195817
            	-cites->paper2913876616
            	-authors->author2046826343
            	-authors->author2277754161
            }
	paper2110795655:Paper {
                .title : "Global consistency checking of distributed models with TReMer"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue5
            	-cites->paper1983421263
            	-cites->paper1995544616
            	-cites->paper2025624633
            	-cites->paper2099698375
            	-cites->paper2123976282
            	-cites->paper2133724574
            	-cites->paper2148159886
            	-cites->paper2152846401
            	-cites->paper2159090554
            	-cites->paper2171627300
            	-authors->author2024882999
            	-authors->author1134822698
            	-authors->author329574911
            	-authors->author2032435099
            }
	paper2111723916:Paper {
                .title : "A MeasurementDriven Process Model for Managing Inconsistent Software Requirements"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue60
            	-cites->paper1556421367
            	-cites->paper1559179949
            	-cites->paper1582116930
            	-cites->paper1938613683
            	-cites->paper1963930008
            	-cites->paper1968128450
            	-cites->paper1970868783
            	-cites->paper2025624633
            	-cites->paper2044301784
            	-cites->paper2054097655
            	-cites->paper2066692416
            	-cites->paper2072082216
            	-cites->paper2093287224
            	-cites->paper2101375451
            	-cites->paper2117870171
            	-cites->paper2162100845
            	-cites->paper2163044311
            	-authors->author2155874124
            	-authors->author2170890522
            	-authors->author2126191483
            }
	paper2122518432:Paper {
                .title : "Trafficaware Stress Testing of Distributed RealTime Systems Based on UML Models in the Presence of Time Uncertainty"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue36
            	-cites->paper1602672367
            	-cites->paper1915593822
            	-cites->paper2006253492
            	-cites->paper2025618033
            	-cites->paper2030124341
            	-cites->paper2041838121
            	-cites->paper2052671997
            	-cites->paper2109926023
            	-cites->paper2116119186
            	-cites->paper2126637194
            	-cites->paper2150451270
            	-cites->paper2159416255
            	-cites->paper2163931728
            	-authors->author25117935
            }
	paper2139825106:Paper {
                .title : "A TwoStep Approach for Modelling Flexibility in Software Processes"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue77
            	-cites->paper102894873
            	-cites->paper1556049193
            	-cites->paper1576879044
            	-cites->paper2062635792
            	-cites->paper2073546381
            	-cites->paper2122646429
            	-cites->paper2152698756
            	-cites->paper2913036292
            	-authors->author2116943999
            	-authors->author2070089203
            	-authors->author2009325842
            }
	paper2143614054:Paper {
                .title : "Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue77
            	-cites->paper99545732
            	-cites->paper1975322993
            	-cites->paper1983160424
            	-cites->paper1998017916
            	-cites->paper2012959900
            	-cites->paper2019712414
            	-cites->paper2052132556
            	-cites->paper2060440626
            	-cites->paper2099698375
            	-cites->paper2117870171
            	-cites->paper2135432705
            	-cites->paper2141656264
            	-cites->paper2145209235
            	-cites->paper2146603391
            	-cites->paper2147454307
            	-cites->paper2154771281
            	-cites->paper2159090554
            	-cites->paper2162686404
            	-cites->paper2168690391
            	-cites->paper2294967233
            	-authors->author163926993
            	-authors->author2082763392
            	-authors->author722927782
            }
	paper2149864282:Paper {
                .title : "Detecting model inconsistency through operationbased model construction"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue5
            	-cites->paper99545732
            	-cites->paper2012959900
            	-cites->paper2043336932
            	-cites->paper2117870171
            	-cites->paper2125174515
            	-cites->paper2159090554
            	-cites->paper2161835696
            	-cites->paper2162686404
            	-cites->paper2294967233
            	-cites->paper2295541535
            	-authors->author2145487576
            	-authors->author2590659746
            	-authors->author2114871946
            	-authors->author1986880241
            }
	paper2157198435:Paper {
                .title : "Detecting and Repairing Inconsistencies across Heterogeneous Models"
            	.year : 2008
            	.core : true
            	.relevance:true
            	-venue->venue36
            	-cites->paper126954505
            	-cites->paper1486745608
            	-cites->paper1604272107
            	-cites->paper1967384977
            	-cites->paper1983421263
            	-cites->paper1983554492
            	-cites->paper2012959900
            	-cites->paper2026193949
            	-cites->paper2111537898
            	-cites->paper2149112225
            	-cites->paper2162425337
            	-authors->author2003314108
            	-authors->author2044930014
            	-authors->author1996244569
            }
	paper2167754145:Paper {
                .title : "Flexible AspectOriented Design Model Checking"
            	.year : 2008
            	.core : true
            	.relevance:false
            	-venue->venue60
            	-cites->paper1509054644
            	-cites->paper1969402593
            	-cites->paper2015479359
            	-cites->paper2156537303
            	-cites->paper2160019730
            	-cites->paper2170886957
            	-authors->author2167571421
            	-authors->author2677793465
            }
	paper31292625:Paper {
                .title : "A Generic Approach for Automatic Model Composition"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1509054644
            	-cites->paper1967389447
            	-cites->paper1978613757
            	-cites->paper2152846401
            	-cites->paper2156537303
            	-authors->author2030045634
            	-authors->author2059819287
            	-authors->author2240559668
            }
	paper89852222:Paper {
                .title : "Feature Modeling for ContextAware Software Product Lines"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue229
            	-cites->paper1505090407
            	-cites->paper1570173564
            	-cites->paper1993668354
            	-cites->paper2002237220
            	-cites->paper2108425969
            	-cites->paper2168867823
            	-authors->author2150835398
            	-authors->author2115094878
            	-authors->author2169120257
            }
	paper141628001:Paper {
                .title : "Modeling Uncertain and Imprecise Information in Process Modeling with UML"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue443
            	-cites->paper2015479359
            	-authors->author2695394167
            	-authors->author2500781316
            	-authors->author2675680963
            	-authors->author2703005164
            	-authors->author2406790765
            }
	paper157156687:Paper {
                .title : "Automated Whitebox Fuzz Testing"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue453
            	-cites->paper2135023759
            	-authors->author2153084974
            	-authors->author2001305480
            	-authors->author2634395717
            }
	paper175636070:Paper {
                .title : "  Software Engineering for SelfAdaptive Systems A Research Road Map"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue474
            	-authors->author2163867762
            	-authors->author2097290386
            	-authors->author2116990958
            	-authors->author2164045156
            	-authors->author2242511651
            }
	paper1480909796:Paper {
                .title : "Z an efficient SMT solver"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue11
            	-cites->paper2055477538
            	-authors->author1505484182
            	-authors->author1970241101
            }
	paper1482397304:Paper {
                .title : "On Validity of Program Transformations in the Java Memory Model"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue26
            	-cites->paper1491178396
            	-cites->paper1594381772
            	-cites->paper1598886868
            	-cites->paper2029601347
            	-cites->paper2091085450
            	-cites->paper2165365531
            	-cites->paper2194223632
            	-authors->author2276348271
            	-authors->author2043944749
            }
	paper1486420508:Paper {
                .title : "Search Strategies for Rectangle Packing"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue23
            	-authors->author2117866204
            	-authors->author2056506989
            }
	paper1490132578:Paper {
                .title : "A Tailored VModel Exploiting the Theory of Preemptive Time Petri Nets"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue591
            	-cites->paper2136877520
            	-authors->author2142185672
            	-authors->author1976668415
            	-authors->author2116632165
            }
	paper1505088841:Paper {
                .title : "State of the Art of QVT A Model Transformation Language Standard"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue650
            	-cites->paper1487694410
            	-authors->author1991128731
            }
	paper1508127515:Paper {
                .title : "Formal Definition of Feature Models to Support Software Product Line Evolution"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue405
            	-authors->author2149060929
            	-authors->author2504739709
            }
	paper1513395277:Paper {
                .title : "Specifying Separation of Duty Constraints in BPELPeople Processes"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue678
            	-cites->paper1840655788
            	-cites->paper2021079739
            	-cites->paper2038953226
            	-cites->paper2081186654
            	-cites->paper2124080036
            	-cites->paper2143049370
            	-cites->paper2145857528
            	-cites->paper2152505375
            	-cites->paper2154765153
            	-cites->paper2158860339
            	-authors->author2629490470
            	-authors->author18772361
            	-authors->author1983458687
            }
	paper1525290190:Paper {
                .title : "Checking WellFormedness of PureMethod Specifications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue447
            	-cites->paper1807498156
            	-cites->paper1970495662
            	-cites->paper2036603632
            	-cites->paper2055477538
            	-cites->paper2106192381
            	-cites->paper2127225601
            	-cites->paper2127505967
            	-authors->author2285904575
            	-authors->author2072859336
            	-authors->author2048134860
            }
	paper1535346311:Paper {
                .title : "Model Transformation as an Optimization Problem"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper2165203881
            	-cites->paper2169954581
            	-authors->author43152936
            	-authors->author2035567431
            	-authors->author2307587691
            }
	paper1535458435:Paper {
                .title : "From goals to highvariability software design"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue747
            	-cites->paper1500250067
            	-cites->paper1625345750
            	-cites->paper2017739343
            	-cites->paper2098909078
            	-cites->paper2105539612
            	-cites->paper2122824813
            	-cites->paper2123431646
            	-cites->paper2125174515
            	-cites->paper2138876988
            	-cites->paper2157437711
            	-authors->author2138229616
            	-authors->author110093395
            	-authors->author2161153869
            	-authors->author2145198186
            	-authors->author2169434849
            }
	paper1539949938:Paper {
                .title : "Integrating Safety Analyses and ComponentBased Design"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue15
            	-cites->paper1572214799
            	-cites->paper1594445969
            	-cites->paper1817316424
            	-cites->paper2134783233
            	-authors->author2303366843
            	-authors->author2163232796
            }
	paper1540852499:Paper {
                .title : "Generating DomainSpecific Model Editors with Complex Editing Commands"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue650
            	-cites->paper1963978173
            	-authors->author2136369289
            	-authors->author268076468
            	-authors->author1978163079
            	-authors->author2137064902
            }
	paper1555496414:Paper {
                .title : "A Framework for Proactive Selfadaptation of ServiceBased Applications Based on Online Testing"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue809
            	-authors->author2408543465
            	-authors->author2275406705
            	-authors->author347121824
            	-authors->author2112615328
            }
	paper1557855756:Paper {
                .title : "Quality Prediction of Service Compositions through Probabilistic Model Checking"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue176
            	-cites->paper2005998857
            	-cites->paper2044463389
            	-authors->author2478107639
            	-authors->author299671335
            	-authors->author2117494329
            	-authors->author2233149120
            }
	paper1557990975:Paper {
                .title : "Algebraic Models for Bidirectional Model Synchronization"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1985223393
            	-cites->paper2194223632
            	-authors->author2311987939
            }
	paper1559038862:Paper {
                .title : "Constructing Models with the HumanUsable Textual Notation"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1486745608
            	-cites->paper2030180265
            	-cites->paper2049008406
            	-cites->paper2063268247
            	-cites->paper2127237677
            	-cites->paper2162425337
            	-authors->author2003314108
            	-authors->author2044930014
            	-authors->author1996244569
            	-authors->author2116518350
            }
	paper1560743762:Paper {
                .title : "Efficient Modeling of Concurrent Systems in BMC"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue829
            	-cites->paper1556566737
            	-cites->paper1568729458
            	-cites->paper1782479956
            	-cites->paper1787074469
            	-cites->paper1973501242
            	-cites->paper2029601347
            	-cites->paper2054739713
            	-cites->paper2096475201
            	-cites->paper2149911648
            	-cites->paper2154557525
            	-cites->paper2159181605
            	-cites->paper2160781056
            	-authors->author2129619966
            	-authors->author2117247149
            }
	paper1563711585:Paper {
                .title : "Language support for managing variability in architectural models"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue849
            	-cites->paper149825191
            	-cites->paper1500250067
            	-authors->author2121809198
            	-authors->author2105601247
            	-authors->author2811397023
            	-authors->author2148604163
            }
	paper1564102710:Paper {
                .title : "Determining Placement of Intrusion Detectors for a Distributed Application through Bayesian Network Modeling"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue851
            	-cites->paper1755360231
            	-cites->paper2100033648
            	-cites->paper2110908300
            	-cites->paper2141200504
            	-cites->paper2156204309
            	-authors->author2162745679
            	-authors->author2222604416
            	-authors->author2312000221
            }
	paper1565805705:Paper {
                .title : "Verification of equivalentresults methods"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue13
            	-cites->paper1509562505
            	-cites->paper1556566737
            	-cites->paper1573044584
            	-cites->paper1583826417
            	-cites->paper1807498156
            	-cites->paper2035529004
            	-cites->paper2036603632
            	-cites->paper2073407646
            	-cites->paper2127505967
            	-authors->author2285904575
            	-authors->author710865586
            }
	paper1565927860:Paper {
                .title : "Semantically Configurable Code Generation"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1500250067
            	-cites->paper1985364899
            	-cites->paper2096039823
            	-cites->paper2131878172
            	-cites->paper2132609582
            	-authors->author2237275346
            	-authors->author2698943229
            	-authors->author2640805799
            	-authors->author2072346367
            }
	paper1567899858:Paper {
                .title : "Efficient Model Checking of Networked Applications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue872
            	-cites->paper1556566737
            	-cites->paper2136877520
            	-cites->paper2340735175
            	-authors->author1972961116
            	-authors->author240110451
            	-authors->author338941081
            	-authors->author2780239659
            }
	paper1569040469:Paper {
                .title : "Dynamically Adaptive Systems are Product Lines too Using ModelDriven Techniques to Capture Dynamic Variability of Adaptive Systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue568
            	-cites->paper1819146036
            	-cites->paper1854780612
            	-cites->paper2026125143
            	-cites->paper2048207092
            	-cites->paper2108425969
            	-cites->paper2115774534
            	-cites->paper2142874510
            	-cites->paper2171041293
            	-authors->author2133238635
            	-authors->author1971018604
            	-authors->author2131332028
            	-authors->author405793769
            }
	paper1573663598:Paper {
                .title : "Defining Abstract Graph Views as Module Interfaces"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue650
            	-cites->paper1562948410
            	-cites->paper1985223393
            	-authors->author314084050
            	-authors->author1190799406
            	-authors->author2501235264
            }
	paper1586175325:Paper {
                .title : "A BDDBased Approach to Verifying CloneEnabled Feature Models Constraints and Customization"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue241
            	-cites->paper1500250067
            	-cites->paper1509367797
            	-cites->paper1591726984
            	-cites->paper2067838808
            	-cites->paper2113201637
            	-cites->paper2115255691
            	-cites->paper2159181605
            	-authors->author2763419528
            	-authors->author2700124691
            	-authors->author2155874124
            	-authors->author1975030499
            }
	paper1589084785:Paper {
                .title : "Certified Reasoning in Memory Hierarchies"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue257
            	-cites->paper1964727056
            	-cites->paper2132761501
            	-cites->paper2135023759
            	-cites->paper2194223632
            	-authors->author2095940629
            	-authors->author1964507066
            	-authors->author2002395184
            }
	paper1602228945:Paper {
                .title : "Behavioral Modelling and Composition of Object Slices Using Event Observation"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1610570299
            	-cites->paper2090727480
            	-cites->paper2111141292
            	-authors->author2032339153
            	-authors->author72241827
            	-authors->author21183336
            }
	paper1653651910:Paper {
                .title : "Specification and Verification of Invariants by Exploiting Layers in OO Designs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue613
            	-cites->paper1573044584
            	-cites->paper1583095677
            	-cites->paper2103591546
            	-cites->paper2110050316
            	-cites->paper2143989135
            	-cites->paper2151131364
            	-authors->author2489024004
            	-authors->author2160777477
            	-authors->author1990103857
            	-authors->author2168038073
            }
	paper1675329038:Paper {
                .title : "Notarized federated ID management and authentication"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1060
            	-cites->paper1569083856
            	-authors->author2135853928
            	-authors->author2153400249
            	-authors->author237969062
            }
	paper1681015847:Paper {
                .title : "Using Bounded Model Checking to Verify Consensus Algorithms"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue704
            	-cites->paper2035362408
            	-cites->paper2075854425
            	-cites->paper2115309705
            	-cites->paper2133943294
            	-authors->author2016580195
            	-authors->author2947443720
            }
	paper1717272228:Paper {
                .title : "Assuring Consistency of Business Process Models and Web Services Using Visual Contracts"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue650
            	-authors->author165667033
            	-authors->author2062320239
            	-authors->author2136680303
            	-authors->author23426860
            }
	paper1751323052:Paper {
                .title : "OGC Sensor Web Enablement Overview and High Level Architecture"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1084
            	-authors->author2106577904
            	-authors->author157918779
            	-authors->author2498605361
            	-authors->author2290194668
            }
	paper1810787746:Paper {
                .title : "ResolutionLike Theorem Proving for HighLevel Conditions"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue428
            	-cites->paper1794155181
            	-cites->paper2079370090
            	-authors->author2006550187
            }
	paper1852929912:Paper {
                .title : "Formal Modeling and Analysis of a Flash Filesystem in Alloy"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1163
            	-cites->paper1519503479
            	-cites->paper1895387792
            	-cites->paper2020395879
            	-authors->author2123331094
            	-authors->author2120858950
            }
	paper1854780612:Paper {
                .title : "An AspectOriented and ModelDriven Approach for Managing Dynamic Variability"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue40
            	-cites->paper1978613757
            	-cites->paper2025383609
            	-cites->paper2026125143
            	-cites->paper2048207092
            	-cites->paper2108425969
            	-cites->paper2134716336
            	-cites->paper2167077144
            	-cites->paper2171041293
            	-authors->author235194984
            	-authors->author2030045634
            	-authors->author2807702182
            	-authors->author2131332028
            	-authors->author2100039332
            	-authors->author405793769
            	-authors->author2170376885
            }
	paper1893845610:Paper {
                .title : "Efficient Stateful Dynamic Partial Order Reduction"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue829
            	-cites->paper1568729458
            	-cites->paper2087252615
            	-cites->paper2097253829
            	-cites->paper2135948849
            	-cites->paper2136877520
            	-cites->paper2158449625
            	-cites->paper2159181605
            	-cites->paper2169870841
            	-authors->author2309436987
            	-authors->author2306774017
            	-authors->author2125163470
            	-authors->author2129100051
            }
	paper1909120645:Paper {
                .title : "A Brief Overview of PVS"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue717
            	-cites->paper1497571013
            	-cites->paper1556566737
            	-cites->paper1594381772
            	-cites->paper2340735175
            	-authors->author2091958867
            	-authors->author2118526916
            }
	paper1943070836:Paper {
                .title : "A Brief Overview of HOL"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue717
            	-cites->paper1556566737
            	-cites->paper1594381772
            	-cites->paper1924086464
            	-authors->author1989091640
            	-authors->author2103706242
            }
	paper1964566177:Paper {
                .title : "Juzi a tool for repairing complex data structures"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue5
            	-cites->paper2095850105
            	-cites->paper2141656264
            	-cites->paper2162968794
            	-authors->author36765649
            	-authors->author2103685797
            }
	paper1965979806:Paper {
                .title : "ATL A model transformation tool"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1277
            	-cites->paper2021327849
            	-cites->paper2129492722
            	-cites->paper2169954581
            	-authors->author139471901
            	-authors->author1991128731
            	-authors->author2557835935
            	-authors->author2010491942
            }
	paper1968796785:Paper {
                .title : "Boomerang resourceful lenses for string data"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue161
            	-authors->author143817722
            	-authors->author2093200457
            	-authors->author2234656419
            	-authors->author2138056070
            	-authors->author1988947184
            }
	paper1968830561:Paper {
                .title : "Automated error analysis for the agilization of feature modeling"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue525
            	-cites->paper1509367797
            	-cites->paper2052598892
            	-cites->paper2060440626
            	-cites->paper2082677523
            	-cites->paper2113201637
            	-authors->author2116036052
            	-authors->author2124048338
            	-authors->author2127331165
            	-authors->author2111905662
            	-authors->author2012239560
            }
	paper1970430984:Paper {
                .title : "An Introduction to Distributed Smart Cameras"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1340
            	-authors->author2099385763
            	-authors->author2189477617
            }
	paper1975003275:Paper {
                .title : "Automatic Maintenance of Association Invariants"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue533
            	-cites->paper2010879541
            	-cites->paper2137381974
            	-authors->author2469002573
            	-authors->author2152028019
            	-authors->author2106794147
            }
	paper1976695554:Paper {
                .title : "Statespace exploration for concurrent algorithms under weak memory orderings preliminary version"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1290
            	-cites->paper1972544179
            	-cites->paper1973501242
            	-cites->paper1986732422
            	-cites->paper1989300723
            	-cites->paper2029601347
            	-cites->paper2054961017
            	-cites->paper2105980774
            	-cites->paper2115309705
            	-cites->paper2129017891
            	-cites->paper2135395375
            	-cites->paper2160781056
            	-cites->paper2164288303
            	-authors->author2285498729
            }
	paper1981420413:Paper {
                .title : "Bigtable A Distributed Storage System for Structured Data"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1364
            	-cites->paper1992479210
            	-cites->paper2075854425
            	-cites->paper2106887953
            	-cites->paper2115600841
            	-authors->author2303980089
            	-authors->author2004395710
            	-authors->author2429370538
            	-authors->author2682017945
            	-authors->author2575315241
            	-authors->author2983643648
            	-authors->author2136379990
            	-authors->author2150538384
            	-authors->author2129779547
            }
	paper1987358714:Paper {
                .title : "Serializable isolation for snapshot databases"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue517
            	-cites->paper1515932031
            	-cites->paper1996952974
            	-cites->paper2117917070
            	-cites->paper2131751093
            	-cites->paper2133386065
            	-cites->paper2168227861
            	-authors->author2560104409
            	-authors->author2154123352
            	-authors->author2140136442
            }
	paper1993218696:Paper {
                .title : "Performance evaluation of a mobile agentbased platform for ubiquitous service provision"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1573
            	-authors->author2057939938
            	-authors->author229456565
            	-authors->author1985562270
            	-authors->author2089893688
            }
	paper1996923081:Paper {
                .title : "Incorporating constraints in probabilistic XML"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1313
            	-cites->paper2133457275
            	-authors->author1113585828
            	-authors->author2155371945
            	-authors->author734152518
            }
	paper2001051416:Paper {
                .title : "An Efficient Solution for Model Checking Graph Transformation Systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1470
            	-cites->paper1895387792
            	-cites->paper2087252615
            	-cites->paper2115309705
            	-cites->paper2118710739
            	-cites->paper2170188124
            	-authors->author1201908799
            	-authors->author39340634
            	-authors->author737834871
            	-authors->author2150830042
            }
	paper2001233105:Paper {
                .title : "FTSyn a framework for automatic synthesis of faulttolerance"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1525
            	-cites->paper1495119494
            	-cites->paper2039065451
            	-cites->paper2095425626
            	-cites->paper2103953153
            	-cites->paper2111132249
            	-cites->paper2120510885
            	-cites->paper2136671357
            	-cites->paper2154920174
            	-cites->paper2294415147
            	-authors->author2126513744
            	-authors->author2146138432
            	-authors->author283123783
            }
	paper2002547931:Paper {
                .title : "Principled reasoning and practical applications of alert fusion in intrusion detection systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue691
            	-cites->paper1591480890
            	-cites->paper1674877186
            	-cites->paper1755360231
            	-cites->paper1988918299
            	-cites->paper2141200504
            	-cites->paper2152449272
            	-cites->paper2163277533
            	-authors->author2150371625
            	-authors->author2155626625
            	-authors->author2309731995
            }
	paper2002711156:Paper {
                .title : "Compiling mappings to bridge applications and databases"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1487
            	-cites->paper1558832481
            	-cites->paper1985223393
            	-cites->paper2080267935
            	-cites->paper2153670461
            	-authors->author2304774990
            	-authors->author2022497718
            	-authors->author2805592821
            }
	paper2003373522:Paper {
                .title : "From goals to components a combined approach to selfmanagement"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1502
            	-cites->paper1489800325
            	-cites->paper2096910097
            	-cites->paper2163784380
            	-cites->paper2168028588
            	-authors->author2583943887
            	-authors->author2097290386
            	-authors->author2095806276
            	-authors->author2160000416
            }
	paper2006253492:Paper {
                .title : "Trafficaware stress testing of distributed realtime systems based on UML models using genetic algorithms"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue525
            	-cites->paper1602672367
            	-cites->paper1915593822
            	-cites->paper2025618033
            	-cites->paper2030124341
            	-cites->paper2041838121
            	-cites->paper2052671997
            	-cites->paper2109926023
            	-cites->paper2116119186
            	-cites->paper2118382442
            	-cites->paper2126637194
            	-cites->paper2150451270
            	-cites->paper2159416255
            	-cites->paper2163931728
            	-authors->author294141752
            	-authors->author2144557644
            	-authors->author25117935
            }
	paper2015377793:Paper {
                .title : "A FaultTolerant Model of Wireless SensorActuator Network"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1785
            	-cites->paper1515932031
            	-cites->paper1545155892
            	-cites->paper1587166076
            	-cites->paper2107951442
            	-cites->paper2109197610
            	-cites->paper2112161048
            	-cites->paper2120510885
            	-cites->paper2122048894
            	-cites->paper2146746579
            	-cites->paper2148085206
            	-authors->author2043833901
            	-authors->author2299825243
            	-authors->author2123229192
            	-authors->author2120372136
            }
	paper2029804570:Paper {
                .title : "A class of mean field interaction models for computer and communication systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1789
            	-authors->author323205836
            	-authors->author1903129595
            }
	paper2032644292:Paper {
                .title : "Change Management in MultiViewpoint System Using ASP"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1933
            	-cites->paper1672891595
            	-cites->paper1967384977
            	-cites->paper2043336932
            	-cites->paper2076676096
            	-cites->paper2102626454
            	-cites->paper2117870171
            	-cites->paper2125174515
            	-authors->author2138511335
            	-authors->author2218717932
            	-authors->author2963820545
            	-authors->author2108048446
            }
	paper2032875561:Paper {
                .title : "Of Changes and their History Some Ideas for Future IDEs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue17
            	-authors->author2158171975
            }
	paper2048207092:Paper {
                .title : "Genie supporting the model driven development of reflective componentbased adaptive systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue5
            	-cites->paper2115774534
            	-authors->author2128736411
            	-authors->author1971018604
            	-authors->author2131332028
            	-authors->author2190143158
            	-authors->author405793769
            }
	paper2050801173:Paper {
                .title : "Immix a markregion garbage collector with space efficiency fast collection and mutator performance"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue218
            	-cites->paper2102839400
            	-cites->paper2166091242
            	-authors->author2146610949
            	-authors->author2115847858
            }
	paper2055189624:Paper {
                .title : "Correctnessaware highlevel functional matching approaches for semantic Web services"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2144
            	-cites->paper2017739343
            	-cites->paper2036705516
            	-authors->author2437357652
            	-authors->author195128582
            	-authors->author2189720390
            }
	paper2059226812:Paper {
                .title : "Harnessing Digital Evolution"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1073
            	-cites->paper2139872812
            	-cites->paper2140225592
            	-authors->author211901146
            	-authors->author327948395
            	-authors->author2116990958
            	-authors->author331195918
            	-authors->author114734768
            	-authors->author2110222673
            }
	paper2059545693:Paper {
                .title : "An adaptive casteship mechanism for developing multiagent systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2178
            	-cites->paper98021641
            	-cites->paper1964024754
            	-cites->paper2050099582
            	-cites->paper2129899354
            	-cites->paper2157634313
            	-authors->author2607615413
            	-authors->author2661512200
            	-authors->author2708749558
            	-authors->author2109090819
            }
	paper2061983851:Paper {
                .title : "Code mobility modeling a temporal labeled reconfigurable nets"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2206
            	-cites->paper1497286055
            	-cites->paper1502003955
            	-cites->paper1511881082
            	-cites->paper1827220193
            	-cites->paper2013672985
            	-cites->paper2106529232
            	-cites->paper2113429830
            	-cites->paper2118185259
            	-cites->paper2128932399
            	-cites->paper2137865376
            	-authors->author2014012462
            	-authors->author331842850
            }
	paper2067163678:Paper {
                .title : "A flexible declarative presentation framework for domainspecific modeling"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2243
            	-cites->paper1963978173
            	-authors->author2429657358
            	-authors->author2005475479
            	-authors->author2781041785
            }
	paper2068079348:Paper {
                .title : "Availability analysis of blade server systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1288
            	-cites->paper1992580876
            	-cites->paper2035602304
            	-cites->paper2133820906
            	-cites->paper2145071552
            	-cites->paper2159443917
            	-authors->author2108293768
            	-authors->author2863477823
            	-authors->author2311422399
            	-authors->author2840452319
            }
	paper2090354977:Paper {
                .title : "Parallelism and Concurrency in Adhesive HighLevel Replacement Systems with Negative Application Conditions"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1470
            	-cites->paper1512007370
            	-cites->paper2118710739
            	-cites->paper2170188124
            	-authors->author1762008226
            	-authors->author2167098163
            	-authors->author692045707
            	-authors->author1293943865
            }
	paper2095656719:Paper {
                .title : "Revisiting the Core Ontology and Problem in Requirements Engineering"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue79
            	-cites->paper2113435553
            	-cites->paper2177007941
            	-authors->author2161153869
            	-authors->author729396177
            	-authors->author2138200259
            }
	paper2097164499:Paper {
                .title : "Deploying and managing Web services issues solutions and directions"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue602
            	-cites->paper2151472800
            	-cites->paper2165467455
            	-authors->author2309367016
            	-authors->author2141651534
            	-authors->author2306123936
            	-authors->author2162045343
            }
	paper2100231298:Paper {
                .title : "Modelling SelfAdaptivity A GoalOriented Approach"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2553
            	-cites->paper1980079693
            	-cites->paper2115774534
            	-authors->author1777678740
            	-authors->author2150105225
            	-authors->author2063336780
            }
	paper2101161997:Paper {
                .title : "Learning from mistakes a comprehensive study on real world concurrency bug characteristics"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue152
            	-cites->paper1972544179
            	-cites->paper1986913310
            	-cites->paper2082766667
            	-cites->paper2099537990
            	-cites->paper2105391037
            	-cites->paper2111759889
            	-cites->paper2135948849
            	-cites->paper2137422315
            	-cites->paper2149984854
            	-cites->paper2156428492
            	-authors->author2118924995
            	-authors->author2111557135
            	-authors->author2155186186
            	-authors->author2108425474
            }
	paper2103608266:Paper {
                .title : "A formal framework for developing adaptable servicebased applications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue19
            	-cites->paper1482962177
            	-cites->paper1526808427
            	-cites->paper2090354977
            	-cites->paper2109519329
            	-cites->paper2170188124
            	-authors->author692045707
            	-authors->author1399203037
            	-authors->author1293943865
            	-authors->author2016633321
            }
	paper2104514366:Paper {
                .title : "Data SetRealWorld Multiechelon Supply Chains Used for Inventory Optimization"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2631
            	-authors->author2205178165
            }
	paper2105980774:Paper {
                .title : "Effective Program Verification for Relaxed Memory Models"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue468
            	-cites->paper1568729458
            	-cites->paper1823635467
            	-cites->paper2024255419
            	-cites->paper2029601347
            	-cites->paper2039509099
            	-cites->paper2054739713
            	-cites->paper2058317042
            	-cites->paper2091085450
            	-cites->paper2101990169
            	-cites->paper2107859560
            	-cites->paper2135948849
            	-cites->paper2149911648
            	-cites->paper2159181605
            	-cites->paper2160781056
            	-cites->paper2169870841
            	-authors->author2303331168
            	-authors->author2306824899
            }
	paper2106981641:Paper {
                .title : "A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue54
            	-cites->paper1855065956
            	-cites->paper2043318789
            	-authors->author1891903742
            	-authors->author2973679896
            }
	paper2107344568:Paper {
                .title : "Automating Coevolution in ModelDriven Engineering"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1933
            	-cites->paper1967384977
            	-cites->paper2125822162
            	-cites->paper2139872812
            	-authors->author2071298843
            	-authors->author406154369
            	-authors->author1595079804
            	-authors->author2108048446
            }
	paper2107360681:Paper {
                .title : "Testing realtime systems using UPPAAL"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue447
            	-cites->paper1556566737
            	-cites->paper2011762419
            	-cites->paper2051374949
            	-cites->paper2133853708
            	-cites->paper2136877520
            	-authors->author2114353525
            	-authors->author199965553
            	-authors->author2146581609
            	-authors->author2175686863
            	-authors->author2011261465
            	-authors->author2156490652
            }
	paper2108703536:Paper {
                .title : "HumanRobot Interaction A Survey"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-cites->paper1541919721
            	-cites->paper1553650581
            	-cites->paper1957070465
            	-cites->paper2153738822
            	-cites->paper2311543941
            	-authors->author2183521611
            	-authors->author2166828809
            }
	paper2108897754:Paper {
                .title : "A MultiSensor Model to Improve Automated Attack Detection"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue851
            	-cites->paper1488676795
            	-cites->paper1594026167
            	-cites->paper1684452600
            	-cites->paper2109662977
            	-cites->paper2163277533
            	-authors->author2139719453
            	-authors->author2192407609
            	-authors->author2250428920
            }
	paper2108970696:Paper {
                .title : "Can We Transform Requirements into Architecture"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue178
            	-cites->paper2139907081
            	-cites->paper2169954581
            	-authors->author2013411230
            	-authors->author327216923
            }
	paper2110020044:Paper {
                .title : "A practical scalable distributed Btree"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue602
            	-cites->paper2101939036
            	-cites->paper2108026089
            	-cites->paper2133386065
            	-cites->paper2153704625
            	-authors->author2227333005
            	-authors->author2140057800
            	-authors->author2396404779
            }
	paper2110975996:Paper {
                .title : "Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue77
            	-cites->paper2129559874
            	-authors->author2798826629
            	-authors->author2892677075
            	-authors->author2126666387
            }
	paper2111429223:Paper {
                .title : "Domain Specific Languages with Graphical and Textual Views"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue650
            	-cites->paper1511832825
            	-cites->paper2049008406
            	-authors->author2160674753
            	-authors->author2108412495
            	-authors->author2654879715
            }
	paper2112444623:Paper {
                .title : "Sufficient Criteria for Applicability and NonApplicability of Rule Sequences"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue767
            	-cites->paper1498244333
            	-cites->paper1512007370
            	-cites->paper2090354977
            	-cites->paper2109519329
            	-authors->author692045707
            	-authors->author1978163079
            	-authors->author1293943865
            }
	paper2112836383:Paper {
                .title : "TwoLevel Variability Analysis for Business Process with Reusability and Extensibility"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue54
            	-cites->paper1505090407
            	-cites->paper1591726984
            	-authors->author2171557813
            	-authors->author2012787789
            	-authors->author2952155196
            }
	paper2114599137:Paper {
                .title : "Experimenting with exception propagation mechanisms in serviceoriented architecture"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1559
            	-cites->paper2145071552
            	-authors->author2089764178
            	-authors->author345861692
            	-authors->author189665783
            	-authors->author2217932816
            }
	paper2114645751:Paper {
                .title : "Attack Grammar A New Approach to Modeling and Analyzing Network Attack Sequences"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue165
            	-cites->paper1518431406
            	-cites->paper1590752147
            	-cites->paper2100033648
            	-cites->paper2109662977
            	-cites->paper2110908300
            	-cites->paper2121805588
            	-cites->paper2122269808
            	-cites->paper2163277533
            	-authors->author2704646983
            	-authors->author2134270494
            	-authors->author2648059454
            	-authors->author2158166610
            }
	paper2114790775:Paper {
                .title : "Supporting the GrowandPrune Model in Software Product Lines Evolution Using Clone Detection"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue115
            	-cites->paper1698439592
            	-cites->paper2109943392
            	-cites->paper2120319185
            	-cites->paper2157532207
            	-authors->author218731078
            	-authors->author2794299598
            	-authors->author314650031
            	-authors->author2228415913
            }
	paper2115403742:Paper {
                .title : "Contextaware rolebased access control in pervasive computing systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1821
            	-cites->paper1882088395
            	-cites->paper2021079739
            	-cites->paper2141696417
            	-cites->paper2154765153
            	-authors->author2165364720
            	-authors->author2125648198
            }
	paper2115774534:Paper {
                .title : "GoalBased Modeling of Dynamically Adaptive System Requirements"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2830
            	-cites->paper2017739343
            	-cites->paper2055689050
            	-cites->paper2138876988
            	-cites->paper2157437711
            	-cites->paper2162255975
            	-cites->paper2165203881
            	-authors->author211901146
            	-authors->author2133238635
            	-authors->author2116990958
            	-authors->author2190143158
            	-authors->author405793769
            }
	paper2116262133:Paper {
                .title : "MDDSOA ModelDriven Service Orchestration"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1933
            	-cites->paper1257099613
            	-authors->author2138824303
            	-authors->author2169929247
            	-authors->author2128327921
            }
	paper2116838329:Paper {
                .title : "Enhancing Data Flow Testing of Classes through Design by Contract"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2489
            	-cites->paper1978261680
            	-cites->paper2024795941
            	-cites->paper2129083927
            	-authors->author2754676475
            	-authors->author2973752095
            }
	paper2117352154:Paper {
                .title : "TypeChecking Software Product Lines  A Formal Approach"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue77
            	-cites->paper1500250067
            	-cites->paper2080648611
            	-cites->paper2094810043
            	-cites->paper2112000202
            	-cites->paper2113201637
            	-cites->paper2167500728
            	-authors->author2036720062
            	-authors->author2170711779
            }
	paper2117487844:Paper {
                .title : "The Development of a Realistic Simulation Framework with OMNeT"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2857
            	-authors->author2162122489
            	-authors->author2150328097
            	-authors->author2778440458
            	-authors->author2202411599
            	-authors->author2661573256
            }
	paper2117892946:Paper {
                .title : "Reducing accidental complexity in domain models"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue533
            	-cites->paper1589632492
            	-cites->paper2044463389
            	-cites->paper2079814255
            	-cites->paper2141871659
            	-authors->author2277990351
            	-authors->author2110818429
            }
	paper2121597553:Paper {
                .title : "DBPowdermdl Mapping Description Language between Applications and Databases"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2489
            	-cites->paper1554311651
            	-authors->author2632411601
            }
	paper2122997609:Paper {
                .title : "Repair localization for query answering from inconsistent databases"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1487
            	-cites->paper1491205793
            	-cites->paper1558832481
            	-cites->paper1976055110
            	-cites->paper2077518845
            	-cites->paper2108658789
            	-authors->author2129707720
            	-authors->author2158563094
            	-authors->author2106208029
            	-authors->author420267153
            }
	paper2123477225:Paper {
                .title : "Towards a Collaborative and Systematic Approach to Alert Verification"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1742
            	-cites->paper1508143096
            	-cites->paper2115149820
            	-cites->paper2152449272
            	-authors->author2660162330
            	-authors->author2639604841
            	-authors->author2690244060
            }
	paper2124638003:Paper {
                .title : "From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue767
            	-cites->paper1511832825
            	-authors->author692045707
            	-authors->author2188988982
            	-authors->author2158595970
            }
	paper2126577688:Paper {
                .title : "A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1470
            	-cites->paper1561057365
            	-cites->paper1963978173
            	-cites->paper2185674212
            	-authors->author692045707
            	-authors->author2158595970
            	-authors->author1978163079
            }
	paper2127099711:Paper {
                .title : "Automated Deployment of Distributed Software Components with Fault Tolerance Guarantees"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue5
            	-authors->author2050486392
            	-authors->author1990677562
            	-authors->author2130913834
            }
	paper2127507904:Paper {
                .title : "SPLACID An SPLOriented ACTABased Language for Reusing Varying ACID Properties"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue201
            	-cites->paper1855065956
            	-cites->paper1895387792
            	-cites->paper2043318789
            	-cites->paper2074095926
            	-cites->paper2106981641
            	-cites->paper2119887456
            	-authors->author1891903742
            	-authors->author147076140
            }
	paper2127825616:Paper {
                .title : "Gadara dynamic deadlock avoidance for multithreaded programs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue330
            	-cites->paper1972544179
            	-cites->paper1993836075
            	-cites->paper2054961017
            	-cites->paper2101161997
            	-cites->paper2122502383
            	-cites->paper2141222493
            	-cites->paper2149984854
            	-cites->paper2340530615
            	-cites->paper2340735175
            	-authors->author2120613155
            	-authors->author665618233
            	-authors->author2426629451
            	-authors->author2171934779
            	-authors->author2078155468
            }
	paper2128248970:Paper {
                .title : "Selective Hardening in Early Design Steps"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3033
            	-authors->author2106400595
            	-authors->author16736758
            	-authors->author89805724
            	-authors->author2155035986
            }
	paper2130966309:Paper {
                .title : "ModelBased Testing of Automotive Systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue36
            	-authors->author2973469378
            	-authors->author2974699836
            }
	paper2131060636:Paper {
                .title : "SUMLOW early designstage sketching of UML diagrams on an Ewhiteboard"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1593
            	-cites->paper1971930425
            	-cites->paper1977198981
            	-cites->paper2001961185
            	-cites->paper2052132556
            	-cites->paper2153360297
            	-cites->paper2162385689
            	-authors->author2311088539
            	-authors->author2655798101
            	-authors->author2070539660
            }
	paper2131263787:Paper {
                .title : "Querying UML Models using OCL and Prolog A Performance Study"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue36
            	-cites->paper1487694410
            	-cites->paper2149230051
            	-authors->author2636000826
            	-authors->author2618283804
            	-authors->author2030410559
            	-authors->author2227155230
            }
	paper2132471494:Paper {
                .title : "A Survey on the Flexibility Requirements Related to Business Processes and Modeling Artifacts"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2752
            	-cites->paper1972095388
            	-cites->paper2096039823
            	-cites->paper2119056988
            	-cites->paper2124920934
            	-cites->paper2129559874
            	-cites->paper2913036292
            	-authors->author134801423
            }
	paper2133662847:Paper {
                .title : "Effective static race detection for Java"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-cites->paper17332244
            	-cites->paper1972544179
            	-cites->paper1973501242
            	-cites->paper2002179840
            	-cites->paper2016323637
            	-cites->paper2080267935
            	-cites->paper2082766667
            	-cites->paper2088139180
            	-cites->paper2091085450
            	-cites->paper2105391037
            	-cites->paper2109875364
            	-cites->paper2127989655
            	-cites->paper2134747058
            	-cites->paper2149984854
            	-cites->paper2156428492
            	-cites->paper2158449625
            	-authors->author2067453598
            	-authors->author2005763208
            	-authors->author2262305730
            }
	paper2134855135:Paper {
                .title : "Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1000
            	-cites->paper12874984
            	-cites->paper1600334244
            	-cites->paper1966654106
            	-cites->paper2060903226
            	-cites->paper2136317684
            	-cites->paper2166365253
            	-authors->author78186291
            	-authors->author2164889879
            	-authors->author2127483189
            	-authors->author2344120076
            }
	paper2135395375:Paper {
                .title : "Race directed random testing of concurrent programs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue218
            	-cites->paper17332244
            	-cites->paper1972544179
            	-cites->paper2002179840
            	-cites->paper2082766667
            	-cites->paper2088139180
            	-cites->paper2096475201
            	-cites->paper2105391037
            	-cites->paper2109875364
            	-cites->paper2115309705
            	-cites->paper2127989655
            	-cites->paper2133662847
            	-cites->paper2134747058
            	-cites->paper2135023759
            	-cites->paper2135948849
            	-cites->paper2137422315
            	-cites->paper2149984854
            	-cites->paper2158449625
            	-cites->paper2160781056
            	-cites->paper2340735175
            	-authors->author2157836386
            }
	paper2136159049:Paper {
                .title : "Alert Detection in System Logs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3169
            	-cites->paper1558516248
            	-cites->paper2121122863
            	-authors->author2067453598
            	-authors->author689764804
            	-authors->author2077435583
            }
	paper2139690978:Paper {
                .title : "Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3216
            	-authors->author947612571
            	-authors->author2127483189
            }
	paper2141222493:Paper {
                .title : "Irrevocable transactions and their applications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1284
            	-cites->paper1515932031
            	-authors->author1569899815
            	-authors->author1565612411
            	-authors->author2173955614
            }
	paper2141411037:Paper {
                .title : "Faithful mapping of model classes to mathematical structures"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3244
            	-cites->paper1480285224
            	-cites->paper1807498156
            	-cites->paper1977978965
            	-cites->paper2035529004
            	-cites->paper2110050316
            	-cites->paper2140001025
            	-authors->author2285904575
            	-authors->author2048134860
            }
	paper2141618784:Paper {
                .title : "Verification of chip multiprocessor memory systems using a relaxed scoreboard"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue74
            	-cites->paper1986463648
            	-cites->paper1986913310
            	-cites->paper2029601347
            	-cites->paper2105945277
            	-cites->paper2137650676
            	-cites->paper2166422778
            	-cites->paper2170212320
            	-cites->paper2170846240
            	-authors->author1834378833
            	-authors->author2113577245
            	-authors->author2040876639
            	-authors->author2109388736
            	-authors->author32985076
            	-authors->author1967426525
            }
	paper2142242910:Paper {
                .title : "Using Graph Transformation Systems to Specify and Verify Data Abstractions"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue767
            	-cites->paper1498244333
            	-cites->paper1583095677
            	-cites->paper1583826417
            	-cites->paper2111706174
            	-authors->author2156588810
            	-authors->author291426481
            	-authors->author737834871
            	-authors->author2233149120
            }
	paper2142736763:Paper {
                .title : "TestQualityCost Optimization Using OutputDeviationBased Reordering of Test Patterns"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1452
            	-cites->paper2144432950
            	-cites->paper2156443301
            	-cites->paper2158102622
            	-authors->author2159885520
            	-authors->author2086842834
            }
	paper2145130321:Paper {
                .title : "VariationOriented Engineering VOE Enhancing Reusability of SOAbased Solutions"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3216
            	-cites->paper2067838808
            	-cites->paper2094810043
            	-authors->author1960273364
            	-authors->author2067664265
            	-authors->author2137423774
            	-authors->author2115657745
            }
	paper2145450038:Paper {
                .title : "Software development with imperfect information"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3314
            	-cites->paper2162178624
            	-authors->author2129173792
            	-authors->author2047412352
            	-authors->author2027605797
            }
	paper2146840150:Paper {
                .title : "MarketOriented Cloud Computing Vision Hype and Reality for Delivering IT Services as Computing Utilities"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2765
            	-authors->author2145289708
            	-authors->author2143742895
            	-authors->author737083156
            }
	paper2146935998:Paper {
                .title : "Formal modelling and analysis of XML firewall for serviceoriented systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3341
            	-cites->paper1759712729
            	-cites->paper2166602595
            	-authors->author2314273057
            	-authors->author236773611
            	-authors->author2168493545
            }
	paper2148576927:Paper {
                .title : "Effective Software Merging in the Presence of ObjectOriented Refactorings"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1331
            	-cites->paper2001907377
            	-cites->paper2121668868
            	-cites->paper2153887189
            	-cites->paper2161835696
            	-authors->author2159634021
            	-authors->author2122367371
            	-authors->author602257659
            	-authors->author2151252387
            }
	paper2149960827:Paper {
                .title : "Massively multiplayer online roleplaying games the past present and future"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3388
            	-authors->author2170483195
            	-authors->author2250902721
            	-authors->author2974467624
            }
	paper2150013559:Paper {
                .title : "PNUTS Yahoos hosted data serving platform"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue602
            	-cites->paper1515932031
            	-cites->paper1545155892
            	-cites->paper2001803004
            	-cites->paper2020765652
            	-cites->paper2041180570
            	-cites->paper2108026089
            	-cites->paper2153704625
            	-authors->author2274204266
            	-authors->author2164040783
            	-authors->author2692598934
            	-authors->author1963506564
            	-authors->author2287382512
            	-authors->author2600931050
            	-authors->author2003419062
            	-authors->author2709275977
            	-authors->author2222074182
            }
	paper2150148998:Paper {
                .title : "Runtime validation of memory ordering using constraint graph checking"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1435
            	-cites->paper1694765325
            	-cites->paper1973501242
            	-cites->paper2029601347
            	-cites->paper2039509099
            	-cites->paper2076003965
            	-cites->paper2105945277
            	-cites->paper2111491143
            	-cites->paper2116454140
            	-cites->paper2145021036
            	-cites->paper2164264749
            	-authors->author2156970971
            	-authors->author2761923680
            	-authors->author2117867918
            }
	paper2152885346:Paper {
                .title : "Foundations of the C concurrency memory model"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue218
            	-cites->paper1885534640
            	-cites->paper1966151719
            	-cites->paper2010497096
            	-cites->paper2029601347
            	-cites->paper2039509099
            	-cites->paper2054739713
            	-cites->paper2091085450
            	-cites->paper2104579430
            	-cites->paper2105900173
            	-cites->paper2135023759
            	-cites->paper2152390090
            	-cites->paper2153174073
            	-cites->paper2176864362
            	-authors->author2346116799
            	-authors->author2249843789
            }
	paper2153523756:Paper {
                .title : "Evaluating guidelines for reporting empirical software engineering studies"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue530
            	-cites->paper2013222969
            	-cites->paper2111199933
            	-cites->paper2163851162
            	-authors->author2129302430
            	-authors->author2147268519
            	-authors->author2159138297
            	-authors->author2344878386
            	-authors->author2118256005
            	-authors->author2777935592
            	-authors->author1971801425
            	-authors->author2653684707
            	-authors->author1928500802
            	-authors->author283146168
            }
	paper2155912669:Paper {
                .title : "Applying Software Product Lines to Build Autonomic Pervasive Systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue568
            	-cites->paper1509367797
            	-cites->paper2052598892
            	-cites->paper2071616717
            	-cites->paper2094810043
            	-cites->paper2108425969
            	-cites->paper2138876988
            	-authors->author2166019959
            	-authors->author2156088926
            	-authors->author126441702
            }
	paper2156210955:Paper {
                .title : "Fault tolerance for highly available internet services concepts approaches and issues"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3164
            	-authors->author1232121510
            	-authors->author2790392185
            	-authors->author1946690298
            	-authors->author681358083
            }
	paper2156591015:Paper {
                .title : "Reversi Postsilicon validation system for modern microprocessors"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2577
            	-authors->author1988532706
            	-authors->author2083963182
            }
	paper2156705373:Paper {
                .title : "Digital Evolution of Behavioral Models for Autonomic Systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1132
            	-cites->paper1526808427
            	-cites->paper2041701185
            	-cites->paper2059226812
            	-cites->paper2071616717
            	-cites->paper2108571087
            	-cites->paper2109233982
            	-cites->paper2111299652
            	-cites->paper2118826152
            	-cites->paper2138876988
            	-cites->paper2139872812
            	-cites->paper2140225592
            	-cites->paper2144807091
            	-cites->paper2147276070
            	-authors->author211901146
            	-authors->author327948395
            	-authors->author2116990958
            	-authors->author114734768
            	-authors->author331195918
            }
	paper2158937243:Paper {
                .title : "YAVISTA A Graphical Tool for Comparing  Simulators"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3556
            	-authors->author1987833035
            	-authors->author2344796860
            }
	paper2159181605:Paper {
                .title : "Requirements Coverage as an Adequacy Measure for Conformance Testing"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue447
            	-cites->paper1482962177
            	-cites->paper2340735175
            	-authors->author2227343783
            	-authors->author1950713449
            	-authors->author2001238367
            	-authors->author2098545633
            }
	paper2160332621:Paper {
                .title : "Automated Diagnosis of ProductLine Configuration Errors in Feature Models"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue568
            	-cites->paper1509367797
            	-cites->paper1570173564
            	-cites->paper1591726984
            	-cites->paper1968830561
            	-cites->paper2082677523
            	-cites->paper2104257432
            	-authors->author2122019980
            	-authors->author2112563107
            	-authors->author2124048338
            	-authors->author2111905662
            	-authors->author2012239560
            }
	paper2160983664:Paper {
                .title : "AtomAid Detecting and Surviving Atomicity Violations"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue143
            	-cites->paper1972544179
            	-cites->paper1982125317
            	-cites->paper1986913310
            	-cites->paper2016323637
            	-cites->paper2101161997
            	-cites->paper2105900173
            	-cites->paper2111759889
            	-cites->paper2134633067
            	-cites->paper2137422315
            	-cites->paper2143869535
            	-cites->paper2149984854
            	-cites->paper2176864362
            	-authors->author2096246024
            	-authors->author2066309807
            	-authors->author2158780061
            	-authors->author2259546344
            }
	paper2160998628:Paper {
                .title : "Sample Spaces and Feature Models There and Back Again"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue568
            	-cites->paper1500250067
            	-cites->paper1755360231
            	-cites->paper2082677523
            	-cites->paper2113201637
            	-cites->paper2125853721
            	-cites->paper2159080219
            	-cites->paper2160325552
            	-authors->author2139239461
            	-authors->author2005359383
            	-authors->author1971965784
            }
	paper2162386866:Paper {
                .title : "Introducing Recovery Style for Modeling and Analyzing System Recovery"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1000
            	-cites->paper1600979142
            	-cites->paper1998017916
            	-cites->paper2038476425
            	-cites->paper2100970777
            	-cites->paper2122824813
            	-cites->paper2126230853
            	-cites->paper2145071552
            	-cites->paper2158149707
            	-cites->paper2162366870
            	-authors->author145797151
            	-authors->author1913405697
            }
	paper2162549950:Paper {
                .title : "The Rubus component model for resource constrained realtime systems"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3618
            	-authors->author2022442947
            	-authors->author2011521690
            	-authors->author2501540786
            	-authors->author15074009
            	-authors->author2096975336
            	-authors->author1887263313
            }
	paper2163382363:Paper {
                .title : "Supporting Requirements Change Management in Goal Oriented Analysis"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue79
            	-cites->paper2145973309
            	-cites->paper2157437711
            	-authors->author2223906274
            	-authors->author2101061144
            	-authors->author2941346534
            	-authors->author2225899589
            	-authors->author2480076198
            	-authors->author2041520433
            }
	paper2166266685:Paper {
                .title : "Kicking the tires of software transactional memory why the going gets tough"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1284
            	-cites->paper2145021036
            	-cites->paper2340530615
            	-authors->author2148246411
            	-authors->author1569899815
            	-authors->author1565612411
            	-authors->author2147887293
            	-authors->author2120252619
            	-authors->author2173955614
            }
	paper2168519318:Paper {
                .title : "A Layered Architecture for Detecting Malicious Behaviors"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue851
            	-cites->paper1522250664
            	-authors->author2193269139
            	-authors->author2125383417
            	-authors->author1251691842
            	-authors->author2076493382
            	-authors->author2150534758
            }
	paper2169239645:Paper {
                .title : "Cyber Physical Systems Design Challenges"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue802
            	-cites->paper2054961017
            	-cites->paper2118824103
            	-authors->author2104350586
            }
	paper2169875292:Paper {
                .title : "The PARSEC benchmark suite characterization and architectural implications"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1613
            	-cites->paper1555915743
            	-cites->paper2145021036
            	-authors->author951368644
            	-authors->author2974630484
            	-authors->author2166597129
            	-authors->author2954983786
            }
	paper2171552628:Paper {
                .title : "A case study in testing a network security algorithm"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3780
            	-cites->paper1591480890
            	-cites->paper1988918299
            	-cites->paper2156204309
            	-authors->author2158291066
            }
	paper2294168344:Paper {
                .title : "FAMA Framework"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3862
            	-cites->paper1968830561
            	-authors->author2617036353
            	-authors->author2124048338
            	-authors->author2125532070
            	-authors->author2111905662
            	-authors->author2012239560
            }
	paper2340530615:Paper {
                .title : "Transactional memory"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue3878
            	-cites->paper1515932031
            	-authors->author635023701
            	-authors->author713250648
            }
	paper2341655714:Paper {
                .title : "Eventually consistent"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue1676
            	-cites->paper2153704625
            	-authors->author2689226784
            }
	paper2795013533:Paper {
                .title : "Designing Web Content Management Systems Using the Method Association Approach"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue4069
            	-cites->paper2122824813
            	-authors->author2255147862
            	-authors->author231184312
            	-authors->author2151217767
            	-authors->author69420482
            	-authors->author1986868178
            }
	paper2913253589:Paper {
                .title : "Testing Metamodels"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue774
            	-cites->paper1608087281
            	-cites->paper2107061559
            	-cites->paper2129083927
            	-authors->author536165394
            	-authors->author1431511875
            }
	paper2914934190:Paper {
                .title : "Transactional flash"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue330
            	-cites->paper1995626000
            	-cites->paper2104954161
            	-cites->paper2135652458
            	-authors->author2160828216
            	-authors->author2158515488
            	-authors->author2021871875
            }
	paper1483161216:Paper {
                .title : "Introduction and Roadmap History and Challenges of Software Evolution"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue4116
            	-authors->author1986880241
            }
	paper1486172410:Paper {
                .title : "Introduction to Software Testing"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-authors->author2307659872
            	-authors->author1963645155
            }
	paper1498432697:Paper {
                .title : "Principles of Model Checking"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-authors->author2163680003
            	-authors->author2036890539
            }
	paper1814543774:Paper {
                .title : "Mencius building efficient replicated state machines for WANs"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue330
            	-cites->paper1973501242
            	-cites->paper1992479210
            	-cites->paper2035362408
            	-cites->paper2075854425
            	-cites->paper2077240273
            	-cites->paper2077671984
            	-cites->paper2114407468
            	-cites->paper2133943294
            	-cites->paper2152465173
            	-authors->author2128454953
            	-authors->author677445823
            	-authors->author2308249582
            }
	paper2091968063:Paper {
                .title : "The MathSAT  SMT Solver"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue468
            	-authors->author2150132257
            	-authors->author1478355294
            	-authors->author1918427700
            	-authors->author2164428911
            	-authors->author2118432880
            }
	paper2161060677:Paper {
                .title : "Availability Modeling of SIP Protocol on IBM WebSphere"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue2641
            	-cites->paper2035602304
            	-cites->paper2068079348
            	-cites->paper2112229383
            	-authors->author2108293768
            	-authors->author2974893794
            	-authors->author2836870221
            	-authors->author2425256140
            	-authors->author2646365583
            	-authors->author2843308661
            }
	paper2406470551:Paper {
                .title : "Upper and Lower Probabilities Induced by a Multivalued Mapping"
            	.year : 2008
            	.core : false
            	.relevance:false
            	-venue->venue4312
            	-authors->author2141755694
            }
}