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