Embedded Systems Engineering

  1. 2013
  2. Published

    Elimination of Parallel Copies using Code Motion on Data Dependence Graphs. / Brandner, Florian; Colombet, Quentin.

    In: Computer Languages, Systems and Structures, Vol. 39, No. 1, 2013, p. 25–47.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  3. 2012
  4. Published

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  5. Published

    Adaptive Media Access Control for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  6. Published

    A desktop 3D printer in safety-critical Java. / Strøm, Tórur Biskopstø; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 72-79.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  7. Published

    A Light-Weight Statically Scheduled Network-on-Chip. / Sørensen, Rasmus Bo; Schoeberl, Martin; Sparsø, Jens.

    2012 NORCHIP. IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  8. Published

    Analytical Comparison of MAC Schemes for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  9. Published

    Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.

    2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  10. Published

    Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.

    CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  11. Published

    ASAM: Automatic Architecture Synthesis and Application Mapping. / Jozwiak, L.; Lindwer, M.; Corvino, R.; Meloni, P.; Micconi, Laura; Madsen, Jan; Diken, E.; Gangadharan, Deepak; Jordans, R.; Pomata, S.; Pop, Paul; Tuveri, G.; Raffo, L.

    2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  12. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  13. Published

    Biochips: The Integrated Circuit of Biology. / Madsen, Jan.

    2012 NORCHIP. IEEE, 2012.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  14. Published

    Collaborative trust evaluation for wiki security. / Lindberg, Kasper; Jensen, Christian D.

    2012 Tenth Annual International Conference on Privacy, Security and Trust (PST). IEEE, 2012. p. 176-184.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  15. Published

    Comments on ‘Improving the speed of decimal division’. / Lang, T.; Nannarelli, Alberto.

    In: I E T Computers and Digital Techniques, Vol. 6, No. 6, 2012, p. 370-371 .

    Publication: Research - peer-reviewComment/debate – Annual report year: 2012

  16. Published

    Declarative Specification of Fault Tolerant Auction Protocols: The English Auction Case Study. / Dragoni, Nicola; Gaspari, Mauro.

    In: Computational Intelligence, Vol. 28, No. 4, 2012, p. 617-641.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  17. Published

    Design of Networks-on-Chip for Real-Time Multi-Processor Systems-on-Chip. / Sparsø, Jens.

    2012 12th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2012. (International Conference on Application of Concurrency to System Design. Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  18. Published

    Design of Power Efficient FPGA based Hardware Accelerators for Financial Applications. / Hegner, Jonas Stenbæk; Sindholt, Joakim; Nannarelli, Alberto.

    2012 NORCHIP. IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  19. Published

    Design Principles for Synthesizable Processor Cores. / Schleuniger, Pascal; McKee, Sally A.; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2012: 25th International Conference Munich, Germany, February 28 – March 2, 2012 Proceedings. Springer, 2012. p. 111-122 (Lecture Notes in Computer Science, Vol. 7179).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  20. Published

    Document and author promotion strategies in the secure wiki model. / Lindberg, Kasper; Jensen, Christian D.

    In: IFIP AICT - Advances in Information and Communication technology, Vol. 374, 2012, p. 247-252.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  21. Published

    Droplet-Aware Module-Based Synthesis for Fault-Tolerant Digital Microfluidic Biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 47-52 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  22. Published

    Energy-Harvesting Wireless Sensor Networks. / Fafoutis, Xenofon; Vuckovic, Dusan; Di Mauro, Alessio; Dragoni, Nicola; Madsen, Jan.

    9th European Conference on Wireless Sensor Networks, EWSN 2012: Poster and Demo Proceedings. 2012. p. 84-85.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  23. Published

    Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. / Harmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R.

    In: I E E E Transactions on Industrial Informatics, Vol. 8, No. 2, 2012, p. 366-377.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  24. Published

    First Workshop on Incentives and Trust in E-Commerce (WIT-EC’12). / Marsh, Stephen (Editor); Zhang, Jie (Editor); Jensen, Christian D. (Editor).

    2012. 102 p.

    Publication: ResearchBook – Annual report year: 2012

  25. Published

    Formal heterogeneous system modeling with SystemC. / Niaki, Seyed Hosein Attarzadeh; Jakobsen, Mikkel Koefoed; Sulonen, Tero; Sander, Ingo.

    2012 Forum on Specification and Design Languages (FDL). IEEE, 2012. p. 160-167.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  26. Published

    Guest Editor’s foreword. / Hansen, Michael Reichhardt.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 355.

    Publication: ResearchEditorial – Annual report year: 2012

  27. Published

    Guiding Programmers to Higher Memory Performance. / Jensen, Nicklas Bo; Larsen, Per; Ladelsky, Razya; Zaks, Ayal; Karlsson, Sven .

    Proceedings of 5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-12). 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  28. Published

    Handover Incentives for Self-Interested WLANs with Overlapping Coverage. / Fafoutis, Xenofon; Siris, Vasilios A.

    In: I E E E Transactions on Mobile Computing, Vol. 11, No. 12, 2012, p. 2033-2046.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  29. Published

    Hardware Support for Embedded Java. / Schoeberl, Martin.

    Distributed, Embedded and Real-time Java Systems. ed. / M. Teresa Higuera-Toledano; Andy J. Wellings. Springer, 2012. p. 159-176.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2012

  30. Published

    Hardware Support for Safety-critical Java Scope Checks. / Rios Rivas, Juan Ricardo; Schoeberl, Martin.

    2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE, 2012. p. 31-38 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  31. Published

    Implementing Workflow Reconfiguration in WS-BPEL. / Mazzara, Manuel; Dragoni, Nicola; Zhou, Mu.

    In: Journal of Internet Services and Information Security, Vol. 2, No. 1/2, 2012, p. 73-92.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  32. Published

    Imprecise Arithmetic for Low Power Image Processing. / Albicocco, Pietro; Cardarilli, Gian Carlo ; Nannarelli, Alberto; Petricca, Massimo; Re, Marco .

    2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR). IEEE, 2012. p. 983-987 (Asilomar Conference on Signals, Systems and Computers. Conference Record).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  33. Published

    IR-Drop Reduction in Sub-VT Circuits by De-synchronization. / Karlsson, Andreas; Andersson, Oskar; Sparsø, Jens; Rodrigues, Joachim Neves.

    Proceedings of the IEEE Subtreshold Microelectronics Conference. IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  34. Published

    Is Time Predictability Quantifiable?. / Schoeberl, Martin.

    International Conference on Embedded Computer Systems (SAMOS 2012). IEEE, 2012. p. 333-338 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  35. Published

    MDM: A Mode Diagram Modeling Framework. / Wang, Zheng; Pu, Geguang; Li, Jianwen; He, Jifeng; Qin, Shengchao; Larsen, Kim G.; Madsen, Jan; Gu, Bin.

    Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems . EPTCS, 2012. p. 135-149 (Electronic Proceedings in Theoretical Computer Science, Vol. 105).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  36. Published

    Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

    Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  37. Published

    Online Synthesis for Error Recovery in Digital Microfluidic Biochips with Operation Variability. / Alistar, Mirela; Pop, Paul; Madsen, Jan.

    2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 53-58.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  38. Published

    On the Scalability of Time-predictable Chip-Multiprocessing. / Puffitsch, Wolfgang; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 98-104.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  39. Published

    Optimal Register Allocation by Augmented Left-Edge Algorithm on Arbitrary Control-Flow Structures. / Ruvald Pedersen, Mark; Madsen, Jan.

    2012 NORCHIP. IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  40. Published

    Patterns for Safety-Critical Java Memory Usage. / Rios Rivas, Juan Ricardo; Nilsen, Kelvin; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 1-8.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  41. Published

    Post-Session Authentication. / Ahmed, Naveed; Jensen, Christian D.

    Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings. Springer, 2012. (IFIP AICT - Advances in Information and Communication technology, Vol. 374).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  42. Published

    Power and Aging Characterization of Digital FIR Filters Architectures. / Calimera, Andrea; Liu, Wei; Macii, Enrico; Nannarelli, Alberto; Poncino, Massimo.

    First MEDIAN Workshop 2012. 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  43. Published

    Power Efficient Design of Parallel/Serial FIR Filters in RNS. / Petricca, Massimo; Albicocco, Pietro; Cardarilli, Gian Carlo ; Nannarelli, Alberto; Re, Marco .

    2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR). IEEE, 2012. p. 1015-1019 (Asilomar Conference on Signals, Systems and Computers. Conference Record).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  44. Published

    Power Efficient Division and Square Root Unit. / Liu, Wei; Nannarelli, Alberto.

    In: I E E E Transactions on Computers, Vol. 61, No. 8, 2012, p. 1059-1070.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  45. Published

    Private Memory Allocation Analysis for Safety-Critical Java. / Dalsgaard, Andreas E.; Hansen, René Rydhof; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012). Association for Computing Machinery, 2012. p. 9-17.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  46. Published

    Quantitative analysis of probabilistic BPMN workflows. / Herbert, Luke Thomas; Sharp, Robin.

    Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  47. Published

    Resource Allocation of Security-Critical Tasks with Statistically Guaranteed Energy Constraint. / Jiang, Wei; Jiang, Ke; Ma, Yue.

    2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 2012. p. 330-339 (Embedded and Real-Time Computing Systems and Applications).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  48. Published

    Robust and flexible mapping for real-time distributed applications during the early design phases. / Gan, Junhe; Pop, Paul; Gruian, Flavius; Madsen, Jan.

    DATE '12:Proceedings of the Conference on Design, Automation and Test in Europe. Association for Computing Machinery, 2012. p. 935-940.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  49. Published

    Routing-based synthesis of digital microfluidic biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    In: Design Automation for Embedded Systems, Vol. 16, No. 1, 2012, p. 19-44.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  50. Published

    SAFCM: A Security-Aware Feedback Control Mechanism for Distributed Real-Time Embedded Systems. / Ma, Yue; Jiang, Wei; Sang, Nan; Pop, P.

    2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 2012. p. 340-349 (Embedded and Real-Time Computing Systems and Applications).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  51. Published

    Safety-critical Java on a Java processor. / Schoeberl, Martin; Rios Rivas, Juan Ricardo.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 54-61.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  52. Published

    Safety-critical Java with cyclic executives on chip-multiprocessors. / Ravn, Anders P.; Schoeberl, Martin.

    In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 2012, p. 772–788.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  53. Published

    Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    In: A C M Transactions on Embedded Computing Systems, Vol. 11, No. 3, 2012, p. Article No. 61.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  54. Published

    SC2: Secure Communication over Smart Cards : How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Papini, Davide; Fabra, Javier.

    Foundations and Practice of Security: 4th Canada-France MITACSWorkshop, FPS 2011 Paris, France, May 12-13, 2011 Revised Selected Papers. ed. / Joaquin Garcia-Alfaro; Pascal Lafourcade. Springer, 2012. p. 32-48 (Lecture Notes in Computer Science; No. 6888).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  55. Published

    Secure File Allocation and Caching in Large-scale Distributed Systems. / Di Mauro, Alessio; Mei, Alessandro; Jajodia, Sushil.

    SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography. SciTePress, 2012. p. 182-191.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  56. Published

    Security challenges for energy-harvesting wireless sensor networks. / Di Mauro, Alessio; Papini, Davide; Dragoni, Nicola.

    PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. SciTePress, 2012. p. 422-425.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  57. Published

    Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift). / Biselli, L.; Dragoni, Nicola; Goldoni, E.; Greco, P. P.; Marraa, A.; Mazzara, M.; Papageorgiou, G.

    Proceedings of the First International Conference on Agreement Technologies. 2012. p. 347-348 (CEUR Workshop Proceedings, Vol. 918).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  58. Published

    Static Profiling of the Worst-Case in Real-Time Programs. / Brandner, Florian; Hepp, Stefan; Jordan, Alexander.

    Proceedings of the 20th International Conference on Real-Time and Network Systems. Association for Computing Machinery, 2012. p. 101-110.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  59. Published

    Static Routing in Symmetric Real-Time Network-on-Chips. / Brandner, Florian; Schoeberl, Martin.

    Proceedings of the 20th International Conference on Real-Time and Network Systems (RTNS 2012). Association for Computing Machinery, 2012. p. 61-70.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  60. Published

    Structured Intuition: A Methodology to Analyse Entity Authentication. / Ahmed, Naveed; Jensen, Christian D. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 191 p. (IMM-PHD-2012; No. 276).

    Publication: ResearchPh.D. thesis – Annual report year: 2012

  61. Published

    Synthesis of Biochemical Applications on Flow-Based Microfluidic Biochips using Constraint Programming. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan.

    2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 37-41 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  62. Published

    Synthesis of Communication Schedules for TTEthernet-Based Mixed-Criticality Systems. / Tamas-Selicean, Domitian; Pop, Paul; Steiner, Wilfried.

    CODES+ISSS '12: Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis . Association for Computing Machinery, 2012. p. 473-482.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  63. Published

    System level modelling with open source tools. / Jakobsen, Mikkel Koefoed; Madsen, Jan; Niaki, Seyed Hosein Attarzadeh ; Sander, Ingo ; Hansen, Jan.

    2012. Paper presented at Embedded World 2012 , Nuremberg, Germany.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  64. Published

    Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems. / Tamas-Selicean, Domitian; Pop, Paul.

    2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  65. Published

    The Role of Trust in Computer Security. / Jensen, Christian D.

    2012 Tenth Annual International Conference on Privacy, Security and Trust (PST). IEEE, 2012. p. 236.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  66. Published

    The WCET Tool Challenge 2011. / Hanxleden, Reinhard von; Holsti, Niklas; Lisper, Björn; Gustafsson, Jan; Islam, Nazrul Mohammad; Ploedereder, Erhard; Fellger, Wolfgang; Gepperth, Sebastian; Krause, Felix; Wilhelm, Reinhard; Bonenfant, Armelle; Casse, Hugues; Michiel, Marianne de; Rochange, Christine; Bünte, Sven; Huber, Benedikt; Kovacs, Laura; Puffitsch, Wolfgang; Zolda, Michael; Zwirchmayr, Jakob; Kästner, Daniel; Wegener, Simon; Kirner, Raimund; Olesen, Mads Christian; Prantl, Adrian; Schoeberl, Martin.

    Christian-Albrechts-Universität zu Kiel, 2012. 45 p. (Bericht; No. 1215).

    Publication: ResearchReport – Annual report year: 2012

  67. Published

    Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.

    Networked Digital Technologies: 4th International Conference, NDT 2012 Dubai, UAE, April 24-26, 2012 Proceedings, Part II. Springer, 2012. p. 289-301 (Communications in Computer and Information Science, Vol. 294).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  68. Published

    Toward a Unified Framework for Web Service Trustworthiness. / Miotto, N.; Dragoni, Nicola.

    Proceedings of IADIS e-Society. International Association for Development, IADIS, 2012. p. 555-558.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  69. Published

    Towards Symbolic Encryption Schemes. / Ahmed, Naveed; Jensen, Christian D.; Zenner, Erik.

    Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 557-572 (Lecture Notes in Computer Science, Vol. 7459).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  70. Published

    Using Stochastic Model Checking to Provision Complex Business Services. / Herbert, Luke Thomas; Sharp, Robin.

    2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, 2012. p. 98-105 (I E E E International Symposium on High-Assurance Systems Engineering).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  71. Published

    Worst-case execution time analysis-driven object cache design. / Huber, Benedikt; Puffitsch, Wolfgang; Schoeberl, Martin.

    In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 2012, p. 753-771.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  72. Published

    Worst-Case Execution Time Based Optimization of Real-Time Java Programs. / Hepp, Stefan; Schoeberl, Martin.

    2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE, 2012. p. 64-70.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  73. 2011
  74. Published

    3D analysis of facial asymmetry in subjects with juvenile idiopathic arthritis. / Demant, Sune; Hermann, Nuno V.; Darvann, Tron Andre; Zak, Marek; Schatz, Helena; Larsen, Per; Kreiborg, Sven.

    In: Rheumatology, Vol. 50, No. 3, 2011, p. 586-592.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  75. Published

    A Bio-Inspired Self-Healing Reconfigurable Hardware Architecture : Concept, design, prototype, and evaluation. / Boesen, Michael Reibel; Madsen, Jan (Supervisor); Pop, Paul (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 260 p. (IMM-PHD; No. 259).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  76. Published

    Adaptable Authentication Model: Exploring Security with Weaker Attacker Models. / Ahmed, Naveed; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 6542, 2011, p. 234-247.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  77. Published

    Adapt or Become Extinct! : The Case for a Unified Framework for Deployment-Time Optimization. / Goumas, Georgios; McKee, Sally A.; Själander, Magnus; Gross, Thomas R.; Karlsson, Sven; Probst, Christian W.; Zhang, Lixin.

    EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era. University of Strathclyde, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  78. Published

    A Load Time Policy Checker for Open Multi-Application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Gadyatskaya, Olga; Massacci, Fabio; Paci, Federica.

    2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY). IEEE, 2011. p. 153-156.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  79. Published

    Analysis of Trust-Based Approaches for Web Service Selection. / Dragoni, Nicola; Miotto, Nicola.

    Proceedings of the 5th Nordic Workshop on Dependability and Security (NODES’11). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  80. Published

    Analytical derivation of traffic patterns in cache-coherent shared-memory systems. / Stuart, Matthias Bo; Sparsø, Jens.

    In: Microprocessors and Microsystems, Vol. 35, No. 7, 2011, p. 632-642.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  81. Published

    Application-Aware Optimization of Redundant Resources for the Reconfigurable Self-Healing eDNA Hardware Architecture. / Boesen, Michael Reibel; Madsen, Jan; Pop, Paul.

    2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE, 2011. p. 66-73.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  82. Published

    A Time-predictable Object Cache. / Schoeberl, Martin.

    Proceedings of the 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  83. Published

    Automatic Loop Parallelization via Compiler Guided Refactoring. / Larsen, Per; Ladelsky, Razya; Lidman, Jacob; McKee, Sally A.; Karlsson, Sven; Zaks, Ayal.

    Kgs. Lyngby, Denmark : Technical University of Denmark, 2011. (IMM-Technical Report-2011; No. 12).

    Publication: ResearchReport – Annual report year: 2011

  84. Published

    Autonomous distributed self-organizing and self-healing hardware architecture - The eDNA concept. / Boesen, Michael Reibel; Madsen, Jan; Keymeulen, Didier.

    Proceedings of the IEEE Aerospace Conference 2011. IEEE, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  85. Published

    Biologically inspired hardware cell architecture. / Boesen, Michael Reibel (Inventor); Madsen, Jan (Inventor).

    Patent No.: US 20110307734. Dec 15, 2011.

    Publication: ResearchPatent – Annual report year: 2011

  86. Published

    Biologically inspired hardware cell architecture. / Boesen, Michael Reibel (Inventor); Madsen, Jan (Inventor).

    Patent No.: EP 2370937. Oct 05, 2011.

    Publication: ResearchPatent – Annual report year: 2011

  87. Published

    Building a Reputation System for Wikipedia. / Jensen, Christian D.

    New Forms of Collaborative Innovation and Production on the Internet: An Interdisciplinary Perspective. ed. / Volker Wittke; Heidemarie Hanekop. Universitätsverlag Göttingen, 2011. p. 89-112.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  88. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  89. Published

    Cell Culture Microfluidic Biochips: Experimental Throughput Maximization. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Hemmingsen, Mette; Skafte-Pedersen, Peder; Dufva, Martin.

    2011 5th International Conference on Bioinformatics and Biomedical Engineering, (iCBBE). IEEE, 2011. (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  90. Published

    Classification of Recommender Expertise in the Wikipedia Recommender System. / Jensen, Christian D.; Pilkauskas, Povilas; Lefevre, Thomas.

    In: Information and Media Technologies, Vol. 6, No. 3, 2011, p. 884-902.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  91. Published

    Classification of Recommender Expertise in the Wikipedia Recommender System. / Jensen, Christian D.; Pilkauskas, Povilas; Lefévre, Thomas.

    In: Journal of Information Processing, Vol. 19, 2011, p. 345-363.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  92. Published

    Comparing the Overhead of Lock-based and Lock-free Implementations of Priority Queues. / Passas, Stavros; Karlsson, Sven.

    Proceedings of Forth Workshop on Programmability Issues for Heterogeneous Multicores. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  93. Published

    Compiler Driven Code Comments and Refactoring. / Larsen, Per; Ladelsky, Razya; Karlsson, Sven; Zaks, Ayal.

    Proceedings of Forth Workshop on Programmability Issues for Heterogeneous Multicores. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  94. Published

    Degrading Precision Arithmetics for Low-power FIR Implementation. / Albicocco, Pietro (Invited author); Cardarilli, Gian Carlo (Invited author); Nannarelli, Alberto (Invited author); Petricca, Massimo (Invited author); Re, Marco (Invited author).

    2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS). IEEE, 2011. (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  95. Published

    Demarcation of Security in Authentication Protocols. / Ahmed, Naveed; Jensen, Christian D.

    2011 First SysSec Workshop (SysSec). IEEE, 2011. p. 43-50.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  96. Published

    Dependable Workflow Reconfiguration in WS-BPEL. / Mazzara, Manuel; Dragoni, Nicola; Zhou, Mu.

    Proceedings of the 5th Nordic Workshop on Dependability and Security (NODES’11). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  97. Published

    Design, Modelling and Analysis of a Workflow Reconfiguration. / Mazzara, Manuel (Invited author); Abouzaid, Faisal (Invited author); Dragoni, Nicola (Invited author); Bhattacharyya, Anirban (Invited author).

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11). 2011. p. 10-24.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  98. Published

    Design of Fault Tolerant Network Interfaces for NoCs. / Fiorin, Leandro; Micconi, Laura; Sami, Mariagiovanna.

    2011 14th Euromicro Conference on Digital System Design (DSD). IEEE, 2011. p. 393-400.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  99. Published

    Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures. / Tamas-Selicean, Domitian; Pop, Paul.

    2011 IEEE 32nd Real-Time Systems Symposium (RTSS). IEEE, 2011. p. 24-33.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  100. Published

    Design Space Exploration of Object Caches with Cross-Profiling. / Schoeberl, Martin; Binder, Walter; Villazon, Alex.

    Proceedings of the 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  101. Published

    Development Tools. / Pop, Paul; Goller, A.; Pop, T.; Eles, P.

    Time-Triggered Communication. ed. / Roman Obermaisser. Vol. 15 CRC Press, 2011. p. 363-522.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  102. Published

    Digital Microfluidic Biochips: Recent Research and Emerging Challenges. / Ho, Tsung-Yi; Chakrabarty, Krishnendu; Pop, Paul.

    2011 Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). IEEE, 2011. p. 335-343.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  103. Published

    Effcient Co-Simulation of Multicore Systems. / Brock-Nannestad, Laust; Passas, Stavros; Karlsson, Sven.

    2011. Poster session presented at 4th Swedish Workshop on Multicore Computing, Linköping, Sweden.

    Publication: Research - peer-reviewPoster – Annual report year: 2011

  104. Published

    Efficient Co-Simulation of Multicore Systems. / Brock-Nannestad, Laust; Karlsson, Sven.

    Proceedings of the Fourth Swedish Workshop on Multicore Computing. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  105. Published

    ejIP: A TCP/IP Stack for Embedded Java. / Schoeberl, Martin.

    Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011). ACM, 2011. p. 63-69.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  106. Published

    Energy-minimum sub-threshold self-timed circuits using current-sensing completion detection. / Akgun, O. C.; Rodrigues, J. N.; Sparsø, Jens.

    In: I E T Computers and Digital Techniques, Vol. 5, No. 4, 2011, p. 342-353.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  107. Published

    Energy/Reliability Trade-offs in Fault-Tolerant Event-Triggered Distributed Embedded Systems. / Gan, Junhe; Gruian, Flavius; Pop, Paul; Madsen, Jan.

    16th Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  108. Published

    Feedback Driven Annotation and Refactoring of Parallel Programs. / Larsen, Per; Karlsson, Sven (Supervisor); Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 163 p. (IMM-PHD-2011; No. 251).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  109. Published

    FPGA Based Acceleration of Decimal Operations. / Nannarelli, Alberto.

    Proceedings of 2011 International Conference on ReConFigurable Computing and FPGA's. IEEE, 2011. p. 146-151.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  110. Published

    FPGA Implementation of Decimal Processors for Hardware Acceleration. / Borup, Nicolas; Dindorp, Jonas; Nannarelli, Alberto.

    Proceedings of NORCHIP 2011. IEEE, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  111. Published

    From functional programming to multicore parallelism: A case study based on Presburger Arithmetic. / Dung, Phan Anh; Hansen, Michael Reichhardt.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  112. Published

    Guest Editorial: Special Issue on Frontiers in Trust Management. / Jensen, Christian D.; Dragoni, Nicola; Basu, Anirban; Mancini, Clara.

    In: Journal of Internet Services and Information Security, Vol. 1, No. 4, 2011, p. 1-4.

    Publication: Research - peer-reviewEditorial – Annual report year: 2011

  113. Published

    Hardware Support for Dynamic Languages. / Schleuniger, Pascal; Karlsson, Sven; Probst, Christian W.

    ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  114. Published

    Hardware Support for Dynamic Languages. / Schleuniger, Pascal; Karlsson, Sven; Probst, Christian W.

    2011. Poster session presented at 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy.

    Publication: Research - peer-reviewPoster – Annual report year: 2011

  115. Published

    Hardware Synchronization for Embedded Multi-Core Processors. / Stoif, Christian; Schoeberl, Martin; Liccardi, Benito; Haase, Jan.

    Proceedings of the 2011 IEEE International Symposium on Circuits and Systems (ISCAS 2011). 2011. p. 2557-2560.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  116. Published

    Improving e-learning by Emotive Feedback. / Sharp, Robin; Gjedde, Lisa.

    Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  117. Published

    Improving Performance of Software Implemented Floating Point Addition. / Hindborg, Andreas Erik; Passas, Stavros; Karlsson, Sven.

    2011. Poster session presented at 4th Swedish Workshop on Multicore Computing, Linköping, Sweden.

    Publication: Research - peer-reviewPoster – Annual report year: 2011

  118. Published

    Improving Performance of Software Implemented Floating Point Addition. / Hindborg, Andreas Erik; Karlsson, Sven.

    Proceedings of the Fourth Swedish Workshop on Multicore Computing. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  119. Published

    Integration of the Reconfigurable Self-Healing eDNA Architecture in an Embedded System. / Boesen, Michael Reibel; Keymeulen, Didier; Madsen, Jan; Lu, Thomas; Chao, Tien-Hsin.

    Proceedings of IEEE Aerospace Conference. IEEE, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  120. Published

    Integration of the Self-Healing eDNA Architecture in a Liquid Crystal Waveguide-based Fourier Transform Spectrometer. / Boesen, Michael Reibel; Keymeulen, D.; Madsen, Jan; Lu, T. T.; Chao, Tien-Hsin.

    2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE, 2011. p. 303-310.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  121. Published

    Introduction to the Special Issue: JTRES 2009. / Schoeberl, Martin (Editor); Higuera-Toledano, Teresa.

    In: Concurrency and Computation: Practice & Experience, 2011.

    Publication: ResearchEditorial – Annual report year: 2011

  122. Published

    Java Dust: How Small Can Embedded Java Be?. / Caska, James; Schoeberl, Martin.

    Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011). ACM, 2011. p. 125-129.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  123. Published

    Leros: A Tiny Microcontroller for FPGAs. / Schoeberl, Martin.

    Proceedings of the 21st International Conference on Field Programmable Logic and Applications (FPL 2011). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  124. Published

    Lightweight MAC-Spoof Detection Exploiting Received Signal Power and Median Filtering. / Papini, Davide.

    Proceedings of the 5th Nordic Workshop on Dependability and Security (NODES’11). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  125. Published

    Memory Management for Safety-Critical Java. / Schoeberl, Martin.

    Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011). ACM, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  126. Published

    Modelling of Energy Harvesting Aware Wireless Sensor Networks. / Hansen, Michael Reichhardt; Jakobsen, Mikkel Koefoed; Madsen, Jan.

    Sustainable Energy Harvesting Technologies - Past, Present and Future. ed. / Yen Kheng Tan. InTech, 2011.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  127. Published

    ODMAC : On-Demand MAC Protocol for Energy Harvesting - Wireless Sensor Networks. / Dragoni, Nicola; Fafoutis, Xenofon.

    Proceedings of the Eighth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN’11). Miami Beach : ACM, 2011. p. 49-56.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  128. Published

    On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. / Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. p. 115-122 (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  129. Published

    Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems. / Tamas-Selicean, Domitian; Pop, Paul.

    2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW). IEEE, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  130. Published

    Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine. / Sarimbekov, Aibek; Sewe, Andreas; Binder, Walter; Moret, Philippe; Schoeberl, Martin; Mezini, Mira.

    Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011). ACM, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  131. Published

    Power and Thermal Management of System-on-Chip. / Liu, Wei; Nannarelli, Alberto (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011-250).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  132. Published

    Radix-16 Combined Division and Square Root Unit. / Nannarelli, Alberto.

    2011 20th IEEE Symposium on Computer Arithmetic (ARITH). IEEE, 2011. p. 169-176 (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  133. Published

    Real-Time Wait-Free Queues using Micro-Transactions. / Meawad, Fadi; Iyer, Karthik; Schoeberl, Martin; Vitek, Jan.

    Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011). ACM, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  134. Published

    SC2: a System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-Application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Papini, Davide.

    2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY). IEEE, 2011. p. 186-187.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  135. Published

    Sloppy Addition and Multiplication. / Nannarelli, Alberto.

    Kgs. Lyngby, Denmark : Technical University of Denmark, 2011. 9 p. (IMM-Technical Report-2011; No. 14).

    Publication: ResearchReport – Annual report year: 2011

  136. Published

    Sows’ activity classification device using acceleration data – A resource constrained approach. / Marchioro, Gilberto Fernandes; Cornou, Cécile; Kristensen, Anders Ringgaard; Madsen, Jan.

    In: Computers and Electronics in Agriculture, Vol. 77, No. 1, 2011, p. 110-117.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  137. Published

    SRC: FenixOS - A Research Operating System Focused on High Scalability and Reliability. / Passas, Stavros; Karlsson, Sven.

    ICS '11: Proceedings of the international conference on Supercomputing. ACM, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  138. Published

    Supporting Software Evolution for Open Smart Cards by Security-by-Contract. / Dragoni, Nicola; Gadyatskya, Olga; Massacci, Fabio.

    Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Vol. 13 IGI global, 2011. p. 285-305.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  139. Published

    Synthesis of Digital Microfluidic Biochips with Reconfigurable Operation Execution. / Maftei, Elena; Pop, Paul (Supervisor); Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 123 p. (IMM-PHD-2011-257).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  140. Published

    System-Level Modeling and Synthesis of Flow-Based Microfluidic Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan.

    2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES). IEEE, 2011. p. 225-233.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  141. Published

    System Level Modelling and Performance Estimation of Embedded Systems. / Tranberg-Hansen, Anders Sejer; Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011; No. 248).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  142. Published

    Temperature Dependent Wire Delay Estimation in Floorplanning. / Winther, Andreas Thor; Liu, Wei; Nannarelli, Alberto; Vrudhula, Sarma.

    Proceedings of NORCHIP 2011. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  143. Published

    Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. / Mazzara, M.; Abouzaid, F.; Dragoni, Nicola; Bhattacharyya, A.

    Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  144. Published

    Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. / Schoeberl, Martin; Schleuniger, Pascal; Puffitsch, Wolfgang; Brandner, Florian; Probst, Christian W.; Karlsson, Sven; Thorn, Tommy.

    Bringing Theory to Practice: Predictability and Performance in Embedded Systems: PPES’11, March 18, 2011, Grenoble, France. Vol. 18 OASICS, 2011. p. 11-21.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  145. Published

    Towards quantitative evaluation of stochastic pharmacy workflows. / Herbert, Luke Thomas; Sharp, Robin.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  146. Published

    Towards Secure Intelligent Buildings. / Ingwar, Mads Ingerslew; Jensen, Christian D.

    Proceedings of the 5th Nordic Workshop on Dependability and Security (NODES’11). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  147. Published

    Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings. / Wakeman, I. (Editor); Gudes, E. (Editor); Jensen, Christian D. (Editor); Crampton, J. (Editor).

    Trust Management V. Springer, 2011.

    Publication: ResearchBook chapter – Annual report year: 2011

  148. Published

    User-Defined Clocks in the Real-Time Specification for Java. / Wellings, Andy; Schoeberl, Martin.

    Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011). ACM, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  149. Published

    Using Dafny, an Automatic Program Verifier. / Herbert, Luke Thomas; Leino, K. Rustan M.; Carvalho Quaresma, Jose Nuno.

    2011. Paper presented at 8th LASER Summer School on Software Engineering, Elba Island, Italy.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  150. Published

    WCET Tool Challenge 2011: Report. / von Hanxleden, Reinhard (Editor); Holsti, Niklas (Editor); Lisper, Björn (Editor); Ploedereder, Erhard (Editor); Wilhelm, Reinhard (Editor); Bonenfant, Armelle; Cassé, Hugues; Bünte, Sven; Fellger, Wolfgang; Gepperth, Sebastian; Gustafsson, Jan; Huber, Benedikt; Islam, Nazrul Mohammad; Kästner, Daniel; Kirner, Raimund; Kovács, Laura; Krause, Felix; de Michiel, Marianne; Olesen, Mads Christian; Prantl, Adrian; Puffitsch, Wolfgang; Rochange, Christine; Schoeberl, Martin; Wegener, Simon; Zolda, Michael; Zwirchmayr, Jakob.

    Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis. Austrian Computer Society (OCG), 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  151. Published

    Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011). / Ahmed, Naveed (Editor); Quercia, D. (Editor); Jensen, Christian D. (Editor).

    Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011). 2011.

    Publication: ResearchBook chapter – Annual report year: 2011

  152. 2010
  153. Published

    Programming Models and Tools for Intelligent Embedded Systems. / Sørensen, Peter Verner Bojsen; Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. 216 p. (IMM-PHD-2010-232).

    Publication: ResearchPh.D. thesis – Annual report year: 2010

  154. Published

    Support for Programming Models in Network-on-Chip-based Many-core Systems. / Rasmussen, Morten Sleth; Sparsø, Jens (Supervisor); Karlsson, Sven (Supervisor); Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. (IMM-PHD-2010-235).

    Publication: ResearchPh.D. thesis – Annual report year: 2010

  155. Published

    Modelling, Synthesis, and Configuration of Networks-on-Chips. / Stuart, Matthias Bo; Sparsø, Jens (Supervisor); Nannarelli, Alberto (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. (IMM-PHD-2010-230).

    Publication: ResearchPh.D. thesis – Annual report year: 2010

  156. Published

    Adaptable Authentication Model - for Exploring the Weaker Notions of Security. / Ahmed, Naveed; Jensen, Christian D.

    Kgs. Lyngby, Denmark : Technical University of Denmark, DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-17).

    Publication: ResearchReport – Annual report year: 2010

  157. Published

    A Generic Access Control Model for Wind Power Systems. / Nagarajan, Anand; Jensen, Christian D.

    Workshop Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010): Proceedings of the International Workshop on Infrastructure Assurance (iWiA 2010). 2010. p. 1-14.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  158. Published

    A Generic Role Based Access Control Model for Wind Power Systems. / Nagarajan, Anand; Jensen, Christian D.

    In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Vol. 1, No. 4, 2010, p. 35-49.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  159. Published

    Analysis for Embedded Systems: Experiments with Priced Timed Automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  160. Published

    A Survey on Trust-Based Web Service Provision Approaches. / Dragoni, Nicola.

    3rd International Conference on Dependability (DEPEND 2010). Venice : IEEE Press, 2010. p. 83-91.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  161. Published

    BIOLOGICALLY INSPIRED HARDWARE CELL ARCHITECTURE. / Boesen, Michael Reibel (Inventor); Madsen, Jan (Inventor).

    Patent No.: WO2010060923. Jun 03, 2010.

    Publication: ResearchPatent – Annual report year: 2010

  162. Published

    Building a reputation system for the Wikipedia. / Jensen, Christian D. (Invited author).

    2010. New Forms of Collaborative Production and Innovation : Economic, Social, Legal and Technical Characteristics and Conditions, Lichtenberg Kolleg, Georg-August-Universität, Göttingen, 01/01/10.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2010

  163. Published

    CIT-AWARE-09 - En undersøgelse af it-sikkerhed blandt borgerne i Danmark. / Sharp, Robin.

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-07).

    Publication: ResearchReport – Annual report year: 2010

  164. Published

    Classifying Areas of Expertise in the wikipedia Recommender System. / Jensen, Christian D.; Lefévre, Thomas.

    Short Paper Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010). 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  165. Published

    Compiler Driven Code Comments and Refactoring. / Larsen, Per; Ladelsky, Razya; Karlsson, Sven; Zaks, Ayal.

    Proceedings of Swedish Workshop on Multi-Core Computing. Vol. 3 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  166. Published

    Cyclic executive for safety-critical Java on chip-multiprocessors. / Ravn, Anders P.; Schoeberl, Martin.

    Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). 2010. p. 63-69.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  167. Published

    Definition of Entity Authentication. / Ahmed, Naveed; Jensen, Christian D.

    Proceedings of 2nd International Workshop on Security and Communication Networks (IWSCN), 2010. IEEE Xplore, 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  168. E-pub ahead of print

    Degrading Precision Arithmetic for Low Power Signal Processing. / Petricca, Massimo; Cardarilli, Gian Carlo; Nannarelli, Alberto; Re, Marco; Albicocco, Pietro.

    Proc. of 44th Asilomar Conference on Signals, Systems and Computers. 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  169. Published

    DEHAR: a Distributed Energy Harvesting Aware Routing Algorithm for Ad-hoc Multi-hop Wireless Sensor Networks.. / Jakobsen, Mikkel Koefoed; Madsen, Jan; Hansen, Michael Reichhardt.

    IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2010). IEEE, 2010. p. 1-9.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  170. Published

    Design and Implementation of Real-Time Transactional Memory. / Schoeberl, Martin; Hilber, Peter.

    Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL 2010). 2010. p. 279-284.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  171. E-pub ahead of print

    Design of Large Polyphase Filters in the Quadratic Residue Number System. / Cardarilli, Gian Carlo; Nannarelli, Alberto; Oster, Yann; Petricca, Massimo; Re, Marco.

    Proc. of 44th Asilomar Conference on Signals, Systems and Computers. 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  172. Published

    Design of QoS-aware Provisioning Systems. / Mazzucco, Michele; Mazzara, Manuel; Dragoni, Nicola.

    4th Nordic Workshop on Dependability and Security (NODES 2010). Technical University of Denmark (DTU), 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  173. Published

    Efficient Model Checking for a Hybrid Duration Calculus.. / Hansen, Michael Reichhardt.

    International Workshop on Hybrid Logic and Applications (HyLo 2010).. 2010. p. 1-7.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  174. Published

    Entity Authentication:Analysis using Structured Intuition. / Ahmed, Naveed; Jensen, Christian D.

    Technical Report on NODES10 Proceedings. 2010.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2010

  175. Published

    Et visionært teknologidesign. / Jensen, Christian D. (Invited author).

    2010. PrivatTek 2010, Landstingssalen, Christiansborg, 01/01/10.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2010

  176. Published

    Exhaustive testing of safety critical Java. / Kalibera, Tomas; Parizek, Pavel; Malohlava, Michal; Schoeberl, Martin.

    Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). 2010. p. 164-174.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  177. Published

    Extending Security-by-Contract with Quantitative Trust on Mobile Devices. / Costa, Gabriele; Lazouski, Aliaksandr; Martinelli, Fabio; Matteucci, Ilaria; Issarny, Valerie; Saadi, Rachid; Dragoni, Nicola; Massacci, Fabio.

    In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), Vol. 1, No. 4, 2010, p. 75-91.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  178. E-pub ahead of print

    Extending Security-by-Contract with Quantitative Trust on Mobile Devices. / Costa, Gabriele; Dragoni, Nicola; Lazouski, Aliaksandr; Martinelli, Fabio; Massacci, Fabio; Matteucci, Ilaria.

    4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS 2010). IEEE Computer Society Press, 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  179. Published

    High Performace Triangle versus Box Intersection Checks. / Christensen, Thomas; Karlsson, Sven.

    Proceedings of Workshop on Parallel Programming and Applications on Accelerator Clusters (PPAAC). 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  180. Published

    Integration of the Self-Healing eDNA Architecture in an Embedded System and Evaluation of it Using a Fourier Transform Spectrometer Instrument Application. / Boesen, Michael Reibel (Author); Keymeulen, Didier (Author); Madsen, Jan (Author); Lu, Thomas (Author); Chao, Tien-Hsin (Author).

    2010. Military / Aerospace Programmable Logic Devices and Revolutionary Space Conference, Albuquerque, New Mexico, USA, 01/01/10.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2010

  181. Published

    JEOPARD Deliverable D2.6 - JOP Scalability Report. / Puffitsch, Wolfgang; Schoeberl, Martin; Huber, Bendikt.

    2010.

    Publication: ResearchReport – Annual report year: 2010

  182. Published

    Keynote Address: The Joint International Workshop on Trust in Location and Communications in Decentralised Computing : The Role of Trust in Computer Security. / Jensen, Christian D. (Invited author).

    2010. The Joint International Workshop on Trust in Location and Communications in Decentralised Computing, Morioka, Iwate, Japan, 01/01/10.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2010

  183. Published

    Low Power Hardware Platforms. / Nannarelli, Alberto.

    Towards Green ICT. Aalborg, DK : River Publishers, 2010. p. 131-143.

    Publication: ResearchBook chapter – Annual report year: 2010

  184. Published

    Minimum-Energy Sub-Threshold Self-Timed Circuits: Design Methodology and a Case Study. / Akgun, Omer Can; Rodrigues, Joachim; Sparsø, Jens.

    Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'10). IEEE Computer Society Press, 2010. p. 41-51.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  185. Published

    Modelling and Analyses of Embedded Systems Design. / Brekling, Aske Wiid; Hansen, Michael Reichhardt (Supervisor); Madsen, Jan (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. (IMM-PHD-2011-236).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  186. Published

    Modelling and Analysis for Embedded Systems. / Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    Model-Based Design for Embedded Systems. CRC Press, 2010. p. 121-145 (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2010

  187. Published

    Object Cache Evaluation. / Schoeberl, Martin; Binder, Walter; Villazon, Alex.

    2010.

    Publication: ResearchReport – Annual report year: 2010

  188. Published

    Object oriented machine learning with a multicore real-time java processor: short paper. / Pedersen, Rasmus Ulslev; Schoeberl, Martin.

    Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). 2010. p. 76-78.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  189. Published

    On the Comparison of Different Number Systems in the Implementation of Complex FIR Filters. / Cardarilli, Gian Carlo; Nannarelli, Alberto; Re, Marco.

    VLSI-SoC: Design Methodologies for SoC and SiP. Springer, 2010. p. 174-190.

    Publication: ResearchBook chapter – Annual report year: 2010

  190. Published

    Post-placement temperature reduction techniques. / Liu, Wei; Nannarelli, Alberto.

    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010. IEEE, 2010. p. 634-637.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  191. Published

    Power Dissipation Challenges in Multicore Floating-Point Units. / Liu, Wei; Nannarelli, Alberto.

    Proceedings of 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010). IEEE, 2010. p. 257-264.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  192. Published
  193. Published

    Routing-based Synthesis of Digital Microfluidic Biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    International Conference on Compilers, Architectures and Synthesis for Embedded Systems. 2010. p. 41-50.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  194. Published

    Securing Off-Card Contract-Policy Matching in Security-By-Contract for Multi-Application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Papini, Davide; Fabra, Javier.

    4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2010). XPS, 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  195. Published

    Security-by-Contract for Applications Evolution in Multi-Application Smart Cards. / Dragoni, Nicola.

    4th Nordic Workshop on Dependability and Security (NODES 2010). Technical University of Denmark, DTU Informatics, Building 321, 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  196. Published

    Simulation-Based Evaluation of Redundancy Schemes for a Cell Culture Microfluidic Biochip. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan.

    Technical Report on NODES10 Proceedings. 2010.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2010

  197. Published

    Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract. / Dragoni, Nicola; Gadyatskaya, Olga; Massacci, Fabio.

    Proceedings of the 4th Workshop in Information Security Theory and Practices. 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  198. Published

    Supporting Multi-Agent Reputation Calculation in the Wikipedia Recommender System. / Jensen, Christian D.

    In: I E T Information Security, Vol. 4, No. 4, 2010, p. 273-282.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  199. Published

    Synthesis of biochemical applications on digital microfluidic biochips with operation variability. / Alistar, Mirela; Maftei, Elena; Pop, Paul; Madsen, Jan.

    2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS. IEEE, 2010. p. 350-357.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  200. Published

    System-level modeling and simulation of the cell culture microfluidic biochip ProCell. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Hemmingsen, Mette; Dufva, Martin.

    2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS. IEEE, 2010. p. 91-98.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  201. Published

    Tabu Search-based Synthesis of Digital Microfluidic Biochips with Dynamically Reconfigurable Non-rectangular Devices. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    In: Design Automation for Embedded Systems, Vol. 14, No. 3, 2010, p. 287-307.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  202. Published

    Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. / Saraswat, Prabhat Kumar; Pop, Paul; Madsen, Jan.

    IEEE Symposium on Real-Time and Embedded Technology and Applications. IEEE, 2010. p. 89-98.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  203. E-pub ahead of print

    Temperature Aware Power Optimization for Multicore Floating-Point Units. / Liu, Wei (Invited author); Nannarelli, Alberto (Invited author).

    Proc. of 44th Asilomar Conference on Signals, Systems and Computers. 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  204. Published

    The embedded Java benchmark suite JemBench. / Schoeberl, Martin; Preusser, Thomas B.; Uhrig, Sascha.

    Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). 2010. p. 120-127.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  205. E-pub ahead of print

    The Java Optimized Processor: Java in a Field-Programmable Gate Array. / Schoeberl, Martin (Invited author).

    2010. Paper presented at JavaOne, San Francisco, California, USA, .

    Publication: Research - peer-reviewPaper – Annual report year: 2010

  206. Published

    The Role of Trust in Persistent Authentication. / Jensen, Christian D.

    Workshop Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010): Proceedings of the Joint International Workshop on Trust in Location and Communications in Decentralized Computing (TruLoCo 2010). 2010. p. 41-52.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  207. Published

    Time-predictable Chip-Multiprocessor Design. / Schoeberl, Martin (Invited author).

    Asilomar Conference on Signals, Systems, and Computers. 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  208. Accepted

    Tinuso: A processor architecture for a multi-core hardware simulation platform. / Schleuniger, Pascal; Karlsson, Sven.

    Proceeding of third swedish workshop on multi-core computing - MCC'10. Vol. 3 2010.

    Publication: ResearchArticle in proceedings – Annual report year: 2010

  209. Published

    WCET driven design space exploration of an object cache. / Huber, Benedikt; Puffitsch, Wolfgang; Schoeberl, Martin.

    Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010). 2010. p. 26-35.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  210. Published

    Worst-case analysis of heap allocations. / Puffitsch, Wolfgang; Huber, Benedikt; Schoeberl, Martin.

    Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium On Leveraging Applications (ISoLA 2010). Vol. 2 1. ed. Springer, 2010. p. 464-478 (Lecture Notes in Computer Science; No. 6416).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  211. 2009
  212. Published

    A compositional modelling framework for exploring MPSoC systems. / Tranberg-Hansen, Anders Sejer; Madsen, Jan.

    Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis. New York, NY, USA : ACM, 2009. p. 1-10.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  213. Published

    Adaptable Support for Programming Models in Many-core Architectures. / Rasmussen, Morten Sleth; Karlsson, Sven; Sparsø, Jens.

    2009 Workshop on New Directions in Computer Architecture. 2009.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2009

  214. Published

    A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

    6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  215. Published

    A Mechanism for Identity Delegation at Authentication Level. / Ahmed, Naveed; Jensen, Christian D.

    Identity and Privacy in the Internet Age, Proceedings: Lecture Notes in Computer Science. Vol. 5838 Springer, 2009. p. 148-162.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  216. Published

    A modelling and analysis framework for embedded systems. / Madsen, Jan; Hansen, Michael Reichhardt; Brekling, Aske Wiid.

    Model-Based Design for Embedded Systems. CRC Press : Routledge, 2009. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  217. Published

    Analysis and optimization of fault-tolerant embedded systems with hardened processors. / Izosimov, Viacheslav; Polian, Ilia; Pop, Paul.

    Analysis and optimization of fault-tolerant embedded systems with hardened processors. 2009. p. 682-687.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  218. Published

    Analysis of Quantitative Properties of Hardware Specifications. / Brekling, Aske Wiid; Madsen, Jan; Hansen, Michael Reichhardt.

    21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatik, Danmarks Tekniske Universitet, 2009. p. 92-94.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  219. Published

    Analytical Derivation of Traffic Patterns in Shared Memory Architectures from Task Graphs. / Stuart, Matthias Bo; Sparsø, Jens.

    NORCHIP, 2009. IEEE, 2009. p. 1-4.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  220. Published

    An Authentication Framework for Nomadic Users. / Ahmed, Naveed; Jensen, Christian D.

    2009. Abstract from Nordic Workshop and Doctoral Symposium on Dependability and Security, Linköping, Sweden.

    Publication: ResearchConference abstract for conference – Annual report year: 2009

  221. Published

    A prototype model checker for Duration Calculus. / Heise, William Pihl; Fränzle, Martin; Hansen, Michael Reichhardt.

    21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatik, Danmarks Tekniske Universitet, 2009. p. 26-29.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  222. Published
  223. Published

    Context-Aware Identity Delegation. / Ahmed, Naveed; Jensen, Christian D.

    Euro CAT 2009. Vol. CEUR-WS volume (CEUR-WS.org - ISSN 1613-0073) 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  224. Published

    Current Trends in High-Level Synthesis of Asynchronous Circuits. / Sparsø, Jens.

    16th IEEE International Conference on Electronics Circuits and Systems (ICECS). IEEE, 2009. p. 347-350.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  225. Published

    Declarative Business Process Modelling and the Generation of ERP Systems. / Schultz-Møller, Nicholas Poul; Hølmer, Christian; Hansen, Michael Reichhardt.

    Software and Data Technologies. Springer, 2009. p. 134-146 (Communications in Computer and Information Science; No. Volume 47).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  226. Published

    Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication. / Pop, Paul; Izosimov, Viacheslav; Eles, Petru; Peng, Zebo.

    In: I E E E Transactions on Very Large Scale Integration Systems, Vol. 172, No. 3, 2009, p. 389-402.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  227. Published

    Division Unit for Binary Integer Decimals. / Lang, Tomas; Nannarelli, Alberto.

    Proceedings of 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP '09). IEEE, 2009. p. 1-7.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  228. Published

    eDNA: A Bio-Inspired Reconfigurable Hardware Cell Architecture Supporting Self-organisation and Self-healing. / Boesen, Michael Reibel; Madsen, Jan.

    Proceedings of the 2009 NASA/ESA Conference on Adaptive Hardware Systems: July 29 - August 1, 2009, Moscone Convention Center, San Francisco, California, USA. Los Alamitos, California. Washington. Tokyo : IEEE Computer Society Press, 2009. p. 147-154.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  229. Published

    Efficient model checking for duration calculus. / Fränzle, Martin; Hansen, Michael Reichhardt.

    In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 171-196.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  230. Published

    Exploration of a digital audio processing platform using a compositional system level performance estimation framework. / Tranberg-Hansen, Anders Sejer; Madsen, Jan.

    2009 IEEE International Symposium on Industrial Embedded Systems. IEEE, 2009. p. 54-57.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  231. Published

    Formal Verification of an energy aware routing algorithm. / Jakobsen, Mikkel Koefoed; Madsen, Jan; Hansen, Michael Reichhardt.

    21st Nordic Workshop on Programming Theory (NWPT09). DTU Informatik, Danmarks Tekniske Universitet, 2009. p. 32-34.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  232. Published

    Hardware Implementation of Real-Time MPEG Analysis and Deblocking for Video Enhancement. / Petricca, Massimo; Li, Huiying; Forchhammer, Søren; Nannarelli, Alberto; Re, Marco; Andersen, Jakob Dahl; Cardarilli, Gian Carlo.

    Proc. of 43rd Asilomar Conference on Signals, Systems and Computers. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  233. Published

    Identifying Inter-task Communication in Shared Memory Programming Models. / Larsen, Per; Karlsson, Sven; Madsen, Jan.

    Lecture Notes in Computer Science: Evolving OpenMP in an Age of Extreme Parallelism. Springer Berlin / Heidelberg, 2009. p. 168-182 (Lecture Notes in Computer Science; No. 5568).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  234. Published

    Improving on Tacit Knowledge through a Media-rich Survey. / Sharp, Robin; Gjedde, Lisa.

    Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education. Chesapeake, Va. : AACE, 2009. p. 1962-1965.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  235. Published

    Incorporating User-oriented Security into CC. / Sharp, Robin.

    Proceedings of 10th ICCC. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  236. Published

    Leight-weight hybrid model checking facilitating online prediction of temporal properties. / Sauter, Gerald; Dierks, Henning; Fränzle, Martin; Hansen, Michael Reichhardt.

    21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatik, Danmarks Tekniske Universitet, 2009. p. 20-22.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  237. Published

    MoVES - A Framework for Modelling and Verifying Embedded Systems. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.

    2009 International Conference on Microelectronics. IEEE, 2009. p. 143-146.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  238. Published

    Multiple Constant Multiplication through Residue Number System. / Shuli, Ilir; Petricca, Massimo; Cardarilli, Gian Carlo; Nannarelli, Alberto; Re, Marco.

    Proc. of 43rd Asilomar Conference on Signals, Systems and Computers. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  239. Published

    Parallelism and Scalability in an Image Processing Application. / Rasmussen, Morten Sleth; Stuart, Matthias Bo; Karlsson, Sven.

    In: International Journal of Parallel Programming, Vol. 37, No. 3, 2009, p. 306-323.

    Publication: Research - peer-reviewConference article – Annual report year: 2009

  240. Published

    Performance Analysis of a Hardware/Software-based Cache Coherence Protocol in Shared Memory MPSoCs. / Rasmussen, Morten Sleth; Karlsson, Sven; Sparsø, Jens.

    Workshop on Programming Models for Emerging Architectures. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  241. Published

    Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009. / Hansen, Michael Reichhardt (Editor); Brekling, Aske Wiid (Editor).

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2009. 106 p.

    Publication: ResearchReport – Annual report year: 2009

  242. Published

    Questions as pathways to learning - implicit learning in a simulated environment. / Gjedde, Lisa; Sharp, Robin.

    Proceedings of CELDA 2009: Cogntion and Exploratory Learning in a Digital Age. ed. / D. G. Kinshuk. IADIS, 2009. p. 516-519.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  243. Published

    Security-By-Contract (SxC) for Mobile Systems. / Dragoni, Nicola; Massacci, Fabio.

    In: Telektronikk Journal, Vol. 1, 2009, p. 107-116.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  244. Published

    Security-by-Contract (SxC) for Software and Services of Mobile Systems. / Dragoni, Nicola; Martinelli, Fabio; Massacci, Fabio; Mori, Paolo; Shaefer, Christian; Walter, Thomas; Vetillard, Eric.

    At Your Service - Service-Oriented Computing from an EU Perspective. MIT Press, 2009.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  245. Published

    Synthesis of Topology Configurations and Deadlock Free Routing Algorithms for ReNoC-based Systems-on-Chip. / Stuart, Matthias Bo; Stensgaard, Mikkel Bystrup; Sparsø, Jens.

    International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  246. Published

    Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    International Conference on Compilers, Architecture and Synthesis for Embedded Systems. 2009. p. 195-204.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  247. Published

    Task Migration for Fault-Tolerance in Mixed-Criticality Embedded Systems. / Saraswat, Prabhat Kumar; Pop, Paul; Madsen, Jan.

    SIGBED Review--Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09). Vol. Volume 6, Number 3 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  248. Published

    Thermal Modeling Based on SPICE Simulation. / Liu, Wei; Calimera, Andrea; Nannarelli, Alberto; Macii, Enrico; Poncino, Massimo.

    Proc. of 19th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  249. Published

    Toward Trustworthy Web Services : Approaches, Weaknesses and Trust-By-Contract Framework. / Dragoni, Nicola.

    WI/IAT Web Privacy and Trust Workshop (WPT'09). IEEE Computer Society Press, 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  250. Published

    What the heck is this application doing? - A security-by-contract architecture for pervasive services. / Dragoni, Nicola; Massacci, Fabio; Walter, Thomas; Schaefer, Christian.

    In: Computers & Security, Vol. 28, No. 7, 2009, p. 566-577.

    Publication: Research - peer-reviewJournal article – Annual report year: 2009

  251. Published

    Where are All the Agents? On the Gap Between Theory and Practice of Agent-Based Referral Networks : An Inter-Agent Communication Perspective. / Dragoni, Nicola.

    Principles of Practice in Multi-Agent Systems. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5925).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  252. Published

    Why Security is Bad for Trust. / Jensen, Christian D. (Invited author).

    2009. 3rd IFIP International Conference on Trust Management (TM'09), West Lafayette, IN, United States, 16/06/09.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2009

  253. 2008
  254. Published

    System-Level Design Methodologies for Networked Multiprocessor Systems-on-Chip. / Virk, Kashif Munir; Madsen, Jan (Supervisor).

    2008. (IMM-PHD-2008-193).

    Publication: ResearchPh.D. thesis – Annual report year: 2008

  255. Published

    Reconfigurable Architectures : From Physical Implementation to Dynamic Behavoir Modelling. / Wu, Kehuai; Madsen, Jan (Supervisor).

    2008. 120 p. (IMM-PHD; No. 180).

    Publication: ResearchPh.D. thesis – Annual report year: 2008

  256. Published

    Adaptive Embedded Systems – Challenges of Run-Time Resource Management. / Madsen, Jan (Author).

    2008. 8th International Forum on Application-Specific Multi-Processor System-on-Chip, Aachen, Germany, 23/06/08.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2008

  257. Published

    Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. / Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo.

    In: International Journal of Parallel Programming, Vol. 36, No. 1, 2008, p. 37-67.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  258. Published

    Analysis of costs of embedded systems: experiments with priced timed automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    Formal Foundations of Embedded Software and Component-Based Software Architectures: FESCA@ETAPS. Elsevier, 2008. p. 1-14.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  259. Published

    A Reactive and Cycle-True IP Emulator for MPSoC Exploration. / Mahadevan, Shankar; Angiolini, Federico; Sparsø, Jens; Benini, Luca; Madsen, Jan.

    In: I E E E Transactions on Computer - Aided Design of Integrated Circuits and Systems, Vol. 27, No. 1, 2008, p. 109-122.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  260. Published

    A service based estimation method for MPSoC performance modelling. / Tranberg-Hansen, Anders Sejer; Madsen, Jan; Jensen, Bjørn Sand.

    2008 International Symposium on Industrial Embedded Systems. IEEE, 2008. p. 43-50.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  261. Published

    Component-based Service Availability Checking. / Sørensen, Peter Verner Bojsen; Madsen, Jan.

    Nordic Workshop and Doctoral Symposium on Dependability and Security. Department of Computer Science, Tallinn Technical University, 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  262. Published

    Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving. / Sørensen, Peter Verner Bojsen; Madsen, Jan.

    20th Nordic Workshop on Programming Theory. Institute of Cybernetics at Tallinn University of Technology, 2008. p. 93-96.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  263. Published

    Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years DATE. / Lauwereins, Rudy (Editor); Madsen, Jan (Editor).

    Springer, 2008. 515 p.

    Publication: Research - peer-reviewBook – Annual report year: 2008

  264. Published

    Duration Calculus. / Hansen, Michael Reichhardt.

    Logics of Specification Languages. ed. / Dines Bjørner; Martin C. Henson. Springer, 2008. p. 291-341 (Monographs in Theoretical Computer Science. An EATCS Series).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2008

  265. Published

    Efficient model checking for duration calculus based on branching-time approximations. / Fränzle, Martin; Hansen, Michael Reichhardt.

    Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008). Cape Town : IEEE, 2008. p. 63-72.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  266. Published

    Experiences with Functional Programming in an Introductory Curriculum. / Hansen, Michael Reichhardt; Kristensen, Jens Thyge.

    Reflections on the Teaching of Programming: Methods and Implementations. ed. / Jens Bennedsen; Michael Caspersen; Michael Kölling. Springer, 2008. p. 31-47 (Lecture Notes in Computer Science; No. 4821).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2008

  267. Published

    Exploiting spatial parallelism in Ethernet-based cluster interconnects.. / Passas, Stavros; Kotsis, George; Karlsson, Sven; Bilas, Angelos.

    Proceedings of Workshop on Communication Architecture for Clusters, CAC 2008. IEEE Computer Society Press, 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  268. Published

    Faults Analysis in Distributed Systems: Quantitative Estimation of Reliability and Resource Requirements. / Sellberg, Chrtistian; Hansen, Michael Reichhardt; Fischer, Paul.

    Third International Conference on Software and Data Technologies. Vol. Software Engineering Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 45-52.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  269. Published

    Formal Verification of Design Properties of Hardware Architectures.. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.

    2008. Poster session presented at 2008 Design, Automation and Test in Europe, Munich, Germany.

    Publication: Research - peer-reviewPoster – Annual report year: 2008

  270. Published

    From policies to aspects in KLAIM. / Herbert, Luke Thomas; Egilsson, Einar.

    Proceedings of The 13. Nordic Workshop on Secure IT Systems: NordSec 2008. 13. ed. Kgs. Lyngby : Technical University of Denmark, 2008. p. 39-53.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  271. Published

    Generation of ERP systems from REA specifications.. / Schultz-Møller, Nicholas; Hølmer, Christian; Hansen, Michael Reichhardt.

    Third International Conference on Software and Data Technologies. Vol. Information Systems and Data Management Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 12-19.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  272. Published

    Models and formal verification of multiprocessor system-on-chips. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.

    In: Journal of Logic and Algebraic Programming, Vol. 77, No. 1-2, 2008, p. 1-19.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  273. Published

    MT-ADRES: multi-threading on coarse-grained reconfigurable architecture. / Wu, Kehuai; Kanstein, Andreas; Madsen, Jan; Berekovic, Mladen.

    In: International Journal of Electronics, Vol. 95, No. 7, 2008, p. 761-776.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  274. Published

    Network Traffic Generator Model for Fast Network-on-Chip Simulation. / Mahadevan, Shankar; Ang, Frederico; Olsen, Rasmus G.; Sparsø, Jens; Madsen, Jan.

    Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. ed. / Rudy Lauwereins; Jan Madsen. Springer, 2008. p. 173-184.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  275. Published

    NORCHIP. / Vesterbacka, M.; Madsen, Jan.

    In: IET Computers and Digital Techniques, Vol. 2, No. 4, 2008, p. 251-252.

    Publication: Research - peer-reviewJournal article – Annual report year: 2008

  276. Published

    Parallelism and Scalability in an Image Processing Application. / Rasmussen, Morten Sleth; Stuart, Matthias Bo; Karlsson, Sven.

    OpenMP in New Era of Parallelism. Vol. 5004 Springer Berlin / Heidelberg, 2008. p. 158-169 (Lecture Notes in Computer Science, Vol. 5004).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  277. Published

    Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP. / Maftei, Elena; Pop, Paul; Madsen, Jan; Stidsen, Thomas K.

    Proceedings of the International Conference on Very Large Scale Integration. IEEE, 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  278. Published

    Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    Design, Automation, and Test in Europe Conference. Munich, 2008. p. 915-920.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  279. Published

    Synthesis of Fault-Tolerant Embedded Systems. / Eles, Petru; Izosimov, Viacheslav; Pop, Paul; Peng, Zebo.

    Design, Automation, and Test in Europe Conference. 2008. p. 1117-1122.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  280. Published

    Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    11th Euromicro Conference on Digital System Design. IEEE, 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  281. Published

    Synthesis of Reliable Digital Microfluidic Biochips using Monte Carlo Simulation. / Maftei, Elena; Pop, Paul; Popentiu Vladicescu, Florin.

    Annual conference of the European Safety and Reliability Association. 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  282. Published

    System-level verification of multi-core embedded systems using timed automata. / Madsen, Jan; Hansen, Michael Reichhardt; Knudsen, Kristian S.; Nielsen, Jens E.; Brekling, Aske Wiid.

    17th World Congress International Federation of Automatic Control. International Federation of Automatic Control, 2008. p. 9302-9307.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  283. Published

    Towards Traceability in Descriptive Software Models. / Larsen, Per; Hansen, Michael Reichhardt; Madsen, Jan.

    Nordic Workshop and Doctoral Symposium on Dependability and Security. Department of Computer Science, Tallinn Technical University, 2008. p. 63-72.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  284. Published

    Towards Understanding and Managing the Dynamic Behavior of Run-Time Reconfigurable Architectures. / Wu, Kehuai; Hansen, Esben Rosenlund; Madsen, Jan.

    Engineering of Reconfigurable Systems and Algorithms. CSREA Press, 2008. p. 97-102.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  285. 2007
  286. Published

    A Constraint Logic Programming Framework for the Synthesis of Fault-Tolerant Schedules for Distributed Embedded Systems. / Poulsen, Kåre Harbo; Pop, Paul; Izosimov, Viacheslav.

    Work in Progress Proceedings of 12th IEEE Conference on Emerging Technologies and Factory Automation. Patras : IEEE, 2007. p. 756-759.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  287. Published

    Bus Access Optimisation for FlexRay-based Distributed Embedded Systems. / Pop, Traian (Invited author); Pop, Paul (Invited author); Eles, Petru (Invited author); Peng, Zebo (Invited author).

    Design, Automation & Test in Europe Conference & Exhibition, 2007. DATE '07. IEEE, 2007. p. 51-62.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  288. Published

    Computational mouse atlases and their application to automatic assessment of craniofacial dysmorphology caused by the Crouzon mutation Fgfr2. / Ólafsdóttir, Hildur; Darvann, Tron Andre; Hermann, Nuno V.; Oubel, Estanislao; Ersbøll, Bjarne Kjær; Frangi, Alejandro F.; Larsen, Per; Perlyn, Chad A.; Morriss-Kay, Gillian M.; Kreiborg, Sven.

    In: Journal of Anatomy, Vol. 211, No. 1, 2007, p. 37-52.

    Publication: Research - peer-reviewJournal article – Annual report year: 2007

  289. Published

    Energy-Aware Synthesis of Fault-Tolerant Schedules for Real-Time Distributed Embedded Systems. / Poulsen, Kåre Harbo; Pop, Paul; Izosimov, Viacheslav.

    Work-In-Progress Proceedings of 19th Euromicro Conference on Real-Time Systems. 2007. p. 21-24.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  290. Published

    If Fomal Analysis is the Answer – What was the Question?. / Madsen, Jan (Author).

    2007. 7th International Forum on Application-Specific Multi-Processor System-on-Chips, Awaji Island, Japan, 25/06/07.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2007

  291. Published

    Scheduling and Voltage Scaling for Energy/Reliability Trade-offs in Fault-Tolerant Time-Triggered Embedded Systems. / Pop, Paul; Poulsen, Kåre Harbo; Izosimov, Viacheslav; Eles, Petru.

    Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis. Association for Computing Machinery, 2007. p. 233-238.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  292. 2006
  293. Published
  294. Published

    Analysis and optimisation of heterogeneous real-time embedded systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    System On Chip: Next Generation Electronics. Institution of Engineering and Technology, 2006. p. 130-147.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2006

  295. Published

    Analysis and Optimization of Distributed Real-Time Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo; Pop, Traian.

    In: ACM Transactions on Design Automation of Electronic Systems, Vol. 11, No. 3, 2006, p. 593-625.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

  296. Published

    Automatic Assessment of Global Craniofacial Differences between Crouzon mice and Wild-type mice in terms of the Cephalic Index. / Ólafsdóttir, Hildur; Oubel, Estanislao; Frangi, Alejandro F.; Darvann, Tron Andre; Hermann, Nuno V.; Kreiborg, Sven; Larsen, Per; Ersbøll, Bjarne Kjær; Perlyn, Chad A.; Morriss-Kay, Gillian.

    MICCAI 2006 workshop: Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment. 2006. p. 49-57.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  297. Published

    Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications. / Pop, Paul; Eles, Petru; Peng, Zebo.

    ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006. 2006.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2006

  298. Published

    Evolving MPSoC Solutions. / Madsen, Jan (Author).

    2006. 6th International Symposium on Multiprocessor Systems-on-Chips, Estes Park, CO, United States, 14/08/06.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2006

  299. Published

    Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    Euromicro Conference on Digital System Design. Dubrovnik, 2006. p. 312-322.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  300. Published

    Morphware - Fremtidens Embedded System Platform. / Madsen, Jan (Invited author).

    Elektronik-06. 2006.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  301. Published

    Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006. 2006.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2006

  302. Published

    Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    International Workshop on Electronic Design, Test & Applications. 2006. p. 440-447.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  303. Published

    Synthesis of Fault-Tolerant Schedules with Transparency/Performance Trade-offs for Distributed Embedded Systems. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

    Design Automation and Test in Europe Conference. Vol. 1 2006. p. 1-6.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  304. Published

    Timing Analysis of the FlexRay Communication Protocol. / Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo.

    Euromicro Conference on Real-Time Systems. 2006. p. 203-213.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  305. 2005
  306. Published

    Analysis and optimisation of heterogeneous real-time embedded systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: IEE Proceedings - Computers and digital Techniques, Vol. 152, No. 2, 03.2005, p. 130-147.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  307. Published

    Automotive Industry. / Pop, Paul; Ernst, Rolf; Eles, Petru; Peng, Zebo.

    Embedded Systems Design: The ARTIST Roadmap for Research and Development. Vol. 3436 2005.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2005

  308. Published

    Behavioral synthesis of asynchronous circuits. / Nielsen, Sune Fallgaard; Sparsø, Jens (Supervisor); Madsen, Jan (Supervisor).

    2005. (IMM-PHD-2005-144).

    Publication: ResearchPh.D. thesis – Annual report year: 2005

  309. Published

    Distributed Embedded Real-Time Systems: Analysis and Exploration. / Pop, Paul; Eles, Petru; Peng, Zebo.

    Embedded Systems Design: The ARTIST Roadmap for Research and Development. Vol. 3436 2005.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2005

  310. Published

    Embedded Systems Design: Optimization Challenges. / Pop, Paul (Invited author).

    Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2005. Vol. Lecture notes in computer science, volume 3524 Springer, 2005.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2005

  311. Published

    Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. / Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo.

    International Conference on Embedded and Real-Time Computing Systems and Applications. 2005. p. 67-71.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2005

  312. Published

    Three-dimensional analysis of mandibular growth and tooth eruption. / Krarup, S.; Darvann, Tron Andre; Larsen, Per; Marsh, J.L.; Kreiborg, S.

    In: Journal of Anatomy, Vol. 207, No. 5, 2005, p. 669-682.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  313. 2004
  314. Published

    Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. / Pop, Paul.

    Second EDAA Ph.D. Forum, Design Automation and Test in Europe Conference. 2004.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2004

  315. Published

    Analysis and Synthesis of Distributed Real-Time Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    22 ed. Kluwer Academic Publishers, 2004. 326 p.

    Publication: Research - peer-reviewBook – Annual report year: 2004

  316. Published

    Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Real-Time Systems, Vol. 26, No. 3, 2004, p. 297-325.

    Publication: Research - peer-reviewJournal article – Annual report year: 2004

  317. Published

    Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    2004. Abstract from 16th Euromicro Conference on Real-Time Systems, Catania, Italy.

    Publication: Research - peer-reviewConference abstract for conference – Annual report year: 2004

  318. Published

    Scheduling and Mapping in an Incremental Design Methodology for Distributed Real-Time Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo; Pop, Traian.

    In: IEEE Transactions on VLSI Systems, Vol. 12, No. 8, 2004, p. 793-811.

    Publication: Research - peer-reviewJournal article – Annual report year: 2004

  319. 2003
  320. Published

    Low power digital signal processing. / Paker, Ozgun; Sparsø, Jens (Supervisor).

    2003.

    Publication: ResearchPh.D. thesis – Annual report year: 2003

  321. Published

    An Improved Scheduling Technique for Time-Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: SNART'99 Real-Time Systems Conference, 2003.

    Publication: Research - peer-reviewConference article – Annual report year: 1999

  322. Published

    Incremental Mapping and Scheduling for Distributed Heterogeneous Real-Time Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Real-Time in Sweden, August 18-19, 2003, Västerås, Sweden, 2003.

    Publication: Research - peer-reviewConference article – Annual report year: 2003

  323. Published

    Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: IEE Proceedings - Computers and digital Techniques, Vol. 150, No. 5, 2003, p. 303-312.

    Publication: Research - peer-reviewConference article – Annual report year: 2003

  324. Published

    Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    2003 Design, Automation and Test in Europe Conference and Exhibition. 6. ed. 2003. p. 184-189.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

  325. Published

    Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Acm Sigplan Notices, Vol. 38, No. 7, 2003, p. 113-122.

    Publication: Research - peer-reviewConference article – Annual report year: 2003

  326. Published

    Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    2003. Abstract from Association-for-Computing-Machinery SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03), San Diego, (CA), United States.

    Publication: Research - peer-reviewConference abstract for conference – Annual report year: 2003

  327. 2002
  328. Published
  329. Published

    A heterogeneous multi-core platform for low power signal processing in systems-on-chip. / Paker, Ozgun; Sparsø, Jens; Haandbæk, Niels; Isager, Mogens; Nielsen, Lars Skovby.

    Proceedings of the 28th European Solid-State Circuits Conference, 2002. ESSCIRC 2002.. IEEE Press, 2002.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

  330. Published

    A Heterogenous Multi-Core Platform for Low Power Signal Processing. / Paker, Ozgun; Sparsø, Jens.

    Proceedings of the IEEE Workshop "Heterogeneous reconfigurable Systems on Chip". ed. / H. Blume. RWTH Aachen, 2002.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

  331. Published

    Comparing Web Applications with Desktop Applications: An Empirical Study. / Pop, Paul.

    2002.

    Publication: Research - peer-reviewReport – Annual report year: 2002

  332. Published

    Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    International Conference on Real-Time Computing Systems and Applications. 2002. (International Conference on Real-Time Computing Systems and Applications).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

  333. Published

    Scheduling, Mapping and Communication Synthesis for Distributed Real-Time Systems. / Pop, Paul.

    ACM SIGDA PhD Forum at the Design Automation Conference. 2002.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

  334. 2001
  335. Published

    An Approach to Incremental Design of Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Pop, Traian; Peng, Zebo.

    In: A C M / I E E E Design Automation Conference. Proceedings, 2001, p. 450-455.

    Publication: Research - peer-reviewConference article – Annual report year: 2001

  336. Published

    Minimizing System Modification in an Incremental Design Approach. / Pop, Paul; Eles, Petru; Pop, Traian; Peng, Zebo.

    Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571). Copenhagen, Denmark, 2001. p. 183-188.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2001

  337. Published

    The 13th Nordic Workshop on Programming Theory. / Hansen, Michael Reichhardt (Editor).

    Technical University of Denmark, DTU Informatics, Building 321, 2001.

    Publication: ResearchReport – Annual report year: 2001

  338. 2000
  339. Published

    Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. / Pop, Paul; Eles, Petru; Peng, Zebo.

    Proceedings of the Design, Automation and Test in Europe Conference and Exhibition 2000. IEEE, 2000. p. 567-574.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

  340. Published

    Schedulability analysis for systems with data and control dependencies. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Euromicro Conference on Real-Time Systems. Proceedings, 2000, p. 201-208.

    Publication: Research - peer-reviewConference article – Annual report year: 2000

  341. Published

    Scheduling and Communication Synthesis for Distributed Real-Time Systems. / Pop, Paul.

    2000.

    Publication: ResearchPh.D. thesis – Annual report year: 2000

  342. Published

    Scheduling with Bus Access Optimization for Distributed Embedded Systems. / Eles, Petru; Doboli, Alex; Pop, Paul; Peng, Zebo.

    In: IEEE Transactions on VLSI Systems, Vol. 8, No. 5, 2000, p. 472-491.

    Publication: Research - peer-reviewJournal article – Annual report year: 2000

  343. 1999
  344. Published

    An Improved Scheduling Technique for Time-Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Euromicro Conference. Proceedings, Vol. 1, 1999, p. 303-310.

    Publication: Research - peer-reviewConference article – Annual report year: 1999

  345. Published

    Communication Scheduling for Time-Triggered Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    In: Euromicro Conference on Real-Time Systems. Proceedings, 1999.

    Publication: Research - peer-reviewConference article – Annual report year: 1999

  346. Published

    Proceedings of PATMOS'99 : 9th Int. Workshop on Power and Timing Modeling, Optimization and Simulation. / Sparsø, Jens (Editor); Soudris, Dimitrios (Editor).

    Democritus University of Thrace, Greece, 1999. 398 p.

    Publication: Research - peer-reviewBook – Annual report year: 1999

  347. Published

    Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, 1999. RTCSA '99 . 1999. p. 287-294.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1999

  348. Published

    Scheduling with Optimized Communication for Time-Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    Hardware/Software Codesign, 1999. (CODES '99) Proceedings of the Seventh International Workshop on . 1999. p. 178-182 (Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450)).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1999

  349. 1998
  350. Published

    Scheduling Driven Partitioning of Heterogeneous Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

    Swedish Workshop on Computer Systems Architecture. 1998. p. 99-102.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1998

  351. Published

    Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. / Eles, Petru; Kuchcinski, Krzysztof; Peng, Zebo; Pop, Paul; Doboli, Alex.

    Proceedings of the conference on Design, automation and test in Europe: The Most Influential Papers of 10 Years DATE. Springer, 1998. p. 132-138.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1998

  352. 1996
  353. Published

    A Timed Semantics for SDL. / Mørk, Simon; Godskesen, Jens Christian; Hansen, Michael Reichhardt; Sharp, Robin.

    Formal Description Techniques IX, Theory, application and tools. London : Chapman & Hall, 1996. p. 295-309.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1996

  354. 1994
  355. Published

    ACiD-WG workshop on asynchronous low-power VLSI. / Sparsø, Jens (Editor); Staunstrup, Jørgen (Editor); Josephs, Mark (Editor).

    1994. (Uden navn; No. ID-TR:1994-140).

    Publication: Research - peer-reviewReport – Annual report year: 1994

  356. 1992
  357. Published

    Design and development of a very high speed Reed-Solomon encoder/decoder chip set: Requirement analysis.. / Bauduin, F.; Klootsema, R.; Rievers, S.; Dijkstra, E. D.; Paaske, E.; Justesen, J.; Larsen, K.; Sparsø, Jens; Pedersen, S.

    1992. 126 p. (ESA/ESOC project no. 13.501 / CSEM Technical Report no. 496.I).

    Publication: Research - peer-reviewReport – Annual report year: 1992

  358. Published

    Semantics and Completeness of Duration Calculus. / Hansen, Michael Reichhardt; Chaochen, Zhou; W. de Bakker, J. (Editor); Rozenberg, G. (Editor); Roever, P. de (Editor); Huizing, C. (Editor).

    Real-Time: Theory in Practice, REX Workshop. Springer-Verlag, 1992. p. 209-225.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1992

  359. 1991
  360. Published

    Delay estimation for CMOS functional cells. / Madsen, Jan.

    Proceedings of the 2nd European Design Automation Conference. IEEE, 1991.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1991

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word