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