Publications

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

Currently viewing all publications chronologically - back to overwiew...

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions Using SysML
Languages, Design Methods, and Tools for Electronic System Design, Springer International Publishing, Lecture Notes in Electrical Engineering 361 (2016), ISBN: 978-3-319-24457-0, p. 57 - 81
bib details doi

I. Leobner: Modeling of Energy Systems for Complex Simulations (PhD Thesis)
reviewers: K. Ponweiser, W. Kastner; E302 - Institut für Energietechnik und Thermodynamik, 2016; oral examination: 2016-01-26
bib details pdf

S. Hunold (invited): Clock Synchronization Algorithms and SimGrid
SimGrid User Days, CNRS center Villa Clythia, Fréjus, France
bib details

J. Träff (invited): Effective MPI Programming: Concepts, Advanced Features, Do's and Don'ts
Vienna Scientific Cluster: VSC School Seminar, TU Wien, Vienna, Austria
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

P. Domingues, P. Carreira, R. Vieira, W. Kastner: Building automation systems: Concepts and technology review
Computer Standards & Interfaces, 45 (2016), p. 1 - 12
bib details doi

E. Bartocci, P. Lio: Computational modeling, formal analysis and tools for systems biology
PLoS Computational Biology, 12 (2016), p. 1 - 22
bib details doi

M. Suchi: Meta-heuristic local planning (Master's Thesis)
reviewers: M. Vincze, M. Bader; Automation and Control Institute (ACIN), 2015
bib details

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

F. Pauker, T. Frühwirth, R. Hinterbichler, T. Bachmayr (invited): OPC4Factory - Flexibel automatisierte Fertigungszellen
Blickpunkt Forschung: Energie@TU Wien, Wien
bib details

J. Gruber: KLSM: A Relaxed Lock-Free Priority Queue (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2015; oral examination: 2016-02-29
bib details

M. Jung, B. Burgstaller, J. Blieberger: Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints
CoRR - Computing Research Repository, abs/1512.09228 (2015)
bib details 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 (invited): Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben
Blickpunkt Forschung: Energie @ TU Wien, Wien
bib details

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

<<   < 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 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 >   >>