Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Näks, Tõnu (TTÜ author)

—

—

—

—

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..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 21
Look more.. (3/128)
Export

export all inquiry results (21)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.]

book article
2

book article

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, Marc6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts2012 / p. 147

book article
3

book article

Design of real-time systems using timed object modellingNäks, TõnuThe 3rd Baltic Summer School on Information Technology and Systems Engineering, 1-5 August, 1995, Klaipeda : theses1995 / p. 43-47

book article
4

book article

Enhancing object modelling technique with timing analysis capabilitiesMõtus, Leo; Kinksaar, Riho; Näks, Tõnu; Pall, MartinFirst IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 19951995 / p. 298-301

book article
5

book article

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuThird International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA1997 / p. 137-144

book article
6

journal article

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuComputer systems science and engineering1998 / 3, p. 161-170 : ill

journal article
7

book article

Gene-auto : an automatic code generator for a safe subset of Simulink/Stateflow and ScicosToom, Andres; Näks, Tõnu; Pantel, M.; Gandriau, M.; Wati, I.Embedded Real Time Software : ERTS 2008 : Toulouse, France2008 https://www.researchgate.net/publication/302984605_Gene-Auto_an_Automatic_Code_Generator_for_a_safe_subset_of_SimulinkStateflow_and_Scicos

book article
8

book article

Handling timing in a time-critical reasoning system - a case studyMõtus, Leo; Näks, TõnuPostprints of IFAC Symposium on Artificial Intelligence in Real-time Control : Grand Canyon, Arizona, USA1999 / p. 67-75

book article
9

journal article

Handling timing in a time-critical reasoning system - a case studyNäks, Tõnu; Mõtus, LeoAnnual reviews in control2001 / p. 157-168 https://www.sciencedirect.com/science/article/pii/S1367578801000153

journal article
10

book article

Information and communication technologies within e-maintenanceArnaiz, Aitor; Iung, Benoit; Adgar, Adam; Näks, Tõnu; Tohver, Avo; Tommingas, Toomas; Levrat, EricE-maintenance2010 / p. 39-60 https://www.researchgate.net/publication/281922080_Information_and_Communication_Technologies_Within_E-maintenance

book article
11

journal article

Koodigeneraatorid programmeerija tööpõllulNäks, TõnuArvutimaailm2007 / 6, lk. 70-72

journal article
12

book article

LIMITS - OMT with timing analysis supportNäks, TõnuWorkshop on Tool Support for System Development and Verification, Bremen, June 19961996

book article
13

book article

A method and a tool for formal timing analysis of OMT designMõtus, Leo; Näks, TõnuIFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 19961996 / [25] p

book article
14

book article

Model transformations in the Gene-Auto Automatic Code GenerationToom, Andres; Näks, TõnuInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 126-129 : ill

book article
15

book article

Real-time behaviour verification, animation and monitoring starting from DCCS specificationMõtus, Leo; Näks, TõnuDCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints2000 / p. 85-92

book article
16

book article

Software infrastructure models for automatic code generationNäks, TõnuInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 88-90 : ill

book article
17

book article

Time models as used in Q-model and suggested for RT UMLMõtus, Leo; Näks, TõnuWorld Multiconference on Systemics, Cybernetics and Informatics : July 22-25, 2001 : proceedings. Volume XI, Information Systems Technology2001 / p. 467-472

book article
18

book article

Timing analysis in OO system life-cyclesMõ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, Japan1998 / p. 327-334

book article
19

journal article

Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.Ingénieurs de l'Automobile2010 / p. 29-35 https://hal.science/hal-02267640/document

journal article
20

book article

Towards reliable code generation with an open tool : evolutions of the gene-auto toolsetToom, 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, France2010 / [10] p https://hal.science/hal-02267640/document

book article
21

journal article EST / journal article ENG

Using spark to ensure system to software integrity : a case studyNäks, Tõnu; Aiello, M.A.; Taft, S.T.Ada user journal2019 / 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 21, displaying 1 - 21

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. Tõniste, Tõnu
26. Viik, Tõnu
27. Viik, Tõnu, 1968-

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 1942
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

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu