Real Time in a TLA-Based Theory of Reactive Systems. - Reino Kurki-Suonio; Mika Katara (ISORC, 1998)

Hybrid Models for Mobile Computing. - Mika Katara (COORDINATION, 2000)

Environment Modelling in Closed Specifications of Embedded Systems. - Mika Katara; Arto Luoma (DIPES, 2000)

Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. - Mika Katara; Tommi Mikkonen (ICECCS, 2001)

DisCo Toolset - The New Generation. - Timo Aaltonen; Mika Katara; Risto Pitkänen (J. Univers. Comput. Sci., 2001)

Aspects of Continuous Behaviour - Design of Real-Time Reactive Systems in DisCo. - Mika Katara (2001)

Coordinating Aspects and Objects. - Timo Aaltonen; Joni Helin; Mika Katara; Pertti Kellomäki; Tommi Mikkonen (FOCLASA, 2002)

Architectural views of aspects. - Mika Katara; Shmuel Katz (AOSD, 2003)

Adaptable Concern-Based Framework Specialization in UML. - Imed Hammouda; Johannes Koskinen; Mika Pussinen; Mika Katara; Tommi Mikkonen (ASE, 2004)

Concern-Based Development of Pattern Systems. - Imed Hammouda; Markku Hakala; Mika Pussinen; Mika Katara; Tommi Mikkonen (EWSA, 2005)

Model-Based Testing Through a GUI. - Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Mika Katara (FATES, 2005)

Production-Testing of Embedded Systems with Aspects. - Jani Pesonen; Mika Katara; Tommi Mikkonen (Haifa Verification Conference, 2005)

Improving Testing Education - Seven Observations Why Testing is Different. - Mika Katara (SwSTE, 2005)

Choosing a Test Modeling Language: A Survey. - Alan Hartman; Mika Katara; Sergey Olvovsky (Haifa Verification Conference, 2006)

Making Model-Based Testing More Agile: A Use Case Driven Approach. - Mika Katara; Antti Kervinen (Haifa Verification Conference, 2006)

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. - Mika Katara; Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Mikko Satama (TAIC PART, 2006)

Controlling Testing Using Three-Tier Model Architecture. - Antti Kervinen; Mika Maunumaa; Mika Katara (MBT, 2006)

On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. - Timo Aaltonen; Mika Katara; Reino Kurki-Suonio; Tommi Mikkonen (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

Testing Non-Functional Requirements with Aspects: An Industrial Case Study. - Jani Metsä; Mika Katara; Tommi Mikkonen (QSIC, 2007)

Domain specific approaches to software test automation. - Alan Hartman; Mika Katara; Amit M. Paradkar (ESEC/SIGSOFT FSE, 2007)

A concern architecture view for aspect-oriented software design. - Mika Katara; Shmuel Katz (Softw. Syst. Model., 2007)

Synthesizing Test Models from Test Cases. - Antti Jääskeläinen; Antti Kervinen; Mika Katara; Antti Valmari; Heikki Virtanen (Haifa Verification Conference, 2008)

Comparing Aspects with Conventional Techniques for Increasing Testability. - Jani Metsä; Mika Katara; Tommi Mikkonen (ICST, 2008)

Model-Based Testing Service on the Web. - Antti Jääskeläinen; Mika Katara; Antti Kervinen; Henri Heiskanen; Mika Maunumaa; Tuula Pääkkönen (TestCom/FATES, 2008)

Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). - Antti Jääskeläinen; Antti Kervinen; Mika Katara (QSIC, 2008)

Automatic GUI test generation for smartphone applications - an evaluation. - Antti Jääskeläinen; Mika Katara; Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Tommi Takala; Heikki Virtanen (ICSE Companion, 2009)

Model-Based Testing Using LSCs and S2A. - Shahar Maoz; Jani Metsä; Mika Katara (MoDELS, 2009)

An Adapter Framework for Keyword-Driven Testing. - Tommi Takala; Mika Maunumaa; Mika Katara (QSIC, 2009)

Model-Based Testing Using System vs. Test Models - What Is the Difference?. - Qaisar A. Malik; Antti Jääskeläinen; Heikki Virtanen; Mika Katara; Fredrik Abbors; Dragos Truscan; Johan Lilius (ECBS, 2010)

Debug Support for Model-Based GUI Testing. - Henri Heiskanen; Antti Jääskeläinen; Mika Katara (ICST, 2010)

Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report. - Antti Jääskeläinen; Mika Katara; Julia Rubin; Tali Yatzkar-Haham; Mila Keren (SPLC Workshops, 2010)

Model-Based GUI Testing of Smartphone Applications. - Antti Jääskeläinen; Tommi Takala; Mika Katara (Model-Based Testing for Embedded Systems, 2011)

Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework. - Tuomas Pajunen; Tommi Takala; Mika Katara (ICST Workshops, 2011)

Experiences of System-Level Model-Based GUI Testing of an Android Application. - Tommi Takala; Mika Katara; Julian Harty (ICST, 2011)

A Comparison of Test Generation Algorithms for Testing Application Interactions. - Antti Nieminen; Antti Jääskeläinen; Heikki Virtanen; Mika Katara (QSIC, 2011)

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. - Antti Jääskeläinen; Mika Katara; Shmuel Katz; Heikki Virtanen (SSV, 2011)

A Test Process Improvement Model for Automated Test Generation. - Henri Heiskanen; Mika Maunumaa; Mika Katara (PROFES, 2012)

Safety Process Patterns: Demystifying Safety Standards. - Johannes Koskinen; Matti Vuori; Mika Katara (SwSTE, 2012)

Model-Based GUI Testing: Case Smartphone Camera and Messaging Development. - Rupesh Dev; Antti Jääskeläinen; Mika Katara (Adv. Comput., 2012)

Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey. - Marek Janicki; Mika Katara; Tuula Pääkkönen (Softw. Test. Verification Reliab., 2012)

Using aspects for testing of embedded software: experiences from two industrial case studies. - Jani Metsä; Shahar Maoz; Mika Katara; Tommi Mikkonen (Softw. Qual. J., 2014)

Effects of the Cyber Resilience Act (CRA) on Industrial Equipment Manufacturing Companies. - Roosa Risto; Mohit Sethi; Mika Katara (ARES (Workshops 1), 2025)