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
Advanced search
My bookmarks
0
Näks, Tõnu (author)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
22
Look more..
(3/127)
Export
export all inquiry results
(22)
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
A method and a tool for formal timing analysis of OMT design
Mõtus, Leo
;
Näks, Tõnu
IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996
1996
/
[25] p
book article
2
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.]
book article
3
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
book article
4
book article
Design of real-time systems using timed object modelling
Näks, Tõnu
The 3rd Baltic Summer School on Information Technology and Systems Engineering, 1-5 August, 1995, Klaipeda : theses
1995
/
p. 43-47
book article
5
book article
Enhancing object modelling technique with timing analysis capabilities
Mõtus, Leo
;
Kinksaar, Riho
;
Näks, Tõnu
;
Pall, Martin
First IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 1995
1995
/
p. 298-301
book article
6
journal article
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Computer systems science and engineering
1998
/
3, p. 161-170 : ill
journal article
7
book article
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA
1997
/
p. 137-144
book article
8
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
9
book article
Handling timing in a time-critical reasoning system - a case study
Mõtus, Leo
;
Näks, Tõnu
Postprints of IFAC Symposium on Artificial Intelligence in Real-time Control : Grand Canyon, Arizona, USA
1999
/
p. 67-75
book article
10
journal article
Handling timing in a time-critical reasoning system - a case study
Näks, Tõnu
;
Mõtus, Leo
Annual reviews in control
2001
/
p. 157-168
https://www.sciencedirect.com/science/article/pii/S1367578801000153
journal article
11
book article
Information and communication technologies within e-maintenance
Arnaiz, Aitor
;
Iung, Benoit
;
Adgar, Adam
;
Näks, Tõnu
;
Tohver, Avo
;
Tommingas, Toomas
;
Levrat, Eric
E-maintenance
2010
/
p. 39-60
https://www.researchgate.net/publication/281922080_Information_and_Communication_Technologies_Within_E-maintenance
book article
12
journal article
Koodigeneraatorid programmeerija tööpõllul
Näks, Tõnu
Arvutimaailm
2007
/
6, lk. 70-72
journal article
13
book article
LIMITS - OMT with timing analysis support
Näks, Tõnu
Workshop on Tool Support for System Development and Verification, Bremen, June 1996
1996
book article
14
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
15
book article
Real-time behaviour verification, animation and monitoring starting from DCCS specification
Mõtus, Leo
;
Näks, Tõnu
DCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints
2000
/
p. 85-92
book article
16
book article
Software infrastructure models for automatic code generation
Näks, Tõnu
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 88-90 : ill
book article
17
newspaper article
Tehnikaülikooli innovatsioonikeskus avas internetilabori : [kommenteerivad TTÜ innovatsioonikeskuse tegevdirektor Raivo Tamkivi ning tarkvara ja süsteemiarendusfirma IB Kratese arendusjuht Tõnu Näks]
Tamkivi, Raivo
;
Näks, Tõnu
;
Uljas, Harli
Postimees
2000
/
29. juuni, lk. 11
newspaper article
18
book article
Time models as used in Q-model and suggested for RT UML
Mõtus, Leo
;
Näks, Tõnu
World Multiconference on Systemics, Cybernetics and Informatics : July 22-25, 2001 : proceedings. Volume XI, Information Systems Technology
2001
/
p. 467-472
book article
19
book article
Timing analysis in OO system life-cycles
Mõtus, Leo
;
Näks, Tõnu
;
Holt, Jon D.
Proceedings : First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98) : April 20-22, 1998, Kyoto, Japan
1998
/
p. 327-334
book article
20
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
21
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
22
journal article EST
/
journal article ENG
Using spark to ensure system to software integrity : a case study
Näks, Tõnu
;
Aiello, M.A.
;
Taft, S.T.
Ada user journal
2019
/
p. 226-229 : ill
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Number of records 22, displaying
1 - 22
author
78
1.
Näks, Tõnu
2.
Näks, Küllike
3.
Näks, Mihkel
4.
Aav, Tõnu
5.
Einasto, Tõnu
6.
Feldmann, Tõnu
7.
Jõesaar, Tõnu
8.
Järveots, Tõnu
9.
Kaalep, Tõnu
10.
Karjatse, Tõnu
11.
Kees, Tõnu
12.
Kelder, Tõnu
13.
Keskküla, Tõnu
14.
Koger, Tõnu
15.
Kollo, Tõnu
16.
Korrol, Tõnu
17.
Kumari, Tõnu
18.
Kurissoo, Tõnu
19.
Kutsar, Tõnu
20.
Laas, Tõnu
21.
Lausmaa, Tõnu
22.
Leemet, Tõnu
23.
Lehtla, Tõnu
24.
Lehtsaar, Tõnu
25.
Lelumees, Tõnu
26.
Lember, Tõnu
27.
Ligi, Tõnu
28.
Liik, Tõnu
29.
Lilleorg, Tõnu
30.
Lohuaru, Tõnu
31.
Lumberg, Tõnu
32.
Lume, Tõnu
33.
Luunja, Tõnu
34.
Malsub, Tõnu
35.
Martma, Tõnu
36.
Mauring, Tõnu
37.
Meidla, Tõnu
38.
Mertsina, Tõnu
39.
Metsäär, Tõnu
40.
Must, Tõnu
41.
Mägi, Tõnu
42.
Oja, Tõnu
43.
Ojala, Tõnu
44.
Peipman, Tõnu
45.
Pihelgas, Tõnu
46.
Pihu, Tõnu
47.
Pilli, Tõnu
48.
Püssa, Tõnu
49.
Reintamm, Tõnu
50.
Roolaht, Tõnu
51.
Roosaar, Tõnu
52.
Ruus, Tõnu
53.
Seero, Tõnu
54.
Soop, Tõnu
55.
Suurkuusk, Tõnu
56.
Talivee, Tõnu
57.
Talvar, Tõnu
58.
Tamm, Tõnu
59.
Tamme, Tõnu
60.
Tannberg, Tõnu-Andrus
61.
Tender, Tõnu
62.
Tomberg, Tõnu
63.
Tooming, Tõnu
64.
Toompark, Tõnu
65.
Tramm, Tõnu
66.
Treu, Tõnu
67.
Trumm, Tõnu
68.
Trump, Tõnu
69.
Tuvikene, Tõnu
70.
Tõnso, Tõnu
71.
Tõnutare, Tõnu
72.
Vaher, Tõnu
73.
Vaidloo, Tõnu
74.
Veldre, Tõnu
75.
Viik, Tõnu
76.
Vilipuu, Tõnu
77.
Õnnepalu, Tõnu
78.
Ülemaante, Tõnu
name of the person
26
1.
Altosaar, Tõnu, 1943-
2.
Esko, Tõnu
3.
Esko, Tõnu, 1985-
4.
Kark, Tõnu
5.
Kasikov, Tõnu
6.
Kauba, Tõnu
7.
Koger, Tõnu, 1944-2004
8.
Kõrvits, Tõnu
9.
Lehtla, Tõnu, 1947-
10.
Lelumees, Tõnu
11.
Liik, Tõnu
12.
Martma, Tõnu, 1955-
13.
Meidla, Tõnu, 1959-
14.
Peipman, Tõnu
15.
Pihelgas, Tõnu
16.
Pihu, Tõnu
17.
Raimla, Tõnu
18.
Ruus, Tõnu
19.
Talivee, Tõnu
20.
Talpsep, Tõnu
21.
Tamm, Tõnu, 1941-2004
22.
Tomberg, Tõnu
23.
Toompark, Tõnu
24.
Trump, Tõnu
25.
Viik, Tõnu
26.
Viik, Tõnu, 1968-
CV
23
1.
Näks, Tõnu 1971
2.
Arulaane, Tõnu 1954
3.
Kelder, Tõnu 1948
4.
Keskküla, Tõnu 1938-2011
5.
Koger, Tõnu 1944-2004
6.
Kumari, Tõnu
7.
Kurissoo, Tõnu
8.
Lausmaa, Tõnu 1941
9.
Lehtla, Tõnu 1947
10.
Ligi, Tõnu 1958
11.
Lohuaru, Tõnu 1939
12.
Lumberg, Tõnu 1956
13.
Martma, Tõnu 1955
14.
Must, Tõnu-Aare 1942
15.
Peipman, Tõnu 1955
16.
Pihu, Tõnu 1957
17.
Reintamm, Tõnu 1963
18.
Roosaar, Tõnu 1978
19.
Ruus, Tõnu 1940-2019
20.
Suurkuusk, Tõnu 1940
21.
Tomberg, Tõnu 1963
22.
Trumm, Tõnu 1955
23.
Trump, Tõnu 1961
×
vaste
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