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