Journals |
A. Armbruster, J. Baker, A. Cunei, C. Flack, D. Holmes, F. Pizlo, E. Pla, M. Prochazka, J. Vitek:
A Real-Time Java Virtual Machine with Applications in Avionics,
ACM Transactions on Embedded Computing Systems (TECS), Volume 7, Isuue 1, December 2007 (PDF)
Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu: RTJBench: A Real-Time Java Benchmarking Framework, in Studia Informatica Universalis Journal, Petr Tuma (editor), Vol. 4, No. 1, March 2005 (PDF, an extended version of the OOSPLA 2004 Workshop on Component and Middleware Performance paper) Marek Prochazka, Frantisek Plasil: Transactions in Software Components: Container-Interposed Transactions, in the International Journal for Computer and Information Science (a slightly modified version of the paper presented at SNPD 2001), Vol. 3, No. 2, March 2002 (PDF) |
Conferences |
O. Emam, T. FitzGeorge, A. Whittaker, A. Wishart, S.D. Fowell, M. Prochazka, R.D. Bentley, R. E. Cole, P. Brown, C. M. Carr, E. Cupido, T. Oddy:
Payloads with Resource-Efficient Integration for Science Missions (PRISM),
The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009
P. Hnetynka, T. Bures, M. Prochazka, R. Ward, Z. Hanzálek: SOFA High Integrity: Our Approach to SAVOIR, The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009 J. Almeida, M. Prochazka: Safe and Secure Partitioning with PikeOS: Towards integrated Modular Avionics in Space, The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009 T. Kalibera, F. Pizlo, J. Vitek, M. Prochazka, M. Zulianello, M. Decky: Real-Time Java in Space: Potential Benefits and Open Challenges, The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009 Marek Prochazka, Roger Ward, Petr Tuma, Petr Hnetynka, Jiri Adamek: A Component-Oriented Framework for Spacecraft On-Board Software, The Data Systems in Aerospace Conference (DASIA), Palma de Mallorca, May 2008 (PDF) Marek Prochazka, Stuart Fowell, Luc Planche: DisCo Space-Oriented Middleware: Architecture of a Distributed Runtime Environment for Complex Spacecraft On-Board Applications, 4th European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, 29 January - 1 February, 2008 (PDF) Marek Prochazka, Roger Ward, Andy Wellings: A First Step towards Using Real-Time Java for Spacecraft On-board Software, The Data Systems in Aerospace Conference (DASIA), Naples, Italy, 29 May - 1 June, 2007 (PDF) Philippe Chevalley, Luc Planche, Marek Prochazka, Stuart D. Fowell: Characterisation of a Middleware Product Suitable for Space Payload Applications, The Data Systems in Aerospace Conference (DASIA), Naples, Italy, 29 May - 1 June, 2007 Marek Prochazka, Jan Vitek: Real-Time Java: An Experience Report, The Data Systems in Aerospace Conference (DASIA), Berlin, Germany, May 22-25, 2006 (PDF) Jason Baker, Antonio Cunei, Champman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbuster, Edward Pla, David Holmes: A Real-time Java Virtual Machine for Avionics, An Experience Report, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), San Jose, California, USA, April 2006 (PDF) Jeremy Manson, Jason Baker, Toni Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek: Preemptible Atomic Regions for Real-time Java, in Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS '05), Miami, Florida, USA, December 2005 (PDF) Marek Prochazka: Jironde: A Flexible Framework for Making Components Transactional, in Proceedings of the 4th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2003), Paris, France, November 2003 (PDF) Marek Prochazka, Frantisek Plasil: Container-Interposed Transactions, in Proceedings of the Component-Based Software Engineering special session of the SNPD 2001 Conference, August 2001, Nagoya, Japan (PDF) Radek Pospisil, Marek Prochazka, Vladimir Mencl: On Performance of Enterprise JavaBeans, in Proceedings of the Objekty '99 conference, Prague, November 12, 1999 (PDF) |
Worskhops |
Jason Baker, Krista Bennet, Antonio Cunei, Chapman Flack, Christian
Grothoff, David Holmes, Andrey Madan, Gergana Markova, Jeremy Manson,
Krzystof Palacz, Filip Pizlo, Marek Prochazka, Jacques Thomas, Hiroshi
Yamauchi, Jan Vitek:
Design and implementation of the Ovm RTSJ VM: an experience report,
3rd Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), OOPSLA 2005,
San Diego, California, USA, October 17, 2005
Marek Prochazka, Andrey Madan, Jan Vitek, Wenchang Liu: RTJBench: A Real-Time Java Benchmarking Framework, OOPSLA 2004 Workshop on Component and Middleware Performance, Vancouver, British Columbia, Canada, October 25, 2004 (PDF) Filip Pizlo, Marek Prochazka, Suresh Jagannathan, Jan Vitek: Transactional Lock-Free Objects for Real-Time Java, Workshop on Concurrency and Synchronization in Java Programs (in conjunction with PODC 2004), St. John's, Newfoundland, Canada, July 2004 (PDF) Marek Prochazka: A Flexible Framework for Adding Transactions to Components, 8th International Workshop on Component-Oriented Programming (WCOP 2003, in conjunction with ECOOP 2003), Darmstadt, Germany, July 21, 2003 (PDF) Marek Prochazka: Advanced Transactions in Enterprise JavaBeans, in proceedings of the EDO 2000 Workshop, November 2000, University of California, Davis, USA (PDF) |
Others |
Marek Prochazka, Romain Rouvoy,
Thierry Coupaye: On Enhancing
Component-Based Middleware with Transactions, poster session at
the International Symposium on Distributed Objects and Applications
(DOA), Catania, Italy, November 2003
(PDF) Marek Prochazka: Advanced Transactions in Component-Based Software Architectures, Ph.D. thesis, Charles University, University of Evry, February 22, 2002 (PDF) Marek Prochazka, Petr Tuma, Radek Pospisil: Enterprise JavaBeans Benchmarking, Technical Report 4/2000, Department of Software Engineering, Charles University, June 2000 (PDF) Marek Prochazka: Extending Transactions in Enterprise JavaBeans, Technical Report 3/2000, Department of Software Engineering, Charles University, May 2000 (PDF) Distributed Systems Research Group: EJB Comparison Project, Final Report, January 12, 2000 Marek Prochazka, Frantisek Plasil: Transaction Models vers. Behavior Protocols, in Proceedings of the Week For Doctoral Students, Prague, June 10, 1999 (PDF) |