Class information for:
Level 1: RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
30550 167 31.1 27%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
30550 1                   RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING 167

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 RUNTIME VERIFICATION authKW 3611789 23% 51% 39
2 RUNTIME MONITORING authKW 632114 7% 31% 11
3 EXECUTION BASED MODEL CHECKING authKW 365695 1% 100% 2
4 SOCIOTECHNICAL CONSTITUENCY authKW 365695 1% 100% 2
5 TECHM P address 274268 2% 50% 3
6 TECHNOL MANAGEMENT POLICY PROGRAMME address 243795 1% 67% 2
7 TYPESTATE ANALYSIS authKW 243795 1% 67% 2
8 KESTREL TECHNOL address 243791 2% 33% 4
9 ASSERTION CHECKER authKW 182847 1% 100% 1
10 AUTOMATED MONITOR SYNTHESIS authKW 182847 1% 100% 1

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Software Engineering 8157 51% 0% 85
2 Computer Science, Theory & Methods 4226 44% 0% 73
3 Logic 1227 6% 0% 10
4 Computer Science, Information Systems 666 17% 0% 28
5 Computer Science, Hardware & Architecture 462 10% 0% 16
6 Computer Science, Artificial Intelligence 129 8% 0% 13
7 Management 110 6% 0% 10
8 Planning & Development 74 3% 0% 5
9 Operations Research & Management Science 46 4% 0% 7
10 Engineering, Industrial 25 2% 0% 4

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 TECHM P 274268 2% 50% 3
2 TECHNOL MANAGEMENT POLICY PROGRAMME 243795 1% 67% 2
3 KESTREL TECHNOL 243791 2% 33% 4
4 CHAIR COMP SYST 182847 1% 100% 1
5 COMUNICAT INFORMAT TECHNOL 182847 1% 100% 1
6 ED RECTOR SOLER 021 182847 1% 100% 1
7 IBM CANADA SOFTWARE CANADA 182847 1% 100% 1
8 ROBOT ARTIFICIAL GRP 182847 1% 100% 1
9 SOFTWARE TECHNOL UNU IIST 182847 1% 100% 1
10 TECHM P BUSINESS STUDIES 182847 1% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 95905 5% 7% 8
2 FORMAL METHODS IN SYSTEM DESIGN 81924 9% 3% 15
3 ACM TRANSACTIONS ON PRIVACY AND SECURITY 15235 1% 8% 1
4 IET SOFTWARE 5185 2% 1% 3
5 ACM SIGPLAN NOTICES 3770 6% 0% 10
6 JOURNAL OF LOGIC AND COMPUTATION 3052 2% 0% 4
7 SOFTWARE TESTING VERIFICATION & RELIABILITY 3006 1% 1% 2
8 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 2206 1% 1% 2
9 ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2174 2% 0% 3
10 LECTURE NOTES IN COMPUTER SCIENCE 2091 19% 0% 32

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 RUNTIME VERIFICATION 3611789 23% 51% 39 Search RUNTIME+VERIFICATION Search RUNTIME+VERIFICATION
2 RUNTIME MONITORING 632114 7% 31% 11 Search RUNTIME+MONITORING Search RUNTIME+MONITORING
3 EXECUTION BASED MODEL CHECKING 365695 1% 100% 2 Search EXECUTION+BASED+MODEL+CHECKING Search EXECUTION+BASED+MODEL+CHECKING
4 SOCIOTECHNICAL CONSTITUENCY 365695 1% 100% 2 Search SOCIOTECHNICAL+CONSTITUENCY Search SOCIOTECHNICAL+CONSTITUENCY
5 TYPESTATE ANALYSIS 243795 1% 67% 2 Search TYPESTATE+ANALYSIS Search TYPESTATE+ANALYSIS
6 ASSERTION CHECKER 182847 1% 100% 1 Search ASSERTION+CHECKER Search ASSERTION+CHECKER
7 AUTOMATED MONITOR SYNTHESIS 182847 1% 100% 1 Search AUTOMATED+MONITOR+SYNTHESIS Search AUTOMATED+MONITOR+SYNTHESIS
8 AUTOMATIC WHITE BOX TESTING 182847 1% 100% 1 Search AUTOMATIC+WHITE+BOX+TESTING Search AUTOMATIC+WHITE+BOX+TESTING
9 BELIEF BASED REASONING 182847 1% 100% 1 Search BELIEF+BASED+REASONING Search BELIEF+BASED+REASONING
10 COMPLEXITY AND EXPRESSIVENESS 182847 1% 100% 1 Search COMPLEXITY+AND+EXPRESSIVENESS Search COMPLEXITY+AND+EXPRESSIVENESS

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 BONAKDARPOUR, B , NAVABPOUR, S , FISCHMEISTER, S , (2013) TIME-TRIGGERED RUNTIME VERIFICATION.FORMAL METHODS IN SYSTEM DESIGN. VOL. 43. ISSUE 1. P. 29 -60 9 75% 3
2 WANG, CS , MAO, XG , LEI, Y , ZHANG, P , (2015) OPTIMIZATION METHODS FOR NOP-SHADOWS TYPESTATE ANALYSIS.IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. VOL. E98D. ISSUE 6. P. 1213 -1227 9 56% 0
3 HEFFERNAN, D , MACNAMEE, C , FOGARTY, P , (2014) RUNTIME VERIFICATION MONITORING FOR AUTOMOTIVE EMBEDDED SYSTEMS USING THE ISO 26262 FUNCTIONAL SAFETY STANDARD AS A GUIDE FOR THE DEFINITION OF THE MONITORED PROPERTIES.IET SOFTWARE. VOL. 8. ISSUE 5. P. 193 -203 6 86% 0
4 COLOMBO, C , FALCONE, Y , (2016) ORGANISING LTL MONITORS OVER DISTRIBUTED SYSTEMS WITH A GLOBAL CLOCK.FORMAL METHODS IN SYSTEM DESIGN. VOL. 49. ISSUE 1-2. P. 109 -158 6 75% 0
5 DONG, W , ZHAO, CZ , SHU, SX , LEUCKER, M , (2012) ANTICIPATORY ACTIVE MONITORING FOR SAFETY- AND SECURITY-CRITICAL SOFTWARE.SCIENCE CHINA-INFORMATION SCIENCES. VOL. 55. ISSUE 12. P. 2723 -2737 7 70% 0
6 DECKER, N , LEUCKER, M , THOMA, D , (2016) MONITORING MODULO THEORIES.INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. VOL. 18. ISSUE 2. P. 205 -225 6 67% 1
7 FALCONE, Y , JABER, M , NGUYEN, TH , BOZGA, M , BENSALEM, S , (2015) RUNTIME VERIFICATION OF COMPONENT-BASED SYSTEMS IN THE BIP FRAMEWORK WITH FORMALLY-PROVED SOUND AND COMPLETE INSTRUMENTATION.SOFTWARE AND SYSTEMS MODELING. VOL. 14. ISSUE 1. P. 173 -199 7 58% 3
8 DE ROO, A , SOZER, H , AKSIT, M , (2012) VERIFICATION AND ANALYSIS OF DOMAIN-SPECIFIC MODELS OF PHYSICAL CHARACTERISTICS IN EMBEDDED CONTROL SOFTWARE.INFORMATION AND SOFTWARE TECHNOLOGY. VOL. 54. ISSUE 12. P. 1432-1453 7 64% 1
9 ARTHO, C , BARRINGER, H , GOLDBERG, A , HAVELUND, K , KHURSHID, S , LOWRY, M , PASAREANU, C , ROSU, G , SEN, K , VISSER, W , ET AL (2005) COMBINING TEST CASE GENERATION AND RUNTIME VERIFICATION.THEORETICAL COMPUTER SCIENCE. VOL. 336. ISSUE 2-3. P. 209 -234 9 56% 27
10 GRUNSKE, L , (2011) AN EFFECTIVE SEQUENTIAL STATISTICAL TEST FOR PROBABILISTIC MONITORING.INFORMATION AND SOFTWARE TECHNOLOGY. VOL. 53. ISSUE 3. P. 190 -199 7 64% 3

Classes with closest relation at Level 1


Rank Class id link
1 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
2 20701 INFORMATION FLOW CONTROL//BYTECODE VERIFICATION//LANGUAGE BASED SECURITY
3 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
4 27112 ATTACK GRAPH//SECURITY METRICS//MTTSF
5 13393 TRANSACTIONAL MEMORY//DATA RACES//RELAXED MEMORY MODELS
6 20981 SOFTWARE BASED SELF TEST//FUNCTIONAL VERIFICATION//POST SILICON VALIDATION
7 35694 PARALLEL PIPELINE//ACTIVE VISION TECHNIQUES//ANALYTICAL GRAVITY FIELD MODEL
8 4829 ASPECT ORIENTED PROGRAMMING//ACM SIGPLAN NOTICES//PLEIAD
9 4243 SOFTWARE TESTING//REGRESSION TESTING//SOFTWARE TESTING VERIFICATION & RELIABILITY
10 13867 CONFORMANCE TESTING//FINITE STATE MACHINE//PROTOCOL CONFORMANCE TESTING

Go to start page