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..
(5/327)
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 EST
/
artikkel kogumikus ENG
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 and16th 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
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
https://artiklid.elnet.ee/record=b2141778*est
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
https://www.researchgate.net/publication/302984605_Gene-Auto_an_Automatic_Code_Generator_for_a_safe_subset_of_SimulinkStateflow_and_Scicos
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
https://artiklid.elnet.ee/record=b2431011*est
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
https://hal.science/hal-02267640/document
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
https://hal.science/hal-02267640/document
artikkel kogumikus
Kirjeid leitud 15, kuvan
1 - 15
autor
192
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.
Alastuey, Andres
18.
Allikmäe, Andres
19.
Ammas, Andres
20.
Andra, Andres
21.
Andrekson, Andres
22.
Anier, Andres
23.
Anijalg, Andres
24.
Annuk, Andres
25.
Aro, Andres
26.
Arrak, Andres
27.
Arukivi, Andres
28.
Arusoo, Andres
29.
Aruvald, Andres
30.
Asser, Andres
31.
Avekukk, Andres
32.
Beek, Andres
33.
Braunbrück, Andres
34.
Davila, Andres
35.
Davilla, Andres
36.
De Andrés Cardona, J.
37.
Eek, Andres
38.
Ehin, Andres
39.
Eilart, Andres
40.
Einmann, Andres
41.
Ernits, Andres
42.
Floto, Andres
43.
Grauen, Andres
44.
Hamburg, Andres
45.
Heinapuu, Andres
46.
Herkel, Andres
47.
Hoop, Andres
48.
Hunt, Andres
49.
Härm, Andres
50.
Ida, Andres
51.
Jaanus, Andres
52.
Jaeger, Andres
53.
Jagomägi, Andres
54.
Joosep, Andres
55.
Juss, Andres
56.
Jõesaar, Andres
57.
Jürves, Andres
58.
Kaar, Andres
59.
Kahar, Andres
60.
Kaju, Andres
61.
Kallaste, Andres
62.
Kallasvee, Andres
63.
Kalmus, Andres
64.
Kask, Andres
65.
Keevallik, Andres
66.
Kerge, Andres
67.
Kiil, Andres
68.
Kiitam, Andres
69.
Kimmel, Andres
70.
Kink, Andres
71.
Koha, Andres
72.
Kollist, Andres
73.
Koppel, Andres
74.
Kotsar, Andres
75.
Kraas, Andres
76.
Kreegipuu, Andres
77.
Krigul, Andres
78.
Krumme, Andres
79.
Kukke, Andres
80.
Kull, Andres
81.
Kuningas, Andres
82.
Kuusk, Andres
83.
Käsper, Andres
84.
Kütt, Andres
85.
Laaneots, Andres
86.
Laansoo, Andres
87.
Laasik, Andres
88.
Laasma, Andres
89.
Lahe, Andres
90.
Laidvee, Andres
91.
Langemets, Andres
92.
Lanzós, Andrés
93.
Lehtla, Andres
94.
Lehtmets, Andres
95.
Lepp, Andres
96.
Levald, Andres
97.
Luga, Andres
98.
Luhamaa, Andres
99.
Luiga, Andres
100.
Luure, Andres
101.
Lõo, Andres
102.
Läänesaar, Andres
103.
Maarik, Andres
104.
Marandi, Andres
105.
Maremäe, Andres
106.
Martin, Andres
107.
Martinez de Azagra Paredes, Andres
108.
Maser, Andres
109.
Mellik, Andres
110.
Menind, Andres
111.
Meresmaa, Andres
112.
Merits, Andres
113.
Mets, Andres
114.
Metspalu, Andres
115.
Mikli, Andres
116.
Mustonen, Andres
117.
Mäe, Andres
118.
Mähar, Andres
119.
Männik, Andres
120.
Noormägi, Andres
121.
Nõmm, Andres
122.
Ojamaa, Andres
123.
Ojari, Andres
124.
Ormisson, Andres
125.
Osorio, Andres F.
126.
Oss, Andres
127.
Osvet, Andres
128.
Perissinotti, Andres
129.
Petritšenko, Andres
130.
Pihlak, Andres
131.
Pihor, Andres
132.
Piirsalu, Andres
133.
Pille, Andres
134.
Priimägi, Andres
135.
Pulver, Andres
136.
Pung, Andres
137.
Punning, Andres
138.
Putting, Andres
139.
Puusepp, Andres
140.
Põld, Andres
141.
Pärt, Andres
142.
Rannamäe, Andres
143.
Reiljan, Andres
144.
Reimann, Andres
145.
Reimer, Andres
146.
Reinhold, Andres
147.
Root, Andres
148.
Ruul, Andres
149.
Rähni, Andres
150.
Rüdja, Andres
151.
Salumets, Andres
152.
Sarri, Andres
153.
Saumets, Andres
154.
Seene, Andres
155.
Sepp, Andres
156.
Siirde, Andres
157.
Sinisaar, Andres
158.
Sirel, Andres
159.
Soosaar, Andres
160.
Suislepp, Andres
161.
Sulling, Andres
162.
Taimla, Andres
163.
Takjas, Andres
164.
Taklaja, Andres
165.
Tali, Andres
166.
Talvari, Andres
167.
Talvik, Andres
168.
Tamm, Andres
169.
Tarand, Andres
170.
Teder, Andres
171.
Tohver, Andres
172.
Tolli, Andres
173.
Torm, Andres
174.
Treial, Andres
175.
Trikkel, Andres
176.
Tukia, Andres
177.
Tõnisson, Andres
178.
Udal, Andres
179.
Unt, Andres
180.
Urm, Andres
181.
Uus, Andres
182.
Vaher, Andres
183.
Vahter, Andres
184.
Vainola, Andres
185.
Valkna, Andres
186.
Veske, Andres
187.
Veskimeister, Andres
188.
Viia, Andres
189.
Viiroja, Andres
190.
Võrk, Andres
191.
Ääremaa, Andres
192.
Öpik, Andres
CV
72
1.
Toom, August 1888-1942
2.
Toom, Evald 1921-1996
3.
Toom, Jaan 1939
4.
Toom, Kristel
5.
Toom, Ursula 1961
6.
Toom, Ustav 1918-1946
7.
Allikmäe, Andres 1957
8.
Andra, Andres 1959
9.
Anier, Andres 1972
10.
Arengu, Andres (1940-)
11.
Arusoo, Andres 1945-1992
12.
Braunbrück, Andres 1977
13.
Eek, Andres 1962
14.
Ernits, Andres
15.
Grauen, Andres 1886-1942
16.
Hallmägi, Andres 1957
17.
Hamburg, Andres 1957
18.
Hiiop, Andres 1953
19.
Hunt, Andres
20.
Jaanus, Andres 1963
21.
Juss, Andres 1976
22.
Kaju, Andres 1963
23.
Kallasvee, Andres 1954-2013
24.
Kask, Andres 1980
25.
Keevallik, Andres 1943
26.
Kerge, Andres 1949
27.
Kiitam, Andres 1952
28.
Kimmel, Andres 1937-2004
29.
Kink, Andres 1972
30.
Kinks, Andres 1991
31.
Kirstein, Andres
32.
Kirštein, Andres 1956
33.
Krigul, Andres 1955
34.
Krumme, Andres 1972
35.
Kull, Andres
36.
Kull, Andres 1961
37.
Kuningas, Andres 1962
38.
Kõnno, Andres 1975
39.
Käver, Andres 1974
40.
Laansoo, Andres 1945
41.
Laasma, Andres 1971
42.
Lahe, Andres 1938
43.
Laidvee, Andres 1968
44.
Lehtla, Andres 1976
45.
Lepp, Andres 1956
46.
Lomp, Andres 1955
47.
Martin, Andres 1972
48.
Martma, Andres 1964
49.
Mellik, Andres 1979
50.
Merits, Andres 1967
51.
Mähar, Andres 1957
52.
Ojamaa, Andres 1982
53.
Petritšenko, Andres 1969
54.
Puusepp, Andres 1982
55.
Põld, Andres 1970
56.
Raba, Andres 1976
57.
Reinhold, Andres 1955
58.
Root, Andres 1956-2016
59.
Rähni, Andres 1970
60.
Sarri, Andres 1958
61.
Siirde, Andres 1957
62.
Taklaja, Andres 1947
63.
Talvik, Andres 1947
64.
Tarkmeel, Andres 1973
65.
Tolli, Andres 1970
66.
Trikkel, Andres 1959
67.
Udal, Andres 1955
68.
Valkna, Andres 1969
69.
Veske, Andres 1965-2022
70.
Viiroja, Andres 1951-2012
71.
Väärismaa, Andres 1908-1944
72.
Öpik, Andres 1947-2023
tema kohta
60
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.
Laasma, Andres, 1971-
30.
Lahe, Andres, 1938-
31.
Lipstok, Andres, 1957-
32.
Maimik, Andres
33.
Matute Perner, Karl Andres
34.
Metspalu, Andres
35.
Neeme, Andres
36.
Novella Uiga ja Andres Nöps
37.
Nöps, Andres
38.
Ojamaa, Andres
39.
Olvik, Andres
40.
Pihlak, Andres
41.
Ratassepp, Andres
42.
Root, Andres, 1956-
43.
Rüdja, Andres
44.
Salumets, Andres
45.
Sevtšuk, Andres
46.
Siirde, Andres, 1957-
47.
Sutt, Andres
48.
Sõnajalg, Andres
49.
Taklaja, Andres
50.
Tarand, Andres, 1940-
51.
Toobal, Andres
52.
Torm, Andres
53.
Trikkel, Andres
54.
Udal, Andres
55.
Vainola, Andres
56.
Valkonen, Andres
57.
Veske, Andres, 1965-2022
58.
Väärismaa, Andres
59.
Öpik, Andres, 1947-2023
60.
Ütt, Andres
võtmesõna
2
1.
toom cook multiplier
2.
Toom-cook
TTÜ märksõna
1
1.
Andres Keevalliku nimeline stipendiumifond
×
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