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