Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Toom, Andres (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
15
Look more..
(5/328)
Export
export all inquiry results
(15)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
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))
book article
2
book article
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
book article
3
book article EST
/
book article 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
book article EST
/
book article ENG
4
book article
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.]
https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1
book article
5
book article
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
https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1
book article
6
book article
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
book article
7
book article
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
book article
8
book article
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
book article
9
book article
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
book article
10
book article
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
book article
11
book article
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
book article
12
book article
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
book article
13
journal article
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
journal article
14
journal article
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
journal article
15
book article
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
book article
Number of records 15, displaying
1 - 15
author
193
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.
Merisalu, Andres-Teet
113.
Merits, Andres
114.
Mets, Andres
115.
Metspalu, Andres
116.
Mikli, Andres
117.
Mustonen, Andres
118.
Mäe, Andres
119.
Mähar, Andres
120.
Männik, Andres
121.
Noormägi, Andres
122.
Nõmm, Andres
123.
Ojamaa, Andres
124.
Ojari, Andres
125.
Ormisson, Andres
126.
Osorio, Andres F.
127.
Oss, Andres
128.
Osvet, Andres
129.
Perissinotti, Andres
130.
Petritšenko, Andres
131.
Pihlak, Andres
132.
Pihor, Andres
133.
Piirsalu, Andres
134.
Pille, Andres
135.
Priimägi, Andres
136.
Pulver, Andres
137.
Pung, Andres
138.
Punning, Andres
139.
Putting, Andres
140.
Puusepp, Andres
141.
Põld, Andres
142.
Pärt, Andres
143.
Rannamäe, Andres
144.
Reiljan, Andres
145.
Reimann, Andres
146.
Reimer, Andres
147.
Reinhold, Andres
148.
Root, Andres
149.
Ruul, Andres
150.
Rähni, Andres
151.
Rüdja, Andres
152.
Salumets, Andres
153.
Sarri, Andres
154.
Saumets, Andres
155.
Seene, Andres
156.
Sepp, Andres
157.
Siirde, Andres
158.
Sinisaar, Andres
159.
Sirel, Andres
160.
Soosaar, Andres
161.
Suislepp, Andres
162.
Sulling, Andres
163.
Taimla, Andres
164.
Takjas, Andres
165.
Taklaja, Andres
166.
Tali, Andres
167.
Talvari, Andres
168.
Talvik, Andres
169.
Tamm, Andres
170.
Tarand, Andres
171.
Teder, Andres
172.
Tohver, Andres
173.
Tolli, Andres
174.
Torm, Andres
175.
Treial, Andres
176.
Trikkel, Andres
177.
Tukia, Andres
178.
Tõnisson, Andres
179.
Udal, Andres
180.
Unt, Andres
181.
Urm, Andres
182.
Uus, Andres
183.
Vaher, Andres
184.
Vahter, Andres
185.
Vainola, Andres
186.
Valkna, Andres
187.
Veske, Andres
188.
Veskimeister, Andres
189.
Viia, Andres
190.
Viiroja, Andres
191.
Võrk, Andres
192.
Ääremaa, Andres
193.
Öpik, Andres
CV
72
1.
Toom, August 1888-1942
2.
Toom, Evald 1921-1996
3.
Toom, Jaan
4.
Toom, Kristel
5.
Toom, Ursula
6.
Toom, Ustav 1918-1946
7.
Allikmäe, Andres
8.
Andra, Andres
9.
Anier, Andres
10.
Arengu, Andres (1940-)
11.
Arusoo, Andres 1945-1992
12.
Braunbrück, Andres
13.
Eek, Andres
14.
Ernits, Andres
15.
Grauen, Andres 1886-1942
16.
Hallmägi, Andres
17.
Hamburg, Andres
18.
Hiiop, Andres
19.
Hunt, Andres
20.
Jaanus, Andres
21.
Juss, Andres
22.
Kaju, Andres
23.
Kallasvee, Andres 1954-2013
24.
Kask, Andres
25.
Keevallik, Andres
26.
Kerge, Andres
27.
Kiitam, Andres
28.
Kimmel, Andres 1937-2004
29.
Kink, Andres
30.
Kinks, Andres
31.
Kirstein, Andres
32.
Kirštein, Andres
33.
Krigul, Andres
34.
Krumme, Andres
35.
Kull, Andres
36.
Kull, Andres
37.
Kuningas, Andres
38.
Kõnno, Andres
39.
Käver, Andres
40.
Laansoo, Andres
41.
Laasma, Andres
42.
Lahe, Andres
43.
Laidvee, Andres
44.
Lehtla, Andres
45.
Lepp, Andres
46.
Lomp, Andres
47.
Martin, Andres
48.
Martma, Andres
49.
Mellik, Andres
50.
Merits, Andres
51.
Mähar, Andres
52.
Ojamaa, Andres
53.
Petritšenko, Andres
54.
Puusepp, Andres
55.
Põld, Andres
56.
Raba, Andres
57.
Reinhold, Andres
58.
Root, Andres 1956-2016
59.
Rähni, Andres
60.
Sarri, Andres 1958-2011
61.
Siirde, Andres
62.
Taklaja, Andres
63.
Talvik, Andres
64.
Tarkmeel, Andres
65.
Tolli, Andres
66.
Trikkel, Andres
67.
Udal, Andres
68.
Valkna, Andres
69.
Veske, Andres 1965-2022
70.
Viiroja, Andres 1951-2012
71.
Väärismaa, Andres 1908-1944
72.
Öpik, Andres 1947-2023
name of the person
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
keyword
2
1.
toom cook multiplier
2.
Toom-cook
TTÜ subject term
1
1.
Andres Keevalliku nimeline stipendiumifond
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT