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/433)
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
431
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.
large language model (LLM)
199.
linear Delta robots neural network based model
200.
local interpretable model-agnostic explanations (LIME)
201.
local model
202.
logistic model
203.
logistic regression model
204.
logistics competence model
205.
loss model
206.
LSV model
207.
lumped model
208.
lumped parameter model
209.
lumped-parameter model
210.
Luxemburg model
211.
Machine Learning Explainable model
212.
machine-learning predictive model
213.
MACRO model
214.
Markov-switching model
215.
mathematical model
216.
maturity model
217.
measurement model
218.
mental model
219.
meta model
220.
metadata model for security measures
221.
meta-model
222.
MGARCH model
223.
micromechanical model
224.
microscopic traffic flow model
225.
Mindlin model
226.
model
227.
model amphipathic peptide
228.
model averaging
229.
model based
230.
model based testing
231.
model building
232.
model calibration
233.
model communities
234.
model comparison
235.
model compression
236.
model construction
237.
model description
238.
model designer
239.
Model Driven Architecture
240.
model driven development
241.
model driven engineering
242.
model ensemble
243.
model evaluation
244.
model free
245.
model identification
246.
model learning
247.
model matching problem
248.
model of fracture mechanism
249.
model of fracturemechanism
250.
model of friction
251.
model of non-technical engineering competences
252.
model order estimation
253.
model order reduction
254.
model order reduction (MOR)
255.
model predictive control
256.
model predictive control (MPC)
257.
model predictive controllers (MPC)
258.
model reanalysis
259.
model reduction
260.
model reference adaptive control
261.
model reference controller
262.
model refinement
263.
model smell
264.
Model test
265.
model transformation
266.
model transformations
267.
Model validation
268.
model verification
269.
model-based control
270.
model-based development
271.
Model-Based Engineering (MBE)
272.
model-based mutation testing
273.
model-based navigation
274.
model-based patterns
275.
model-based software development
276.
Model-Based Systems Engineering (MBSE)
277.
model-based testing
278.
model-based verification
279.
model-driven architecture
280.
model-driven design
281.
model-driven development
282.
model-driven software engineering
283.
model-free control
284.
model-free methods
285.
model-scale experiments
286.
modified winding function‐based model
287.
modulated finite control set-model predictive control
288.
mouse model
289.
multi model ensemble (MME)
290.
multiagent-based microscopic traffic assignment model (MMTAM)
291.
multidomain language model
292.
multi-loop model reference control
293.
multi-model ensemble
294.
multiplicative neuron model
295.
multi-pole mathematical model
296.
multi-pole model
297.
multi-pole model design
298.
natural background model
299.
neural additive model
300.
New Keynesian model
301.
Neyman-Pearson model
302.
NKG2015 geoid model
303.
NN-ANARX model
304.
nonlinear model identification
305.
nonlinear model predictive control
306.
nonlinear time-varying factor model
307.
non-thermal model
308.
Nonthermal model
309.
NSPT model
310.
numerical model
311.
object model
312.
ocean-sea-ice model
313.
open architecture model
314.
open-economy dynamic general equilibrium model
315.
openEHR RM (Reference Model)
316.
optimal model
317.
Overlapping generations model
318.
panel threshold model
319.
panel vector autoregressive model (VAR)
320.
parallel reaction model
321.
path loss model
322.
pedagogical design model
323.
Peirce’s triadic model
324.
Peirce's model
325.
photodiode model
326.
PLM maturity model
327.
plume model
328.
POM model
329.
population balance model
330.
Porter’s diamond model
331.
power loss model
332.
power market model
333.
prediction model
334.
predictive model
335.
pre-trained model
336.
price-sensitive model of flexible equipment
337.
Princeton Ocean Model
338.
Probabilistic Graph Model (PGM)
339.
probabilistic model
340.
process model
341.
projection model
342.
Quadruple Helix Model
343.
quarter car model
344.
Random Parameter Linear Regression Model (RPLRM)
345.
recurrent neural network language model
346.
reduced order model
347.
reference model
348.
regression based model
349.
regulatory model
350.
reputation model
351.
residential electricity consumption model
352.
Residual Terrain Model (RTM) anomaly
353.
residual terrain model anomaly
354.
retaining research financing, changes in salary rules; new academic career model
355.
REVEALS model
356.
reversed hazard rate model
357.
Reynolds stress turbulence model
358.
Richardson Maturity Model
359.
ripening model
360.
risk evaluation model
361.
risk evaluation model development
362.
risk management model
363.
sanitary sewer model
364.
scalar model
365.
Scott-Kennel model
366.
security model
367.
shared mental model
368.
SHEL model
369.
ship model basin
370.
simplified model
371.
simulating waves nearshore (SWAN) model
372.
simulation model
373.
simulink model
374.
Simultaneous model-based optimization
375.
single-cell model
376.
sliding model control
377.
small-signal model
378.
SOILN model
379.
specific energy model
380.
standard cost model
381.
statistical model residuals
382.
Storm Water Management Model (SWMM5)
383.
Straussian theory model
384.
structural model
385.
stuck-at fault model
386.
supply chain model framework
387.
supply chain operations reference (SCOR) model
388.
surrogate model
389.
sustainability model framework
390.
sustainable business model
391.
SWAN model
392.
Zimbabwe agro-pastoral management model
393.
ZIP model
394.
zonal model
395.
teaching model
396.
technology acceptance model
397.
Technology Acceptance Model (TAM)
398.
tender evaluation model
399.
test model design
400.
The Baltic Sea Model Intercomparison Project (BMIP)
401.
the model of non-technical competences
402.
thermal model
403.
tobit regression model
404.
trade gravity model
405.
transnational model
406.
transport model
407.
transportation model
408.
travel time model
409.
tunnelling‐percolation model
410.
turn model
411.
two-dimensional model
412.
two-factor model
413.
typical user model
414.
Ulrich HR roles model
415.
ultra-local model
416.
ultralocal model (ULM) control
417.
Uppaal model-checker
418.
user behavioral model
419.
user dialogue model
420.
utility model
421.
validation of simulation model
422.
value-centric model
423.
wave model
424.
Vector Error Correction Model
425.
vector space model
426.
Wells-Riley model
427.
whole-cell model
428.
Viable Systems Model
429.
wind force model
430.
VRH model
431.
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