1.5(top 50%)
impact factor
2.4K(top 10%)
papers
43.8K(top 10%)
citations
79(top 10%)
h-index
1.6(top 50%)
impact factor
3.0K
all documents
47.3K
doc citations
156(top 5%)
g-index

Top Articles

#TitleJournalYearCitations
1Statecharts: a visual formalism for complex systemsScience of Computer Programming19875,118
2Goal-directed requirements acquisitionScience of Computer Programming19931,486
3The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming19921,195
4The Daikon system for dynamic detection of likely invariantsScience of Computer Programming2007741
5Comparison and evaluation of code clone detection techniques and tools: A qualitative approachScience of Computer Programming2009737
6ATL: A model transformation toolScience of Computer Programming2008717
7Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming1982514
8Generalising monads to arrowsScience of Computer Programming2000380
9Finding repeated elementsScience of Computer Programming1982357
10Google’s MapReduce programming model — RevisitedScience of Computer Programming2008357
11FeatureIDE: An extensible framework for feature-oriented software developmentScience of Computer Programming2014336
12USE: A UML-based specification environment for validating UML and OCLScience of Computer Programming2007323
13The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systemsScience of Computer Programming2008310
14Functional documents for computer systemsScience of Computer Programming1995309
15The TXL source transformation languageScience of Computer Programming2006279
16A survey of fault localization techniques in computer networksScience of Computer Programming2004276
17Multi-agent oriented programming with JaCaMoScience of Computer Programming2013256
18A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming1987255
19Stratego/XT 0.17. A language and toolset for program transformationScience of Computer Programming2008250
20Formal semantics and analysis of control flow in WS-BPELScience of Computer Programming2007247
21Modeling component connectors in Reo by constraint automataScience of Computer Programming2006238
22Modalities for model checking: branching time logic strikes backScience of Computer Programming1987205
23Synchronous programming with events and relations: the SIGNAL language and its semanticsScience of Computer Programming1991190
24The gamma model and its discipline of programmingScience of Computer Programming1990183
25Decomposition of distributed programs into communication-closed layersScience of Computer Programming1982168
26Composition for component-based modelingScience of Computer Programming2005163
27Chronos: A timing analyzer for embedded softwareScience of Computer Programming2007163
28On the expressive power of programming languagesScience of Computer Programming1991158
29FAMILIAR: A domain-specific language for large scale management of feature modelsScience of Computer Programming2013158
30From tuple spaces to tuple centresScience of Computer Programming2001154
31The model transformation language of the VIATRA2 frameworkScience of Computer Programming2007154
32An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming1990152
33Strictness analysis for higher-order functionsScience of Computer Programming1986147
34Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failureScience of Computer Programming2014146
35Weighted pushdown systems and their application to interprocedural dataflow analysisScience of Computer Programming2005144
36The JastAdd system — modular extensible compiler constructionScience of Computer Programming2007142
37Model checking using net unfoldingsScience of Computer Programming1994140
38Probabilistic models for the guarded command languageScience of Computer Programming1997133
39Six strategies for generalizing software engineering theoriesScience of Computer Programming2015133
40Data structures and program transformationScience of Computer Programming1990129
41A text-based approach to feature modelling: Syntax and semantics of TVLScience of Computer Programming2011128
42Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming1984124
43Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming1987122
44JastAdd—an aspect-oriented compiler construction systemScience of Computer Programming2003122
45Graph transformation for specification and programmingScience of Computer Programming1999121
46A customizable approach to full lifecycle variability managementScience of Computer Programming2004121
47Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)Science of Computer Programming2005118
48Dynamic typing: syntax and proof theoryScience of Computer Programming1994114
49Silver: An extensible attribute grammar systemScience of Computer Programming2010114
50Automatic autoprojection of recursive equations with global variables and abstract data typesScience of Computer Programming1991113