Martin Děcký – Publications

Publications

2015 (1)

Ph.D. Theses

PDF Děcký M.: Application of Software Components in Operating System Design,
Ph.D. thesis, advisor: Petr Tůma, September 2015

2012 (1)

Refereed (journals/proceedings)

PDF, Link Podzimek A., Děcký M., Bulej L., Tůma P.: A Non-Intrusive Read-Copy-Update for UTS,
In proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS), IEEE, ISBN: 978-1-4673-4565-1, ISSN: 1521-9097, pp. 482-489, December 2012

2010 (1)

Refereed (journals/proceedings)

PDF Děcký M.: A Road to a Formally Verified General-Purpose Operating System,
In the Proceedings of the 1st International Symposium on Architecting Critical Systems (federate event of CompArch 2010), pp. 72 - 88, LNCS 6150, Springer-Verlag, ISBN 978-3-642-13555-2, June 2010

2009 (1)

Nonrefereed

PDF Kalibera T., Procházka M., Pizlo F., Děcký M., Vitek J., Zulianello M.: Real-Time Java in Space: Potential Benefits and Open Challenges,
In the Proceedings of Data Systems in Aerospace (DASIA 2009), ESA, May 2009

2008 (4)

Refereed (journals/proceedings)

PDF, Link Babka V., Bulej L., Děcký M., Holub V., Tůma P.: Teaching Operating Systems: Student Assignments and the Software Engineering Perspective,
In proceedings of the International Workshop on Software Engineering in East and South Europe (SEESE), Leipzig, Germany, ACM, ISBN: 978-1-60558-076-0, pp. 71-77, May 2008
PDF, Link Bulej L., Bureš T., Coupaye T., Děcký M., Ježek P., Parízek P., Plášil F., Poch T., Rivierre N., Šerý O., Tůma P.: CoCoME in Fractal,
Book chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer, LNCS 5153, ISBN: 978-3-540-85288-9, ISSN: 0302-9743, pp. 357-387, August 2008
PDF, Link Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA,
Book chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer, LNCS 5153, ISBN: 978-3-540-85288-9, ISSN: 0302-9743, pp. 388-417, August 2008

Technical Reports

PDF Babka V., Bulej L., Děcký M., Kraft J., Libič P., Marek L., Seceleanu C., Tůma P.: Resource Usage Modeling,
Q-ImPrESS Project Deliverable D3.3, September 2008

2007 (4)

Refereed (journals/proceedings)

PDF, Link Babka V., Děcký M., Tůma P.: Resource Sharing in Performance Models,
Proceedings of Fourth European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, Springer-Verlag, LNCS 4748, July 2007

Nonrefereed

PDF Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA 2.0,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007
PDF Děcký M.: Component-based General-purpose Operating System,
In the Proceedings of WDS'07, Edited by J. Safrankova, June 2007
PDF Babka V., Děcký M., Tůma P.: Performance in CoCoME,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007