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