Source: http://cdc.ioc.ee/fm.html
Timestamp: 2019-04-19 18:26:42+00:00

Document:
Leo Mõtus, TTÜ automaatika inst. prof.
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.
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.
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.
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.
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.
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.
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.
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.
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. Ernits. Memory arbiter synthesis and verification for a radar memory interface card. Nordic J. of Computing, v. 12, n. 2, pp. 68-88, 2005.
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, 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.
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.
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.
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.
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.
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.
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, 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.
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, 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. 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.
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.
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.
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.
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.

References: v. 

V. 
 v. 
 v. 
 v. 
 v. 

V. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 V. 
 v. 
 v. 
 v. 

V. 
 V. 
 V. 
 v. 
 V. 
 v. 
 v. 
 v. 
 v. 

V. 

V. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 V. 
 v. 
 v. 
 v.