Publications

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

Currently viewing all publications in category Books - back to overwiew...

Books

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz: Basic Concepts on Systems of Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 1 - 39
bib details doi

A. Steininger (invited): Fifty Shades of Synchrony
This Asynchronous Woirld, A. Mokhov (ed.); Newcastle University, Newcastle upon Tyne, 2016, ISBN: 978-0-7017-0257-1, p. 294 - 300
bib details

R. Willmann, W. Kastner: Product Ramp-up for Semiconductor Manufacturing Automated Recommendation of Control System Setup
Semantic Web Technologies for Intelligent Engineering Applications, Springer International Publishing Switzerland, 2016, ISBN: 978-3-319-41488-1, p. 219 - 255
bib details

A. Mazak, M. Wimmer, C. Huemer, G. Kappel, W. Kastner: Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards für Industrie 4.0
Handbuch Industrie 4.0, B. Vogel-Heuser et al. (ed.); Springer-Verlag Berlin Heidelberg, 2016, ISBN: 978-3-662-45537-1, p. 22
bib details doi pdf

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

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
bib details doi

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

W. Kastner, M. Jung, M. Kofler et al. (invited): Application and benefits of IPv6 for SMEs
IoT - IPv6 integration handbook for SMEs, M. Palattella, L. Latif, S. Ziegler, W. Kastner et al. (ed.); open source, 2014, p. 25 - 33
bib details

W. Kastner, M. Jung, L. Krammer (invited): Future Trends in Smart Homes and Buildings
Industrial Communication Technology Handbook, Second Edition, CRC Press, 2014, ISBN: 9781482207323, p. 59-1 - 59-20
bib details

W. Kastner, L. Krammer, A. Fernbach (invited): State of the Art in Smart Homes and Buildings
Industrial Communication Technology Handbook, Second Edition, CRC Press, 2014, ISBN: 9781482207323, p. 55-1 - 55-20
bib details

A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder (invited): Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Formal Methods for Executable Software Models, Springer, 2014, ISBN: 978-3-319-07316-3, p. 122 - 171
bib details doi

S. Ziegler, W. Kastner, M. Jung et al. (invited): IoT6 - Moving to an IPv6-Based Future IoT
The Future Internet, Springer LNCS, 2013, p. 161 - 172
bib details

M. Jung, W. Kastner, S. Döbelt: The Smart Web Grid project
Smart City: Viennese expertise based on science and research, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-51-7, p. 174 - 180
bib details

M. Jung, W. Kastner, S. Döbelt: Smart Web Grid
smart city: Wiener Know-how aus Wissenschaft und Forschung, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-50-0, p. 184 - 190
bib details

W. Kastner, M. Kofler: ThinkHome: Lernende Gebäude der Zukunft
smart city: Wiener Know-how aus Wissenschaft und Forschung, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-50-0, p. 128 - 137
bib details

W. Kastner, M. Kofler: ThinkHome: Self-learning buildings of the future
Smart City: Viennese expertise based on science and research, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-51-7, p. 124 - 132
bib details

T. Bednar, F. Bleicher, F. Dür, K. Eder, T. Flatz, B. Heinzl, W. Kastner, K. Kiesel, I. Kovacic, I. Leobner, K. Orehounig, K. Ponweiser, L. Waltenberger, D. Wiegand, S. Emrich: Roadmap für Energieeffiziente Fertigungsbetriebe
Konsortium Projekt INFO, Wien, 2013; 66 pages
bib details

W. Kastner, F. Praus, G. Neugschwandtner, W. Granzer: KNX
Industrial Electronics Handbook, volume 2: Industrial Communication Systems, CRC Press, 2011, ISBN: 978-1439802892
bib details

W. Kastner, S. Soucek, C. Reinisch, A. Klapproth: Building and Home Automation
Industrial Electronics Handbook, volume 2: Industrial Communication Systems, CRC Press, 2011, ISBN: 978-1439802892
bib details

W. Granzer, A. Treytl (invited): Security in industrial communication
Industrial Electronics Handbook Volume 2: Industrial Communication Systems, CRC Press, 2011, p. 22-1 - 22-18
bib details

<<   < 1 2 3 4 5 6 >   >>