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
Toom, Andres (autor)
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
15
Vaata veel..
(4/314)
Ekspordi
ekspordi kõik päringu tulemused
(15)
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 kogumikus
Automatic code generation for safety critical embedded systems: developments in the Gene-Auto project
Toom, Andres
Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia : March 2-7, 2008
2008
/
[1] p. (Student talks and posters 2008 (abstracts))
artikkel kogumikus
2
artikkel kogumikus
Between qualification and certification : specifying and verifying model transformations in an embedded code generator
Toom, Andres
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 109-112 : ill
artikkel kogumikus
3
artikkel kogumikus
Block library driven translation validation for dataflow models in safety critical systems
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
Critical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings
2016
/
p. 117-132 : ill
https://doi.org/10.1007/978-3-319-45943-1_8
artikkel kogumikus
4
artikkel kogumikus
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
ERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]
2012
/
[10 p.]
artikkel kogumikus
5
artikkel kogumikus
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts
2012
/
p. 147
artikkel kogumikus
6
artikkel kogumikus
Ergonomic challenges in intelligent driver aid systems design
Toom, Andres
Risk and Safety Management in Industry, Logistics, Transport and Military Service : New Solutions for the 21st Century : proceedings of the international scientific-educational conference : March 25-28, 2003, Tallinn
2003
/
p. 54-58 : ill
artikkel kogumikus
7
artikkel kogumikus
Formal specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu
2013
/
p. 17-19 : ill
artikkel kogumikus
8
artikkel kogumikus
Formal specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
2014
/
[10] p. : ill
artikkel kogumikus
9
artikkel kogumikus
Gene-auto : an automatic code generator for a safe subset of Simulink/Stateflow and Scicos
Toom, Andres
;
Näks, Tõnu
;
Pantel, M.
;
Gandriau, M.
;
Wati, I.
Embedded Real Time Software : ERTS 2008 : Toulouse, France
2008
artikkel kogumikus
10
artikkel kogumikus
Model transformations in the Gene-Auto Automatic Code Generation
Toom, Andres
;
Näks, Tõnu
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 126-129 : ill
artikkel kogumikus
11
artikkel kogumikus
Practical transformation verification with OCL
Toom, Andres
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve
2011
/
p. 165-168 : ill
artikkel kogumikus
12
artikkel kogumikus
Specifying and verifying model transformations for certified systems using transformation models
Toom, Andres
;
Dieumegard, Arnaud
;
Pantel, Marc
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa
2012
/
p. 97-100 : ill
artikkel kogumikus
13
artikkel ajakirjas
Tarkvara usaldusväärsusega seotud praktikatest ja suundumustest lennukitööstuses. Gene-Auto projekti kogemuste põhjal
Toom, Andres
A & A
2011
/
2, lk. 10-27 : ill
artikkel ajakirjas
14
artikkel ajakirjas
Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
Ingénieurs de l'Automobile
2010
/
p. 29-35
artikkel ajakirjas
15
artikkel kogumikus
Towards reliable code generation with an open tool : evolutions of the gene-auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France
2010
/
[10] p
artikkel kogumikus
Kirjeid leitud 15, kuvan
1 - 15
autor
185
1.
Toom, Andres
2.
Toom, Aino
3.
Toom, Enn
4.
Toom, Evald
5.
Toom, Hanna
6.
Toom, Kristel
7.
Toom, M.
8.
Toom, Maire
9.
Toom, Merli
10.
Toom, Roven
11.
Toom, Uku
12.
Toom, Ursula
13.
Toom, V.
14.
Toom, Viktor
15.
Aarelaid, Andres
16.
Aasna, Andres
17.
Allikmäe, Andres
18.
Ammas, Andres
19.
Andra, Andres
20.
Andrekson, Andres
21.
Anier, Andres
22.
Anijalg, Andres
23.
Annuk, Andres
24.
Aro, Andres
25.
Arrak, Andres
26.
Arukivi, Andres
27.
Arusoo, Andres
28.
Aruvald, Andres
29.
Asser, Andres
30.
Avekukk, Andres
31.
Beek, Andres
32.
Braunbrück, Andres
33.
Davila, Andres
34.
Davilla, Andres
35.
De Andrés Cardona, J.
36.
Eek, Andres
37.
Ehin, Andres
38.
Eilart, Andres
39.
Einmann, Andres
40.
Ernits, Andres
41.
Floto, Andres
42.
Grauen, Andres
43.
Hamburg, Andres
44.
Heinapuu, Andres
45.
Herkel, Andres
46.
Hoop, Andres
47.
Hunt, Andres
48.
Härm, Andres
49.
Ida, Andres
50.
Jaanus, Andres
51.
Jaeger, Andres
52.
Jagomägi, Andres
53.
Joosep, Andres
54.
Juss, Andres
55.
Jõesaar, Andres
56.
Jürves, Andres
57.
Kahar, Andres
58.
Kaju, Andres
59.
Kallaste, Andres
60.
Kallasvee, Andres
61.
Kalmus, Andres
62.
Kask, Andres
63.
Keevallik, Andres
64.
Kerge, Andres
65.
Kiil, Andres
66.
Kiitam, Andres
67.
Kimmel, Andres
68.
Kink, Andres
69.
Koha, Andres
70.
Kollist, Andres
71.
Koppel, Andres
72.
Kotsar, Andres
73.
Kraas, Andres
74.
Kreegipuu, Andres
75.
Krigul, Andres
76.
Krumme, Andres
77.
Kukke, Andres
78.
Kull, Andres
79.
Kuningas, Andres
80.
Kuusk, Andres
81.
Käsper, Andres
82.
Kütt, Andres
83.
Laaneots, Andres
84.
Laansoo, Andres
85.
Laasik, Andres
86.
Laasma, Andres
87.
Lahe, Andres
88.
Laidvee, Andres
89.
Langemets, Andres
90.
Lanzós, Andrés
91.
Lehtla, Andres
92.
Lehtmets, Andres
93.
Lepp, Andres
94.
Levald, Andres
95.
Luga, Andres
96.
Luhamaa, Andres
97.
Luiga, Andres
98.
Luure, Andres
99.
Lõo, Andres
100.
Läänesaar, Andres
101.
Maarik, Andres
102.
Marandi, Andres
103.
Martin, Andres
104.
Martinez de Azagra Paredes, Andres
105.
Maser, Andres
106.
Mellik, Andres
107.
Menind, Andres
108.
Meresmaa, Andres
109.
Merits, Andres
110.
Mets, Andres
111.
Mikli, Andres
112.
Mustonen, Andres
113.
Mäe, Andres
114.
Mähar, Andres
115.
Männik, Andres
116.
Noormägi, Andres
117.
Nõmm, Andres
118.
Ojamaa, Andres
119.
Ojari, Andres
120.
Ormisson, Andres
121.
Oss, Andres
122.
Osvet, Andres
123.
Perissinotti, Andres
124.
Petritšenko, Andres
125.
Pihlak, Andres
126.
Pihor, Andres
127.
Piirsalu, Andres
128.
Pille, Andres
129.
Priimägi, Andres
130.
Pulver, Andres
131.
Pung, Andres
132.
Punning, Andres
133.
Puusepp, Andres
134.
Põld, Andres
135.
Pärt, Andres
136.
Rannamäe, Andres
137.
Reiljan, Andres
138.
Reimer, Andres
139.
Reinhold, Andres
140.
Root, Andres
141.
Ruul, Andres
142.
Rähni, Andres
143.
Rüdja, Andres
144.
Salumets, Andres
145.
Sarri, Andres
146.
Saumets, Andres
147.
Seene, Andres
148.
Sepp, Andres
149.
Siirde, Andres
150.
Sinisaar, Andres
151.
Sirel, Andres
152.
Soosaar, Andres
153.
Suislepp, Andres
154.
Sulling, Andres
155.
Taimla, Andres
156.
Takjas, Andres
157.
Taklaja, Andres
158.
Tali, Andres
159.
Talvari, Andres
160.
Talvik, Andres
161.
Tamm, Andres
162.
Tarand, Andres
163.
Teder, Andres
164.
Tohver, Andres
165.
Tolli, Andres
166.
Torm, Andres
167.
Treial, Andres
168.
Trikkel, Andres
169.
Tukia, Andres
170.
Tõnisson, Andres
171.
Udal, Andres
172.
Unt, Andres
173.
Urm, Andres
174.
Uus, Andres
175.
Vaher, Andres
176.
Vahter, Andres
177.
Vainola, Andres
178.
Valkna, Andres
179.
Veske, Andres
180.
Veskimeister, Andres
181.
Viia, Andres
182.
Viiroja, Andres
183.
Võrk, Andres
184.
Ääremaa, Andres
185.
Öpik, Andres
CV
69
1.
Toom, August 1888-1942
2.
Toom, Evald 1921-1996
3.
Toom, Jaan 1939
4.
Toom, Ursula 1961
5.
Toom, Ustav 1918-1946
6.
Allikmäe, Andres 1957
7.
Andra, Andres 1959
8.
Anier, Andres 1972
9.
Arengu, Andres (1940-)
10.
Arusoo, Andres 1945-1992
11.
Braunbrück, Andres 1977
12.
Eek, Andres 1962
13.
Ernits, Andres
14.
Grauen, Andres 1886-1942
15.
Hallmägi, Andres 1957
16.
Hamburg, Andres 1957
17.
Hiiop, Andres 1953
18.
Hunt, Andres
19.
Jaanus, Andres 1963
20.
Juss, Andres 1976
21.
Kaju, Andres 1963
22.
Kallasvee, Andres 1954
23.
Kask, Andres 1980
24.
Keevallik, Andres 1943
25.
Kerge, Andres 1949
26.
Kiitam, Andres 1952
27.
Kimmel, Andres 1937-2004
28.
Kink, Andres 1972
29.
Kinks, Andres 1991-
30.
Kirštein, Andres 1956
31.
Krigul, Andres 1955
32.
Krumme, Andres 1972
33.
Kull, Andres
34.
Kull, Andres 1961
35.
Kuningas, Andres 1962
36.
Käver, Andres 1974
37.
Laansoo, Andres 1945
38.
Laasma, Andres 1971
39.
Lahe, Andres 1938
40.
Laidvee, Andres 1968
41.
Lehtla, Andres 1976
42.
Lepp, Andres 1956
43.
Lomp, Andres 1955
44.
Martin, Andres 1972
45.
Martma, Andres 1964
46.
Mellik, Andres 1979
47.
Merits, Andres 1967
48.
Mähar, Andres 1957
49.
Ojamaa, Andres 1982
50.
Petritšenko, Andres 1969
51.
Puusepp, Andres 1982
52.
Põld, Andres 1970
53.
Raba, Andres 1976
54.
Reinhold, Andres 1955
55.
Root, Andres 1956-2016
56.
Rähni, Andres 1970
57.
Sarri, Andres 1958
58.
Siirde, Andres 1957
59.
Taklaja, Andres 1947
60.
Talvik, Andres 1947
61.
Tarkmeel, Andres 1973
62.
Tolli, Andres 1970
63.
Trikkel, Andres 1959
64.
Udal, Andres 1955
65.
Valkna, Andres 1969
66.
Veske, Andres 1965-2022
67.
Viiroja, Andres 1951-2012
68.
Väärismaa, Andres 1908-1944
69.
Öpik, Andres 1947-2023
tema kohta
59
1.
Pungas, Toom
2.
Toom, Alo
3.
Toom, Kristel
4.
Toom, Ursula
5.
Alango, Andres
6.
Allikmäe, Andres, 1957-
7.
Anier, Andres
8.
Annuk, Andres
9.
Arrak, Andres
10.
Arukivi, Andres
11.
Eek, Andres
12.
Gailit, Andres, 1955-
13.
Grauen, Andres, 1886-1942
14.
Hunt, Andres
15.
Ingerman, Andres
16.
Jaaku, Andres
17.
Järvan, Andres
18.
Keevallik, Andres, 1943-
19.
Kiitam, Andres
20.
Kimmel, Andres
21.
Kink, Andres, 1972-
22.
Kollist, Andres
23.
Koppel, Andres
24.
Krumme, Andres, 1972-
25.
Kukk, Andres Nathan, 1943-
26.
Käosaar, Andres
27.
Laansoo, Andres, 1945-
28.
Laasma, Andres
29.
Lahe, Andres, 1938-
30.
Lipstok, Andres, 1957-
31.
Maimik, Andres
32.
Matute Perner, Karl Andres
33.
Metspalu, Andres
34.
Neeme, Andres
35.
Novella Uiga ja Andres Nöps
36.
Nöps, Andres
37.
Ojamaa, Andres
38.
Olvik, Andres
39.
Pihlak, Andres
40.
Ratassepp, Andres
41.
Root, Andres, 1956-
42.
Rüdja, Andres
43.
Salumets, Andres
44.
Sevtšuk, Andres
45.
Siirde, Andres, 1957-
46.
Sutt, Andres
47.
Sõnajalg, Andres
48.
Taklaja, Andres
49.
Tarand, Andres, 1940-
50.
Toobal, Andres
51.
Torm, Andres
52.
Trikkel, Andres
53.
Udal, Andres
54.
Vainola, Andres
55.
Valkonen, Andres
56.
Veske, Andres, 1965-2022
57.
Väärismaa, Andres
58.
Öpik, Andres, 1947-2023
59.
Ütt, Andres
võtmesõna
1
1.
toom cook multiplier
×
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