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 Děcký M.: Component-based General-purpose Operating System,
In the Proceedings of WDS'07, Edited by J. Safrankova, June 2007
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 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