Publications

Juliusz Chroboczek, and Sylvain Lebresne. Juppix: a Linux Live-CD for Undergraduate Students. CoRR, (abs/1205.2748)2012. [PUMA: linux test puma dblp] URL

Stephen R. Schach, Bo Jin, David R. Wright, Gillian Z. Heller, and A. Jefferson Offutt. Maintainability of the Linux kernel.. IEE Proceedings - Software, (149)1:18-23, 2002. [PUMA: linux test puma dblp] URL

Andreas Gerndt, Thomas van Reimersdahl, Torsten Kuhlen, Christian H. Bischof, Ingolf Hörschler, Matthias Meinke, and Wolfgang Schröder. Large-Scale CFD Data Handling in a VR-Based Otorhinolaryngological CAS-System using a Linux-Cluster.. The Journal of Supercomputing, (25)2:143-154, 2003. [PUMA: linux test puma dblp] URL

Yueh-Feng Lee, and Ruei-Chuan Chang. Hotswapping Linux kernel modules.. Journal of Systems and Software, (79)2:163-175, 2006. [PUMA: linux test puma dblp] URL

Yoann Padioleau, Julia L. Lawall, and Gilles Muller. SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.. Electr. Notes Theor. Comput. Sci., (166):47-62, 2007. [PUMA: linux test puma dblp] URL

Raul Murillo Garcia, F. Womle, Brian G. Stewart, and David K. Harrison. Hard Real-Time Control Using SIMULINK Target for Real-Time Linux.. I. J. Comput. Appl., (11)2:132-141, 2004. [PUMA: linux test puma dblp] URL

Jeremy B. Rodgers, Rhonda Kay Gaede, and Jeffrey H. Kulick. IN-Tune: An In-Situ Non-Invasive Performance Tuning Tool for Multi-threaded Linux on Symmetric Multiprocessing Pentium Workstations.. Softw., Pract. Exper., (29)9:775-792, 1999. [PUMA: linux test puma dblp] URL

Qian Xie, Li Jiang, Jian Wu, and Yufang Sun. Research on Chinese Linux Input Method Engine Standard.. Journal of Computer Research and Development, (43)11:1965-1971, 2006. [PUMA: linux test puma dblp] URL

Nabil Litayem, Ahmed Ben Achballah, and Slim Ben Saoud. Building XenoBuntu Linux Distribution for Teaching and Prototyping Real-Time Operating Systems. CoRR, (abs/1103.2336)2011. [PUMA: linux test puma dblp] URL

Shahid H. Bokhari, and Rafeequr Rehman. Linux and the Developing World.. IEEE Software, (16)1:58-64, 1999. [PUMA: linux test puma dblp] URL

Wenji Wu, Matt Crawford, and Mark Bowden. The performance analysis of linux networking - Packet receiving.. Computer Communications, (30)5:1044-1057, 2007. [PUMA: linux test puma dblp] URL

Wenji Wu, and Matt Crawford. Interactivity vs. fairness in networked Linux systems.. Computer Networks, (51)14:4050-4069, 2007. [PUMA: linux test puma dblp] URL

Avi Kavas, and Dror G. Feitelson. Comparing Windows NT, Linux, and QNX as the basis for cluster systems.. Concurrency and Computation: Practice and Experience, (13)15:1303-1332, 2001. [PUMA: linux test puma dblp] URL

Ilja S. Zakharov, Vadim S. Mutilin, and Alexey V. Khoroshilov. Pattern-based environment modeling for static verification of Linux kernel modules.. Programming and Computer Software, (41)3:183-195, 2015. [PUMA: linux test puma dblp] URL

Basim M. Kadhim. Book Review: Linux Universe by Stefan Strobel and Thomas Uhl.. Operating Systems Review, (29)4:3, 1995. [PUMA: linux test puma dblp] URL

T. Venton, M. Miller, R. Kalla, and A. Blanchard. A Linux-based tool for hardware bring up, Linux development, and manufacturing.. IBM Systems Journal, (44)2:319-330, 2005. [PUMA: linux test puma dblp] URL

James Sanders. Linux, Open Source, and Software's Future.. IEEE Software, (15)5:88-91, 1998. [PUMA: linux test puma dblp] URL

Günther Stattenberger, Torsten Braun, Matthias Scheidegger, Marcus Brunner, and Heinrich J. Stüttgen. Performance evaluation of a Linux DiffServ implementation.. Computer Communications, (25)13:1195-1213, 2002. [PUMA: linux test puma dblp] URL

D. Janakiram, Ashok Gunnam, N. Suneetha, Vineet Rajani, and K. Vinay Kumar Reddy. Object-oriented wrappers for the Linux kernel.. Softw., Pract. Exper., (38)13:1411-1427, 2008. [PUMA: linux test puma dblp] URL

Songrith Kittiperachol, Zhili Sun, and Haitham S. Cruickshank. Integration of Linux TCP and Simulation: Verification, Validation and Application.. JNW, (4)9:819-836, 2009. [PUMA: linux test puma dblp] URL