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. (Midwest Symposium on Circuits and Systems. Conference Proceedings).

    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

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word