Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Security Assertion Mining (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/185)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
techrxiv.org
2024
/
p. 1-8 : ill
https://doi.org/10.36227/techrxiv.172101134.45466090/v1
artikkel ajakirjas
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2
artikkel kogumikus
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings
2024
/
7 p.
https:/doi.org/10.1109/NorCAS64408.2024.10752460
Article at Scopus
Article at WOS
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
183
1.
Security Assertion Mining
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
Assertion Mining
4.
automatic assertion mining
5.
Security Assertion
6.
assertion
7.
assertion candidate
8.
assertion checkers
9.
Assertion Minimization
10.
assertion qualification
11.
assertion sign
12.
assertion-based verification
13.
Husserl on inclusion and assertion
14.
Peirce on inclusion and assertion
15.
sheet of assertion
16.
ad-hoc sensor networks security
17.
association rule mining
18.
Australian mining industry
19.
Automatic Security Verification
20.
Blockchain security
21.
business process mining
22.
cache security
23.
cloud security
24.
communication system security
25.
comprehensive system of economic security
26.
computer security
27.
cooperative security dilemma
28.
cyber security
29.
cyber security education
30.
cyber security exercises
31.
cyber security monitoring
32.
cyber security monitoring in maritime
33.
cyber security strategies
34.
cyber-physical system security
35.
cyber-security
36.
data and information security
37.
data mining
38.
data mining and knowledge discovery
39.
data security
40.
data stream mining
41.
data-mining
42.
deep-sea mining
43.
development of security cameras
44.
digital security practices
45.
distributed data mining
46.
distributed data mining (DDM)
47.
drinking water security
48.
economic security
49.
economic security of enterprise
50.
educational data mining
51.
educational data-mining
52.
emotional security
53.
energy security
54.
energy security indicator
55.
Estonian information security standard
56.
European mining
57.
graded security
58.
hardware security
59.
hardware security primitive
60.
high level of security
61.
Homeland security
62.
human security
63.
informal mining
64.
information security
65.
information security and privacy
66.
initial level of security
67.
internal security
68.
international security
69.
investment and innovation security
70.
IPv6 security
71.
IT security
72.
IT security management
73.
job security
74.
knowledge discovery and data mining
75.
long-term security
76.
maritime cyber security
77.
maritime cyber security operations centers
78.
Maritime Security Operations Center (M-SOC)
79.
medium level of security
80.
metadata model for security measures
81.
metal mining
82.
Middle Eastern security
83.
mining
84.
mining block
85.
mining co- and by-products
86.
mining industry
87.
Mining life cycle
88.
mining line patterns from event logs
89.
mining losses
90.
mining organization
91.
mining patterns from event logs
92.
mining regulations
93.
mining technology
94.
mining waste
95.
mining waste management
96.
Mobile security
97.
national cyber security strategy
98.
national security
99.
NATO. Science for Peace and Security Program
100.
network security
101.
network security monitoring
102.
numerical association rule mining
103.
oil shale mining
104.
OSCE (Organization for Security and Co-operation in Europe)
105.
passenger’s security
106.
pattern mining for event logs
107.
pattern mining from event logs
108.
pattern mining from log files
109.
policy-based routing security
110.
political and security cultures
111.
post-mining land use
112.
post-quantum security
113.
power system security
114.
quantitative association rule mining
115.
quantitative security
116.
regional security
117.
RISC-V Security Verification
118.
room-and-pillar mining
119.
Safety and Security in Sea Transportation
120.
safety and security testing
121.
security
122.
security adaptation
123.
security alert prioritization
124.
security analysis
125.
security and justice (AFSJ)
126.
Security and political science
127.
security and privacy
128.
security and privacy in smart grids
129.
security closure
130.
Security Coverage
131.
security dataset
132.
security dilemma
133.
Security evaluation
134.
security evaluation instruments
135.
Security Level Evaluation
136.
Security limitations
137.
security log analysis
138.
security management
139.
security model
140.
security monitoring
141.
security notion
142.
security objectives
143.
security of data
144.
security of supply
145.
security operation center
146.
security operations center
147.
security patterns
148.
security policy
149.
security problem definition
150.
security proof
151.
security protocols
152.
security requirements
153.
security requirements engineering
154.
security research
155.
security risk assessment
156.
security risk management
157.
security risks
158.
security science and technology
159.
security strategies
160.
security systems for military objects
161.
security testing
162.
security training
163.
security verification
164.
security-by-design
165.
selective mining
166.
social security planning
167.
societal security
168.
software security
169.
software security level
170.
software security subcharacteristics
171.
space mining
172.
sufficient level of security
173.
sustainable mining
174.
system of economic security
175.
system security
176.
terrorism security
177.
text mining
178.
transmission System Security
179.
underground mining
180.
web usage mining
181.
voting privacy and security
182.
vulnerability mining
183.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
märksõna
2
1.
National Computer Security Incident Response Teams (N-CSIRTs)
2.
USS Security Eesti AS
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT