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

In: Multidisciplinary Research and Practice for Information Systems. ed. / Gerald Quirchmayr; Josef Basl; Ilsun You; Lida Xu; Edgar Weippl. Springer Verlag, 2012. p. 624-638 (Lecture Notes in Computer Science, Vol. 7465).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 2012 NORCHIP. IEEE, 2012.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 2012 NORCHIP. IEEE, 2012.

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012

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

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

Publication: Research › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 2012 NORCHIP. IEEE, 2012.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Hardware Support for Embedded Java. / Schoeberl, Martin.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Is Time Predictability Quantifiable?. / Schoeberl, Martin.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 2012 NORCHIP. IEEE, 2012.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: First MEDIAN Workshop 2012. 2012.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

SC²: 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.

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011 Madrid, Spain, February 9-10, 2011 Proceedings. Springer, 2011. p. 234-247 (Lecture Notes in Computer Science, Vol. 6542).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Book chapter – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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).

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: Proceedings of NORCHIP 2011. IEEE, 2011.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: Proceedings of IEEE Aerospace Conference. IEEE, 2011.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

SC²: 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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: Proceedings of NORCHIP 2011. 2011.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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).

In: Trust Management V. Springer, 2011.

Publication: Research › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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).

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

Publication: Research › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: 4th Nordic Workshop on Dependability and Security (NODES 2010). DTU, 2010.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: Technical Report on NODES10 Proceedings. 2010.

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Low Power Hardware Platforms. / Nannarelli, Alberto.

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

Publication: Research › Book chapter – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research › Book chapter – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: 4th Nordic Workshop on Dependability and Security (NODES 2010). DTU Informatcs, 2010.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: Technical Report on NODES10 Proceedings. 2010.

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2009

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

In: 2009 Workshop on New Directions in Computer Architecture. 2009.

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: 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-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: 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-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: Proceedings of 10th ICCC. 2009.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: Workshop on Programming Models for Emerging Architectures. 2009.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: 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-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Duration Calculus. / Hansen, Michael Reichhardt.

In: 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-review › Book chapter – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Book chapter – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Article in proceedings – Annual report year: 2008

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

In: 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-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. / Eles, Petru; Kuchcinski, Krzysztof; Peng, Zebo; Doboli, Alexa; Pop, Paul.

In: Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. Springer, 2008. p. 132-138.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

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).

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

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.

In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis. Association for Computing Machinery, 2007. p. 233-238.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Analysis and optimisation of heterogeneous real-time embedded systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: System On Chip: Next Generation Electronics. Institution of Engineering and Technology, 2006. p. 130-147.

Publication: Research - peer-review › Book chapter – Annual report year: 2006

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.

In: MICCAI 2006 workshop: Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment. 2006. p. 49-57.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006. 2006.

Publication: Research - peer-review › Book chapter – Annual report year: 2006

Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

In: Euromicro Conference on Digital System Design. Dubrovnik, 2006. p. 312-322.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Morphware - Fremtidens Embedded System Platform. / Madsen, Jan (Invited author).

In: Elektronik-06. 2006.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006. 2006.

Publication: Research - peer-review › Book chapter – Annual report year: 2006

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

In: International Workshop on Electronic Design, Test & Applications. 2006. p. 440-447.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Synthesis of Fault-Tolerant Schedules with Transparency/Performance Trade-offs for Distributed Embedded Systems. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.

In: Design Automation and Test in Europe Conference. Vol. 1 2006. p. 1-6.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Timing Analysis of the FlexRay Communication Protocol. / Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo.

In: Euromicro Conference on Real-Time Systems. 2006. p. 203-213.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

Automotive Industry. / Pop, Paul; Ernst, Rolf; Eles, Petru; Peng, Zebo.

In: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Vol. 3436 2005.

Publication: Research - peer-review › Book chapter – Annual report year: 2005

Distributed Embedded Real-Time Systems: Analysis and Exploration. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Vol. 3436 2005.

Publication: Research - peer-review › Book chapter – Annual report year: 2005

Embedded Systems Design: Optimization Challenges. / Pop, Paul (Invited author).

In: 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-review › Article in proceedings – Annual report year: 2005

Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. / Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo.

In: International Conference on Embedded and Real-Time Computing Systems and Applications. 2005. p. 67-71.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2005

Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. / Pop, Paul.

In: Second EDAA Ph.D. Forum, Design Automation and Test in Europe Conference. 2004.

Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2004

Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: 2003 Design, Automation and Test in Europe Conference and Exhibition. 6. ed. 2003. p. 184-189.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

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.

In: Proceedings of the 28th European Solid-State Circuits Conference, 2002. ESSCIRC 2002.. IEEE Press, 2002.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2002

A Heterogenous Multi-Core Platform for Low Power Signal Processing. / Paker, Ozgun; Sparsø, Jens.

In: Proceedings of the IEEE Workshop "Heterogeneous reconfigurable Systems on Chip". ed. / H. Blume. RWTH Aachen, 2002.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2002

Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: International Conference on Real-Time Computing Systems and Applications. 2002. (International Conference on Real-Time Computing Systems and Applications).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2002

Minimizing System Modification in an Incremental Design Approach. / Pop, Paul; Eles, Petru; Pop, Traian; Peng, Zebo.

In: Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571). Copenhagen, Denmark, 2001. p. 183-188.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2001

Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. / Pop, Paul; Eles, Petru; Peng, Zebo.

In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition 2000. IEEE, 2000. p. 567-574.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2000

Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. / Eles, Petru; Kuchcinski, Krzysztof; Peng, Zebo; Doboli, Alex; Pop, Paul.

In: Proceedings of the conference on Design, automation and test in Europe. Le Palais des Congrés de Paris, France, 1998.

Publication: Research - peer-review › Article in proceedings – Annual report year: 1998

A Timed Semantics for SDL. / Mørk, Simon; Godskesen, Jens Christian; Hansen, Michael Reichhardt; Sharp, Robin.

In: Formal Description Techniques IX, Theory, application and tools. London : Chapman & Hall, 1996. p. 295-309.

Publication: Research - peer-review › Article in proceedings – Annual report year: 1996

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).

In: Real-Time: Theory in Practice, REX Workshop. Springer-Verlag, 1992. p. 209-225.

Publication: Research - peer-review › Article in proceedings – Annual report year: 1992

Delay estimation for CMOS functional cells. / Madsen, Jan.

In: Proceedings of the 2nd European Design Automation Conference. IEEE, 1991.

Publication: Research - peer-review › Article in proceedings – Annual report year: 1991