Using DSL for Automatic Generation of Software Connectors. - Tomás Bures; Michal Malohlava; Petr Hnetynka (ICCBSS, 2008)

Constructing Domain-Specific Component Frameworks through Architecture Refinement. - Frédéric Loiret; Ales Plsek; Philippe Merle; Lionel Seinturier; Michal Malohlava (EUROMICRO-SEAA, 2009)

Using a product line for creating component systems. - Tomás Bures; Petr Hnetynka; Michal Malohlava (SAC, 2009)

Exhaustive testing of safety critical Java. - Tomas Kalibera; Pavel Parízek; Michal Malohlava; Martin Schoeberl (JTRES, 2010)

Strengthening Component Architectures by Modeling Fine-Grained Entities. - Tomás Bures; Pavel Jezek; Michal Malohlava; Tomás Poch; Ondrej Sery (EUROMICRO-SEAA, 2011)

Extensible Polyglot Programming Support in Existing Component Frameworks. - Jaroslav Keznikl; Michal Malohlava; Tomás Bures; Petr Hnetynka (EUROMICRO-SEAA, 2011)

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. - Tomás Pop; Jaroslav Keznikl; Petr Hosek 001; Michal Malohlava; Tomás Bures; Petr Hnetynka (SERA, 2011)

Property networks allowing oracle-based mode-change propagation in hierarchical components. - Tomás Pop; Frantisek Plásil; Matej Outly; Michal Malohlava; Tomás Bures (CBSE, 2012)

CoDIT: Bridging the Gap between System-Level and Component-Level Development. - Lukás Hermann; Tomás Bures; Petr Hnetynka; Michal Malohlava (SERA (selected papers), 2012)

SOFA 2 Component Framework and Its Ecosystem. - Michal Malohlava; Petr Hnetynka; Tomás Bures (FESCA, 2012)

Automated evaluation of regular lab assignments: A bittersweet experience? - Pavel Jezek; Michal Malohlava; Tomás Pop (CSEE&T, 2013)

Interoperable domain-specific languages families for code generation. - Michal Malohlava; Frantisek Plásil; Tomás Bures; Petr Hnetynka (Softw. Pract. Exp., 2013)

Comparison of component frameworks for real-time embedded systems. - Tomás Pop; Petr Hnetynka; Petr Hosek 001; Michal Malohlava; Tomás Bures (Knowl. Inf. Syst., 2014)

Human-Calibrated Automated Testing and Validation of Generative Language Models. - Agus Sudjianto; Aijun Zhang; Srinivas Neppalli; Tarun Joshi; Michal Malohlava (CoRR, 2024)