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