Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

J. Blieberger, B. Burgstaller: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
Reliable Software Technologies - Ada-Europe, Paris, France; in: Proceedings of Ada-Europe 2014, 2014, ISBN: 978-3-319-08310-0, p. 27 - 42
bib details

P. Puschner (invited): Constructing Time-Critical Embedded Systems: Decide Before Runtime
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 3
bib details

P. Puschner (invited): Embedded Systems for Safety-Critical and Mixed-Criticality Applications
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 15
bib details

M. Meisel, G. Kienesberger, M. Jung, T. Hofer, M. Berger (invited): Smart Web Grid - Eine universelle Informationsdrehscheibe für Smart Grids
Smart Grids Week - Salzburg 2013, Salzburg; in: Proceedings der Smart Grids Week 2013, 2013; 1 pages
bib details pdf

F. Versaci: OutFlank Routing: Increasing Throughput in Toroidal Interconnection Networks
19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea; in: Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, IEEE Computer Society, 2013, ISBN: 978-1-4799-2081-5, p. 216 - 223
bib details doi

K. John, S. Taber, A. Ehringfeld: Proxy Authenticator - Approach of a Signature based Single Sign On Solution for e-Government Services
IFIP Electronic Government (EGOV) Conference 2013, Koblenz; in: Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of IFIP EGOV and IFIP ePart 2013, M. Wimmer et al. (ed.); Gi 2013 Lni, Koblenz (2013), ISBN: 978-3-88579-615-2, p. 262 - 263
bib details

O. Melnychenko, H.-P. Kreuter: Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification
21st Austrian Workshop on Microelectronics (Austrochip), Linz; in: Austrochip 2013. Tagungsband, 2013, p. 17 - 21
bib details pdf

O. Melnychenko, H.-P. Kreuter: A Metric Driven Verification and Validation Approach for Smart Power Devices
9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach; in: Conference Proceedings. 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), 2013, ISBN: 978-1-4673-4580-4, p. 289 - 292
bib details doi

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The T-CREST Approach of Compiler and WCET-Analysis Integration
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2013
bib details

C. Geyer, B. Huber, D. Prokesch, P. Puschner: Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details

K. Chatterjee, A. Kößler, U. Schmid: Automated Analysis of Real-Time Scheduling using Graph Games
ACM International Conference on Hybrid Systems: Computation and Control, Philadelphia, USA; in: Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13), ACM, 2013, p. 163 - 172
bib details

T. Polzer, A. Steininger: Digital Late-Transition Metastability Simulation Model
16th Euromicro Conference on Digital System Design (DSD 2013), Santander; in: Proceedings of the 16th Euromicro Conference on Digital System Design, 2013; 8 pages
bib details

T. Polzer, A. Steininger: SET Propagation in Micropipelines
23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), Karlsruhe; in: 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), 2013; 8 pages
bib details

T. Polzer, A. Steininger: Metastability Characterization for Muller C-Elements
23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), Karlsruhe; in: 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), 2013; 8 pages
bib details

T. Polzer, A. Steininger: An Approach for Efficient Metastability Characterization of FPGAs through the Designer
19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; in: 19th IEEE International Symposium on Asynchronous Circuits and Systems, 2013, ISSN: 1522-8681; 9 pages
bib details

B. Heinzl, M. Rößler, N. Popper, I. Leobner, K. Ponweiser, W. Kastner, F. Dür, F. Bleicher, F. Breitenecker: Interdisciplinary Strategies for Simulation-Based Optimization of Energy Efficiency in Production Facilities
Computer Modelling and Simulation (UKSim), Cambridge, United Kingdom; in: Computer Modelling and Simulation (UKSim), 2013, p. 304 - 309
bib details

I. Leobner, W. Kastner, I. Kovacic, B. Heinzl, M. Rößler, F. Dür, T. Flatz, K. Ponweiser, F. Bleicher: Interdisziplinäre Optimierungsstrategien zu Energieeffizienz in Produktionsbetrieben
8. Internationale Energiewirtschaftstagung, Wien; in: 8. Internationale Energiewirtschaftstagung an der TU Wien, 2013, p. 1 - 11
bib details

L. Krammer, S. De Bruyne, W. Kastner, W. Granzer: Security Erweiterung für den KNX Standard
innoSecure, Velbert. Heiligenhaus, Deutschland; in: innosecure 2013 - Kongress mit Ausstellung für Innovationen in den Sicherheitstechnologien, Velbert.Heiligenhaus, 25. - 26.09.2013, Tagungsband, VDE Verlag, Berlin Offenbach (2013), ISBN: 978-3-8007-3532-7, p. 31 - 39
bib details

W. Kastner (invited): Building Automation Systems Integration
20th Workshop on Intelligent Computing in Engineering, Wien; in: 20th Workshop on Intelligent Computing in Engineering, 2013, ISBN: 978-3-200-03145-6, p. 13
bib details

M. Jung, J. Weidinger, W. Kastner, A. Olivieri: Building Automation and Smart Cities: An Integration Approach Based on a Service-Oriented Architecture
IEEE Advanced Information Networking and Applications Workshops (WAINA), Barcelona; in: Advanced Information Networking and Applications Workshops (WAINA), 2013, p. 1361 - 1367
bib details

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 >   >>