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/441)
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
439
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.
genome model
155.
Genome-scale metabolic model
156.
geoid model
157.
GIS model
158.
Global climate model
159.
goal model
160.
gravity model
161.
grey box model
162.
GTAP model
163.
GUI model
164.
habitat model
165.
habitat suitability model
166.
Hammerstein-Wiener model
167.
HBM model
168.
Hidden Markov Model (HMM)
169.
high-frequency model
170.
high-level control fault model
171.
high-level fault model
172.
high-level functional fault model
173.
HIROMB-BOOS-Model (HBM)
174.
HL7 Version 3: Reference Information Model (RIM)
175.
holistic M&A model
176.
holistic merger and acquisition model
177.
hot/cold pressing and finite element model simulation
178.
hydraulic model
179.
hydraulic network model
180.
hydrodynamic model
181.
Ice history model
182.
inductive model
183.
information model
184.
information model-based urban planning
185.
infringer model
186.
initial data model
187.
input-output model
188.
integrated quadruple instructional model
189.
integrated waste management model
190.
integrative pedagogy model
191.
interpretive structural model (ISM)
192.
iron losses 3D model
193.
Jiles–Atherton (JA) model
194.
Johnson–Cook failure model
195.
joint model
196.
Kano model
197.
KPI selection model
198.
KPIs selection model
199.
laboratory domain model
200.
Lagrangian model
201.
Land Administration Domain Model (LADM)
202.
large language model (LLM)
203.
linear Delta robots neural network based model
204.
local interpretable model-agnostic explanations (LIME)
205.
local model
206.
logistic model
207.
logistic regression model
208.
logistics competence model
209.
loss model
210.
LSV model
211.
lumped model
212.
lumped parameter model
213.
lumped-parameter model
214.
Luxemburg model
215.
Machine Learning Explainable model
216.
machine-learning predictive model
217.
MACRO model
218.
Markov model
219.
Markov-switching model
220.
mathematical model
221.
maturity model
222.
measurement model
223.
mental model
224.
meta model
225.
metadata model for security measures
226.
meta-model
227.
MGARCH model
228.
micromechanical model
229.
microscopic traffic flow model
230.
Mindlin model
231.
model
232.
model amphipathic peptide
233.
model averaging
234.
model based
235.
model based testing
236.
model building
237.
model calibration
238.
model communities
239.
model comparison
240.
model compression
241.
model construction
242.
model description
243.
model designer
244.
Model Driven Architecture
245.
model driven development
246.
model driven engineering
247.
model ensemble
248.
model evaluation
249.
model free
250.
model identification
251.
model interpretability
252.
model learning
253.
model matching problem
254.
model of fracture mechanism
255.
model of fracturemechanism
256.
model of friction
257.
model of non-technical engineering competences
258.
model order estimation
259.
model order reduction
260.
model order reduction (MOR)
261.
model predictive control
262.
model predictive control (MPC)
263.
model predictive controllers (MPC)
264.
model reanalysis
265.
model reduction
266.
model reference adaptive control
267.
model reference controller
268.
model refinement
269.
model smell
270.
Model test
271.
model transformation
272.
model transformations
273.
Model validation
274.
model verification
275.
model-based control
276.
model-based development
277.
Model-Based Engineering (MBE)
278.
model-based mutation testing
279.
model-based navigation
280.
model-based patterns
281.
model-based software development
282.
Model-Based Systems Engineering (MBSE)
283.
model-based testing
284.
model-based verification
285.
model-driven architecture
286.
model-driven design
287.
model-driven development
288.
model-driven software engineering
289.
model-free control
290.
model-free methods
291.
model-scale experiments
292.
modified winding function‐based model
293.
modulated finite control set-model predictive control
294.
mouse model
295.
multi model ensemble (MME)
296.
multiagent-based microscopic traffic assignment model (MMTAM)
297.
multidomain language model
298.
multi-loop model reference control
299.
multi-model ensemble
300.
multiplicative neuron model
301.
multi-pole mathematical model
302.
multi-pole model
303.
multi-pole model design
304.
natural background model
305.
neural additive model
306.
New Keynesian model
307.
Neyman-Pearson model
308.
NKG2015 geoid model
309.
NN-ANARX model
310.
nonlinear model identification
311.
nonlinear model predictive control
312.
nonlinear time-varying factor model
313.
non-thermal model
314.
Nonthermal model
315.
NSPT model
316.
numerical model
317.
object model
318.
ocean-sea-ice model
319.
open architecture model
320.
open-economy dynamic general equilibrium model
321.
openEHR RM (Reference Model)
322.
optimal model
323.
Overlapping generations model
324.
panel threshold model
325.
panel vector autoregressive model (VAR)
326.
parallel reaction model
327.
path loss model
328.
pedagogical design model
329.
Peirce’s triadic model
330.
Peirce's model
331.
photodiode model
332.
PLM maturity model
333.
plume model
334.
POM model
335.
population balance model
336.
Porter’s diamond model
337.
power loss model
338.
power market model
339.
prediction model
340.
predictive model
341.
pre-trained model
342.
price-sensitive model of flexible equipment
343.
Princeton Ocean Model
344.
Probabilistic Graph Model (PGM)
345.
probabilistic model
346.
process model
347.
projection model
348.
Quadruple Helix Model
349.
quarter car model
350.
rabbit model
351.
Random Parameter Linear Regression Model (RPLRM)
352.
recurrent neural network language model
353.
reduced order model
354.
reference model
355.
regression based model
356.
regulatory model
357.
reputation model
358.
residential electricity consumption model
359.
Residual Terrain Model (RTM) anomaly
360.
residual terrain model anomaly
361.
retaining research financing, changes in salary rules; new academic career model
362.
REVEALS model
363.
reversed hazard rate model
364.
Reynolds stress turbulence model
365.
Richardson Maturity Model
366.
ripening model
367.
risk evaluation model
368.
risk evaluation model development
369.
risk management model
370.
sanitary sewer model
371.
scalar model
372.
Scott-Kennel model
373.
security model
374.
shared mental model
375.
SHEL model
376.
ship model basin
377.
simplified model
378.
simulating waves nearshore (SWAN) model
379.
simulation model
380.
simulink model
381.
Simultaneous model-based optimization
382.
single-cell model
383.
sliding model control
384.
small-signal model
385.
SOILN model
386.
specific energy model
387.
standard cost model
388.
statistical model residuals
389.
Storm Water Management Model (SWMM5)
390.
Straussian theory model
391.
structural model
392.
stuck-at fault model
393.
subtractive color model
394.
supply chain model framework
395.
supply chain operations reference (SCOR) model
396.
surrogate model
397.
sustainability model framework
398.
sustainable business model
399.
SWAN model
400.
Zimbabwe agro-pastoral management model
401.
ZIP model
402.
zonal model
403.
teaching model
404.
technology acceptance model
405.
Technology Acceptance Model (TAM)
406.
tender evaluation model
407.
test model design
408.
The Baltic Sea Model Intercomparison Project (BMIP)
409.
the model of non-technical competences
410.
thermal model
411.
tobit regression model
412.
trade gravity model
413.
transnational model
414.
transport model
415.
transportation model
416.
travel time model
417.
tunnelling‐percolation model
418.
turn model
419.
two-dimensional model
420.
two-factor model
421.
typical user model
422.
Ulrich HR roles model
423.
ultra-local model
424.
ultralocal model (ULM) control
425.
Uppaal model-checker
426.
user behavioral model
427.
user dialogue model
428.
utility model
429.
validation of simulation model
430.
value-centric model
431.
wave model
432.
Vector Error Correction Model
433.
vector space model
434.
Wells-Riley model
435.
whole-cell model
436.
Viable Systems Model
437.
wind force model
438.
VRH model
439.
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