Embedded Systems Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Research › Journal article
- Published
Energy-minimum sub-threshold self-timed circuits using current-sensing completion detection. / Akgun, O. C.; Rodrigues, J. N.; Sparsø, Jens.
In: I E T Computers and Digital Techniques, Vol. 5, No. 4, 2011, p. 342-353.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Elimination of Parallel Copies using Code Motion on Data Dependence Graphs. / Brandner, Florian; Colombet, Quentin.
In: Computer Languages, Systems and Structures, Vol. 39, No. 1, 2012, p. 25–47.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Models and formal verification of multiprocessor system-on-chips. / Brekling, Aske Wiid; Hansen, Michael Reichhardt; Madsen, Jan.
In: Journal of Logic and Algebraic Programming, Vol. 77, No. 1-2, 2008, p. 1-19.Publication: Research - peer-review › Journal article – Annual report year: 2008
- Published
Extending Security-by-Contract with Quantitative Trust on Mobile Devices. / Costa, Gabriele; Lazouski, Aliaksandr; Martinelli, Fabio; Matteucci, Ilaria; Issarny, Valerie; Saadi, Rachid; Dragoni, Nicola; Massacci, Fabio.
In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), Vol. 1, No. 4, 2010, p. 75-91.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
3D analysis of facial asymmetry in subjects with juvenile idiopathic arthritis. / Demant, Sune; Hermann, Nuno V.; Darvann, Tron Andre; Zak, Marek; Schatz, Helena; Larsen, Per; Kreiborg, Sven.
In: Rheumatology, Vol. 50, No. 3, 2011, p. 586-592.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Declarative Specification of Fault Tolerant Auction Protocols: The English Auction Case Study. / Dragoni, Nicola; Gaspari, Mauro.
In: Computational Intelligence, Vol. 28, No. 4, 2012, p. 617-641.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Security-By-Contract (SxC) for Mobile Systems. / Dragoni, Nicola; Massacci, Fabio.
In: Telektronikk Journal, Vol. 1, 2009, p. 107-116.Publication: Research - peer-review › Journal article – Annual report year: 2009
- Published
What the heck is this application doing? - A security-by-contract architecture for pervasive services. / Dragoni, Nicola; Massacci, Fabio; Walter, Thomas; Schaefer, Christian.
In: Computers & Security, Vol. 28, No. 7, 2009, p. 566-577.Publication: Research - peer-review › Journal article – Annual report year: 2009
- Published
Scheduling with Bus Access Optimization for Distributed Embedded Systems. / Eles, Petru; Doboli, Alex; Pop, Paul; Peng, Zebo.
In: IEEE Transactions on VLSI Systems, Vol. 8, No. 5, 2000, p. 472-491.Publication: Research - peer-review › Journal article – Annual report year: 2000
- Published
Handover Incentives for Self-Interested WLANs with Overlapping Coverage. / Fafoutis, Xenofon; Siris, Vasilios A.
In: I E E E Transactions on Mobile Computing, Vol. 11, No. 12, 2012, p. 2033-2046.Publication: Research - peer-review › Journal article – Annual report year: 2012