Scientific publications from the Embedded Systems Engineering Section

Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems

Tamas-Selicean, Domitian ; Pop, Paul

part of: 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) (ISBN: 978-1-4577-2005-5), 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE Pacific Rim International Symposium on Dependable Computing, Pasadena, California

DOI: 10.1109/PRDC.2011.42

Robust and flexible mapping for real-time distributed applications during the early design phases

Gan, Junhe ; Pop, Paul ; Gruian, Flavius ; Madsen, Jan

part of: DATE '12:Proceedings of the Conference on Design, Automation and Test in Europe (ISBN: 9781457721458), pages: 935-940, 2012, Association for Computing Machinery,

Type: Conference abstract in proceedings - Conference abstract in proceedings

Presented at: DATE 2012 - Design, Automation & Test in Europe Conference & Exhibition, Dresden

Guest Editor’s foreword

Hansen, Michael Reichhardt

in journal: Journal of Logic and Algebraic Programming (ISSN: 1567-8326) (DOI: http://dx.doi.org/10.1016/j.jlap.2012.03.010), vol: 81, issue: 4, pages: 355, 2012

Type: Editorial - Editorial

Presented at: 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby

DOI: 10.1016/j.jlap.2012.03.010

An Adaptable Authentication Model

Ahmed, Naveed ; Jensen, Christian D.

part of: Proceedings of International Symposium on Engineering Secure Software and Systems, February 9-10, 2011 Madrid, Spain, 2010, Springer LNCS,

Type: Article in proceedings - Article in proceedings

Presented at: International Symposium on Engineering Secure Software and Systems

Integration of the Reconfigurable Self-Healing eDNA Architecture in an Embedded System

Boesen, Michael Reibel ; Keymeulen, Didier ; Madsen, Jan ; Lu, Thomas ; Chao, Tien-Hsin

part of: Proceedings of IEEE Aerospace Conference (ISBN: 978-1-4244-7350-2), 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE Aerospace Conference, Big Sky, Montana, USA

DOI: 10.1109/AERO.2011.5747477

Synthesis of Digital Microfluidic Biochips with Reconfigurable Operation Execution

Maftei, Elena ; Pop, Paul ; Madsen, Jan

Type: Ph.d. thesis - Ph.d. thesis

Energy/Reliability Trade-offs in Fault-Tolerant Event-Triggered Distributed Embedded Systems

Gan, Junhe ; Gruian, Flavius ; Pop, Paul ; Madsen, Jan

part of: 16th Asia and South Pacific Design Automation Conference (ASP-DAC) (ISBN: 978-1-4244-7516-2), 2010, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 16th Asia and South Pacific Design Automation Conference (ASP-DAC)

DOI: 10.1109/ASPDAC.2011.5722283

Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems

Tamas-Selicean, Domitian ; Pop, Paul

part of: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) (ISBN: 978-1-4577-0303-4), 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Newport Beach, California, USA

DOI: 10.1109/ISORCW.2011.11

Energy-minimum sub-threshold self-timed circuits using current-sensing completion detection

Akgun, O. C. ; Rodrigues, J. N. ; Sparsø, Jens

in journal: I E T Computers and Digital Techniques (ISSN: 1751-8601) (DOI: http://dx.doi.org/10.1049/iet-cdt.2010.0118), vol: 5, issue: 4, pages: 342-353, 2011

Type: Journal article - Journal article

DOI: 10.1049/iet-cdt.2010.0118

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

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

Type: Article in proceedings - Article in proceedings

Presented at: International CDIO Conference, Lyngby, Denmark

DOI: 10.4122/1.1000054694

Comparing the Overhead of Lock-based and Lock-free Implementations of Priority Queues

Passas, Stavros ; Karlsson, Sven

part of: Proceedings of Forth Workshop on Programmability Issues for Heterogeneous Multicores, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: Programmability Issues for Heterogeneous Multicores, Heraklion, Crete

System Level Modelling and Performance Estimation of Embedded Systems

Tranberg-Hansen, Anders Sejer ; Madsen, Jan

Type: Ph.d. thesis - Ph.d. thesis

A Load Time Policy Checker for Open Multi-Application Smart Cards

Dragoni, Nicola ; Lostal, Eduardo ; Gadyatskaya, Olga ; Massacci, Fabio ; Paci, Federica

part of: 2011 IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY) (ISBN: 978-1-4244-9879-6), pages: 153-156, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy

DOI: 10.1109/POLICY.2011.40

Degrading Precision Arithmetics for Low-power FIR Implementation

Albicocco, Pietro ; Cardarilli, Gian Carlo ; Nannarelli, Alberto ; Petricca, Massimo ; Re, Marco

part of: 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS) (ISBN: 978-1-61284-856-3), 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE International Midwest Symposium on Circuits and Systems, Seoul, Korea

DOI: 10.1109/MWSCAS.2011.6026265

A Bio-Inspired Self-Healing Reconfigurable Hardware Architecture

