Töökindlate Arvutisüsteemide Uurimise Keskus

Formaalsed meetodid tarkvaratehnikas

Kompetents:

teoreemide automaattõestamine, reaalaja- ja hübriidsüsteemide modelleerimine, süsteemide kompositsiooniline verifitseerimine, konstruktsiooniga tagatud korrektsus, rakendusvaldkonnad nagu masinaehitus ja automaatjuhtimine, ajastamisprobleemid reaalajasüsteemides, teaduslikud ja paralleelarvutused

Uurimisrühma põhikoosseis:

Jaan Penjam, KübI dir. / TTÜ arvutitead. inst. prof. (uurimisrühma juht)
-- tel. 620 4252, epost jaan (at) cs . ioc . ee
Juhan Ernits, KübI teadur / TTÜ arvutitead. inst. teadur
Mait Harf, KübI van.-tead.
Merik Meriste, TÜ tehnoloogiainst. van.-tead. (kuni aug. 2007), professor (al. sept. 2007)
-- tel. 737 5469, epost merik . meriste (at) ut . ee
Leo Mõtus, TTÜ automaatika inst. prof.
-- tel. 620 2095, epost leo . motus (at) dcc . ttu . ee
Ulrich Norbisrath, TÜ arvutiteaduse inst. erak. lektor (nov. 2006-juuli 2006), erak. teadur (al. aug. 2007)
Raul Savimaa, TTÜ automaatika inst. vanemteadur
Tanel Tammet, TTÜ arvutitead. inst. prof.
Enn Tõugu, KübI van.-tead. (kuni aug. 2005), erak. juhtivtead. (al. sept. 2005) / EBSi prof.
Jüri Vain, TTÜ arvutitead. inst. dir., prof. / KübI osakonnajuhat.
-- tel. 620 4190, epost vain (at) ioc . ee
Eero Vainikko, TÜ tehnoloogiainst. van.-tead. (kuni aug. 2005), TÜ arvutitead. inst. erak. prof (al. sept. 2005)

Doktorandid:

Aivo Anier, TTÜ doktorant (al. sügis 2005)
Oleg Batrašev, TTÜ doktorant (al. sügis 2007)
~~Juhan Ernits, TTÜ doktorant (sügis 2002-sügis 2007, kaitsnud)~~
Pavel Grigorenko, TTÜ doktorant (al. sügis 2006)
Jüri Harju, TÜ doktorant (al. sügis 2005)
Vello Kadarpik, TTÜ doktorant (al. sügis 2006)
Andre Karpištšenko, TTÜ doktorant (al. sügis 2004)
~~Vadim Kimlaychuk, TTÜ doktorant (sügis 2002-kevad 2006)~~
~~Vahur Kotkas, TTÜ doktorant (sügis 1999-kevad 2005)~~
Andres Kull, TTÜ doktorant (al. sügis 2003)
~~Marko Kääramees~~
Taivo Lints, TTÜ doktorant (al. sügis 2005)
Riina Maigre, TTÜ doktorant (al. sügis 2007)
Tõnu Näks, TTÜ doktorant (al. sügis 2006)
Andres Ojamaa, TTÜ doktorant (al. sügis 2007)
Jürgo-Sören Preden, TTÜ doktorant (al. sügis 2005)
Andres Puusepp, TTÜ doktorant (al. sügis 2006)
~~Jelena Sanko, TTÜ doktorant (sügis 2001-kevad 2005)~~
Margarita Spitšakova, TTÜ doktorant (al. sügis 2007)
~~Raul Savimaa, TTÜ doktorant (sügis 1996-kevad 2005, kaitsnud)~~
Risto Serg, TTÜ doktorant (al. sügis 2003)
~~Konstantin Skaburskas, TÜ doktorant (al. sügis 2000)~~
Vladimir šor, TÜ doktorant (al. sügis 2007)

Publikatsioone 2003:

