Follow
Marko Kääramees
Marko Kääramees
Associate Professor of Computer Science, Tallinn University of Technology
Verified email at ttu.ee
Title
Cited by
Cited by
Year
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
162012
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: New Methods and Practice for …, 2007
82007
Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
D Ahman, M Kääramees
arXiv preprint arXiv:1202.6126, 2012
42012
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
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
22010
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
21997
A Symbolic Approach to Model-based Online Testing
M Kääramees
Tallinn University of Technology, 2012
12012
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20