Marko Kääramees
Marko Kääramees
Associate Professor of Computer Science, Tallinn University of Technology
Потвърден имейл адрес: ttu.ee
Заглавие
Позовавания
Позовавания
Година
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
122012
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
92006
A semantic-based Web service composition framework
HM Haav, T Tammet, V Kadarpik, K Kindel, M Kääramees
Advances in Information Systems Development, 379-391, 2007
62007
Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
D Ahman, M Kääramees
arXiv preprint arXiv:1202.6126, 2012
32012
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
32011
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
32009
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
32008
From design formulas to parallel implementations
M Kääramees, MR Hansen
DEPT. OF INFORMATICS, UNIV. OF OSLO, 1997
21997
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
12010
Towards unified compositional design of control systems
J Vain, M Käämees
IFAC Proceedings Volumes 33 (6), 45-50, 2000
12000
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
11994
A Symbolic Approach to Model-based Online Testing
M Kääramees
Tallinn University of Technology, 2012
2012
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
A Semantic-Based Web Service Composition
HM Haav, T Tammet, V Kadarpik, K Kindel, M Kääramees
Advances in information systems development: new methods and practice for …, 2007
2007
Using a Rule Language for Capturing Semantics in Web-Based Systems
T Tammet, H Haav, V Kadarpik, M Kaaramees
Frontiers in Artificial Intelligence and Applications 155, 249, 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
USING TEXT CATEGORISATION FOR DETECTING USER ACTIVITY
M Kääramees, R Paaslepp
Algarve, Portugal, 139, 0
Component based development of hybrid control systems
J Vain, A Kuusik, M Kääramees
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–18