I. G. Graham, A. Spence, E. Vainikko. Parallel iterative methods for Navier-Stokes equations and application to eigenvalue computation. Concurrency and Computation: Practice and Experience, v. 15, n. 11-12, pp. 1151-1168, 2003. doi: 10.1002/cpe.785
G. Grossschmidt, M. Harf. Multi-pole modelling and simulation of an electro-hydraulic servo-system with a non-linear regulator in NUT environment. In Fünftes Deutsch-Polnisches Seminar Innovation und Fortschritt in der Fluidtechnik (Warsaw, Sept. 2003), pp. 146-161. 2003.
M. Haveraaen, J. Vain, guest eds., Nordic J. of Computing, v. 10, n. 4 (Selected Papers from 14th Nordic Wksh. on Programming Theory, NWPT'02, Tallinn, Nov. 2002), 2003.
V. Kotkas. Synthesis of distributed programs. In P. Kilpeläinen, N. Päivinen, eds., Proc. of 8th Symp. on Programming Languages and Software Tools, SPLST '03 (Kuopio, June 2003), Report A/2003/01, pp. 21-33. Univ. of Kuopio, 2003.
A. Kuusik, T. Otto, J. Vain. Handling industrial hazards by pre-emptive model checking. In Proc. of 4th Int. Conf. on Industrial Automation (Montréal, 9-11 June 2003). 2003.
R. Küttner, J. Ernits, J. Vain, An open tool integration environment for manufacturing control software development. Machine Engineering, v. 3, n. 1-2, pp. 23-32, 2003.
M. Meriste, T. Kelder, J. Helekivi, L. Mõtus. Domain-specific language agents. In P. Kilpeläinen, N. Päivinen, eds., Proc. of 8th Symp. on Programming Languages and Software Tools, SPLST '03 (Kuopio, June 2003), Report A/2003/01, pp. 82-90. Univ. of Kuopio, 2003.
L. Motus. Modeling metric time. In L. Lavagno, G. Martin, B. Selic, eds., UML for Real: Design of Embedded Real-Time Systems, pp. 205-220. Kluwer Acad. Publ., 2003.
L. Motus, M. Meriste. Time modelling for requirements and specification analysis. In M. Colnaric, M. Adamski, Wegrzyn, eds., Proc. of 27th IFAC/IFIP/IEEE Wksh. on Real-Time Programming, WRTP 2003 (Lagow, May 2003), pp. 13-18. 2003.
L. Motus, M. Meriste, T. Kelder, J. Helekivi, V. Kimlaychuk. A test-bed for time-sensitive agents - some involved problems. In Proc. of 9th IEEE Int. Conf. on Emerging Technologies and Factory Automation, ETFA 2003 (Lisbon, Sept. 2003), v. 2, pp. 645-651. IEEE, 2003. doi: 10.1109/etfa.2003.1248759
J. Penjam, J. Sanko. Deductive and inductive methods for program synthesis. In W. Dosch, R. Y. Lee, eds., Proc. of ACIS 4th Int. Conf. on Software Engineering, Artif. Intell., Networking, and Parallel/Distributed Computing, SNPD '03 (Lübeck, Oct. 2003), pp. 188-195. ACIS, 2003.
J. Sanko, J. Penjam. Program construction in the context of evolutionary computation. In Prel. Proc. of Andrei Ershov 5th Int. Conf. Perspectives of System Informatics, PSI 2003 (Novosibirsk, July 2003), pp. 20-24. A. P. Ershov Inst. of Informatics Systems, Novosibirsk, 2003.
R. Savimaa. On modelling emerging behavior of multifunctional non-profit organisations. In M. Kirikova et al., eds., Information Systems Development: Advances in Methodologies, Components, and Management, pp. 203-214. Kluwer Acad. Publ. / Plenum Press, 2003.
B. Selic, L. Motus. Using models in real-time software design: model driven development based on the unified modelling language. IEEE Control Systems Magazine, v. 23, n. 3, pp. 31-42, 2003. doi: 10.1109/mcs.2003.1200244
T. Tammet. Finite model building: improvements and comparisons. In Proc. of CADE-19 Wksh. W4 on Model Computation: Principles, Algorithms, Applications (Miami, FL, July 2003), 10 pp. 2003.
T. Tammet, V. Kadarpik. Combining an interface engine with databases: a rule server. In M. Schroeder, G. Wagner, eds., Proc. of 2nd Int. Wksh. on Rules and Rule Markup Languages for the Semantic Web, RuleML 2003 (Sanibel Island, FL, Oct. 2003), v. 2876 of Lect. Notes in Comput. Sci., pp. 23-32. Springer, 2003. article at SpringerLink
T. Tammet. Extending classical theorem proving for the Semantic Web. In R. Volz, S. Decker, I. F. Cruz, eds., Proc. of 1st Int. Wksh. on Practical and Scalable Semantic Systems, PSSS-1 (Sanibel Island, FL, Oct. 2003), v. 89 of CEUR Wksh. Proc., 14 pp. RWTH Aachen, 2003. volume at publisher's website
E. Tyugu. Formalization of knowledge systems. In H. R. Arabnia, R. Joshua, Y. Mun, eds., Proc. of Int. Conf. on Artificial Intelligence, IC-AI '03 (Las Vegas, NV, June 2003), v. 2, pp. 654-659. CSREA Press, 2003.
E. Tyugu, A. Saabas. Problems of visual specification languages. In Proc. of 30th Int. Conf. Information Technologies in Science, Education, Telecommunication and Business, IT + SE'03 (Yalta-Gurzuf, May 2003), pp. 155-157. 2003.
J. Vain, T. Uustalu, guest eds., Proc. of Estonian Acad. of Sci., Phys., Math., v. 52, n. 4 (Selected Papers from 14th Nordic Wksh. on Programming Theory, NWPT '02, Tallinn, Nov. 2002), 2003.

Publikatsioone 2004:

G. Grossschmidt, M. Harf. Multi-pole modelling and simulation of dynamics of an electro-hydraulic servo-system. In J. Papstel, B. Katalinic, eds., Proc. of 4th Int. DAAAM Conf. Industrial Engineering: New Challenges to SME (Tallinn, Apr. 2004), pp. 27-30. Tallinn Univ. of Techn., 2004.
G. Grossschmidt, M. Harf. Simulation of statics and steady state conditions of an electro-hydraulic servo-system. In J. Papstel, B. Katalinic, eds., Proc. of 4th Int. DAAAM Conf. Industrial Engineering: New Challenges to SME (Tallinn, Apr. 2004), pp. 31-34. Tallinn Univ. of Techn., 2004.
K. Jääger, J. Vain. Pattern-based modeling and planning of machining systems. Machine Engineering, v. 4, n. 1-2, pp. 97-106, 2004.
K. Jääger, J. Vain. Pattern-based analysis of fractal manufacturing systems. In A. H. Frigeri, ed., Prep. of 11th IFAC Symp. on Information Control Problems in Manufacturing, INCOM 2004 (Salvador, Apr. 2004), 6 pp. 2004.
V. Kimlaychuk. Creating intelligent agents in JADE (an example of ant colony simulation). In Proc. of Int. Conf. on Education and Information Systems: Technologies and Applications, EISTA 2004 (Orlando, FL, July 2004), v. 1, pp. 55-60. IIIS, 2004.
A. Kull. Improving embedded software testing. In Proc. of 8th World Multi-Conf. on Systemics, Cybernetics and Informatics, SCI 2004 (Orlando, FL, July 2004), v. 1, pp. 270-274. IIIS, 2004.
O. Miyashita, S. Tsukamoto, A. Kuusik, D. Miyata, T. Yoshida, J. Vain, S. Ishigami. A human-adaptive-mechatronics assisted system for training constructional ability. In Proc. of 8th Int. Conf. on Mechatronics Technology, ICMT 2004 (Hanoi, Nov. 2004), pp. 551-555. Vietnam Nat. Univ., 2004.
L. Motus, M. Meriste, T. Kelder, J. Helekivi. Agent-based templates for implementing proactive real-time systems. In H. W. Chu, M. Savoie, B. Sanches, eds., Proc. of Int. Conf. on Computing, Communications, and Control Technologies, CCCT 2004 (Austin, TX, Aug. 2004), v. 1, pp. 199-204. IIIS, 2004.
J. Penjam, J. Sanko. Deductive and inductive methods for program synthesis. Int. J. of Comput. and Inform. Sci., v. 5, n. 3, pp. 171-181, 2004.
J. Sanko, J. Penjam. Program construction in the context of evolutionary computation. In M. Broy, A. V. Zamulin, eds., Revised Papers from 5th Andrei Ershov Int. Conf. Perspectives of System Informatics, PSI 2003 (Novosibirsk, July 2003), v. 2980 of Lect. Notes in Comput. Sci., pp. 50-58. Springer, 2004. article at SpringerLink
R. Savimaa. A methodology for modelling of modifications in multifunctional human organisations. In Proc. of 8th World Multi-Conf. on Systemics, Cybernetics and Informatics, SCI 2004 (Orlando, FL, July 2004), v. 10, pp. 265-269. IIIS, 2004.
R. Savimaa. Integrating UML, the Q-model and a multi-agent approach in process and behaviour models of organisations. In Proc. of Int. Conf. on Cybernetics and Information Technologies, Systems and Applications/10th Int. Conf. on Information Systems Analysis and Synthesis, CITSA/ISAS 2004 (Orlando, FL, July 2004), v. 1, pp. 167-171. IIIS, 2004.
R. Savimaa. Composition of organisational process models for supporting information systems design. In Proc. of 11th Doctoral Consortium on Advanced Information Systems Engineering (Riga, June 2004), pp. 59-70. 2004.
J. Simm. Ontology view of intelligent systems. In Proc. of 2nd Int. IEEE Conf. on Intelligent Systems: Methodology, Models, Applications in Emerging Technologies (Varna, June 2004), v. 2, pp. 480-484. IEEE, 2004. doi: 10.1109/is.2004.1344797
T. Tammet. Chain resolution for the Semantic Web. In D. A. Basin, M. Rusinowitch, eds., Proc. of 2nd Int. Joint Conf. on Automated Reasoning, IJCAR 2004 (Cork, July 2004), v. 3097 of Lect. Notes in Artif. Intell., pp. 307-320. Springer, 2004. article at SpringerLink
E. Tyugu. Modularity of knowledge. In H. R. Arabnia, ed., Proc. of Int. Conf. on Artificial Intelligence, IC-AI '04 (Las Vegas, June 2004), v. 1, pp. 295-301. CSREA Press, 2004.
E. Tyugu. Knowledge systems as architectural components. In V. Stefanuk, K. Kaijiri, eds., Proc. of 6th Joint Conf. on Knowledge-Based Software Engineering, JCKBSE 2004 (Protvino, Aug. 2004), v. 108 of Frontiers in Artificial Intelligence and Applications, pp. 199-206. IOS Press, 2004.
J. Vain, T. Otto, A. Kuusik. Model checking for planning resource-sharing production. In M. A. Marquez R., ed., Proc. of 20th Int. Conf. on CAD/CAM, Robotics and Factories of the Future, CARS&FOF 2004 (San Cristobal, July 2004), pp. 151-158. Nadie Nos Edita Editores, 2004.
J. Vain, S. Suzuki, A. Kuusik. Formal safety validation of robot teleoperation. In Proc. of 9th Biennial Baltic Electronic Conf., BEC 2004 (Tallinn, Oct. 2004), pp. 161-164. Tallinn Univ. of Techn., 2004.
E. Vainikko, I. G. Graham. A parallel solver for PDE systems and application to the incompressible Navier-Stokes equations. Applied Numerical Mathematics, v. 49, n. 1, pp. 97-116, 2004. doi: 10.1016/j.apnum.2003.11.015

Publikatsioone 2005:

W. Dosch, M. Meriste. High-level design of a pull protocol. In G. Hu, ed., Proc. of 20th Int. Conf. on Computers and Their Applications (New Orleans, LA, March 2005), pp. 66-73. ISCA, 2005.
E. Domiczi, J. Vain. Model driven engineering in automatic test generation. In K. Koskimies, L. Kuzniarz, J. Nummenmaa, Z. Zhang, eds., Proc. of 3rd Nordic Wksh. on UML and Software Modeling, NWUML 2005 (Tampere, Aug. 2005), pp. 208-216. Univ. of Tampere, 2005.
J. Eder, H.-M. Haav, A. Kalja, J. Penjam, eds. Proc. of 9th East-European Conf. on Advances in Databases and Information Systems, ADBIS 2005 (Tallinn, Sept. 2005), v. 3631 of Lect. Notes in Comput. Sci., xiii+391 pp. Springer, 2005. doi: 10.1007/11547686
J. Eder, H.-M. Haav, A. Kalja, J. Penjam, eds. Commun. of 9th East-European Conf. on Advances in Databases and Information Systems, ADBIS 2005 (Tallinn, Sept. 2005), v. 152 of CEUR Wksh. Proc.. RWTH Aachen, 2005. volume at publisher's website
A. Eppendahl, R. Maigre. Mobile camera parameter recovery in an unknown environment without point features. In Proc. of 2005 IEEE Int. Symp. on Computational Intelligence in Robotics and Automation, CIRA'05 (Espoo, June 2005), pp. 279-283. IEEE, 2005. doi: 10.1109/cira.2005.1554290
J. Ernits. Memory arbiter synthesis and verification for a radar memory interface card. Nordic J. of Computing, v. 12, n. 2, pp. 68-88, 2005.
P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - compiler-compiler for visual languages. In J. Boyland, G. Hedin, eds., Proc. of 5th Wksh. on Language Descriptions, Tools and Applications, LDTA'05 (Edinburgh, Apr. 2005), Electron. Notes in Theor. Comput. Sci., v. 141, n. 4, pp. 137-142. Elsevier, 2005. doi: 10.1016/j.entcs.2005.05.009
P. Grigorenko, A. Saabas, E. Tyugu. Visual tool for generative programming. In Proc. of Joint 10th Europ. Software Engineering Conf., ESEC' 05, and 13th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, FSE-13 (Lisbon, Sept. 2005), pp. 249-252. ACM Press, 2005. doi: 10.1145/1081706.1081747
P. Grigorenko, A. Saabas, E. Tyugu. Visual tool for generative programming. ACM SIGSOFT Softw. Engin. Notes, v. 30, n. 5, pp. 249-252. 2005. doi: 10.1145/1095430.1081747
G. Grossschmidt, M. Harf, M. Djurovic. Modelling and simulation of steady-state conditions of a hydraulic load-sensing system. In Proc. of Int. Scientific-Technical Conf. "Hydraulics and Pneumatics 2005" (Wroclaw, May 2005), pp. 439-447. 2005.
G. Grossschmidt, M. Harf. Modelling and simulation of hydraulic load-sensing systems using object-oriented programming environment. In Proc. of 19th Europ. Conf. on Modelling and Simulation, ECMS 2005: Simulation in Wider Europe (Riga, June 2005), pp. 605-609. Europ. Council for Modelling and Simulation, 2005.
K. Koskimies, M. Meriste, guest eds., Proc. of Estonian Acad. of Sci., Engineering, v. 11, n. 4 (Selected Papers from 9th Symp. on Programming Languages and Software Tools, SPLST 2005, Tartu, Aug. 2005), 2005.
V. Kotkas. Structural synthesis of programs with preconditions. In V. Vene, M. Meriste, eds., Proc. of 9th Symp. on Programming Languages and Software Tools, SPLST 2005 (Tartu, Sept. 2005), pp. 70-81. Univ. of Tartu, 2005.
T. Lints. Multiagent modelling of a bacterial cell, a DnaA titration model based agent model as an example. In V. Vene, M. Meriste, eds., Proc. of 9th Symp. on Programming Languages and Software Tools, SPLST 2005 (Tartu, Aug. 2005), pp. 82-96. Univ. of Tartu, 2005.
M. Meriste, J. Helekivi, T.Kelder, A. Marandi, L. Mõtus, J. Preden. Location awareness of information agents. In J. Eder, H.-M. Haav, A. Kalja, J. Penjam, eds., Proc. of 9th East European Conf. on Advances in Databases and Information Systems, ADBIS 2005 (Tallinn, Sept. 2005), v. 3631 of Lect. Notes in Comput. Sci., pp. 199-208. Springer, 2005. doi: 10.1007/11547686_15
M. Meriste, T. Kelder, J. Helekivi, L. Motus. C# templates for time-aware agents. In C.-S. Chen, J. Filipe, I. Seruca, J. Cordeiro, eds., Proc. of 7th Int. Conf. on Enterprise Information Systems, ICEIS 2005 (Miami, FL, May 2005), v. 4, pp. 247-250. INSTICC Press, 2005.
M. Meriste, T. Kelder, J. Helekivi, A. Marandi, L. Motus. On geospatial agents. In J. Cordeiro, V. Pedrosa, B. Encarnação, J. Filipe, eds., Proc. of 1st Int. Conf. on Web Information Systems and Technologies, WEBIST 2005 (Miami, FL, May 2005), pp. 210-213. INSTICC Press, 2005.
F. Miyawaki, K. Masamune, S. Suzuki, K. Yoshimitsu, J. Vain. Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery. IEEE Trans. on Industrial Electronics, v. 52, n. 5, pp. 1227-1235, 2005. doi: 10.1109/tie.2005.855692
L. Motus, M. Meriste, W. Dosch. Time-awareness and proactivity in models of interactive computation. In D. Goldin, M. Viroli, eds., Proc. of Wksh. on the Foundations of Interactive Computation, FinCo 2005 (Edinburgh, Apr. 2005), Electron. Notes in Theor. Comput. Sci., v. 141, n. 5, pp. 69-95, 2005. doi: 10.1016/j.entcs.2005.05.017
L. Motus, R. Vingerhoeds, M. Meriste. Challenges for real-time systems engineering. Part 1: State of the art. Proc. of Estonian Acad. of Sci., Engineering, v. 11, n. 1, pp. 3-17, 2005.
L. Motus, R. Vingerhoeds, M. Meriste. Challenges for real-time systems engineering. Part 2: Towards time-aware technology. Proc. of Estonian Acad. of Sci., Engineering, v. 11, n. 1, pp. 18-30, 2005.
K. Ohnuma, K. Masamune, K. Shinohara, J. Vain, Y. Fukui, F. Miyawaki. Surgical scenario for laparoscopic surgery with timed automata. Int. Congress Series, v. 1281, p. 1345, 2005. doi: 10.1016/j.ics.2005.03.145
H. Rennik, J. Vain. Combined method of load planning for production lines. Machine Engineering, v. 5, n. 3-4, pp. 153-165, 2005.
J. Sanko. Evolutionary program construction. In R. Matoušek, P. Ošmera, eds., Proc. of 11th Int. Conf. on Soft Computing, MENDEL 2005 (Brno, June 2005), pp. 73-79. Brno Univ. of Techn., 2005.
R. Savimaa. Using agent and UML technologies in modelling organizations: the case of a vehicle theft. Proc. of Estonian Acad. of Sci., Engineering, v. 11, n. 1, pp. 31-45, 2005.
E. Tyugu. Describing knowledge architectures. In Y. Kiyoki et al., Proc. of 15th European-Japanese Conf. on Information Modelling and Knowledge Bases, EJC 2005 (Tallinn, May 2005), pp. 356-361. Tallinn Univ. of Techn., 2005.
E. Tyugu. Metainterfaces support for structural and object-oriented software composition. In H. R. Arabnia, H. Reza, eds., Proc. of Int. Conf. on Software Engineering Research and Practice, SERP 2005 (Las Vegas, NV, June 2005), vs. 1 and 2, pp. 189-192. CSREA Press, 2005.
E. Tyugu, M. Matskin. Logical instruments for dynamic service composition. In H. Arabnia, ed., Proc. of Int. Symp. on Web Services and Applications, ISWS 2005 (Las Vegas, NV, 2005), pp. 87-93. CSREA Press, 2005.
J. Vain, I. Randvee, T. Riismaa. Two-phase technique for assembly line balancing. In P. Horacek, M. Simandl, P. Zitek, eds., Prep. of 16th IFAC World Congress (Prague, July 2005), 6 pp. 2006.
E. Vainikko. Fortran95 ja MPI. 135 lk. TÜ Kirjastus, 2005.
V. Vene, M. Meriste, eds., Proc. of 9th Symp. on Programming Languages and Software Tools, SPLST 2005 (Tartu, Sept. 2005), 234 pp. Univ. of Tartu, 2005.

Publikatsioone 2006:

W. Dosch, T. Tamme. Designing a conditional merge component. In J. Jackson, ed., Proc. of 21st Int. Conf. on Computers and Their Applications (Seattle, WA, March 2006), pp. 64-71. ISCA, 2006.
A. Eppendahl, A. Ojamaa. Seeing empty space in an environment without silhouettes. In K. Murase, K. Sekiyama, N. Kubota, T. Naniwa, J. Sitte, eds., Proc. of 3rd Int. Symp. on Autonomous Minirobots for Research and Edutainment, AMiRE 2005 (Fukui, Sept. 2005), pp. 27-32. Springer, 2006. doi: 10.1007/3-540-29344-2_4
A. Eppendahl, S. Sajnani. Two steps toward a physically autonomous self-replicating system. In K. Murase, K. Sekiyama, N. Kubota, T. Naniwa, J. Sitte, eds., Proc. of 3rd Int. Symp. on Autonomous Minirobots for Research and Edutainment, AMiRE 2005 (Fukui, Sept. 2005), pp. 281-286. Springer, 2006. doi: 10.1007/3-540-29344-2_42
J. Ernits, A. Kull, K. Raiend, J. Vain. Generating tests from EFSM models using guided model checking and iterated search refinement. In K. Havelund, M. Núñez, G. Rosu, B. Wolff, eds., Revised Selected Papers from 1st Combined Int. Wkshs. on Formal Approaches to Testing and Runtime Verification, FATES/RV 2006 (Seattle, WA, Aug. 2006), v. 4262 of Lect. Notes in Comput. Sci., pp. 85-89. Springer, 2006. doi: 10.1007/11940197_6
P. Grigorenko, E. Tyugu. Deep semantics of visual languages. In E. Tyugu and T. Yamaguchi, eds., Proc. of 7th Joint Conf. on Knowledge-Based Software Engineering, JCKBSE 2006 (Tallinn, Aug. 2006), v. 140 of Frontiers in Artificial Intelligence and Applications, pp. 83-95. IOS Press, 2006. article at IOS Press BooksOnline
G. Grossschmidt, M. Harf, T. Sallaste. Modelling and simulation of fluid power systems in object-oriented programming environment. In Proc. of 8th Biennial ASME Conf. on Engineering Systems Design and Analysis, ESDA 2006 (Torino, July 2006), Vol. 2, paper ESDA2006-95387, pp. 723-732. ASME, 2006. doi: 10.1115/esda2006-95387
J. Helander, J. Preden. Adapting the auto to a new tune. In Proc. of 1st Wksh. on Models and Analysis for Automotive Systems (Rio de Janeiro, Dec. 2006), pp. 21-24. 2006.
A. Karpištšenko. Enhancement of development technologies for agent-based software engineering. In J.-M. Bruel, ed., Revised Selected Papers from Satellite Events at MODELS 2005 Conf. (Montego Bay, Oct. 2005), v. 3844 of Lect. Notes in Comput. Sci., pp. 343-344. Springer, 2006. doi: 10.1007/11663430_38
V. Kotkas. Preconditions for structural synthesis of programs. In Prel. Proc. of 6th Int. Andrei Ershov Memorial Conf. on Perspective of System Informatics, PSI 2006 (Novosibirsk, June 2006), pp. 166-175. A. P. Ershov Inst. of Informatics Systems, Novosibirsk, 2006.
A. Kull, K. Raiend, J. Ernits, J. Vain. Generating TTCN-3 test cases from EFSM models of reactive software using model checking. In Ch. Hochberger, R. Liskowsky, eds., Proc. of Informatik 2006: Informatik für Menschen (Dresden, Oct. 2006), v. 2, v. P-94 of Lect. Notes in Informatics, pp. 241-248. Gesellschaft für Informatik, 2006.
M. Matskin, E. Tyugu. Logic for higher-order workflow of composite web services. In Proc. of Int. Conf. on Semantic Web and Web Services, SWWS '06 (Las Vegas, NV, June 2006), pp. 122-128. CSREA Press, 2006.
L. Motus, M. Meriste, J.-S. Preden. Network enabled capabilities - Grassroots perspectives. In Proc. of NATO RTO IST Panel Symp. on Dynamic Communication Management, IST-062/RSY-016, pp. 16/1-16/13. 2006
U. Norbisrath, I. Armac, D. Retkowitz, P. Salumaa. Modelling ehome systems. In Proc. of 4th Int. Wksh. on Middleware for Pervasive and Ad-Hoc Computing, MPAC 2006 (Melbourne, Nov./Dec. 2006), v. 182 of ACM Int. Conf. Series, 4 pp. ACM Press, 2006. doi: 10.1145/1169075.1169079
U. Norbisrath, C. Mosler. Functionality configuration for ehome systems. In H. Erdogmus, E. Stroulia, D. A. Stewart, eds., Proc. of 2006 Conf. of Center for Advanced Studies on Collaborative Research , CASCON 2006 (Toronto, Oct. 2006), pp. 95-107. ACM Press, 2006. doi: 10.1145/1188966.1188977
U. Norbisrath, C. Mosler, I. Armac. The ehome configurator tool suite. In R. Meersman, Z. Tari, P. Herrero, eds., Proc. of OTM 2006 Confederated Int. Workshops and Posters (Montpellier, Oct./Nov. 2006), part 2, v. 4278 of Lect. Notes in Comput. Sci., pp. 1315-1324. Springer, 2006. doi:10.1007/11915072_35
K. Ohnuma, K. Masamune, K. Yoshimitsu, T. Sadahiro, J. Vain, Y. Fukui, F. Miyawaki. Timed-automata-based model for laporoscopic surgery and intraoperative motion recognition of a surgeon as the interface connecting the surgical scenario and the real operating room. Int. J. of Computer Assisted Radiology and Surgery, v. 1, suppl. 7, pp. 442-445, 2006.
T. Otto, J. Vain. Model checking in planning resource-sharing based manufacturing. In A. Dolgui, G. Morel, C. E. Pereira, eds., Prep. of 12th IFAC Symp. on Information Control Problems in Manufacturing, INCOM 2006 (St. Etienne, May 2006), v. 2: Industrial Engineering, pp. 535-540. École Nat. Super. des Mines, 2006.
T. Otto, J. Vain. Model checking in planning resource-sharing based manufacturing. In A. Dolgui, G. Morel, C. E. Pereira, eds., Proc. of 12th IFAC Symp. on Information Control Problems in Manufacturing, INCOM 2006 (St. Etienne, May 2006), v. 2: Industrial Engineering, IFAC Proc. Vols., pp. 523-528. Elsevier, 2006.
J.-S. Preden. Communication area based positioning. In Proc. of 3rd IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems, MASS 2006 (Vancouver, BC, Oct. 2006), pp. 336-347. IEEE, 2006. doi: 10.1109/mobhoc.2006.278573
J.-S. Preden, J. Helander. Auto-adaptation driven by observed context histories. In Proc. of 2nd Int. Wksh. on Exploiting Context Histories in Smart Environments - Infrastructures and Applications, ECHISE 2006 (Orange County, CA, Sept. 2006). 2006.
R. Scheichl, E. Vainikko. Robust aggregation-based coarsening for additive Schwarz in the case of highly variable coefficients. In P. Wesseling, E. Oñate, J. Périaux, eds., Proc. of Europ. Conf. on Computational Fluid Dynamics, ECCOMAS CFD 2006 (Egmond aan Zee, Sept. 2006), 16 pp. Techn. Univ. Delft, 2006.
S. Schulz, G. Sutcliffe, T. Tammet, guest eds. Int. J. of Artif. Intell. Tools, v. 15, n. 1 (Special Issue on Empirically Successful First Order Reasoning), 130 pp., 2006. doi: 10.1142/S0218213006002539
J. Simm. Learning methods of body schemas for robots with manipulators. In O. Vacilecas et al., Commun., Materials of Doct. Consort. of 7th Int. Baltic Conf. on Databases and Information Systems, Baltic DB&IS 2006 (Vilnius, July 2006), pp. 344-348. VGTU Press Technika, 2006.
T. Tammet, H.-M. Haav, V. Kadarpik, M. Kääramees. A rule-based approach to web-based application development. In O. Vacilecas, J. Eder, A. Caplinskas, eds., Proc. of 7th Int. Baltic Conf. on Databases and Information Systems, Baltic DB&IS 2006 (Vilnius, July 2006), pp. 202-208. IEEE, 2006. doi: 10.1109/dbis.2006.1678497
T. Tammet, J. Vain, A. Kuusik. RFID-based knowledge space for service robot swarms. In O. Miyashita, ed., Proc. of 3rd CoE Wksh. on Human Adaptive Mechatronics, HAM 2006 (Tokyo, March 2006), 6 pp. Tokyo Denki Univ., 2006. (CD-ROM).
T. Tammet, J. Vain, A. Kuusik. Using RFID tags for robot swarm cooperation. WSEAS Trans. on Systems, v. 5, n. 5, pp. 1121-1128, 2006.
E. Tyugu. Describing knowledge architectures. In Y. Kiyoki, J. Henno, H. Jaakkola, H. Kangassalo, eds., Information Modelling and Knowledge Bases XVII, v. 136 of Frontiers of Artif. Intell. and Appl., pp. 329-340. IOS Press, 2006. article at IOS Press Booksonline
E. Tyugu. Understanding knowledge architectures. Knowledge-Based Systems, v. 19, n. 1, pp. 50-56, 2006. doi: 10.1016/j.knosys.2005.07.006
E. Tyugu. Extensible multipurpose simulation platform. In A. M. Madureira, ed., Proc. of 6th WSEAS Int. Conf. on Simulation, Modelling and Optimization, SMO 2006 (Lisbon, Sept. 2006), pp. 738-743. WSEAS, 2006.
E. Tyugu, T. Yamaguchi, eds. Proc. of 7th Joint Conf. on Knowledge-Based Software Engineering, JCKBSE 2006 (Tallinn, Aug. 2006), v. 140 of Frontiers in Artificial Intelligence and Applications, xi+338 pp. IOS Press, 2006. volume at IOS Press BooksOnline
J. Vain, I. Randvee, T. Riismaa. Two-phase technique for assembly line balancing. In P. Piztek, ed., Proc. of 16th IFAC World Congress (Prague, July 2005), pp. 127-132. Elsevier, 2006.

Publikatsioone 2007:

J. Derrick, J. Vain, eds., Proc. of 27th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2007 (Tallinn, June 2007), v. 4574 of Lect. Notes in Comput. Sci., xi+375 pp. Springer, 2007. doi: 10.1007/978-3-540-73196-2
W. Dosch, M. Meriste, L. Motus. Enriching interactive components with again commands. In Proc. of 2007 IEEE Int. Conf. on Electro/Information Technology (Chicago, IL, May 2007), v. 1, pp. 200-205. IEEE, 2007.
G. Grossschmidt, M. Harf. Design of a hydraulic-mechanical load-sensing system using object-oriented modelling and simulation. In I. Zelinka, Z. Oplatkova, A. Orsoni, W. W. Smari, eds., Proc. of 21st Europ. Conf. on Modelling and Simulation, ECMS 2007: Simulations in United Europe (Prague, June 2007), pp. 383-390. ECMS, 2007.
H.-M. Haav, T. Tammet, V. Kadarpik, K. Kindel, M. Kääramees. A semantic-based web service composition framework. In G. Magyar, G. Knapp, W. Wojtkowski, W. G. Wojtkowski, J. Zupancic, eds., Advances in Information Systems Development: New Methods and Practice for the Networked Society [Proc. of 15th Int. Conf. on Information Systems Development, ISD 2006 (Budapest, Aug./Sept. 2006)], v. 1, pp. 379-391. Springer, 2007. doi: 10.1007/978-0-387-70761-7_33
J. Helander, R. Serg, M. Veanes, P. Roy. Adaptive futures: scalability for real-world computing. In Proc. of 28 IEEE Int. Real-Time Systems Symp., RTSS 2007 (Tuczon, AZ, Dec. 2007), pp. 105-116. IEEE, 2007. doi: 10.1109/rtss.2007.8
V. Kotkas. Preconditions for structural synthesis of programs. In A. Voronkov, I. Virbitskaite, eds., Revised Papers from 6th Int. Andrei Ershov Memorial Conf. on Perspectives of System Informatics, PSI 2006 (Novosibirsk, June 2006), v. 4378 of Lect. Notes in Comput. Sci., pp. 284-296. Springer, 2007. doi: 10.1007/978-3-540-70881-0_25
M. Matskin, R. Maigre, E. Tyugu. Compositional logical semantics for business process languages. In Proc. of 2nd Int. Conf. on Internet and Web Applications and Services, ICIW '07 (Morne, Mauritius, May 2007), 6 pp. IEEE CS Press, 2007. doi: 10.1109/iciw.2007.24
U. Norbisrath, C. Mosler. Component-based development for ehome systems. In T. Simos, G. Psihoyios, eds., Additional Papers from ICNAAM 2006 and ICCMSE 2006 at Int. e-Conf. of Computer Science 2006, v. 8 of Lect. Series on Computer and Computational Sciences, pp. ?-?. BRILL, 2007.
U. Norbisrath, C. Mosler. Tool support for the ehome specification, configuration, and deployment process. In O. Spaniol, ed., Proc. of 1st Int. Wksh. on Mobile Services and Personalized Environments, MSPE 2007 (Aachen, Nov. 2006), v. P-102 of Lect. Notes in Informatics, pp. 109-122. Gesellschaft für Informatik, 2007.
S. Nõmm, E. Petlenkov, J. Vain, K. Yoshimitsu, K. Ohnuma, T. Sadahiro, F. Miyawaki. NN-based ANARX model of the surgeon's hand for the motion recognition. In Proc. of 4th COE Wksh. on Human Adaptive Mechatronics, HAM 2007 (Tokyo, March 2007), pp. 19-24. Tokyo Denki Univ., 2007.
A. Ojamaa, E. Tyugu. Rich components of extendable simulation platform. In Proc. of 2007 Int. Conf. on Modeling, Simulation and Visualization Methods, MSV 2007 (Las Vegas, NV, June 2007), pp. 121-127. CSREA Press, 2007.
J. Preden, J. Helander. Situation aware computing in distributed computing systems. In Z. Horváth, L. Kozma, V. Zsók, eds., Proc. of 10th Symp. on Programming Languages and Software Tools, SPLST 2007 (Dobogókö, June 2007), pp. 280-291. Eötvös Loránd Univ., 2007.
J. Preden, M. Sarkans, T. Otto. Diagnostics of machining and assembly systems by networked motes. Machine Engineering, v. 7, n. 1-2, pp. 68-77, 2007.
J. Preden, M. Sarkans, T. Otto, T. Reinson. Smart dust based modular laboratory kit for monitoring workshop machinery. In Proc. of 8th Int. Wksh. on Research and Education in Mechatronics, REM 2007 (Tallinn, June 2007), pp. 311-316. Tallinn Univ. of Techn., 2007.
R. Scheichl, E. Vainikko. Additive Schwarz and aggregation-based coarsening for elliptic problems with highly variable coefficients. Computing, v. 80, n. 4, pp. 319-343, 2007. doi: 10.1007/s00607-007-0237-z.
T. Tammet, H.-M. Haav, V. Kadarpik, M. Kääramees. Using a rule language for capturing semantics in web-based systems. In O. Vasilecas, J. Eder, A. Caplinskas, eds., Selected Papers from 7th Int. Baltic Conf. on Databases and Information Systems, Baltic DB&IS 2006 (Vilnius, July 2006), v. 155 of Frontiers in Artificial Intelligence and Applications, pp. 249-259. IOS Press, 2007. article at IOS Press BooksOnline
E. Tyugu. Algorithms and architectures of artificial intelligence, v. 159 of Frontiers in Artificial Intelligence and Applications, ix+171 pp. IOS Press, 2007. book at IOS Press BooksOnline
E. Tyugu, P. Grigorenko. Large-scale simulation platform. WSEAS Trans. on Computers, v. 6, n. 1, pp. 65-71, 2007.
J. Vain, F. Miyawaki. Model learning for reactive motion planning in assisting robots. Proc. of 27th IASTED Int. Conf. on Modelling, Identification, and Control, MIC 2008 (Innsbruck, Feb. 2008), Acta Press, to appear.
J. Vain, K. Raiend, A. Kull, J. Ernits. Synthesis of test purpose directed reactive planning tester for nondeterministic systems. In Proc. of 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, ASE '07 (Atlanta, GA, Nov. 2007), pp. 363-372. ACM Press, 2007. doi: 10.1145/1321631.1321685
E. Vainikko, G. Vainikko. A product quasi-interpolation method for weakly singular Volterra integral equations. In E. T. Simos, G. Psihoyios, C. Tsitouras, eds., Proc. of Int. Conf. on Numerical Analysis and Applied Math. (Corfu, Sept. 2007), v. 936 of Amer. Inst. of Phys. Conf. Proc., pp. 570-573. Springer, 2007. doi: 10.1063/1.2790209
M. Veanes, J. Ernits, C. Campbell. State isomorphism in model programs with abstract data structures. In J. Derrick, J. Vain, eds., Proc. of 27th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2007 (Tallinn, June 2007), v. 4574 of Lect. Notes in Comput. Sci., pp. 112-127. Springer, 2007. doi: 10.1007/978-3-540-73196-2_8

Doktorikaitsmised 2005:

R. Savimaa, Modelling emergent behaviour of organisations: time-aware, UML and agent based approach, TTÜ, juhendaja L. Mõtus, oponendid W. Brauer (Technische Universität München), M. Meriste (TÜ), 31.8.2005. thesis at TUT DL

Doktorikaitsmised 2007:

U. Norbisrath, Configuring ehome systems, RWTH Aachen, juhendaja M. Nagl, 27.6.2007. thesis at RWTH DL
J. Ernits, Two state space reduction techniques for explicit state model checking, TTÜ, juhendaja J. Vain, oponendid K. G. Larsen (Aalborg Universitet), V. Vene (TÜ), 29.11.2007. thesis at TUT DL

Viimane uuendus 30.1.2008