Class information for:
Level 1: TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
9096 1122 25.3 32%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 TIMED AUTOMATA Author keyword 50 34% 11% 122
2 TIME PETRI NETS Author keyword 20 37% 4% 43
3 DURATION CALCULUS Author keyword 13 50% 2% 19
4 UMR 8643 Address 10 31% 2% 28
5 TIMED LANGUAGES Author keyword 9 83% 0% 5
6 WEIGHTED TIMED AUTOMATA Author keyword 8 75% 1% 6
7 LSV Address 8 18% 4% 41
8 VERIFORM Address 8 100% 0% 5
9 REAL TIME TEMPORAL LOGICS Author keyword 6 80% 0% 4
10 TIMED SYSTEMS Author keyword 6 36% 1% 13

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 TIMED AUTOMATA 50 34% 11% 122 Search TIMED+AUTOMATA Search TIMED+AUTOMATA
2 TIME PETRI NETS 20 37% 4% 43 Search TIME+PETRI+NETS Search TIME+PETRI+NETS
3 DURATION CALCULUS 13 50% 2% 19 Search DURATION+CALCULUS Search DURATION+CALCULUS
4 TIMED LANGUAGES 9 83% 0% 5 Search TIMED+LANGUAGES Search TIMED+LANGUAGES
5 WEIGHTED TIMED AUTOMATA 8 75% 1% 6 Search WEIGHTED+TIMED+AUTOMATA Search WEIGHTED+TIMED+AUTOMATA
6 REAL TIME TEMPORAL LOGICS 6 80% 0% 4 Search REAL+TIME+TEMPORAL+LOGICS Search REAL+TIME+TEMPORAL+LOGICS
7 TIMED SYSTEMS 6 36% 1% 13 Search TIMED+SYSTEMS Search TIMED+SYSTEMS
8 TRANSLATION TO SAT 6 100% 0% 4 Search TRANSLATION+TO+SAT Search TRANSLATION+TO+SAT
9 METRIC TEMPORAL LOGIC 4 39% 1% 9 Search METRIC+TEMPORAL+LOGIC Search METRIC+TEMPORAL+LOGIC
10 PARAMETRIC TIMED AUTOMATA 4 67% 0% 4 Search PARAMETRIC+TIMED+AUTOMATA Search PARAMETRIC+TIMED+AUTOMATA

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 TIMED AUTOMATA 14 24% 4% 49
2 OPTIMAL REACHABILITY 6 48% 1% 10
3 DURATION CALCULUS 6 80% 0% 4
4 PROPOSITIONAL NEIGHBORHOOD LOGIC 5 63% 0% 5
5 METRIC TEMPORAL LOGIC 4 38% 1% 9
6 DISCRETE TIMED AUTOMATA 3 100% 0% 3
7 REACHABILITY PROPERTIES 3 100% 0% 3
8 TRACE THEORETIC VERIFICATION 3 60% 0% 3
9 DENSE REAL TIME 2 67% 0% 2
10 INTERVAL LOGIC 2 67% 0% 2

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata 2011 5 15 93%
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications 2012 2 2 100%
A survey on temporal logics for specifying and verifying real-time systems 2013 2 80 41%
Performance Evaluation and Model Checking Join Forces 2010 10 11 27%
On optimal and reasonable control in the presence of adversaries 2007 0 1 100%
Formal verification of timed systems: A survey and perspective 2004 29 89 35%
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems 2013 0 29 59%
The design and analysis of real-time systems using the ASTRAL software development environment 1999 4 4 50%
A roadmap to pervasive systems verification 2015 0 12 33%
Integrated architectural modeling and analysis for high-assurance command and control system design 1999 0 10 40%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 UMR 8643 10 31% 2.5% 28
2 LSV 8 18% 3.7% 41
3 VERIFORM 8 100% 0.4% 5
4 EQUAT 5 21% 1.7% 19
5 COMMUN OPERATING SYST GRP 4 56% 0.4% 5
6 SPECIFICAT VERIFICAT 4 20% 1.6% 18
7 IMCS 3 33% 0.6% 7
8 FMCS 3 60% 0.3% 3
9 ABT KUNSTLICHE INTELLIGENZ 2 67% 0.2% 2
10 ALGORITHM COMPLEX LOG 2 30% 0.5% 6

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000209401 HYBRID SYSTEMS//DISCRETE ABSTRACTION//COMPLEMENTARITY SYSTEMS
2 0.0000191323 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
3 0.0000178189 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
4 0.0000154338 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
5 0.0000149967 SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL
6 0.0000143564 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
7 0.0000140529 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
8 0.0000117109 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3
9 0.0000095548 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
10 0.0000092834 DATA WORDS//INFINITE ALPHABETS//REGISTER AUTOMATA