Class information for:
Level 1: TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
8670 1230 25.9 34%


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
8670 1                   TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING 1230

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 TIMED AUTOMATA authKW 1994593 11% 58% 138
2 TIME PETRI NETS authKW 596057 3% 56% 43
3 MODEL CHECKING authKW 421930 13% 11% 161
4 DURATION CALCULUS authKW 367751 2% 74% 20
5 UPPAAL authKW 223397 1% 50% 18
6 UMR 8643 address 196664 2% 29% 27
7 LSV address 189884 4% 17% 44
8 METRIC TEMPORAL LOGIC authKW 187724 1% 69% 11
9 INTERVAL TEMPORAL LOGIC authKW 167761 1% 48% 14
10 STATISTICAL MODEL CHECKING authKW 161342 1% 50% 13

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, Theory & Methods 61970 61% 0% 755
2 Computer Science, Software Engineering 35392 39% 0% 482
3 Logic 5580 5% 0% 58
4 Computer Science, Hardware & Architecture 2575 8% 0% 103
5 Computer Science, Information Systems 1919 11% 0% 132
6 Mathematics, Applied 958 12% 0% 150
7 Computer Science, Artificial Intelligence 807 7% 0% 89
8 Automation & Control Systems 223 3% 0% 39
9 Robotics 117 1% 0% 12
10 Computer Science, Interdisciplinary Applications 100 3% 0% 38

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 UMR 8643 196664 2% 29% 27
2 LSV 189884 4% 17% 44
3 VERIFORM 124119 0% 100% 5
4 EQUAT 110297 2% 22% 20
5 SPECIFICAT VERIFICAT 77113 1% 18% 17
6 FMCS 66194 0% 67% 4
7 COMMUN OPERATING SYST GRP 62055 0% 50% 5
8 IMCS 55280 1% 32% 7
9 AUTOMATA SYST THEORY GRP 49648 0% 100% 2
10 ALGORITHM COMPLEX LOG 47027 0% 32% 6

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 FORMAL METHODS IN SYSTEM DESIGN 71336 3% 8% 38
2 FUNDAMENTA INFORMATICAE 59556 6% 3% 74
3 LECTURE NOTES IN COMPUTER SCIENCE 59018 37% 1% 458
4 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 45755 1% 12% 15
5 FORMAL ASPECTS OF COMPUTING 31166 2% 6% 22
6 INFORMATION AND COMPUTATION 20710 3% 2% 42
7 THEORETICAL COMPUTER SCIENCE 17847 7% 1% 88
8 LOGICAL METHODS IN COMPUTER SCIENCE 15673 2% 3% 20
9 REAL-TIME SYSTEMS 9701 1% 3% 15
10 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 8306 3% 1% 31

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 TIMED AUTOMATA 1994593 11% 58% 138 Search TIMED+AUTOMATA Search TIMED+AUTOMATA
2 TIME PETRI NETS 596057 3% 56% 43 Search TIME+PETRI+NETS Search TIME+PETRI+NETS
3 MODEL CHECKING 421930 13% 11% 161 Search MODEL+CHECKING Search MODEL+CHECKING
4 DURATION CALCULUS 367751 2% 74% 20 Search DURATION+CALCULUS Search DURATION+CALCULUS
5 UPPAAL 223397 1% 50% 18 Search UPPAAL Search UPPAAL
6 METRIC TEMPORAL LOGIC 187724 1% 69% 11 Search METRIC+TEMPORAL+LOGIC Search METRIC+TEMPORAL+LOGIC
7 INTERVAL TEMPORAL LOGIC 167761 1% 48% 14 Search INTERVAL+TEMPORAL+LOGIC Search INTERVAL+TEMPORAL+LOGIC
8 STATISTICAL MODEL CHECKING 161342 1% 50% 13 Search STATISTICAL+MODEL+CHECKING Search STATISTICAL+MODEL+CHECKING
9 TIMED SYSTEMS 155366 1% 48% 13 Search TIMED+SYSTEMS Search TIMED+SYSTEMS
10 PROBABILISTIC TIMED AUTOMATA 152044 1% 88% 7 Search PROBABILISTIC+TIMED+AUTOMATA Search PROBABILISTIC+TIMED+AUTOMATA

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 FONTANA, P , CLEAVELAND, R , (2014) A MENAGERIE OF TIMED AUTOMATA.ACM COMPUTING SURVEYS. VOL. 46. ISSUE 3. P. - 32 74% 1
2 NORMAN, G , PARKER, D , SPROSTON, J , (2013) MODEL CHECKING FOR PROBABILISTIC TIMED AUTOMATA.FORMAL METHODS IN SYSTEM DESIGN. VOL. 43. ISSUE 2. P. 164 -190 20 87% 19
3 BERSANI, MM , ROSSI, M , SAN PIETRO, P , (2015) AN SMT-BASED APPROACH TO SATISFIABILITY CHECKING OF MITL.INFORMATION AND COMPUTATION. VOL. 245. ISSUE . P. 72 -97 16 100% 0
4 JOVANOVIC, A , LIME, D , ROUX, OH , (2015) INTEGER PARAMETER SYNTHESIS FOR REAL-TIME SYSTEMS.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 41. ISSUE 5. P. 445 -461 16 89% 6
5 MOTALLEBI, H , AZGOMI, MA , (2015) PARAMETRIC MULTISINGULAR HYBRID PETRI NETS: FORMAL DEFINITIONS AND ANALYSIS TECHNIQUES.INFORMATION AND COMPUTATION. VOL. 241. ISSUE . P. 321 -348 23 66% 0
6 SANKUR, O , BOUYER, P , MARKEY, N , (2014) SHRINKING TIMED AUTOMATA.INFORMATION AND COMPUTATION. VOL. 234. ISSUE . P. 107 -132 15 100% 0
7 WANG, T , SUN, J , WANG, XY , LIU, Y , SI, YJ , DONG, JS , YANG, XH , LI, XH , (2015) A SYSTEMATIC STUDY ON EXPLICIT-STATE NON-ZENONESS CHECKING FOR TIMED AUTOMATA.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 41. ISSUE 1. P. 3 -18 16 89% 1
8 BOUYER, P , FAHRENBERG, U , LARSEN, KG , MARKEY, N , (2011) QUANTITATIVE ANALYSIS OF REAL-TIME SYSTEMS USING PRICED TIMED AUTOMATA.COMMUNICATIONS OF THE ACM. VOL. 54. ISSUE 9. P. 78 -87 16 94% 10
9 FURIA, CA , MANDRIOLI, D , MORZENTI, A , ROSSI, M , (2010) MODELING TIME IN COMPUTING: A TAXONOMY AND A COMPARATIVE SURVEY.ACM COMPUTING SURVEYS. VOL. 42. ISSUE 2. P. - 28 55% 8
10 FURIA, CA , ROSSI, M , (2010) A THEORY OF SAMPLING FOR CONTINUOUS-TIME METRIC TEMPORAL LOGIC.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 12. ISSUE 1. P. - 19 83% 1

Classes with closest relation at Level 1


Rank Class id link
1 11986 HYBRID SYSTEMS//APPROXIMATE BISIMULATION//SAFETY VERIFICATION
2 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
3 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
4 30550 RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING
5 10916 SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL
6 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
7 31925 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
8 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
9 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES
10 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS

Go to start page