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
model-checking (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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(2/432)
Export
export all inquiry results
(3)
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
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
book article
2
book article EST
/
book article 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
book article EST
/
book article ENG
3
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 3, displaying
1 - 3
keyword
430
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.
adjusted DuPont model
11.
agent-based model
12.
Allen-Cahn Chan-Vese model
13.
alternative model
14.
analysis model
15.
analytical lumped parameter model
16.
analytical model
17.
analytical thermal model approach
18.
APARHC model
19.
APICS competence model
20.
ARIMA model
21.
armature current model
22.
as-built model
23.
asymmetric model
24.
attack model
25.
automatic GUI model generation
26.
automatic model creation
27.
Bass model
28.
Bayesian model averaging
29.
Bertotti model
30.
beyond standard model
31.
bicycle model
32.
blockiotintelligence architectural model
33.
business model
34.
business model archetypes
35.
business model attributes
36.
business model canvas
37.
business model classification
38.
business model generation
39.
business model innovation
40.
Business Model Innovation (BMI)
41.
business model reconfiguration
42.
business model research
43.
business network model
44.
Caco2 model cells
45.
Capability Maturity Model Integration for Development
46.
cartesian system model
47.
casual probabilistic model
48.
CERC model
49.
chain model
50.
channel model
51.
charging planning model
52.
Coalitional game model
53.
communication model
54.
compact empirical model
55.
compact model
56.
company analyze model
57.
competence model
58.
competency model
59.
Comprehensive Situation Awareness Model
60.
conceptual data model
61.
conceptual model
62.
conceptual model of curriculum for accounting specialization
63.
condenser model
64.
constitutive model
65.
Context model
66.
corrosion model
67.
country analysis model
68.
coupled coils model
69.
crop model
70.
data generative model
71.
data quality maturity model
72.
data-driven model
73.
decentralized model predictive control
74.
deep learning model
75.
deep learning model quantization
76.
default company model
77.
design model
78.
design-driven business model
79.
designing a teaching model
80.
detailed model
81.
didactic model
82.
diffusion model
83.
digital elevation model
84.
digital surface model (DSM)
85.
disease model
86.
distributed activation energy model
87.
distributed parameter model
88.
distributed parameter model of metastructures
89.
Dodd–Deeds model
90.
domain model
91.
domain model and domain modelling
92.
double diamond model
93.
dq0 model
94.
DSGE model
95.
DSL meta-model ontology
96.
Ducoffe’s advertisement value model
97.
Ducoffe’s advertising model
98.
dynamic factor model
99.
dynamic load model
100.
dynamic model
101.
Dynamical vegetation model
102.
Ecological Regional Ocean Model (ERGOM)
103.
economic model
104.
Economic optimization model
105.
EES model
106.
EES Model-2
107.
elaboration likelihood model
108.
ELAQF Competence Model
109.
electricity demand model
110.
Electronic Education System Model-2
111.
empirical energy consumption model
112.
empirical model
113.
end member mixing model
114.
endogenous growth model
115.
end-to-end model-based system
116.
energy system model
117.
enzyme-constrained genome-scale model
118.
enterprise analysis model (EAM)
119.
entrepreneurial intention transformation model “EITM”
120.
equivalent circuit model
121.
Eringen model
122.
Estonian sustainability model
123.
Eulerian model
124.
European Charring Model
125.
EV load model
126.
Event Processing Network Model
127.
experience pyramid model
128.
Experimental model
129.
explainable AI model
130.
exponential load model
131.
exponential model
132.
fault analysis model
133.
Felder-Silverman model
134.
FEM model
135.
FEM-model
136.
field tests model validation
137.
finite control set-model predictive control (FCS-MPC)
138.
finite element model
139.
finite-element (FE) model
140.
finite-element model
141.
fire design model
142.
FitzHugh-Nagumo model
143.
fixed country-effect model
144.
FOPDT model
145.
friction model
146.
functional fault model
147.
fuzzy logic model
148.
gaussian mixture model
149.
Gaussian model
150.
General Estuarine Transport Model (GETM)
151.
genome model
152.
Genome-scale metabolic model
153.
geoid model
154.
GIS model
155.
Global climate model
156.
goal model
157.
gravity model
158.
grey box model
159.
GTAP model
160.
GUI model
161.
habitat model
162.
habitat suitability model
163.
Hammerstein-Wiener model
164.
HBM model
165.
Hidden Markov Model (HMM)
166.
high-frequency model
167.
high-level control fault model
168.
high-level fault model
169.
high-level functional fault model
170.
HIROMB-BOOS-Model (HBM)
171.
HL7 Version 3: Reference Information Model (RIM)
172.
holistic M&A model
173.
holistic merger and acquisition model
174.
hot/cold pressing and finite element model simulation
175.
hydraulic model
176.
hydraulic network model
177.
hydrodynamic model
178.
Ice history model
179.
inductive model
180.
information model
181.
information model-based urban planning
182.
infringer model
183.
initial data model
184.
input-output model
185.
integrated quadruple instructional model
186.
integrated waste management model
187.
integrative pedagogy model
188.
interpretive structural model (ISM)
189.
iron losses 3D model
190.
Jiles–Atherton (JA) model
191.
Johnson–Cook failure model
192.
joint model
193.
Kano model
194.
KPI selection model
195.
KPIs selection model
196.
laboratory domain model
197.
Lagrangian model
198.
linear Delta robots neural network based model
199.
local interpretable model-agnostic explanations (LIME)
200.
local model
201.
logistic model
202.
logistic regression model
203.
logistics competence model
204.
loss model
205.
LSV model
206.
lumped model
207.
lumped parameter model
208.
lumped-parameter model
209.
Luxemburg model
210.
Machine Learning Explainable model
211.
machine-learning predictive model
212.
MACRO model
213.
Markov-switching model
214.
mathematical model
215.
maturity model
216.
measurement model
217.
mental model
218.
meta model
219.
metadata model for security measures
220.
meta-model
221.
MGARCH model
222.
micromechanical model
223.
microscopic traffic flow model
224.
Mindlin model
225.
model
226.
model amphipathic peptide
227.
model averaging
228.
model based
229.
model based testing
230.
model building
231.
model calibration
232.
model communities
233.
model comparison
234.
model compression
235.
model construction
236.
model description
237.
model designer
238.
Model Driven Architecture
239.
model driven development
240.
model driven engineering
241.
model ensemble
242.
model evaluation
243.
model free
244.
model identification
245.
model learning
246.
model matching problem
247.
model of fracture mechanism
248.
model of fracturemechanism
249.
model of friction
250.
model of non-technical engineering competences
251.
model order estimation
252.
model order reduction
253.
model order reduction (MOR)
254.
model predictive control
255.
model predictive control (MPC)
256.
model predictive controllers (MPC)
257.
model reanalysis
258.
model reduction
259.
model reference adaptive control
260.
model reference controller
261.
model refinement
262.
model smell
263.
Model test
264.
model transformation
265.
model transformations
266.
Model validation
267.
model verification
268.
model-based control
269.
model-based development
270.
Model-Based Engineering (MBE)
271.
model-based mutation testing
272.
model-based navigation
273.
model-based patterns
274.
model-based software development
275.
Model-Based Systems Engineering (MBSE)
276.
model-based testing
277.
model-based verification
278.
model-driven architecture
279.
model-driven design
280.
model-driven development
281.
model-driven software engineering
282.
model-free control
283.
model-free methods
284.
model-scale experiments
285.
modified winding function‐based model
286.
modulated finite control set-model predictive control
287.
mouse model
288.
multi model ensemble (MME)
289.
multiagent-based microscopic traffic assignment model (MMTAM)
290.
multidomain language model
291.
multi-loop model reference control
292.
multi-model ensemble
293.
multiplicative neuron model
294.
multi-pole mathematical model
295.
multi-pole model
296.
multi-pole model design
297.
natural background model
298.
neural additive model
299.
New Keynesian model
300.
Neyman-Pearson model
301.
NKG2015 geoid model
302.
NN-ANARX model
303.
nonlinear model identification
304.
nonlinear model predictive control
305.
nonlinear time-varying factor model
306.
non-thermal model
307.
Nonthermal model
308.
NSPT model
309.
numerical model
310.
object model
311.
ocean-sea-ice model
312.
open architecture model
313.
open-economy dynamic general equilibrium model
314.
openEHR RM (Reference Model)
315.
optimal model
316.
Overlapping generations model
317.
panel threshold model
318.
panel vector autoregressive model (VAR)
319.
parallel reaction model
320.
path loss model
321.
pedagogical design model
322.
Peirce’s triadic model
323.
Peirce's model
324.
photodiode model
325.
PLM maturity model
326.
plume model
327.
POM model
328.
population balance model
329.
Porter’s diamond model
330.
power loss model
331.
power market model
332.
prediction model
333.
predictive model
334.
pre-trained model
335.
price-sensitive model of flexible equipment
336.
Princeton Ocean Model
337.
Probabilistic Graph Model (PGM)
338.
probabilistic model
339.
process model
340.
projection model
341.
Quadruple Helix Model
342.
quarter car model
343.
Random Parameter Linear Regression Model (RPLRM)
344.
recurrent neural network language model
345.
reduced order model
346.
reference model
347.
regression based model
348.
regulatory model
349.
reputation model
350.
residential electricity consumption model
351.
Residual Terrain Model (RTM) anomaly
352.
residual terrain model anomaly
353.
retaining research financing, changes in salary rules; new academic career model
354.
REVEALS model
355.
reversed hazard rate model
356.
Reynolds stress turbulence model
357.
Richardson Maturity Model
358.
ripening model
359.
risk evaluation model
360.
risk evaluation model development
361.
risk management model
362.
sanitary sewer model
363.
scalar model
364.
Scott-Kennel model
365.
security model
366.
shared mental model
367.
SHEL model
368.
ship model basin
369.
simplified model
370.
simulating waves nearshore (SWAN) model
371.
simulation model
372.
simulink model
373.
Simultaneous model-based optimization
374.
single-cell model
375.
sliding model control
376.
small-signal model
377.
SOILN model
378.
specific energy model
379.
standard cost model
380.
statistical model residuals
381.
Storm Water Management Model (SWMM5)
382.
Straussian theory model
383.
structural model
384.
stuck-at fault model
385.
supply chain model framework
386.
supply chain operations reference (SCOR) model
387.
surrogate model
388.
sustainability model framework
389.
sustainable business model
390.
SWAN model
391.
Zimbabwe agro-pastoral management model
392.
ZIP model
393.
zonal model
394.
teaching model
395.
technology acceptance model
396.
Technology Acceptance Model (TAM)
397.
tender evaluation model
398.
test model design
399.
The Baltic Sea Model Intercomparison Project (BMIP)
400.
the model of non-technical competences
401.
thermal model
402.
tobit regression model
403.
trade gravity model
404.
transnational model
405.
transport model
406.
transportation model
407.
travel time model
408.
tunnelling‐percolation model
409.
turn model
410.
two-dimensional model
411.
two-factor model
412.
typical user model
413.
Ulrich HR roles model
414.
ultra-local model
415.
ultralocal model (ULM) control
416.
Uppaal model-checker
417.
user behavioral model
418.
user dialogue model
419.
utility model
420.
validation of simulation model
421.
value-centric model
422.
wave model
423.
Vector Error Correction Model
424.
vector space model
425.
Wells-Riley model
426.
whole-cell model
427.
Viable Systems Model
428.
wind force model
429.
VRH model
430.
3D model
subject term
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT