| Online testing of nondeterministic systems with the reactive planning tester J Vain, M Kääramees, M Markvardt Dependability and Computer Engineering: Concepts for Software-Intensive …, 2012 | 16 | 2012 |
| A semantic-based Web service composition framework HM Haav, T Tammet, V Kadarpik, K Kindel, M Kääramees Advances in Information Systems Development: New Methods and Practice for …, 2007 | 8 | 2007 |
| A rule-based approach to Web-based application development T Tammet, HM Haav, V Kadarpik, M Kaaramees 2006 7th International Baltic Conference on Databases and Information …, 2006 | 8 | 2006 |
| Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs D Ahman, M Kääramees arXiv preprint arXiv:1202.6126, 2012 | 4 | 2012 |
| Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. J Vain, A Kull, M Kääramees, M Markvardt, K Raiend Model-Based Testing for Embedded Systems, 425-452, 2011 | 3 | 2011 |
| Case study-based performance evaluation of reactive planning tester A Kull, K Raiend, J Vain, M Kääramees Model-based Testing in Practice, 87, 2009 | 3 | 2009 |
| Requirements-driven model-based testing of the IP multimedia subsystem J Ernits, M Kaaramees, K Raiend, A Kull 2008 11th International Biennial Baltic Electronics Conference, 203-206, 2008 | 3 | 2008 |
| Synthesis of on-line planning tester for non-deterministic EFSM models M Kääramees, J Vain, K Raiend International Academic and Industrial Conference on Practice and Research …, 2010 | 2 | 2010 |
| From Design Specifications to Parallel Implementations M Kaaramees, MR Hansen, M Haveeraaen, O Owe Selected papers from the 8th Nordic Workshop on Programming Theory, 129-138, 1997 | 2 | 1997 |
| A Symbolic Approach to Model-based Online Testing M Kääramees Tallinn University of Technology, 2012 | 1 | 2012 |
| Towards unified compositional design of control systems J Vain, M Käämees IFAC Proceedings Volumes 33 (6), 45-50, 2000 | 1 | 2000 |
| Integrated Modelling Techniques for CIM Systems Requirements Analysis M Kääramees, M Littover, L Randvee, J Vain IFAC Proceedings Volumes 27 (4), 59-64, 1994 | 1 | 1994 |
| 3.15 A Symbolic Approach to Model-based Online Testing M Kaeaeramees Symbolic Methods in Testing, 14, 2013 | | 2013 |
| Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems M Kääramees, J Vain, K Raiend 2010 12th Biennial Baltic Electronics Conference, 189-192, 2010 | | 2010 |
| USING TEXT CATEGORISATION FOR DETECTING USER ACTIVITY M Kääramees, R Paaslepp Algarve, Portugal, 139, 2009 | | 2009 |
| Databases and Information Systems IV 249 O. Vasilecas et al.(Eds.) IOS Press, 2007 2007 The authors and IOS Press. All rights reserved. T TAMMET, HM HAAV, V KADARPIK, M KÄÄRAMEES Databases and Information Systems IV: Selected Papers from the Seventh …, 2007 | | 2007 |
| Specification of Hybrid Components of Control Systems J Vain, A Kuusik, M Kääramees IFAC Proceedings Volumes 31 (31), 73-78, 1998 | | 1998 |
| IMPROVING SHORT-TERM POWER MARKETS TRADING STRATEGY FOR WIND POWER PRODUCER M Kääramees, S Nõmm | | |
| Component based development of hybrid control systems J Vain, A Kuusik, M Kääramees | | |
Jüri VainDept. Computer Science, Tallinn University of TechnologyAdresse e-mail validée de ioc.ee
