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