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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(4/445)
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
Related publications
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
Related publications
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
442
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.
Quantum state verification
21.
reliability verification
22.
RISC-V Security Verification
23.
security verification
24.
simple payment verification (SVP)
25.
simulation-based verification
26.
speaker verification
27.
timing verification
28.
validation and verification
29.
verification
30.
verification and validation
31.
verification by model checking
32.
verification methods
33.
AC power converters
34.
AC/DC power converter
35.
ac/dc-dc power converters
36.
AC‐AC power convertors
37.
ac-dc power conversion
38.
AC-DC power converter
39.
AC-DC power converters
40.
active power
41.
active power decoupling
42.
adaptive power allocation
43.
aircraft electric power system
44.
alpha power variability
45.
auxiliary power supply
46.
balance of power
47.
balancing power
48.
bidirectional power flow
49.
bidirectional power flow control
50.
bidirectional power transfer
51.
bisection based optimal power allocation
52.
boost power converter
53.
buck-boost full power converter
54.
buck–boost power converter
55.
capabilities of power electronics
56.
capacitive power transfer
57.
CHP (combined power and heat)
58.
combined heat and power
59.
combined heat and power economic dispatch (CHPED)
60.
combined heat and power plant
61.
common-ground power converter
62.
concentrated solar power
63.
condensing power plant
64.
connection power
65.
constant power load
66.
constant power source
67.
consumed power minimization
68.
consumer power system
69.
consumer-perceived power
70.
contribution to power quality deterioration
71.
conventional power plant
72.
cyber physical power system (CPPS)
73.
cyber power Europe
74.
DC power supply
75.
DC/DC power conversion
76.
DC/DC power converters
77.
DC-AC power conversion
78.
DC-AC power converters
79.
DC-AC power convertors
80.
DC-DC power conversion
81.
DC‐DC power conversion
82.
DC-DC power converter
83.
DC-DC power converters
84.
DC–DC power converters
85.
DC-DC power convertors
86.
DC‐DC power convertors
87.
Differential Power Analysis (DPA)
88.
dimensioning cooling power
89.
directional power spectral density
90.
Discrete power device
91.
distributed power
92.
distributed power generation
93.
distributed power systems
94.
distrubuted power generation
95.
double power-law
96.
dual-purpose dc-dc/ac power converter
97.
economic power dispatch
98.
Egyptian power system
99.
electric power distribution
100.
electric power generation
101.
electric power storage system
102.
electric power system control
103.
electric power system stability
104.
electric power systems
105.
electric power transmission
106.
electric power transmission networks
107.
electric power utilization
108.
electrical power quality
109.
electrical power systems
110.
emerging power converters
111.
faults in power system
112.
flexibility in power systems
113.
fluid power feeding system with a pneumo-hydraulic accumulator
114.
fluid power system
115.
fossil fuel power plants
116.
fractional power zero-pole
117.
fuel cell power systems
118.
full power converter
119.
full power Z -source converter
120.
functional power plants
121.
functional power-plants
122.
GaAs power devices
123.
galvanically isolated DC-DC power converter
124.
Geological Power Bank
125.
global maximum power point
126.
grid-connected power supply
127.
grid-forming power converters
128.
heat and power plant
129.
heating power
130.
high percentage of wind power
131.
high power density
132.
high step-up power converter
133.
high voltage power converters
134.
hybrid power system
135.
hydraulic power
136.
hydroelectric power generation
137.
hydroelectric power station (HEPS)
138.
inductive power transfer
139.
inductive power transfer (IPT)
140.
inductive power transmission
141.
inductive wireless power transfer link
142.
industrial power systems
143.
instantaneous power balancing
144.
integration of solar power plants
145.
Interconnected power system
146.
isolated power conditioning unit (PCU)
147.
isolated power converters
148.
Kalman-filter based maximum power point tracking (KF-MPPT)
149.
leakage current and reactive power supporting
150.
limited power
151.
lithium batteries and power system modeling
152.
local power supply system
153.
low power
154.
low-power ASIC design
155.
low-power decoupling
156.
low-power designs
157.
low-power device
158.
market power
159.
market power mitigation
160.
maximum available power
161.
maximum power point
162.
maximum power point tracker
163.
Maximum power point trackers
164.
maximum power point tracking
165.
maximum power point tracking (MPPT)
166.
medium voltage power cables
167.
Mini-block power plant
168.
Modern power system
169.
module level power electronics (MLPE)
170.
module-level power electronics (MLPE)
171.
multi-machine industrial power plant
172.
multi-machine power system
173.
narrowband power line communications
174.
non-active power
175.
non-coercive power
176.
normative power
177.
nuclear power
178.
off-grid hybrid power supply
179.
Off-shore wind power
180.
offshore wind power plants
181.
oil shale-fired power plants
182.
oil-shale power generation
183.
parallel active power filter
184.
partial power based on buck-boost resonance converter
185.
partial power based on isolated Z - Source converter(PPZSC)
186.
partial power conversion
187.
partial power converter
188.
partial power converter (PPC)
189.
partial power converters
190.
partial power converters (PPC)
191.
partial power processing
192.
Partial power processing (PPP)
193.
peak power limiting
194.
photovoltaic power plant
195.
photovoltaic power systems
196.
power
197.
power allocation
198.
power amplifier
199.
Power amplifiers
200.
power aware computing
201.
power balance
202.
power based control
203.
power bed fusion
204.
power cable
205.
Power cables
206.
power capacitors
207.
power chart
208.
power combiner
209.
power conditioner
210.
power conditioning
211.
power conditioning units (PCUs)
212.
power consensus
213.
power consumption
214.
power consumption of production
215.
power control
216.
power conversion
217.
power converter
218.
power converter interfaces
219.
power converters
220.
power converters design
221.
power converters for EV
222.
power decoupling
223.
Power Delay Product (PDP)
224.
power delivery network
225.
power demand
226.
power density
227.
power devices
228.
power diodes
229.
power dissipation
230.
power disspation
231.
power distribution
232.
power distribution control
233.
power distribution faults
234.
power distribution lines
235.
power distribution network
236.
power distribution system
237.
power electronic building block
238.
power electronic converter
239.
power electronic converters
240.
power electronic interfaces
241.
power electronic interfaces for renewable energy sources
242.
power electronic transformer
243.
power electronics
244.
power electronics (PE)
245.
power electronics converter
246.
power electronics converters
247.
power electronics solutions
248.
power engineering
249.
power engineering computing
250.
power exchange
251.
power factor
252.
power factor correction
253.
power factor correction (PFC)
254.
power flow
255.
power flow equations
256.
power forecasting
257.
power frequency
258.
power generation
259.
power generation dispatch
260.
power generation economics
261.
power generation planning
262.
power grid
263.
power grid imbalance
264.
power grid project
265.
power grids
266.
power harmonic filters
267.
power imbalance
268.
Power industry
269.
power injection
270.
power inverter
271.
power inverters
272.
Power Iteration Clustering (PIC)
273.
power law
274.
Power leveling strategy
275.
power limitation
276.
power line communication
277.
power line construction
278.
power loss
279.
power loss minimization
280.
power loss model
281.
power losses
282.
power management
283.
power market model
284.
power markets
285.
power measurement
286.
Power Mismatch Analysis
287.
power module
288.
power MOSFET
289.
power of discrimination
290.
power optimization
291.
power optimizer
292.
Power oscillation damping controller (PODC)
293.
power outage
294.
Power Plant
295.
power plant cycling
296.
power plant pollution
297.
Power plants
298.
power quality
299.
Power quality (PQ)
300.
power quality benchmarking
301.
power quality case study
302.
Power Quality Disturbances (PQD)
303.
power quality disturbances (PQDs)
304.
power quality legislation
305.
power quality measurement
306.
power quality measurement equipment
307.
power quality measurements
308.
power quality monitoring
309.
power quality parameters
310.
power reduction
311.
power reliability
312.
power semiconductor device
313.
power semiconductor devices
314.
power semiconductor switches
315.
power series
316.
power sharing
317.
power signature
318.
power smoothing
319.
power sources
320.
power spectral density
321.
power spectrum
322.
Power storage
323.
power supplier
324.
power supplies
325.
power supplies to apparatus
326.
power supply
327.
power swings
328.
power system
329.
power system analysis computing
330.
power system control
331.
power system dynamics
332.
power system economics
333.
power system faults
334.
power system harmonics
335.
power system management
336.
power system measurements
337.
power system modeling
338.
power system modelling
339.
power system operation
340.
power system parameter estimation
341.
power system planning
342.
power system protection
343.
power system reliability
344.
power system resilience
345.
power system restoration
346.
power system security
347.
power system simulation
348.
power system simulations
349.
Power system stabilizer (PSS)
350.
power system stability
351.
power system transient stability
352.
power systems
353.
Power systems expansion
354.
power systems flexibility
355.
power sytems
356.
power to hydrogen technology
357.
power transfer distribution factor
358.
power transformers
359.
power transistors
360.
power transmission
361.
power transmission lines
362.
power variations
363.
power-aware
364.
power-electronic converters
365.
power-factor correction
366.
power-flow equations
367.
power-hardware-in-the-loop
368.
power-laws
369.
power-sharing
370.
power-to-gas based storage system
371.
Power-to-heat
372.
power-to-X
373.
PQ (Power Quality)
374.
PQM (Power Quality Monitoring)
375.
pulse width modulated power converters
376.
pulsed power load (PPL)
377.
pulsewidth-modulated power converters
378.
PV module level power electronics
379.
PV power generation
380.
PV power output
381.
PV power plant
382.
reactive power
383.
reactive power compensation
384.
reactive power control
385.
reactive power injection
386.
reactive power management
387.
reactive power provision
388.
relative band power
389.
relative gamma power
390.
resonant power convertors
391.
reverse power flow
392.
reverse power transfer
393.
r-th power residue symbol
394.
series partial power converter (S-PPC)
395.
series partial power converter (S-PPC) based on the push-pull
396.
shade-tolerant maximum power point tracking (MPPT)
397.
shale oil and power cogeneration
398.
shunt active power filter
399.
smart power electronics
400.
smart power grids
401.
Soft power
402.
solar power
403.
solar power forecasting
404.
solar power generation
405.
solar power plant integration
406.
space-based solar power
407.
static power converters
408.
surplus power factor
409.
sustainable power engineering
410.
switch mode power supply
411.
switched mode power supplies
412.
switched-mode power supplies
413.
switchedmode power supply
414.
switched-mode power supply
415.
symbolic power
416.
thermal power plant
417.
thermal power plants
418.
Thermal Power Station
419.
theta band power
420.
three-phase power factor correction (PFC) converter
421.
time-delay renewable power systems
422.
topological power plant
423.
topology/power control
424.
Unified power flow controller (UPFC)
425.
uninterruptible power supply (UPS)
426.
wave power
427.
welding power supply
428.
wind power
429.
wind power forecasting
430.
wind power generation
431.
wind power generators
432.
wind power plants
433.
wind power production
434.
Wind-photovoltaic-thermal-bundled power
435.
wireless power transfer
436.
virtual power plant
437.
virtual power plant (VPP)
438.
virtual power plants
439.
virtual power plant's (VPPs)
440.
working power of luminaires
441.
voting power
442.
15min power balance
TalTech department
1
1.
Department of Electrical Power Engineering and Mechatronics
subject term
1
1.
Enefit Power
author
1
1.
Power, Ian M.
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT