Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
power verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(3/401)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Towards multidimensional verification : where functional meets non-functional
Jenihhin, Maksim
;
Lai, Xinhui
;
Ghasempouri, Tara
;
Raik, Jaan
2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore
2018
/
7 p. : ill
https://doi.org/10.1109/NORCHIP.2018.8573495
book article
Seotud publikatsioonid
1
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2
journal article EST
/
journal article ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
Number of records 2, displaying
1 - 2
keyword
399
1.
power verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
power electronics applications in power systems and utilities
4.
assertion-based verification
5.
Automata, Formal Verification
6.
Automatic Security Verification
7.
automatic speaker verification
8.
compliance verification
9.
compositional verification
10.
deductive verification
11.
extra-functional verification
12.
forecast verification
13.
formal verification
14.
functional verification
15.
grid verification
16.
Hardware Verification
17.
model verification
18.
model-based verification
19.
program verification
20.
reliability verification
21.
RISC-V Security Verification
22.
security verification
23.
simple payment verification (SVP)
24.
simulation-based verification
25.
speaker verification
26.
timing verification
27.
validation and verification
28.
verification
29.
verification and validation
30.
verification by model checking
31.
verification methods
32.
AC/DC power converter
33.
AC‐AC power convertors
34.
ac-dc power conversion
35.
AC-DC power converter
36.
AC-DC power converters
37.
active power
38.
active power decoupling
39.
adaptive power allocation
40.
aircraft electric power system
41.
alpha power variability
42.
auxiliary power supply
43.
balance of power
44.
balancing power
45.
bidirectional power flow
46.
bidirectional power flow control
47.
bisection based optimal power allocation
48.
boost power converter
49.
buck-boost full power converter
50.
buck–boost power converter
51.
capabilities of power electronics
52.
capacitive power transfer
53.
CHP (combined power and heat)
54.
combined heat and power
55.
combined heat and power plant
56.
common-ground power converter
57.
condensing power plant
58.
connection power
59.
constant power load
60.
constant power source
61.
consumed power minimization
62.
consumer power system
63.
consumer-perceived power
64.
contribution to power quality deterioration
65.
conventional power plant
66.
cyber physical power system (CPPS)
67.
cyber power Europe
68.
DC power supply
69.
DC/DC power conversion
70.
DC/DC power converters
71.
DC-AC power conversion
72.
DC-AC power converters
73.
DC-DC power conversion
74.
DC‐DC power conversion
75.
DC-DC power converter
76.
DC-DC power converters
77.
DC–DC power converters
78.
DC-DC power convertors
79.
DC‐DC power convertors
80.
Differential Power Analysis (DPA)
81.
dimensioning cooling power
82.
directional power spectral density
83.
Discrete power device
84.
distributed power
85.
distributed power generation
86.
distributed power systems
87.
distrubuted power generation
88.
double power-law
89.
dual-purpose dc-dc/ac power converter
90.
economic power dispatch
91.
Egyptian power system
92.
electric power generation
93.
electric power storage system
94.
electric power system stability
95.
electric power transmission
96.
electric power transmission networks
97.
electric power utilization
98.
electrical power quality
99.
electrical power systems
100.
faults in power system
101.
flexibility in power systems
102.
fluid power feeding system with a pneumo-hydraulic accumulator
103.
fluid power system
104.
fossil fuel power plants
105.
fractional power zero-pole
106.
fuel cell power systems
107.
full power converter
108.
full power Z -source converter
109.
functional power plants
110.
functional power-plants
111.
GaAs power devices
112.
galvanically isolated DC-DC power converter
113.
global maximum power point
114.
grid-connected power supply
115.
heat and power plant
116.
heating power
117.
high step-up power converter
118.
high voltage power converters
119.
hybrid power system
120.
hydraulic power
121.
hydroelectric power generation
122.
hydroelectric power station (HEPS)
123.
inductive power transfer
124.
inductive power transfer (IPT)
125.
inductive power transmission
126.
inductive wireless power transfer link
127.
industrial power systems
128.
integration of solar power plants
129.
Interconnected power system
130.
isolated power conditioning unit (PCU)
131.
isolated power converters
132.
Kalman-filter based maximum power point tracking (KF-MPPT)
133.
leakage current and reactive power supporting
134.
limited power
135.
lithium batteries and power system modeling
136.
local power supply system
137.
low power
138.
low-power ASIC design
139.
low-power device
140.
market power
141.
market power mitigation
142.
maximum power point
143.
maximum power point tracker
144.
Maximum power point trackers
145.
maximum power point tracking
146.
maximum power point tracking (MPPT)
147.
medium voltage power cables
148.
Mini-block power plant
149.
Modern power system
150.
module level power electronics (MLPE)
151.
module-level power electronics (MLPE)
152.
multi-machine industrial power plant
153.
multi-machine power system
154.
narrowband power line communications
155.
non-active power
156.
non-coercive power
157.
normative power
158.
nuclear power
159.
off-grid hybrid power supply
160.
Off-shore wind power
161.
offshore wind power plants
162.
oil shale-fired power plants
163.
oil-shale power generation
164.
parallel active power filter
165.
partial power based on buck-boost resonance converter
166.
partial power based on isolated Z - Source converter(PPZSC)
167.
partial power conversion
168.
partial power converter
169.
partial power converters
170.
partial power processing
171.
Partial power processing (PPP)
172.
photovoltaic power plant
173.
photovoltaic power systems
174.
power
175.
power allocation
176.
power amplifier
177.
power aware computing
178.
power balance
179.
power based control
180.
power bed fusion
181.
power cable
182.
Power cables
183.
power capacitors
184.
power chart
185.
power combiner
186.
power conditioner
187.
power conditioning
188.
power conditioning units (PCUs)
189.
power consensus
190.
power consumption
191.
power consumption of production
192.
power control
193.
power conversion
194.
power converter
195.
power converter interfaces
196.
power converters
197.
power converters design
198.
power converters for EV
199.
power decoupling
200.
Power Delay Product (PDP)
201.
power delivery network
202.
power demand
203.
power devices
204.
power diodes
205.
power dissipation
206.
power disspation
207.
power distribution
208.
power distribution control
209.
power distribution faults
210.
power distribution lines
211.
power distribution network
212.
power distribution system
213.
power electronic building block
214.
power electronic converter
215.
power electronic converters
216.
power electronic interfaces
217.
power electronic interfaces for renewable energy sources
218.
power electronic transformer
219.
power electronics
220.
power electronics (PE)
221.
power electronics converter
222.
power electronics converters
223.
power engineering
224.
power engineering computing
225.
power exchange
226.
power factor
227.
power factor correction
228.
power factor correction (PFC)
229.
power flow
230.
power flow equations
231.
power forecasting
232.
power frequency
233.
power generation
234.
power generation dispatch
235.
power generation economics
236.
power generation planning
237.
power grid
238.
power grid project
239.
power grids
240.
power harmonic filters
241.
power imbalance
242.
Power industry
243.
power inverter
244.
Power Iteration Clustering (PIC)
245.
Power leveling strategy
246.
power limitation
247.
power line communication
248.
power line construction
249.
power loss
250.
power loss model
251.
power losses
252.
power management
253.
power market model
254.
power markets
255.
power measurement
256.
power module
257.
power MOSFET
258.
power optimization
259.
power optimizer
260.
Power oscillation damping controller (PODC)
261.
power outage
262.
Power Plant
263.
power plant cycling
264.
power plant pollution
265.
Power plants
266.
power quality
267.
power quality benchmarking
268.
power quality case study
269.
Power Quality Disturbances (PQD)
270.
power quality disturbances (PQDs)
271.
power quality legislation
272.
power quality measurement
273.
power quality measurement equipment
274.
power quality measurements
275.
power quality monitoring
276.
power quality parameters
277.
power reduction
278.
power semiconductor device
279.
power semiconductor devices
280.
power semiconductor switches
281.
power series
282.
power signature
283.
power smoothing
284.
power spectral density
285.
power spectrum
286.
Power storage
287.
power supplier
288.
power supplies
289.
power supplies to apparatus
290.
power supply
291.
power swings
292.
power system
293.
power system analysis computing
294.
power system control
295.
power system dynamics
296.
power system economics
297.
power system faults
298.
power system harmonics
299.
power system management
300.
power system measurements
301.
power system modelling
302.
power system operation
303.
power system parameter estimation
304.
power system planning
305.
power system protection
306.
power system reliability
307.
power system resilience
308.
power system restoration
309.
power system security
310.
power system simulation
311.
power system simulations
312.
Power system stabilizer (PSS)
313.
power system stability
314.
power system transient stability
315.
power systems
316.
Power systems expansion
317.
power systems flexibility
318.
power sytems
319.
power to hydrogen technology
320.
power transfer distribution factor
321.
power transformers
322.
power transistors
323.
power transmission
324.
power transmission lines
325.
power variations
326.
power-aware
327.
power-electronic converters
328.
power-factor correction
329.
power-flow equations
330.
power-hardware-in-the-loop
331.
power-laws
332.
power-sharing
333.
power-to-gas based storage system
334.
Power-to-heat
335.
PQ (Power Quality)
336.
PQM (Power Quality Monitoring)
337.
pulse width modulated power converters
338.
pulsed power load (PPL)
339.
pulsewidth-modulated power converters
340.
PV module level power electronics
341.
PV power generation
342.
PV power output
343.
PV power plant
344.
reactive power
345.
reactive power compensation
346.
reactive power control
347.
reactive power injection
348.
reactive power provision
349.
relative band power
350.
relative gamma power
351.
resonant power convertors
352.
reverse power flow
353.
reverse power transfer
354.
r-th power residue symbol
355.
series partial power converter (S-PPC)
356.
shade-tolerant maximum power point tracking (MPPT)
357.
shale oil and power cogeneration
358.
shunt active power filter
359.
smart power electronics
360.
Soft power
361.
solar power
362.
solar power forecasting
363.
solar power generation
364.
solar power plant integration
365.
space-based solar power
366.
static power converters
367.
surplus power factor
368.
sustainable power engineering
369.
switch mode power supply
370.
switched mode power supplies
371.
switched-mode power supplies
372.
switchedmode power supply
373.
switched-mode power supply
374.
symbolic power
375.
thermal power plant
376.
thermal power plants
377.
theta band power
378.
three-phase power factor correction (PFC) converter
379.
time-delay renewable power systems
380.
topological power plant
381.
topology/power control
382.
Unified power flow controller (UPFC)
383.
uninterruptible power supply (UPS)
384.
wave power
385.
welding power supply
386.
wind power
387.
wind power forecasting
388.
wind power generation
389.
wind power generators
390.
wind power plants
391.
wind power production
392.
Wind-photovoltaic-thermal-bundled power
393.
wireless power transfer
394.
virtual power plant
395.
virtual power plants
396.
virtual power plant's (VPPs)
397.
working power of luminaires
398.
voting power
399.
15min power balance
subject term
1
1.
Enefit Power
author
1
1.
Power, Ian M.
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT