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