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