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/421)
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
419
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 designs
148.
low-power device
149.
market power
150.
market power mitigation
151.
maximum power point
152.
maximum power point tracker
153.
Maximum power point trackers
154.
maximum power point tracking
155.
maximum power point tracking (MPPT)
156.
medium voltage power cables
157.
Mini-block power plant
158.
Modern power system
159.
module level power electronics (MLPE)
160.
module-level power electronics (MLPE)
161.
multi-machine industrial power plant
162.
multi-machine power system
163.
narrowband power line communications
164.
non-active power
165.
non-coercive power
166.
normative power
167.
nuclear power
168.
off-grid hybrid power supply
169.
Off-shore wind power
170.
offshore wind power plants
171.
oil shale-fired power plants
172.
oil-shale power generation
173.
parallel active power filter
174.
partial power based on buck-boost resonance converter
175.
partial power based on isolated Z - Source converter(PPZSC)
176.
partial power conversion
177.
partial power converter
178.
partial power converter (PPC)
179.
partial power converters
180.
partial power processing
181.
Partial power processing (PPP)
182.
peak power limiting
183.
photovoltaic power plant
184.
photovoltaic power systems
185.
power
186.
power allocation
187.
power amplifier
188.
power aware computing
189.
power balance
190.
power based control
191.
power bed fusion
192.
power cable
193.
Power cables
194.
power capacitors
195.
power chart
196.
power combiner
197.
power conditioner
198.
power conditioning
199.
power conditioning units (PCUs)
200.
power consensus
201.
power consumption
202.
power consumption of production
203.
power control
204.
power conversion
205.
power converter
206.
power converter interfaces
207.
power converters
208.
power converters design
209.
power converters for EV
210.
power decoupling
211.
Power Delay Product (PDP)
212.
power delivery network
213.
power demand
214.
power density
215.
power devices
216.
power diodes
217.
power dissipation
218.
power disspation
219.
power distribution
220.
power distribution control
221.
power distribution faults
222.
power distribution lines
223.
power distribution network
224.
power distribution system
225.
power electronic building block
226.
power electronic converter
227.
power electronic converters
228.
power electronic interfaces
229.
power electronic interfaces for renewable energy sources
230.
power electronic transformer
231.
power electronics
232.
power electronics (PE)
233.
power electronics converter
234.
power electronics converters
235.
power engineering
236.
power engineering computing
237.
power exchange
238.
power factor
239.
power factor correction
240.
power factor correction (PFC)
241.
power flow
242.
power flow equations
243.
power forecasting
244.
power frequency
245.
power generation
246.
power generation dispatch
247.
power generation economics
248.
power generation planning
249.
power grid
250.
power grid imbalance
251.
power grid project
252.
power grids
253.
power harmonic filters
254.
power imbalance
255.
Power industry
256.
power inverter
257.
Power Iteration Clustering (PIC)
258.
Power leveling strategy
259.
power limitation
260.
power line communication
261.
power line construction
262.
power loss
263.
power loss minimization
264.
power loss model
265.
power losses
266.
power management
267.
power market model
268.
power markets
269.
power measurement
270.
power module
271.
power MOSFET
272.
power of discrimination
273.
power optimization
274.
power optimizer
275.
Power oscillation damping controller (PODC)
276.
power outage
277.
Power Plant
278.
power plant cycling
279.
power plant pollution
280.
Power plants
281.
power quality
282.
power quality benchmarking
283.
power quality case study
284.
Power Quality Disturbances (PQD)
285.
power quality disturbances (PQDs)
286.
power quality legislation
287.
power quality measurement
288.
power quality measurement equipment
289.
power quality measurements
290.
power quality monitoring
291.
power quality parameters
292.
power reduction
293.
power semiconductor device
294.
power semiconductor devices
295.
power semiconductor switches
296.
power series
297.
power signature
298.
power smoothing
299.
power sources
300.
power spectral density
301.
power spectrum
302.
Power storage
303.
power supplier
304.
power supplies
305.
power supplies to apparatus
306.
power supply
307.
power swings
308.
power system
309.
power system analysis computing
310.
power system control
311.
power system dynamics
312.
power system economics
313.
power system faults
314.
power system harmonics
315.
power system management
316.
power system measurements
317.
power system modelling
318.
power system operation
319.
power system parameter estimation
320.
power system planning
321.
power system protection
322.
power system reliability
323.
power system resilience
324.
power system restoration
325.
power system security
326.
power system simulation
327.
power system simulations
328.
Power system stabilizer (PSS)
329.
power system stability
330.
power system transient stability
331.
power systems
332.
Power systems expansion
333.
power systems flexibility
334.
power sytems
335.
power to hydrogen technology
336.
power transfer distribution factor
337.
power transformers
338.
power transistors
339.
power transmission
340.
power transmission lines
341.
power variations
342.
power-aware
343.
power-electronic converters
344.
power-factor correction
345.
power-flow equations
346.
power-hardware-in-the-loop
347.
power-laws
348.
power-sharing
349.
power-to-gas based storage system
350.
Power-to-heat
351.
PQ (Power Quality)
352.
PQM (Power Quality Monitoring)
353.
pulse width modulated power converters
354.
pulsed power load (PPL)
355.
pulsewidth-modulated power converters
356.
PV module level power electronics
357.
PV power generation
358.
PV power output
359.
PV power plant
360.
reactive power
361.
reactive power compensation
362.
reactive power control
363.
reactive power injection
364.
reactive power management
365.
reactive power provision
366.
relative band power
367.
relative gamma power
368.
resonant power convertors
369.
reverse power flow
370.
reverse power transfer
371.
r-th power residue symbol
372.
series partial power converter (S-PPC)
373.
shade-tolerant maximum power point tracking (MPPT)
374.
shale oil and power cogeneration
375.
shunt active power filter
376.
smart power electronics
377.
smart power grids
378.
Soft power
379.
solar power
380.
solar power forecasting
381.
solar power generation
382.
solar power plant integration
383.
space-based solar power
384.
static power converters
385.
surplus power factor
386.
sustainable power engineering
387.
switch mode power supply
388.
switched mode power supplies
389.
switched-mode power supplies
390.
switchedmode power supply
391.
switched-mode power supply
392.
symbolic power
393.
thermal power plant
394.
thermal power plants
395.
Thermal Power Station
396.
theta band power
397.
three-phase power factor correction (PFC) converter
398.
time-delay renewable power systems
399.
topological power plant
400.
topology/power control
401.
Unified power flow controller (UPFC)
402.
uninterruptible power supply (UPS)
403.
wave power
404.
welding power supply
405.
wind power
406.
wind power forecasting
407.
wind power generation
408.
wind power generators
409.
wind power plants
410.
wind power production
411.
Wind-photovoltaic-thermal-bundled power
412.
wireless power transfer
413.
virtual power plant
414.
virtual power plant (VPP)
415.
virtual power plants
416.
virtual power plant's (VPPs)
417.
working power of luminaires
418.
voting power
419.
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