Boesen, Michael Reibel ; Madsen, Jan ; Pop, Paul

Type: Ph.d. thesis - Ph.d. thesis

Cell Culture Microfluidic Biochips: Experimental Throughput Maximization

Minhass, Wajid Hassan ; Pop, Paul ; Madsen, Jan ; Hemmingsen, Mette ; Skafte-Pedersen, Peder ; Dufva, Martin

part of: 2011 5th International Conference on Bioinformatics and Biomedical Engineering, (iCBBE) (ISBN: 978-1-4244-5088-6), 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Bioinformatics and Biomedical Engineering, Wuhan, China

DOI: 10.1109/icbbe.2011.5779991

Analysis of Trust-Based Approaches for Web Service Selection

Dragoni, Nicola ; Miotto, Nicola

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

Type: Article in proceedings - Article in proceedings

Presented at: Nordic Workshop on Dependability and Security, Copenhagen, Denmark

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective

Mazzara, M. ; Abouzaid, F. ; Dragoni, Nicola ; Bhattacharyya, A.

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

Type: Article in proceedings - Article in proceedings

Presented at: International Workshop on Web Services and Formal Methods, Clermont-Ferrand, France

Lightweight MAC-Spoof Detection Exploiting Received Signal Power and Median Filtering

Papini, Davide

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

Type: Article in proceedings - Article in proceedings

Presented at: Nordic Workshop on Dependability and Security, Copenhagen, Denmark

WCET Tool Challenge 2011: Report

von Hanxleden, Reinhard ; Holsti, Niklas ; Lisper, Björn ; Ploedereder, Erhard ; Wilhelm, Reinhard ; 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

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

Type: Article in proceedings - Article in proceedings

Presented at: International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal

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

part of: Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011) (ISBN: 978-1-4503-0935-6), 2011, ACM,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on the Principles and Practice of Programming in Java, Kongens Lyngby, Denmark

Memory Management for Safety-Critical Java

Schoeberl, Martin

part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), 2011, ACM,

Type: Article in proceedings - Article in proceedings

Presented at: International Workshop on Java Technologies for Real-Time and Embedded Systems, York, England

DOI: 10.1145/2043910.2043919

Java Dust: How Small Can Embedded Java Be?

Caska, James ; Schoeberl, Martin

part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), pages: 125-129, 2011, ACM,

Type: Article in proceedings - Article in proceedings

Presented at: International Workshop on Java Technologies for Real-Time and Embedded Systems, York, England

DOI: 10.1145/2043910.2043931

Hardware Synchronization for Embedded Multi-Core Processors

Stoif, Christian ; Schoeberl, Martin ; Liccardi, Benito ; Haase, Jan

part of: Proceedings of the 2011 IEEE International Symposium on Circuits and Systems (ISCAS 2011) (ISBN: 9781424494736), pages: 2557-2560, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE International Symposium on Circuits and Systems (ISCAS 2011)

DOI: 10.1109/ISCAS.2011.5938126

A Time-predictable Object Cache

Schoeberl, Martin

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

Type: Article in proceedings - Article in proceedings

Presented at: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011)

DOI: 10.1109/ISORC.2011.22

System-Level Modeling and Synthesis of Flow-Based Microfluidic Biochips

Minhass, Wajid Hassan ; Pop, Paul ; Madsen, Jan

part of: 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) (ISBN: 978-1-4503-0713-0), pages: 225-233, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Compilers, Architectures and Synthesis for Embedded Systems, Taipei, Taiwan

DOI: 10.1145/2038698.2038733

On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic

Hansen, Michael Reichhardt ; Brekling, Aske Wiid

part of: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) (ISBN: 978-1-4577-1242-5), pages: 115-122, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: International Symposium on Temporal Representation and Reasoning, Lübeck, Germany

DOI: 10.1109/TIME.2011.26

Modelling of Energy Harvesting Aware Wireless Sensor Networks

Hansen, Michael Reichhardt ; Jakobsen, Mikkel Koefoed ; Madsen, Jan

part of: Sustainable Energy Harvesting Technologies - Past, Present and Future (ISBN: 978-953-307-438-2), 2011, Intech,

Type: Book chapter - Book chapter

Hardware Support for Dynamic Languages

Schleuniger, Pascal ; Karlsson, Sven ; Probst, Christian W.

part of: ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy

FPGA Based Acceleration of Decimal Operations

Nannarelli, Alberto

part of: Proceedings of 2011 International Conference on ReConFigurable Computing and FPGA's (ISBN: 978-0-7695-4551-6), pages: 146-151, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on ReConFigurable Computing and FPGA's, Cancun, Mexico

DOI: 10.1109/ReConFig.2011.39

Effcient Co-Simulation of Multicore Systems

Brock-Nannestad, Laust ; Passas, Stavros ; Karlsson, Sven

Type: Poster - Poster

Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden

Efficient Co-Simulation of Multicore Systems

Brock-Nannestad, Laust ; Karlsson, Sven

