Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
model checking (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
4
Vaata veel..
(2/447)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 4, kuvan
1 - 4
võtmesõna
445
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 care model
191.
integrated quadruple instructional model
192.
integrated waste management model
193.
integrative pedagogy model
194.
interpretive structural model (ISM)
195.
iron losses 3D model
196.
Jiles–Atherton (JA) model
197.
Johnson–Cook failure model
198.
joint model
199.
Kano model
200.
KPI selection model
201.
KPIs selection model
202.
laboratory domain model
203.
Lagrangian model
204.
Land Administration Domain Model (LADM)
205.
large language model (LLM)
206.
linear Delta robots neural network based model
207.
local interpretable model-agnostic explanations (LIME)
208.
local model
209.
logistic model
210.
logistic regression model
211.
logistics competence model
212.
loss model
213.
LSV model
214.
lumped model
215.
lumped parameter model
216.
lumped-parameter model
217.
Luxemburg model
218.
Machine Learning Explainable model
219.
machine-learning predictive model
220.
MACRO model
221.
Markov model
222.
Markov-switching model
223.
mathematical model
224.
maturity model
225.
measurement model
226.
mental model
227.
meta model
228.
metadata model for security measures
229.
meta-model
230.
MGARCH model
231.
micromechanical model
232.
microscopic traffic flow model
233.
Mindlin model
234.
model
235.
model amphipathic peptide
236.
model averaging
237.
model based
238.
model based testing
239.
model building
240.
model building and simulation
241.
model calibration
242.
model communities
243.
model comparison
244.
model compression
245.
model construction
246.
model description
247.
model designer
248.
Model Driven Architecture
249.
model driven development
250.
model driven engineering
251.
model ensemble
252.
model evaluation
253.
model free
254.
model identification
255.
model interpretability
256.
model learning
257.
model matching problem
258.
model of fracture mechanism
259.
model of fracturemechanism
260.
model of friction
261.
model of goal-directed behaviour
262.
model of non-technical engineering competences
263.
model order estimation
264.
model order reduction
265.
model order reduction (MOR)
266.
model predictive control
267.
model predictive control (MPC)
268.
model predictive controllers (MPC)
269.
model reanalysis
270.
model reduction
271.
model reference adaptive control
272.
model reference controller
273.
model refinement
274.
model smell
275.
Model test
276.
model transformation
277.
model transformations
278.
Model validation
279.
model verification
280.
model-based control
281.
model-based development
282.
Model-Based Engineering (MBE)
283.
model-based mutation testing
284.
model-based navigation
285.
model-based patterns
286.
model-based software development
287.
Model-Based Systems Engineering (MBSE)
288.
model-based testing
289.
model-based verification
290.
model-driven architecture
291.
model-driven design
292.
model-driven development
293.
model-driven software engineering
294.
model-free control
295.
model-free methods
296.
model-scale experiments
297.
modified winding function‐based model
298.
modulated finite control set-model predictive control
299.
mouse model
300.
multi model ensemble (MME)
301.
multiagent-based microscopic traffic assignment model (MMTAM)
302.
multidomain language model
303.
multi-loop model reference control
304.
multi-model ensemble
305.
multiplicative neuron model
306.
multi-pole mathematical model
307.
multi-pole model
308.
multi-pole model design
309.
natural background model
310.
neural additive model
311.
New Keynesian model
312.
Neyman-Pearson model
313.
NKG2015 geoid model
314.
NN-ANARX model
315.
nonlinear model identification
316.
nonlinear model predictive control
317.
nonlinear time-varying factor model
318.
non-thermal model
319.
Nonthermal model
320.
NSPT model
321.
numerical model
322.
object model
323.
ocean-sea-ice model
324.
open architecture model
325.
open-economy dynamic general equilibrium model
326.
openEHR RM (Reference Model)
327.
optimal model
328.
Overlapping generations model
329.
panel threshold model
330.
panel vector autoregressive model (VAR)
331.
parallel reaction model
332.
path loss model
333.
pedagogical design model
334.
Peirce’s triadic model
335.
Peirce's model
336.
photodiode model
337.
PLM maturity model
338.
plume model
339.
POM model
340.
population balance model
341.
Porter’s diamond model
342.
power loss model
343.
power market model
344.
prediction model
345.
predictive model
346.
pre-trained model
347.
price-sensitive model of flexible equipment
348.
Princeton Ocean Model
349.
Probabilistic Graph Model (PGM)
350.
probabilistic model
351.
process model
352.
projection model
353.
Quadruple Helix Model
354.
quarter car model
355.
rabbit model
356.
Random Parameter Linear Regression Model (RPLRM)
357.
recurrent neural network language model
358.
reduced order model
359.
reference model
360.
regression based model
361.
regulatory model
362.
reputation model
363.
residential electricity consumption model
364.
Residual Terrain Model (RTM) anomaly
365.
residual terrain model anomaly
366.
retaining research financing, changes in salary rules; new academic career model
367.
REVEALS model
368.
reversed hazard rate model
369.
Reynolds stress turbulence model
370.
Richardson Maturity Model
371.
Riedel shear model
372.
ripening model
373.
risk evaluation model
374.
risk evaluation model development
375.
risk management model
376.
sanitary sewer model
377.
scalar model
378.
Scott-Kennel model
379.
security model
380.
shared mental model
381.
SHEL model
382.
ship model basin
383.
simplified model
384.
simulating waves nearshore (SWAN) model
385.
simulation model
386.
simulink model
387.
Simultaneous model-based optimization
388.
single-cell model
389.
sliding model control
390.
small-signal model
391.
SOILN model
392.
specific energy model
393.
standard cost model
394.
statistical model residuals
395.
Storm Water Management Model (SWMM5)
396.
Straussian theory model
397.
structural model
398.
stuck-at fault model
399.
subtractive color model
400.
supply chain model framework
401.
supply chain operations reference (SCOR) model
402.
surrogate model
403.
sustainability model framework
404.
sustainable business model
405.
SWAN model
406.
Zimbabwe agro-pastoral management model
407.
ZIP model
408.
zonal model
409.
teaching model
410.
technology acceptance model
411.
Technology Acceptance Model (TAM)
412.
tender evaluation model
413.
test model design
414.
The Baltic Sea Model Intercomparison Project (BMIP)
415.
the model of non-technical competences
416.
thermal model
417.
tobit regression model
418.
trade gravity model
419.
transnational model
420.
transport model
421.
transportation model
422.
travel time model
423.
tunnelling‐percolation model
424.
turn model
425.
two-dimensional model
426.
two-factor model
427.
typical user model
428.
Ulrich HR roles model
429.
ultra-local model
430.
ultralocal model (ULM) control
431.
Uppaal model-checker
432.
user behavioral model
433.
user dialogue model
434.
utility model
435.
validation of simulation model
436.
value-centric model
437.
wave model
438.
Vector Error Correction Model
439.
vector space model
440.
Wells-Riley model
441.
whole-cell model
442.
Viable Systems Model
443.
wind force model
444.
VRH model
445.
3D model
märksõna
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT