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 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.] 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 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 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 Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuComputer systems science and engineering1998 / 3, p. 161-170 : ill 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 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 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 Handling timing in a time-critical reasoning system - a case studyNäks, Tõnu; Mõtus, LeoAnnual reviews in control2001 / p. 157-168 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 Koodigeneraatorid programmeerija tööpõllulNäks, TõnuArvutimaailm2007 / 6, lk. 70-72 LIMITS - OMT with timing analysis supportNäks, TõnuWorkshop on Tool Support for System Development and Verification, Bremen, June 19961996 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 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 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 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, HarliPostimees2000 / 29. juuni, lk. 11 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 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 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 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 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