Top conferences in software engineering 1–100 of 209 results
Conferences Publications
 
1
ICSE - International Conference on Software Engineering 2118 60
2
CAV - Computer Aided Verification 383 39
3
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications 983 38
4
AOSD - Aspect-Oriented Software Development 260 37
5
TACAS - Tools and Algorithms for Construction and Analysis of Systems 322 34
6
SAC - ACM Symposium on Applied Computing 2975 32
7
ESEC - European Software Engineering Conference 325 30
8
VMCAI - Verification, Model Checking and Abstract Interpretation 223 29
9
ASE - Automated Software Engineering 747 28
10
ICSM - International Conference on Software Maintenance 588 28
11
ISSTA - International Symposium on Software Testing and Analysis 253 26
12
Dagstuhl Seminars 1801 25
13
ITC - International Test Conference 1119 25
14
SPIN - International Workshop on Model Checking of Software 205 25
15
CP - Principles and Practice of Constraint Programming 522 24
16
SAS(WSA) - Static Analysis Symposium/Workshop on Static Analysis 182 24
17
VEE - International Conference on Virtual Execution Environments 111 23
18
FoSSaCS - Foundations of Software Science and Computation Structure 243 22
19
MODELS - Model Driven Engineering Languages and Systems 525 21
20
CSMR - Conference on Software Maintenance and Reengineering 488 21
21
WCRE - Working Conference on Reverse Engineering 300 21
22
FASE - Fundamental Approaches to Software Engineering 240 21
23
QEST - Quantitative Evaluation of Systems 384 20
24
ICPC - International Conference on Program Comprehension 340 20
25
SPLC - Software Product Lines 325 20
26
MSR - Mining Software Repositories 258 20
27
RTA - Rewriting Techniques and Applications 230 20
28
Generative Programming and Component Engineering 177 19
29
COMPSAC - International Computer Software and Applications Conference 1359 18
30
WICSA - Working IEEE/IFIP Conference on Software Architecture 320 18
31
ISSRE - International Symposium on Software Reliability Engineering 304 18
32
UML - The Unified Modeling Language 172 18
33
WIKIS - International Symposium on Wikis 177 17
34
FM - World Congress on Formal Methods 175 17
35
ISESE - International Symposium on Empirical Software 146 17
36
WOSP - Workshop on Software and Performance 132 17
37
METRICS - IEEE International Software Metrics Symposium 98 17
38
SEFM - Conference on Software Engineering and Formal Methods 313 16
39
IEEE International Conference on Formal Engineering Methods 241 16
40
FMCAD - Formal Methods in Computer-Aided Design 216 16
41
FORMATS - Formal Modeling and Analysis of Timed Systems 160 16
42
EUROMICRO - Conference on Software Engineering and Advanced Applications 157 16
43
SOCO - Software Composition 107 16
44
ISMM - International Symposium on Memory Management 101 16
45
PASTE - Workshop on Program Analysis For Software Tools and Engineering 72 16
46
CBSE - Component-Based Software Engineering 159 15
47
ECMDAFA - European Conference on Model Driven Architecture - Foundations and Applications 155 15
48
SOFTVIS - Software Visualization 130 15
49
COORDINATION - Coordination Models and Languages 130 15
50
APSEC - Asia-Pacific Software Engineering Conference 683 14
51
QSIC - International Conference on Quality Software 498 14
52
Australian Software Engineering Conference 394 14
53
ATVA - Automated Technology for Verification and Analysis 251 14
54
SEKE - Software Engineering and Knowledge Engineering 937 13
55
ISCIS - International Symposium on Computer and Information Sciences 653 13
56
XP Universe - Extreme Programming 472 13
57
ICECCS - International Conference on Engineering of Complex Computer Systems 384 13
58
ICGSE - IEEE International Conference on Global Software Engineering 243 13
59
IFM - Integrated Formal Methods 132 13
60
LOPSTR - Logic Program Synthesis and Transformation 123 13
61
MPC - Mathematics of Program Construction 90 13
62
FroCos - Frontiers of Combining Systems 61 13
63
ACS/IEEE International Conference on Computer Systems and Applications 1000 12
64
WETICE - Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises 622 12
65
ICST - International Conference on Software Testing, Verification, and Validation 600 12
66
ISOLA - Leveraging Applications of Formal Methods 310 12
67
PROFES - Product Focused Software Process Improvement 275 12
68
SCAM - Source Code Analysis and Manipulation 159 12
69
AMAST - Algebraic Methodology and Software Technology 119 12
70
Formal Methods for Components and Objects 91 12
71
IWPSE - International Workshop on Principles of Software Evolution 83 12
72
EWSA - European Workshop on Software Architecture 65 12
73
GTTSE - Generative and Transformational Techniques in Software Engineering 39 12
74
SNPD - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 1629 11
75
SERP - Software Engineering Research and Practice 863 11
76
ESEM - Empirical Software Engineering and Measurement 465 11
77
OSS - Open Source Software 227 11
78
IFIP - World Computer Congress 153 11
79
ICSR - International Conference on Software Reuse 147 11
80
FATES/RV - International Workshop on Formal Approaches to Testing of Software 47 11
81
IRI - Information Reuse and Integration 845 10
82
SEAA - Software Engineering and Advanced Applications 357 10
83
SAFECOMP - International Conference on Computer Safety, Reliability and Security 240 10
84
ICSP - International Software Process Workshop 211 10
85
SEW - Annual Software Engineering Workshop 174 10
86
EPEW - European Performance Engineering Workshop 121 10
87
TAICPART - Testing: Academic & Industrial Conference - Practice And Research Techniques 108 10
88
QOSA - Quality of Software Architectures 78 10
89
School on Formal Methods for the Design of Computer, Communication and Software Systems 67 10
90
ETX - Eclipse Technology eXchange 63 10
91
SELMAS - Software Engineering for Large-Scale Multi-Agent Systems 57 10
92
CD - IFIP/ACM Working Conference on Component Deployment 37 10
93
WOSS - Workshop on Self-Healing Systems 23 10
94
FCA - Formal Concept Analysis 18 10
95
ACISICIS - ACIS International Conference on Computer and Information Science 966 9
96
IASTEDSE - Software Engineering 269 9
97
HASE - High-Assurance Systems 194 9
98
ICCBSS - International Conference on COTS-Based Software Systems 144 9
99
HVC - Haifa Verification Conference 109 9
100
FMICS - Formal Methods for Industrial Critical Systems 98 9