Michal Malohlava

15 papers C 1Misc 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Human-Calibrated Automated Testing and Validation of Generative Language Models.
CoRR
Agus Sudjianto, Aijun Zhang, Srinivas Neppalli, Tarun Joshi, Michal Malohlava
2014 J jnl
Comparison of component frameworks for real-time embedded systems.
Knowl. Inf. Syst.
Tomás Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomás Bures
2013 — conf
Automated evaluation of regular lab assignments: A bittersweet experience?
CSEE&T
Pavel Jezek, Michal Malohlava, Tomás Pop
2013 J jnl
Interoperable domain-specific languages families for code generation.
Softw. Pract. Exp.
Michal Malohlava, Frantisek Plásil, Tomás Bures, Petr Hnetynka
2012 — conf
CoDIT: Bridging the Gap between System-Level and Component-Level Development.
SERA (selected papers)
Lukás Hermann, Tomás Bures, Petr Hnetynka, Michal Malohlava
2012 — conf
Property networks allowing oracle-based mode-change propagation in hierarchical components.
CBSE
Tomás Pop, Frantisek Plásil, Matej Outly, Michal Malohlava, Tomás Bures
2012 — conf
SOFA 2 Component Framework and Its Ecosystem.
FESCA
Michal Malohlava, Petr Hnetynka, Tomás Bures
2011 — conf
Extensible Polyglot Programming Support in Existing Component Frameworks.
EUROMICRO-SEAA
Jaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka
2011 C conf
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.
SERA
Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka
2011 — conf
Strengthening Component Architectures by Modeling Fine-Grained Entities.
EUROMICRO-SEAA
Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
2010 — conf
Comparison of Component Frameworks for Real-Time Embedded Systems.
CBSE
Petr Hosek, Tomás Pop, Tomás Bures, Petr Hnetynka, Michal Malohlava
2010 — conf
Exhaustive testing of safety critical Java.
JTRES
Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl
2009 — conf
Constructing Domain-Specific Component Frameworks through Architecture Refinement.
EUROMICRO-SEAA
Frédéric Loiret, Ales Plsek, Philippe Merle, Lionel Seinturier, Michal Malohlava
2009 Misc conf
Using a product line for creating component systems.
SAC
Tomás Bures, Petr Hnetynka, Michal Malohlava
2008 — conf
Using DSL for Automatic Generation of Software Connectors.
ICCBSS
Tomás Bures, Michal Malohlava, Petr Hnetynka