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

M. Prischink, C. Kloimüllner, B. Biesinger, G. Raidl: Districting and Routing for Security Control
International Workshop on Hybrid Metaheuristics (HM), Plymouth, United Kingdom; in: Hybrid Metaheuristics - 10th International Workshop on Hybrid Metaheuristics, LNCS, 9668 (2016), ISBN: 978-3-319-39636-1, p. 87 - 103
bib details doi pdf

R. Mittermayr, J. Blieberger: Kronecker Algebra for Static Analysis of Barriers in Ada
Reliable Software Technologies - Ada-Europe, Pisa, Italy; in: Ada-Europe'2016 International Conference on Reliable Software Technologies, Springer-Verlag, 2016, p. 145 - 159
bib details

M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel: A holistic viewpoint-based SysML Profile to Design Systems-of-Systems
17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA; in: High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on, 2016, ISSN: 1530-2059, p. 276 - 283
bib details doi

M. Lindorfer, M. Neugschwandtner, Ch. Platzer: Marvin: Efficient and Comprehensive Mobile App Classification Through Static and Dynamic Analysis
Proceedings of the IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), IEEE, 2015, ISBN: 978-1-4673-6564-2, p. 422 - 433
bib details doi pdf

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Holl, W. Kastner, M. Vincze: Balancing Centralized Control with Vehicle Autonomy in AGV Systems
International Academy, Research and Industry Association (IARIA), Italien, Rom; in: Conference on Autonomic and Autonomous Systems (ICAS), Rom (2015), ISBN: 978-1-61208-405-3, p. 37 - 43
bib details

J. Schumann, P. Moosbrugger, K. Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; in: Proc. of RV 2015, the 6th International Conference on Runtime Verification, Springer, 9333 (2015), p. 233 - 249
bib details doi pdf

A. Murthy, A. Islam, S. Smolka, R. Grosu: Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: HSCC 2015, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 78 - 87
bib details doi

B. Heinzl, I. Hafner, P. Smolek, I. Leobner, G. Gourlis, M. Obermair, N. Popper, W. Kastner: Towards a Common Description of Interdisciplinary Aspects Relevant for Holistic Energy Analysis of Production Facilities
Workshop der ASIM/GI-Fachgruppen STS/GMMS, Fachhochschule Stralsund, Deutschland; in: Workshop der ASIM/GI-Fachgruppen STS/GMMS, 2015; 2 pages
bib details

M. Spiegel, F. Leimgruber, E. Widl, G. Gridling: On using FMI-based models in IEC 61499 control applications
Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Berlin, Germany; in: Modeling and Simulation of Cyber-Physical Energy Systems, 2015, p. 1 - 6
bib details doi

I. Leobner, P. Smolek, B. Heinzl, I. Kovacic, F. Dür, K. Ponweiser, W. Kastner: Balanced Manufacturing - a Methodology for Energy Efficient Production Plant operation
10th Conference on Sustainable Development of Energy, Water and Environment Systems, Dubrovnik, Croatia; in: Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems, 2015; 10 pages
bib details

P. Smolek, I. Leobner, B. Heinzl, G. Gourlis, K. Ponweiser: A Method for Real-Time Aggregation of a Product Footprint during Manufacturing
10th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES 2015), Dubrovnik, Kroatien; in: 10th Conference on Sustainable Development of Energy, Water and Environment Systems, 2015
bib details

S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner: The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

D. Prokesch, P. Puschner: A Strategy for Generating Time-Predictable Code
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

B. Cilku, D. Prokesch, P. Puschner: A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking
11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; in: Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015) Workshops, IEEE, 2015, ISBN: 978-1-4673-7709-6, p. 74 - 79
bib details doi

D. Prokesch, S Hepp, P. Puschner: A Generator for Time-Predictable Code
18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; in: Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), IEEE, 2015, ISBN: 978-1-4799-8781-8, p. 27 - 34
bib details doi

P. Spiesberger, F. Jungwirth, C. Wöss, S. Bachl, J. Harms, T. Grechenig: Woody: a location-based smartphone game to increase children's outdoor activities in urban environments
14th International Conference on Mobile and Ubiquitous Multimedia (MUM 2015), Linz; in: Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, ACM, New York, NY, USA, 2015, ISBN: 978-1-4503-3605-5, p. 368 - 372
bib details doi

R. Najvirt, A. Steininger: A Versatile and Reliable Glitch Filter for Clocks
25th International Workshop on Power and Timing Modeling, Optimization and Simulation, Salvador, Brasilien; in: 25th International Workshop on Power and Timing Modeling, Optimization and Simulation, 2015; 8 pages
bib details

V. S. Veeravalli, A. Steininger: Can we trust SET Injection Models?
MEDIAN Finale Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, Tallinn, Estonia; in: MEDIAN Finale Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, 2015; 6 pages
bib details

J. Lechner, A. Steininger, F. Huemer: Methods for Analysing and Improving the Fault Resilience of Delay-Insensitive Codes
33rd IEEE International Conference on Computer Design, New York City, USA; in: 33rd IEEE International Conference on Computer Design, 2015; 8 pages
bib details

R. Najvirt, A. Steininger: A Pausible Clock with Crystal Oscillator Accuracy
22nd European Conference on Circuit Theory and Design, Trondheium, Norwegen; in: 22nd European Conference on Circuit Theory and Design, 2015; 4 pages
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 >   >>