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