Publications

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

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

Editorials

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

F. Desprez, P. Dutot, C. Kaklamanis, L. Marchal, K. Molitorisz, L. Ricci, V. Scarano, M. Vega-Rodriguez, A. Varbanescu, S. Hunold, S. Scott, S. Lankes, J. Weidendorfer: Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104
Springer, Cham, 2017, ISBN: 978-3-319-58942-8; 850 pages
bib details doi

S. Hunold, A. Legrand, L. Nussbaum: Introduction to REPPAR Workshop
Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium (IPDPS 2017) Workshops, 2017, p. 1559
bib details doi

J. Blieberger, M. Bader: 22nd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe'2017 International Conference on Reliable Software Technologies, series editors: G. Goos, J. Hartmanis, J. van Leeuwen, issued by: Ada-Europe, Springer LNCS 10300, Berlin, 2017, ISBN: 978-3-319-60587-6; 255 pages
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
bib details doi

L. Langer, J. Göllner, M. Tischlinger, M. Kammerstetter et al.: Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich
Schriftenreihe der Landesverteidigungsakademie, Wien, 2016, ISBN: 978-3-902944-98-6; 253 pages
bib details pdf

E. Bartocci, P. Lio, N. Paoletti: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
bib details doi

D. Holmes, C. Collis, J. Träff, L. Smith: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016
ACM, 2016, ISBN: 978-1-4503-4234-6; 221 pages
bib details

S. Hunold, A. Costan, D. Gimenez, A. Iosup, L. Ricci, G. Gomez Requena, V. Scarano, A. Varbanescu, S. Scott, S. Lankes, J. Weidendorfer, M. Alexander: Euro-Par 2015: Parallel Processing Workshops, Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers, LNCS 9523
Springer International Publishing, 2015, ISBN: 978-3-319-27307-5; 880 pages
bib details doi

E. Bartocci, R. Majumdar: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
bib details doi

J. Träff, S. Hunold, F. Versaci: Euro-Par 2015: Parallel Processing, 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, LNCS 9233
Springer-Verlag Berlin Heidelberg, 2015, ISBN: 978-3-662-48095-3; 732 pages
bib details doi

E. Bartocci, L. Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
bib details doi

E. Bartocci, C. Ramakrishnan: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
bib details doi

L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part II, LNCS 8806
Springer, 2014, ISBN: 978-3-319-14312-5; 590 pages
bib details doi

L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part I, LNCS 8805
Springer, 2014, ISBN: 978-3-319-14324-8; 620 pages
bib details doi

J. Träff, S. Benkner, J. Dongarra: Recent Advances in the Message Passing Interface Proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, LNCS 7490
Springer, 2012, ISBN: 978-3-642-33517-4; 315 pages
bib details

M. Schoeberl: JOP Reference Handbook
CreateSpace, 2009, ISBN: 978-1438239699; 362 pages
bib details

B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid: Fault-Tolerant Distributed Algorithms on VLSI Chips
Dagstuhl Seminar Proceedings, series editors: B. Charron-Bost, S. Dolev, U. Schmid, issued by: Leibniz Zentrum Informatik, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405
bib details

R. Obermaisser, Y. Nah, P. Puschner, F. Rammig: Software Technologies for Embedded Systems and Ubiquitous Systems
Springer LNCS 4761, 2007, ISBN: 978-3-540-75663-7; 563 pages
bib details

H. Kaiser, R. Kirner: Junior Scientist Conference 2008, Proceedings
TU Wien, 2008
bib details

R. Kirner: Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008)
Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-237-3; 173 pages
bib details

W. Elmenreich, J.A.T. Machado, I. J. Rudas: Intelligent Systems at the Service of Mankind, Volume II
UBooks Verlag, Augsburg, Deutschland, 2005, ISBN: 3-86608-052-2; 478 pages
bib details

G. Schildt, J. Retti: Dependability of Artificial Intelligence Systems (DAISY_91)
North-Holland, Amsterdam, 1991, ISBN: 0-444-89025-4; 372 pages
bib details

W. Elmenreich, G. Novak, R. Seepold: Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems
TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-06-6; 201 pages
bib details

W. Elmenreich, H. Kaiser: Proceedings of the Junior Scientist Conference 2006
TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-05-8; 359 pages
bib details

P. Puschner: Proceedings of the 16th Euromicro Conference on Real-Time Systems
IEEE Computer Society Press, Piscataway, NJ, USA, 2004, ISBN: 0-7695-2176-2; 282 pages
bib details

P. Puschner, T. Nakajima, A. Ghafoor: Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing
IEEE Computer Society Press, Piscataway, NJ, USA, 2003, ISBN: 0-7695-1928-8; 302 pages
bib details

W. Elmenreich, W. Haidinger, J.A.T. Machado: Proceedings of the 2nd IEEE International Conference on Computational Cybernetics
TU Wien, Wien, 2004, ISBN: 3-902463-01-5; 461 pages
bib details

W. Elmenreich, J.A.T. Machado, I. J. Rudas: Intelligent Systems at the Service of Mankind, Volume I
UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3; 444 pages
bib details

B. Rinner, W. Elmenreich: Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems
Technische Universität Graz, Graz, Österreich, 2004, ISBN: 3-902463-00-7; 203 pages
bib details

W. Elmenreich: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems
TU Wien, Vienna, Austria, 2003; 207 pages
bib details pdf

T. Sauter, D. Dietrich, W. Kastner: EIB Installation Bus System
Publicis-Verlag, Berlin-München, 2000, ISBN: 3-89578-175-4; 319 pages
bib details

D. Dietrich, W. Kastner, T. Sauter, O. Nizamutdinov: Sistema avtomatizatsii zdanii (Übersetzung ins Russische)
Hüthig-Verlag, Heidelberg, 2001, ISBN: 5-88151-296-0; 378 pages
bib details

D. Dietrich, W. Kastner, T. Sauter: EIB-Gebäudebussystem
Hüthig-Verlag, Heidelberg, 2000, ISBN: 3-7785-2795-9; 325 pages
bib details

J. Blieberger: Proceedings der OTG-Konferenz
OTG, Perchtoldsdorf, 1999
bib details

J. Blieberger, A. Strohmeier: Lecture Notes in Computer Science; Reliable Software Technologies - Ada-Europe 2002
Springer, Berlin, 2002, ISBN: 3-540-43784-3; 366 pages
bib details

W. Elmenreich et al.: Systemnahes Programmieren - C Programmierung unter Unix und Linux
UBooks Verlag, Augsburg, 2002, ISBN: 3-935789-88-1; 290 pages
bib details pdf

D. Dietrich, W. Kastner, T. Sauter: EIB Gebäudebussystem, russische Ausgabe
Hüthig, Heidelberg, 2000; 376 pages
bib details