Class information for:
Level 2: FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
216 20103 25.3 29%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 3)


ID, lev.
above		 Publications Label for level above
90 75221 COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES

Classes in level below (level 1)


ID, lev. below Publications Label for level below
4516 1698 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
5453 1555 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
5489 1550 PROCESS CALCULI//PI CALCULUS//THE PI CALCULUS
7424 1289 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
8002 1228 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT
8805 1147 HYBRID SYSTEMS//DISCRETE ABSTRACTION//COMPLEMENTARITY SYSTEMS
9096 1122 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
9161 1114 DISCRETE EVENT SYSTEMS//DISCRETE EVENT SYSTEMS DESS//SUPERVISORY CONTROL
9421 1088 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
9953 1040 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS
10815 965 SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL
11476 912 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
12216 859 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
12286 853 SECURITY PROTOCOLS//DOLEV YAO MODEL//CRYPTOGRAPHIC PROTOCOLS
14454 702 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
16981 560 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
17362 539 KLEENE ALGEBRA//RELATION ALGEBRA//JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
20089 413 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3
21338 364 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
21881 345 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
22472 324 ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES
29747 148 ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS
29781 147 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
30227 141 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ

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 FORMAL METHODS IN SYSTEM DESIGN Journal 380 69% 2% 328
2 MODEL CHECKING Author keyword 310 34% 4% 738
3 LECTURE NOTES IN COMPUTER SCIENCE Journal 232 15% 7% 1407
4 VERIFICATION Author keyword 225 20% 5% 995
5 FORMAL ASPECTS OF COMPUTING Journal 218 64% 1% 214
6 LSV Address 216 73% 1% 167
7 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Journal 202 62% 1% 207
8 THEORETICAL COMPUTER SCIENCE Journal 194 13% 7% 1346
9 BISIMULATION Author keyword 188 61% 1% 202
10 SCIENCE OF COMPUTER PROGRAMMING Journal 181 32% 2% 468

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 MODEL CHECKING 310 34% 4% 738 Search MODEL+CHECKING Search MODEL+CHECKING
2 VERIFICATION 225 20% 5% 995 Search VERIFICATION Search VERIFICATION
3 BISIMULATION 188 61% 1% 202 Search BISIMULATION Search BISIMULATION
4 PROCESS ALGEBRA 164 51% 1% 229 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
5 TEMPORAL LOGIC 140 38% 1% 298 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
6 DISCRETE EVENT SYSTEMS 125 30% 2% 347 Search DISCRETE+EVENT+SYSTEMS Search DISCRETE+EVENT+SYSTEMS
7 FORMAL METHODS 118 27% 2% 383 Search FORMAL+METHODS Search FORMAL+METHODS
8 CONCURRENCY 99 25% 2% 341 Search CONCURRENCY Search CONCURRENCY
9 FORMAL VERIFICATION 91 28% 1% 279 Search FORMAL+VERIFICATION Search FORMAL+VERIFICATION
10 SEPARATION LOGIC 90 63% 0% 92 Search SEPARATION+LOGIC Search SEPARATION+LOGIC

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 MODEL CHECKING 422 43% 4% 749
2 BISIMULATION 359 70% 1% 300
3 TEMPORAL LOGIC 224 48% 2% 338
4 AUTOMATA 144 21% 3% 599
5 MOBILE PROCESSES 140 64% 1% 137
6 DISCRETE EVENT SYSTEMS 135 36% 1% 301
7 PROCESS ALGEBRA 129 65% 1% 124
8 VERIFICATION 126 12% 5% 1011
9 PI CALCULUS 122 53% 1% 163
10 SUPERVISORY CONTROL 120 35% 1% 275

Journals


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 FORMAL METHODS IN SYSTEM DESIGN 380 69% 2% 328
2 LECTURE NOTES IN COMPUTER SCIENCE 232 15% 7% 1407
3 FORMAL ASPECTS OF COMPUTING 218 64% 1% 214
4 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 202 62% 1% 207
5 THEORETICAL COMPUTER SCIENCE 194 13% 7% 1346
6 SCIENCE OF COMPUTER PROGRAMMING 181 32% 2% 468
7 INFORMATION AND COMPUTATION 156 26% 3% 519
8 LOGICAL METHODS IN COMPUTER SCIENCE 104 38% 1% 217
9 ACM SIGPLAN NOTICES 95 14% 3% 615
10 ACTA INFORMATICA 81 25% 1% 276

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models 2015 3 10 30%
Space-time programming 2015 1 14 57%
Symbolic Execution for Software Testing: Three Decades Later 2013 18 1 100%
Language-based information-flow security 2003 345 26 96%
Overview of fault diagnosis methods for Discrete Event Systems 2013 8 68 99%
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING 1992 329 28 96%
Formal Methods: Practice and Experience 2009 53 44 68%
Formal methods: State of the art and future directions 1996 255 27 63%
A novel paradigm for programming reactive systems centered on naturally specified modular behavior. 2012 8 3 100%
A survey of automated techniques for formal software verification 2008 31 35 89%

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 LSV 216 73% 0.8% 167
2 SPECIFICAT VERIFICAT 133 83% 0.4% 76
3 EQUAT 125 82% 0.4% 73
4 UMR 8643 124 81% 0.4% 74
5 DIPARTIMENTO INFORMAT 72 15% 2.1% 427
6 VERIMAG 56 73% 0.2% 43
7 CHAIR SOFTWARE TECHNOL 55 92% 0.1% 22
8 PROGRAMMING GRP 48 56% 0.3% 58
9 DIPARTIMENTO SCI INFORMAZ 32 20% 0.7% 140
10 LIAFA 31 20% 0.7% 137

Related classes at same level (level 2)


Rank Relatedness score Related classes
1 0.0000021989 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC
2 0.0000014285 ENTERPRISE INFORMATION SYSTEMS//PETRI NETS//DEADLOCK PREVENTION
3 0.0000011264 INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE//JOURNAL OF SYSTEMS AND SOFTWARE
4 0.0000010787 ACM SIGPLAN NOTICES//REGISTER ALLOCATION//GARBAGE COLLECTION
5 0.0000010083 DISTRIBUTED COMPUTING//SELF STABILIZATION//CONCURRENCY CONTROL
6 0.0000009650 MULTIPLE VALUED LOGIC//LOGIC SYNTHESIS//REED MULLER EXPANSIONS
7 0.0000008785 MEMBRANE COMPUTING//GRP NAT COMP//THEORETICAL COMPUTER SCIENCE
8 0.0000006278 REAL-TIME SYSTEMS//VIDEO ON DEMAND//REAL TIME SYSTEMS
9 0.0000005721 AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS//MULTI AGENT SYSTEMS//AUTOMATED NEGOTIATIONS
10 0.0000005246 PRIVACY CALCULUS//ACCESS CONTROL//INFORMATION PRIVACY