Publications

Refereed publications

See also DBLP or Google Scholar.

WWW Pop T., Plášil F., Matěj Outlý, Malohlava M., Bureš T.: Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components, Accepted for publication In Proceedings of CBSE 2012, April 2012.

WWW Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation,
Software: Practice and Experience, John Wiley & Sons, Ltd, ISSN: 1097-024X, DOI: 10.1002/spe.2118, April 2012.

WWW Plšek A., Loiret F., Malohlava M.: Component-Oriented Development for Real-Time Java,
A book chapter in the book Distributed, Embedded and Real-time Java Systems. Editors: T. Higuera-Toledano and A. Wellings, ISBN 978-1-4419-8157-8, DOI 10.1007/978-1-4419-8158-5_11, February 2012.

WWW Hermann L., Bureš T., Hnětynka P., Malohlava M.: Automated Generation of Implementation from Textual System Requirements,
In proceedings of SERA 2012, Shanghai, China, SCI 430, Springer, pp. 159-175, ISBN 978-3-642-30459-0, ISSN 1860-949X, DOI 10.1007/978-3-642-30460-6_12, May 2012.

WWW Pop T., Keznikl J., Malohlava M., Bureš T., Hnětynka P., Hošek P.: Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned,
In Proceedings of 9th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2011), Baltimore, Maryland, USA, pp. 3-11, ISBN 978-1-4577-1028-5, DOI 10.1109/SERA.2011.14, August 2011.

WWW Keznikl J., Malohlava M., Bureš T., Hnětynka P.: Extensible Polyglot Programming Support in Existing Component Frameworks,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 107 – 115, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.25, August 2011.

WWW Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Strengthening Component Architectures by Modeling Fine-grained Entities,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 124 – 128, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.27, August 2011

WWW Kalibera, T., Parizek, P., Malohlava, M., and Schoeberl, M.: Exhaustive testing of safety critical Java. In Proceedings of the 8th international Workshop on Java Technologies For Real-Time and Embedded Systems (Prague, Czech Republic, August 19 – 21, 2010). JTRES ’10. ACM, New York, NY, 164-174.

WWW Hosek, P., Pop, T., Bures, T., Hnetynka, P., Malohlava, M.: Comparison of Component Frameworks for Real-time Embedded Systems,
In Proceedings of CBSE 2010, Prague, Czech Republic, LNCS 6092, Springer, pp. 21-36, ISSN 0302-9743, ISBN 978-3-642-13237-7, June 2010.

WWW Frederic Loiret, Malohlava, M., Ales Plsek, Philippe Merle, Lionel Seinturier: Constructing Domain-Specific Component Frameworks through Architecture Refinement.
In Proceedings of the 35th Euromicro Conference, Patras, Greece, August 2009.

WWW Bures, T., Hnetynka, P., Malohlava, M.: Using a product line for creating component systems.
In Proceedings of the 2009 ACM symposium of Applied Computing (SAC’09), Honolulu, Hawaii, USA, ACM, ISBN:978-1-60558-166-8, March 2009.

PDF Malohlava, M., Bures, T.: Language for reconfiguring runtime infrastructure of component-based systems.
In Proceedings of MEMICS 2008, Znojmo, Czech Republic, ISBN 978-80-7355-082-0, November 2008.

PDF Malohlava, M., Ales Plsek, Frederic Loiret, Philippe Merle, Lionel Seinturier: Introducing Distribution into a RTSJ-based Component Framework.
In Proceedings of 2nd Junior Researcher Workshop on Real-Time Computing, Rennes, France, October 2008.

PDF Bures, T., Malohlava, M., Hnetynka, P.: Using DSL for Automatic Generation of Software Connectors.
In Proceedings of ICCBSS 2008, Madrid, Spain, IEEE Computer Society Press, ISBN 0-7695-3091-5, pp. 138-147 , February 2008.

Nonrefereed publications

PDF Malohlava M., Hnětynka P., Bureš T.: SOFA 2 Component Framework and Its Ecosystem,
Extended abstract of the tutorial, To Appear in Post-conference Proceedings of FESCA 2012, 2012

PDF Ales Plsek, Frederic Loiret, Malohlava, M., Philippe Merle, Lionel Seinturier: A Component Framework for Java-based Real-time Embedded Systems. OW2 Annual Conference 2009: Fractal Poster Session, Paris, April 2009.

PhD thesis

Malohlava M.: Variability of Execution Environments for Component-based Systems PhD thesis
PhD thesis, advisor: Tomas Bures, Department of Distributed and Dependable Systems, Charles University in Prague, June 2012.

Reuse is considered as one of the most crucial software engineering concerns.It allows for delivering software systems faster with less effort. Therefore, the thesis explores limits of reuse in the context of component systems. It analyzes in depth contemporary component systems, finds their commonalities and variation points, and introduces a meta-component system — a software product line which allows for producing a tailored component system based on a set of requirements.

The thesis addresses the meta-component system definition and focuses on its crucial aspects which play the key role in component systems preparation – (1) a configurable execution environment and (2) generation of implementation artifacts. To address the first aspect, the thesis proposes a model-driven method for creating configurable execution environments. Motivated by creating execution environments, the thesis contributes to (2) by introducing a notion of domain-specific languages interoperability in the context of the code generation. Furthermore, the thesis elaborates the proposed notion resulting into a family of interoperable domain-specific languages which is parametrized by a general purpose language.

Master thesis

Malohlava M.: Using StrategoXT for Generation of Software Connectors Master thesis
Master thesis, advisor: Tomas Bures, Charles University in Prague, Jan 2007.

Software connectors are used in component based systems as a special entities modeling and realizing component interactions. Besides this behavior, connectors can provide extra functionality and benefits (e.g. logging, adaptation, monitoring). This approach requires generation of connector code with respect to requirements of components, a target environment and features specified at the design stage.
In this thesis we show how to extend the existing connector generator [33] by the Stratego/XT transformation engine, which includes a language for implementing program transformations and a collection of transformation tools. We use the toolset to realize a simple method of defining connector implementation, which is use as a template for a process of generation source code.