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