Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
model-checking (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
4
Vaata veel..
(2/457)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Multi-view modeling for MPSoC design aspects [Online resource]
Vain, Jüri
;
Apneet Kaur
;
Tsiopoulos, Leonidas
;
Raik, Jaan
;
Jenihhin, Maksim
BEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 2018
2018
/
4 p.: ill
https://doi.org/10.1109/BEC.2018.8600986
artikkel kogumikus
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel kogumikus EST
/
artikkel kogumikus ENG
Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
2025
/
p. 297–304
http://doi.org/10.5220/0013322100003896
https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 4, kuvan
1 - 4
võtmesõna
455
1.
model-checking
2.
model checking
3.
verification by model checking
4.
concurrent online checking
5.
cross-checking
6.
misconfiguration checking
7.
self-checking
8.
accrual-based credit risk model
9.
acoustic model
10.
additive color model
11.
adjusted DuPont model
12.
agent-based model
13.
Allen-Cahn Chan-Vese model
14.
alternative model
15.
analysis model
16.
analytical lumped parameter model
17.
analytical model
18.
analytical thermal model approach
19.
APARHC model
20.
APICS competence model
21.
ARIMA model
22.
armature current model
23.
as-built model
24.
asymmetric model
25.
attack model
26.
automatic GUI model generation
27.
automatic model creation
28.
Bass model
29.
Bayesian model averaging
30.
Bertotti model
31.
beyond standard model
32.
bicycle model
33.
blockiotintelligence architectural model
34.
Bouguer potential model
35.
business model
36.
business model archetypes
37.
business model attributes
38.
business model canvas
39.
business model classification
40.
business model generation
41.
business model innovation
42.
Business Model Innovation (BMI)
43.
business model reconfiguration
44.
business model research
45.
business network model
46.
Caco2 model cells
47.
Capability Maturity Model Integration for Development
48.
cartesian system model
49.
casual probabilistic model
50.
CERC model
51.
chain model
52.
channel model
53.
charging planning model
54.
Coalitional game model
55.
communication model
56.
compact empirical model
57.
compact model
58.
company analyze model
59.
competence model
60.
competency model
61.
Comprehensive Situation Awareness Model
62.
conceptual data model
63.
conceptual model
64.
conceptual model of curriculum for accounting specialization
65.
condenser model
66.
conditional N-K model
67.
constitutive model
68.
Context model
69.
corrosion model
70.
country analysis model
71.
coupled coils model
72.
crop model
73.
cross-city model transfer
74.
data generative model
75.
data quality maturity model
76.
data-driven model
77.
decentralized model predictive control
78.
deep learning model
79.
deep learning model quantization
80.
default company model
81.
design model
82.
design-driven business model
83.
designing a teaching model
84.
detailed model
85.
didactic model
86.
diffusion model
87.
digital elevation model
88.
digital surface model (DSM)
89.
disease model
90.
distributed activation energy model
91.
distributed parameter model
92.
distributed parameter model of metastructures
93.
Dodd–Deeds model
94.
domain model
95.
domain model and domain modelling
96.
double diamond model
97.
dq0 model
98.
DSGE model
99.
DSL meta-model ontology
100.
Ducoffe’s advertisement value model
101.
Ducoffe’s advertising model
102.
dynamic factor model
103.
dynamic load model
104.
dynamic model
105.
Dynamical vegetation model
106.
Ecological Regional Ocean Model (ERGOM)
107.
economic model
108.
Economic optimization model
109.
EES model
110.
EES Model-2
111.
elaboration likelihood model
112.
ELAQF Competence Model
113.
electricity demand model
114.
Electronic Education System Model-2
115.
empirical energy consumption model
116.
empirical model
117.
end member mixing model
118.
endogenous growth model
119.
end-to-end model-based system
120.
energy system model
121.
enzyme-constrained genome-scale model
122.
enterprise analysis model (EAM)
123.
entrepreneurial intention transformation model “EITM”
124.
equivalent circuit model
125.
Eringen model
126.
Estonian sustainability model
127.
Eulerian model
128.
European Charring Model
129.
EV load model
130.
Event Processing Network Model
131.
experience pyramid model
132.
Experimental model
133.
explainable AI model
134.
exponential load model
135.
exponential model
136.
fault analysis model
137.
Felder-Silverman model
138.
FEM model
139.
FEM-model
140.
field tests model validation
141.
finite control set-model predictive control (FCS-MPC)
142.
finite cycle-based model predictive control
143.
finite element model
144.
finite-element (FE) model
145.
finite-element model
146.
fire design model
147.
FitzHugh-Nagumo model
148.
fixed country-effect model
149.
FOPDT model
150.
friction model
151.
functional fault model
152.
fuzzy logic model
153.
gaussian mixture model
154.
Gaussian model
155.
General Estuarine Transport Model (GETM)
156.
generative diffusion model
157.
genome model
158.
Genome-scale metabolic model
159.
geoid model
160.
GIS model
161.
Global climate model
162.
goal model
163.
gravity model
164.
grey box model
165.
GTAP model
166.
GUI model
167.
habitat model
168.
habitat suitability model
169.
Hammerstein-Wiener model
170.
HBM model
171.
Hidden Markov Model (HMM)
172.
high-frequency model
173.
high-level control fault model
174.
high-level fault model
175.
high-level functional fault model
176.
HIROMB-BOOS-Model (HBM)
177.
HL7 Version 3: Reference Information Model (RIM)
178.
Hodgkin-Huxley model
179.
holistic M&A model
180.
holistic merger and acquisition model
181.
hot/cold pressing and finite element model simulation
182.
hydraulic model
183.
hydraulic network model
184.
hydrodynamic model
185.
hydro-mechanical model
186.
Ice history model
187.
inductive model
188.
information model
189.
information model-based urban planning
190.
infringer model
191.
initial data model
192.
input-output model
193.
Integrated care model
194.
integrated quadruple instructional model
195.
integrated waste management model
196.
integrative pedagogy model
197.
interpretive structural model (ISM)
198.
iron losses 3D model
199.
Jiles–Atherton (JA) model
200.
Johnson–Cook failure model
201.
joint model
202.
Kano model
203.
KPI selection model
204.
KPIs selection model
205.
laboratory domain model
206.
Lagrangian model
207.
Land Administration Domain Model (LADM)
208.
large language model (LLM)
209.
linear Delta robots neural network based model
210.
local interpretable model-agnostic explanations (LIME)
211.
local model
212.
logistic model
213.
logistic regression model
214.
logistics competence model
215.
loss model
216.
LSV model
217.
lumped model
218.
lumped parameter model
219.
lumped-parameter model
220.
Luxemburg model
221.
Machine Learning Explainable model
222.
machine-learning predictive model
223.
MACRO model
224.
Markov model
225.
Markov-switching model
226.
mathematical model
227.
maturity model
228.
measurement model
229.
mental model
230.
meta model
231.
metadata model for security measures
232.
meta-model
233.
MGARCH model
234.
micromechanical model
235.
microscopic traffic flow model
236.
Mindlin model
237.
model
238.
model amphipathic peptide
239.
model averaging
240.
model based
241.
model based testing
242.
model building
243.
model building and simulation
244.
model calibration
245.
model communities
246.
model comparison
247.
model compression
248.
model construction
249.
model description
250.
model designer
251.
Model Driven Architecture
252.
model driven development
253.
model driven engineering
254.
model ensemble
255.
model evaluation
256.
model free
257.
model identification
258.
model interpretability
259.
model learning
260.
model matching problem
261.
model of fracture mechanism
262.
model of fracturemechanism
263.
model of friction
264.
model of goal-directed behaviour
265.
model of non-technical engineering competences
266.
model order estimation
267.
model order reduction
268.
model order reduction (MOR)
269.
model predictive control
270.
model predictive control (MPC)
271.
model predictive controllers (MPC)
272.
model reanalysis
273.
model reduction
274.
model reference adaptive control
275.
model reference controller
276.
model refinement
277.
model smell
278.
Model test
279.
model transformation
280.
model transformations
281.
Model validation
282.
model verification
283.
model-based control
284.
model-based design
285.
model-based development
286.
Model-Based Engineering (MBE)
287.
model-based mutation testing
288.
model-based navigation
289.
model-based patterns
290.
model-based software development
291.
Model-Based Systems Engineering (MBSE)
292.
model-based testing
293.
model-based verification
294.
model-driven architecture
295.
model-driven design
296.
model-driven development
297.
model-driven software engineering
298.
model-driven telemetry
299.
model-free
300.
model-free control
301.
model-free methods
302.
model-scale experiments
303.
modified winding function‐based model
304.
modulated finite control set-model predictive control
305.
mouse model
306.
multi model ensemble (MME)
307.
multiagent-based microscopic traffic assignment model (MMTAM)
308.
multidomain language model
309.
multi-loop model reference control
310.
multi-model ensemble
311.
multiplicative neuron model
312.
multi-pole mathematical model
313.
multi-pole model
314.
multi-pole model design
315.
natural background model
316.
neural additive model
317.
New Keynesian model
318.
Neyman-Pearson model
319.
NKG2015 geoid model
320.
NN-ANARX model
321.
nonlinear model identification
322.
nonlinear model predictive control
323.
nonlinear time-varying factor model
324.
non-thermal model
325.
Nonthermal model
326.
NSPT model
327.
numerical model
328.
object model
329.
ocean-sea-ice model
330.
open architecture model
331.
open-economy dynamic general equilibrium model
332.
openEHR RM (Reference Model)
333.
optimal model
334.
Overlapping generations model
335.
panel fixed-effects model
336.
panel threshold model
337.
panel vector autoregressive model (VAR)
338.
parallel reaction model
339.
path loss model
340.
pedagogical design model
341.
Peirce’s triadic model
342.
Peirce's model
343.
photodiode model
344.
PLM maturity model
345.
plume model
346.
POM model
347.
population balance model
348.
Porter’s diamond model
349.
power loss model
350.
power market model
351.
prediction model
352.
predictive model
353.
pre-trained model
354.
price-sensitive model of flexible equipment
355.
Princeton Ocean Model
356.
Probabilistic Graph Model (PGM)
357.
probabilistic model
358.
process model
359.
projection model
360.
Quadruple Helix Model
361.
quarter car model
362.
rabbit model
363.
Random Parameter Linear Regression Model (RPLRM)
364.
recurrent neural network language model
365.
reduced order model
366.
reference model
367.
regression based model
368.
regulatory model
369.
reputation model
370.
residential electricity consumption model
371.
Residual Terrain Model (RTM) anomaly
372.
residual terrain model anomaly
373.
retaining research financing, changes in salary rules; new academic career model
374.
REVEALS model
375.
reversed hazard rate model
376.
Reynolds stress turbulence model
377.
Richardson Maturity Model
378.
Riedel shear model
379.
ripening model
380.
risk evaluation model
381.
risk evaluation model development
382.
risk management model
383.
sanitary sewer model
384.
SAXS structural model-free analysis
385.
scalar model
386.
Scott-Kennel model
387.
sea current model
388.
security model
389.
semantic model
390.
shared mental model
391.
SHEL model
392.
ship model basin
393.
simplified model
394.
simulating waves nearshore (SWAN) model
395.
simulation model
396.
simulink model
397.
Simultaneous model-based optimization
398.
single-cell model
399.
sliding model control
400.
small-signal model
401.
SOILN model
402.
specific energy model
403.
standard cost model
404.
statistical model residuals
405.
Storm Water Management Model (SWMM5)
406.
Straussian theory model
407.
structural model
408.
stuck-at fault model
409.
subtractive color model
410.
supply chain model framework
411.
supply chain operations reference (SCOR) model
412.
surrogate model
413.
sustainability model framework
414.
sustainable business model
415.
SWAN model
416.
Zimbabwe agro-pastoral management model
417.
ZIP model
418.
zonal model
419.
teaching model
420.
technology acceptance model
421.
Technology Acceptance Model (TAM)
422.
tender evaluation model
423.
test model design
424.
The Baltic Sea Model Intercomparison Project (BMIP)
425.
the model of non-technical competences
426.
thermal model
427.
tobit regression model
428.
trade gravity model
429.
transnational model
430.
transport model
431.
transportation model
432.
travel time model
433.
tunnelling‐percolation model
434.
turn model
435.
two-dimensional model
436.
two-factor model
437.
typical user model
438.
Ulrich HR roles model
439.
ultra-local model
440.
ultralocal model (ULM) control
441.
Uppaal model-checker
442.
user behavioral model
443.
user dialogue model
444.
utility model
445.
validation of simulation model
446.
value-centric model
447.
wave model
448.
Vector Error Correction Model
449.
vector space model
450.
Wells-Riley model
451.
whole-cell model
452.
Viable Systems Model
453.
wind force model
454.
VRH model
455.
3D model
märksõna
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT