Embedded Systems Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Published
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
- Published
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
- Published
Structured Intuition: A Methodology to Analyse Entity Authentication. / Ahmed, Naveed; Jensen, Christian D. (Supervisor).
Kgs. Lyngby : Technical University of Denmark, 2012. 191 p. (IMM-PHD-2012; No. 276).Publication: Research › Ph.d. thesis – Annual report year: 2012
- Published
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
- Published
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
- Published
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
- Published
Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift). / Biselli, L.; Dragoni, Nicola; Goldoni, E.; Greco, P. P.; Marraa, A.; Mazzara, M.; Papageorgiou, G.
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
- 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
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
- Published
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