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