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