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