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