Publications

• Georgiana Macariu, Vladimir Cretu
  "Timed Automata Model for Component-Based Real-Time Systems"
  Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS'10), pp. 121-131
  March 2010



• Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig
  "Capability wrangling made easy - debugging with Valgrind on a microkernel"
  2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'10)
  Pittsburgh, USA, March 2010



• Yang Xu, Felix Bruns, Elizabeth Gonzalez, Shadi Traboulsi, Klaus Mott, Attila Bilgic
  "Performance Evaluation of Para-virtualization on Modern Mobile Phone Platform"
  Proceedings of International Conference on Computer, Electrical, and Systems Science, and Engineering
  Penang, Malaysia February 24-26, 2010



• IBM Rational
  "A practical approach for developing MultiCore systems"
  Application development solution
  December 2009



• Georgiana Macariu, Vladimir Cretu
  "Model-based Analysis of Contract-based Real-Time Scheduling"
  Proceedings of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS2009), LNCS, Vol. 5860, Springer-Verlag, pp. 227-239
  November 2009



• Roberto Mijat
  System Level Benchmarking Analysisof the Cortex^TM-A9 MPCore^TM
  ARM Connected Community Technical Symposium
  Paris, France, 2009



• Anirban Lahiri
  "The Osprey A9 core" presentation with eMuCo demonstration
  8th HiPEAC industrial workshop
  Wroclaw, Poland, October 2009



• Anirban Lahiri, John Goodacre, Adya Shrotriya, Nicolas Zea
  System Level Benchmarking Analysis of the Cortex^TM-A9 MPCore^TM
  ARM Techcon
  Santa Clara, USA, October 2009



• Henning Schild, Adam Lackorzynski, Alexander Warg
  Faithful Virtualization on a Real-Time Operating System
  Eleventh Real-Time Linux Workshop 2009
  Dresden, Germany, September 28-30, 2009



• S. Traboulsi, F. Bruns, A. Showk, D. Szczesny, S. Hessel, E. Gonzalez, A. Bilgic
  SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform
  14th International System Design Languages Forum (SDL), pp. 239-255
  Bochum, Germany, September 22-24, 2009



• A. Showk, D. Szczesny, S. Traboulsi, I. Badr, E. Gonzalez, A. Bilgic
  Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique
  14th International System Design Languages Forum (SDL), pp. 222-238
  Bochum, Germany, September 22-24, 2009



• John Goodacre, Anirban Lahiri, Adya Shrotriya, Nicolas Zea
  Targeted execution enabling increased power efficiency
  9th International Forum on Embedded MPSoC and Multicore
  Savannah, Georgia, USA, August 2-7, 2009



• Maria E. Gonzalez, Attila Bilgic, Adam Lackorzynski, Dacian Tudor, Emil Matus, Irv Badr
  ICT-eMuCo: An innovative solution for future smart phones
  IEEE International Conference on Multimedia and Expo, 2009. ICME 2009,
  pp. 1821-1824, ISBN: 978-1-4244-4290-4
  



• Maria Elizabeth Gonzalez
  eMuCo - Trends for future smart phones
  7th HiPEAC industrial workshop
  Munich, Germany, June 2, 2009



• Dacian Tudor, Georgiana Macariu, Calin Jebelean, Vladimir Cretu
  "Towards a Load Balancer Architecture for Multi-Core Mobile Communication Systems"
  Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics (SACI2009), pp. 391 - 396
  Timisoara, Romania, May 28-29, 2009



• Adam Lackorzynski, Alexander Warg
  Taming Subsystems - Capabilities as Universal Resource Access Control in L4
  IIES'09: Second Workshop on Isolation and Integration in Embedded Systems (Eurosys 2009 affiliated Workshop)
  Nürnberg, Germany, March 31, 2009



• Michael Peter, Henning Schild, Adam Lackorzynski, Alexander Warg
  Virtual Machines Jailed - Virtualization in Systems with Small Trusted Computing Bases
  VTDS'09: Workshop on Virtualization Technology for Dependable Systems
  (Eurosys 2009 affiliated Workshop)
  Nürnberg, Germany, March 31, 2009



• Y Chang, R. Davis, A. Wellings
  "Schedulability Analysis for a Real-time Multiprocessor System Base on Service Contracts and Resource Partitioning", Technical Report YCS-2008-432
  University of York, United Kingdom, 2008



• Attila Bilgic
  eMuCo - in a nutshell
  HiPEAC-Infineon MPSoC Workshop
  Neubiberg, Germany, Nov 17, 2008



• Adam Lackorzynski
  ICT-eMuCo Overview
  Workshop on Multicores, Theory and Practice, NOE Artist, ACTORS project
  Kaiserlautern, Germany, Oct 28, 2008



• Shadi Traboulsi
  eMuCo Project Overview, Poster session
  ACACES 2008, Fourth International Summer School on Embedded Systems
  L'Aquila, Italia, July 13 to July 19, 2008



• S. Hessel, F. Bruns, A. Bilgic, A. Lackorzynski, H. Härtig, J. Hausner
  Acceleration of the L4/Fiasco Microkernel Using Scratchpad Memory
  Workshop on Virtualization in Mobile Computing (MobiVirt 2008)
  Breckenridge, Colorado, USA, June 17, 2008



• Attila Bilgic Embedded Computing - Software and System - Integration Challenges in Future Mobile Devices
  Workshop UMTS, Kompetenznetze Deutschland
  Infineon Technologies Duisburg
  Duisburg, Germany, June 2008



• Attila Bilgic
  ICT-eMuCo: Embedded Multi-Core Processing for Mobile Communication Systems (STREP)
  A Snapshot into the Future, New FP7 Computing Systems Projects
  ACM International Conference on Computing Frontiers
  Ischia, Italia, May 2008



• Attila Bilgic
  Complexity Challenges in Next Generation Mobile Devices
  HiPEAC Computing Systems Workshop
  Braga, Portugal, November 2007