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