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
4
Look more..
(2/434)
Export
export all inquiry results
(4)
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
journal article EST
/
journal article ENG
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
Balasubramaniyan, Sreram
;
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Balasubramanian, Subathra
;
Vain, Jüri
;
Ramaswamy, Srini
Microprocessors and microsystems
2016
/
p. 37-48 : ill
https://doi.org/10.1016/j.micpro.2015.12.006
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
book article EST
/
book article ENG
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
Shokri-Manninen, Fatima
;
Tsiopoulos, Leonidas
;
Vain, Jüri
;
Walden, Marina
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
2020
/
p. 186-202
https://doi.org/10.1007/978-3-030-48077-6_13
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
3
journal article EST
/
journal article ENG
Model checking response times in Networked Automation Systems using jitter bounds
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Vain, Jüri
;
Ramaswamy, Srini
Computers in industry
2015
/
p. 186-200
https://doi.org/10.1016/j.compind.2015.06.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
4
book article
Provably correct aspect-oriented modeling with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gerd
System assurances : modeling and management
2022
/
p. 447-476
https://doi.org/10.1016/B978-0-323-90240-3.00025-4
book article
Number of records 4, displaying
1 - 4
keyword
432
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.
rabbit model
345.
Random Parameter Linear Regression Model (RPLRM)
346.
recurrent neural network language model
347.
reduced order model
348.
reference model
349.
regression based model
350.
regulatory model
351.
reputation model
352.
residential electricity consumption model
353.
Residual Terrain Model (RTM) anomaly
354.
residual terrain model anomaly
355.
retaining research financing, changes in salary rules; new academic career model
356.
REVEALS model
357.
reversed hazard rate model
358.
Reynolds stress turbulence model
359.
Richardson Maturity Model
360.
ripening model
361.
risk evaluation model
362.
risk evaluation model development
363.
risk management model
364.
sanitary sewer model
365.
scalar model
366.
Scott-Kennel model
367.
security model
368.
shared mental model
369.
SHEL model
370.
ship model basin
371.
simplified model
372.
simulating waves nearshore (SWAN) model
373.
simulation model
374.
simulink model
375.
Simultaneous model-based optimization
376.
single-cell model
377.
sliding model control
378.
small-signal model
379.
SOILN model
380.
specific energy model
381.
standard cost model
382.
statistical model residuals
383.
Storm Water Management Model (SWMM5)
384.
Straussian theory model
385.
structural model
386.
stuck-at fault model
387.
supply chain model framework
388.
supply chain operations reference (SCOR) model
389.
surrogate model
390.
sustainability model framework
391.
sustainable business model
392.
SWAN model
393.
Zimbabwe agro-pastoral management model
394.
ZIP model
395.
zonal model
396.
teaching model
397.
technology acceptance model
398.
Technology Acceptance Model (TAM)
399.
tender evaluation model
400.
test model design
401.
The Baltic Sea Model Intercomparison Project (BMIP)
402.
the model of non-technical competences
403.
thermal model
404.
tobit regression model
405.
trade gravity model
406.
transnational model
407.
transport model
408.
transportation model
409.
travel time model
410.
tunnelling‐percolation model
411.
turn model
412.
two-dimensional model
413.
two-factor model
414.
typical user model
415.
Ulrich HR roles model
416.
ultra-local model
417.
ultralocal model (ULM) control
418.
Uppaal model-checker
419.
user behavioral model
420.
user dialogue model
421.
utility model
422.
validation of simulation model
423.
value-centric model
424.
wave model
425.
Vector Error Correction Model
426.
vector space model
427.
Wells-Riley model
428.
whole-cell model
429.
Viable Systems Model
430.
wind force model
431.
VRH model
432.
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