part of: Proceedings of the Fourth Swedish Workshop on Multicore Computing, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden

From functional programming to multicore parallelism: A case study based on Presburger Arithmetic

Dung, Phan Anh ; Hansen, Michael Reichhardt

part of: Proceedings of the 23rd Nordic Workshop Programming Theory, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: Nordic Workshop on Programming Theory, Västerås, Sweden

Towards quantitative evaluation of stochastic pharmacy workflows

Herbert, Luke Thomas ; Sharp, Robin

part of: Proceedings of the 23rd Nordic Workshop Programming Theory, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: Nordic Workshop on Programming Theory, Västerås, Sweden

Building a Reputation System for Wikipedia

Jensen, Christian D.

part of: New Forms of Collaborative Innovation and Production on the Internet (ISBN: 978-3-86395-020-0), pages: 89-112, 2011, Universitätsverlag Göttingen,

Type: Book chapter - Book chapter

Trust Management V

Wakeman, I. ; Gudes, E. ; Jensen, Christian D. ; Crampton, J.

part of: Trust Management V (ISBN: 978-3-642-22199-6), 2011, Springer,

Type: Book chapter - Book chapter

Development Tools

Pop, Paul ; Goller, A. ; Pop, T. ; Eles, P.

part of: Time-Triggered Communication (ISBN: 978-1439846612), pages: 363-522, 2011, CRC Press,

Type: Book chapter - Book chapter

Design of Fault Tolerant Network Interfaces for NoCs

Fiorin, Leandro ; Micconi, Laura ; Sami, Mariagiovanna

part of: 2011 14th Euromicro Conference on Digital System Design (DSD) (ISBN: 978-1-4577-1048-3), pages: 393-400, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: Euromicro Conference on Digital System Design, Oulu, Finland

DOI: 10.1109/DSD.2011.54

Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures

Tamas-Selicean, Domitian ; Pop, Paul

part of: 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) (ISBN: 978-1-4577-2000-0), pages: 24-33, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: IEEE Real-Time Systems Symposium, Vienna, Austria

DOI: 10.1109/RTSS.2011.11

Worst-case execution time analysis driven object cache design

Huber, Benedikt ; Puffitsch, Wolfgang ; Schoeberl, Martin

in journal: Concurrency and Computation: Practice & Experience (ISSN: 1532-0626) (DOI: http://dx.doi.org/10.1002/cpe.1763), 2011

Type: Journal article - Journal article

DOI: 10.1002/cpe.1763

Biologically inspired hardware cell architecture

Boesen, Michael Reibel ; Madsen, Jan

Type: Patent - Patent

FPGA Implementation of Decimal Processors for Hardware Acceleration

Borup, Nicolas ; Dindorp, Jonas ; Nannarelli, Alberto

part of: Proceedings of NORCHIP 2011 (ISBN: 978-1-4577-0514-4), 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: NORCHIP : The Nordic Microelectronics event, Lund, Sweden

DOI: 10.1109/NORCHP.2011.6126729

Object Cache Evaluation

Schoeberl, Martin ; Binder, Walter ; Villazon, Alex

Type: Report - Report

Synthesis of biochemical applications on digital microfluidic biochips with operation variability

Alistar, Mirela ; Maftei, Elena ; Pop, Paul ; Madsen, Jan

part of: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (ISBN: 978-1-4244-6636-8), pages: 350-357, 2010, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS

Definition of Entity Authentication

Ahmed, Naveed ; Jensen, Christian D.

part of: Proceedings of 2nd International Workshop on Security and Communication Networks (IWSCN), 2010 (ISBN: 978-1-4244-6938-3), 2010, IEEE Xplore,

Type: Article in proceedings - Article in proceedings

Presented at: 2nd International Workshop on Security and Communication Networks, Karlstad

DOI: 10.1109/IWSCN.2010.5498000

Cyclic executive for safety-critical Java on chip-multiprocessors

Ravn, Anders P. ; Schoeberl, Martin

part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 63-69, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)

DOI: 10.1145/1850771.1850779

Exhaustive testing of safety critical Java

Kalibera, Tomas ; Parizek, Pavel ; Malohlava, Michal ; Schoeberl, Martin

part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 164-174, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)

DOI: 10.1145/1850771.1850794

The embedded Java benchmark suite JemBench

Schoeberl, Martin ; Preusser, Thomas B. ; Uhrig, Sascha

part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 120-127, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010)

DOI: 10.1145/1850771.1850789

JEOPARD Deliverable D2.6 - JOP Scalability Report

Puffitsch, Wolfgang ; Schoeberl, Martin ; Huber, Bendikt

Type: Report - Report

Design of QoS-aware Provisioning Systems

Mazzucco, Michele ; Mazzara, Manuel ; Dragoni, Nicola

part of: 4th Nordic Workshop on Dependability and Security (NODES 2010), 2010, DTU,

Type: Article in proceedings - Article in proceedings

Presented at: 4th Nordic Workshop on Dependability and Security (NODES 2010), Copenhagen, Denmark