Publications

2017

  1. Minyoung Jung, Jinwoo Park, Johann Blieberger and Bernd Burgstaller. Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores. In ICPP 2017. August 2017, . BibTeX

    @inproceedings{jung:SFA,
    	author = "Minyoung Jung and Jinwoo Park and Johann Blieberger and Bernd Burgstaller",
    	title = "{Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores}",
    	booktitle = "ICPP 2017",
    	month = "August",
    	address = "Bristol, UK",
    	year = 2017,
    	pages = ""
    }
    
  2. Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Johann Blieberger and Bernd Burgstaller. Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. In Euro-Par 2017. August 2017, . BibTeX

    @inproceedings{sods:kronpar,
    	author = "Wasuwee Sodsong and Robert Mittermayr and Yoojin Park and Johann Blieberger and Bernd Burgstaller",
    	title = "{Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores}",
    	booktitle = "Euro-Par 2017",
    	month = "August",
    	address = "Santiago de Compostela, Spain",
    	year = 2017,
    	pages = ""
    }
    
  3. Johann Blieberger and Markus Bader. 22nd Ada-Europe International Conference on Reliable Software Technologies, LNCS 10300. Springer-Verlag, June 2017. DOI BibTeX

    @book{bli:AE2017,
    	author = "Johann Blieberger and Markus Bader",
    	title = "{22nd Ada-Europe International Conference on Reliable Software Technologies, LNCS 10300}",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	month = "June",
    	year = 2017,
    	doi = "10.1007/978-3-319-60588-3"
    }
    
  4. Ahmed Ismail and Wolfgang Kastner. Service-Oriented Architectures for Interoperability in Industrial Enterprises. In Stefan Biffl, Detlef Gerhard and Arndt Luder (eds.). Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer International Publishing AG, May 2017. BibTeX

    @incollection{MDE4CPPSAIK,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	title = "Service-Oriented Architectures for Interoperability in Industrial Enterprises",
    	editor = "Stefan Biffl and Detlef Gerhard and Arndt Luder",
    	booktitle = "Multi-Disciplinary Engineering for Cyber-Physical Production Systems",
    	publisher = "Springer International Publishing AG",
    	address = "Oxford",
    	year = 2017,
    	month = "May",
    	chapter = 14
    }
    
  5. Ahmed Ismail and Wolfgang Kastner. Surveying the Features of Industrial SOAs. In 2017 Annual IEEE Industrial Electronics Society’s 18th International Conference on Industrial Technology (ICIT). March 2017, 1-8. URL BibTeX

    @inproceedings{ICIT17AIK,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	booktitle = "2017 Annual IEEE Industrial Electronics Society’s 18th International Conference on Industrial Technology {(ICIT)}",
    	title = "{Surveying the Features of Industrial SOAs}",
    	year = 2017,
    	month = "March",
    	pages = "1-8",
    	url = "https://www.auto.tuwien.ac.at/~aismail/ICIT2017_AI_WK_Cc.pdf"
    }
    
  6. Mark Stefan, Johann Blieberger and Andreas Schöbel. Application of Kronecker Algebra in Railway Operation. Tehnički vjesnik – Technical Gazette (TV-TG) 24(1):21–30, February 2017. DOI BibTeX

    @article{stef:kronapplrailway,
    	author = {Mark Stefan and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Application of Kronecker Algebra in Railway Operation}",
    	journal = "Tehni\v{c}ki vjesnik -- Technical Gazette (TV-TG)",
    	year = 2017,
    	month = "February",
    	volume = 24,
    	number = 1,
    	pages = "21--30",
    	doi = "10.17559/TV-20131107130926"
    }
    
  7. Robert Mittermayr and Johann Blieberger. Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs. Journal Computing, 2017. DOI BibTeX

    @article{MB:AdaBarriersWCET,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs}",
    	journal = "Journal Computing",
    	year = 2017,
    	doi = "10.1007/s00607-017-0555-8"
    }
    

2016

  1. Daniel Schachinger and Wolfgang Kastner. Integration von KNX Netzwerken in das Internet der Dinge: Die KNX Web Services Spezifikation. In Jahreskolloquium Kommunikation in der Automation. November 2016, 1–8. BibTeX

    @inproceedings{schachinger:2016-5,
    	title = "{Integration von KNX Netzwerken in das Internet der Dinge: Die KNX Web Services Spezifikation}",
    	author = "Daniel Schachinger and Wolfgang Kastner",
    	booktitle = "{Jahreskolloquium Kommunikation in der Automation}",
    	year = 2016,
    	address = "Lemgo, Germany",
    	month = "November",
    	pages = "1--8"
    }
    
  2. Bernhard Heinzl. Hybrid Modeling of Production Systems: {Co}-Simulation and {DEVS}-Based Approach. Diploma Thesis, TU Wien, Vienna, Austria, November 2016. BibTeX

    @phdthesis{Heinzl_HybridDEVS_2016,
    	author = "Heinzl, Bernhard",
    	title = "Hybrid Modeling of Production Systems: {{Co}}-Simulation and {{DEVS}}-Based Approach",
    	type = "Diploma Thesis",
    	school = "TU Wien",
    	address = "Vienna, Austria",
    	language = "English",
    	month = "nov",
    	year = 2016
    }
    
  3. George Todoran and Markus Bader. Expressive Navigation and Local Path-Planning of Independent Steering Autonomous Systems. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016). October 2016, 4742-4749. URL BibTeX

    @inproceedings{Todoran2016a,
    	title = "{Expressive Navigation and Local Path-Planning of Independent Steering Autonomous Systems}",
    	author = "George Todoran and Markus Bader",
    	booktitle = "IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016)",
    	year = 2016,
    	month = "October",
    	pages = "4742-4749",
    	address = "Daejeon, Korea",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/todoran2016a.pdf"
    }
    
  4. Daniel Schachinger and Lukas Krammer. Building Profiling for Energy Management. Presented at Blickpunkt Forschung: Smart Communities + Technologies @ TU Wien, October 2016. BibTeX

    @misc{schachinger:2016-6,
    	title = "{Building Profiling for Energy Management}",
    	author = "Daniel Schachinger and Lukas Krammer",
    	howpublished = "{Presented at Blickpunkt Forschung: Smart Communities + Technologies @ TU Wien}",
    	month = "October",
    	year = 2016,
    	address = "Vienna, Austria"
    }
    
  5. Daniel Schachinger and Wolfgang Kastner. IoT integration based on the KNX Web services specification. In KNX Scientific Conference. October 2016, 1–12. BibTeX

    @inproceedings{schachinger:2016-4,
    	title = "{IoT integration based on the KNX Web services specification}",
    	author = "Daniel Schachinger and Wolfgang Kastner",
    	booktitle = "{KNX Scientific Conference}",
    	year = 2016,
    	address = "Dortmund, Germany",
    	month = "October",
    	pages = "1--12"
    }
    
  6. F P Andrén, T Strasser and W Kastner. Applying the SGAM methodology for rapid prototyping of smart Grid applications. In IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. October 2016, 3812-3818. DOI BibTeX

    @inproceedings{7794057,
    	author = "F. P. Andr\'en and T. Strasser and W. Kastner",
    	booktitle = "IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society",
    	title = "Applying the SGAM methodology for rapid prototyping of smart Grid applications",
    	year = 2016,
    	pages = "3812-3818",
    	keywords = "Automation;Business;Computational modeling;DSL;IEC Standards;Smart grids;Unified modeling language",
    	doi = "10.1109/IECON.2016.7794057",
    	month = "Oct"
    }
    
  7. P Hausberger, A Fernbach and W Kastner. IMU-based smart fitness devices for weight training. In IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. October 2016, 5182-5189. DOI BibTeX

    @inproceedings{7793510,
    	author = "P. Hausberger and A. Fernbach and W. Kastner",
    	booktitle = "IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society",
    	title = "IMU-based smart fitness devices for weight training",
    	year = 2016,
    	pages = "5182-5189",
    	keywords = "Acceleration;Accelerometers;Hidden Markov models;Sensor fusion;Time series analysis;Training;Smart fitness devices;data mining;dynamic time warping (DTW);inertial measurement units (IMUs);sensor fusion;supervised machine learning;support vector machines (SVMs);time series classification",
    	doi = "10.1109/IECON.2016.7793510",
    	month = "Oct"
    }
    
  8. K Pollhammer, T Novak, P Raich, W Kastner, A Treytl and G Kovacs. Open traffic data platform for scenario-based control. In IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. October 2016, 4677-4682. DOI BibTeX

    @inproceedings{7793132,
    	author = "K. Pollhammer and T. Novak and P. Raich and W. Kastner and A. Treytl and G. Kovacs",
    	booktitle = "IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society",
    	title = "Open traffic data platform for scenario-based control",
    	year = 2016,
    	pages = "4677-4682",
    	keywords = "Control systems;Lighting;Roads;Sensor fusion;Servers;Smart cities;road traffic;sensor fusion;sensors",
    	doi = "10.1109/IECON.2016.7793132",
    	month = "Oct"
    }
    
  9. Ahmed Ismail and Wolfgang Kastner. Discovery in SOA-Governed Industrial Middleware with mDNS and DNS-SD. In 2016 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). September 2016, 1-8. URL, DOI BibTeX

    @inproceedings{ETFA16AIK,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	booktitle = "2016 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)",
    	title = "{Discovery in SOA-Governed Industrial Middleware with mDNS and DNS-SD}",
    	year = 2016,
    	month = "September",
    	pages = "1-8",
    	keywords = "Cooperative systems;Logic gates;Peer-to-peer computing;Protocols;Servers;Service-oriented architecture;Tunneling",
    	doi = "10.1109/ETFA.2016.7733529",
    	url = "https://www.auto.tuwien.ac.at/~aismail/AI_K_ETFA16_Cc.pdf"
    }
    
  10. Daniel Schachinger, Stefan Gaida, Wolfgang Kastner, Filip Petrushevski, Clemens Reinthaler, Milos Sipetic and Gerhard Zucker. An Advanced Data Analytics Framework for Energy Efficiency in Buildings. In IEEE Conference on Emerging Technologies Factory Automation. September 2016, 1–4. URL BibTeX

    @inproceedings{schachinger:2016-3,
    	title = "{An Advanced Data Analytics Framework for Energy Efficiency in Buildings}",
    	author = "Daniel Schachinger and Stefan Gaida and Wolfgang Kastner and Filip Petrushevski and Clemens Reinthaler and Milos Sipetic and Gerhard Zucker",
    	booktitle = "{IEEE Conference on Emerging Technologies Factory Automation}",
    	year = 2016,
    	address = "Berlin, Germany",
    	month = "September",
    	pages = "1--4",
    	url = "http://dx.doi.org/10.1109/ETFA.2016.7733630"
    }
    
  11. Lukas Krammer, Wolfgang Kastner and Thilo Sauter. A Comprehensive Dependability Approach for Building Automation Networks. Journal of Universal Computer Science 22(9):1225–1248, September 2016. URL BibTeX

    @article{Krammer_jucs_22_9,
    	author = "Lukas Krammer and Wolfgang Kastner and Thilo Sauter",
    	title = "A Comprehensive Dependability Approach for Building Automation Networks",
    	journal = "Journal of Universal Computer Science",
    	year = 2016,
    	volume = 22,
    	number = 9,
    	pages = "1225--1248",
    	date = "2016-09-01",
    	month = "sep",
    	url = "http://www.jucs.org/jucs_22_9/a_comprehensive_dependability_approach"
    }
    
  12. Dimitar Naydenov and Markus Bader. Position tracking of a model race car with Inertial Measurement Unit, laser mouse sensor and Extended Kalman Filter. In Proceedings of the 25th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD). June 2016. URL BibTeX

    @inproceedings{Naydenov2016,
    	title = "Position tracking of a model race car with Inertial Measurement Unit, laser mouse sensor and Extended Kalman Filter",
    	author = "Dimitar Naydenov and Markus Bader",
    	booktitle = "Proceedings of the 25th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD)",
    	year = 2016,
    	address = "Belgrade, Serbia",
    	month = "June",
    	publisher = "Springer International Publishing",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/naydenov2016.pdf"
    }
    
  13. Daniel Schachinger and Wolfgang Kastner. Semantics for smart control of building automation. In IEEE International Symposium on Industrial Electronics. June 2016, 1073–1078. URL BibTeX

    @inproceedings{schachinger:2016-2,
    	title = "{Semantics for smart control of building automation}",
    	author = "Daniel Schachinger and Wolfgang Kastner",
    	booktitle = "{IEEE International Symposium on Industrial Electronics}",
    	year = 2016,
    	address = "Santa Clara, USA",
    	month = "June",
    	pages = "1073--1078",
    	url = "http://dx.doi.org/10.1109/ISIE.2016.7745041"
    }
    
  14. J Kasberger, L Krammer and W Kastner. Reliable IP based communication for fire alarm systems. In 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE). June 2016, 63-68. DOI BibTeX

    @inproceedings{7744866,
    	author = "J. Kasberger and L. Krammer and W. Kastner",
    	booktitle = "2016 IEEE 25th International Symposium on Industrial Electronics (ISIE)",
    	title = "Reliable IP based communication for fire alarm systems",
    	year = 2016,
    	pages = "63-68",
    	keywords = "Alarm systems;Automation;Buildings;IP networks;Reliability;Safety;Standards",
    	doi = "10.1109/ISIE.2016.7744866",
    	month = "June"
    }
    
  15. Robert Mittermayr and Johann Blieberger. Kronecker Algebra for Static Analysis of Barriers in Ada. In Ada-Europe'2016 International Conference on Reliable Software Technologies, LNCS 9695. June 2016, 145–159. DOI BibTeX

    @inproceedings{MB:AdaBarriers,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Kronecker Algebra for Static Analysis of Barriers in Ada}",
    	address = "Pisa, Italy",
    	booktitle = "Ada-Europe'2016 International Conference on Reliable Software Technologies, LNCS 9695",
    	pages = "145--159",
    	month = "June",
    	year = 2016,
    	doi = "10.1007/978-3-319-39083-3_10"
    }
    
  16. Ahmed Ismail and Wolfgang Kastner. Co-operative peer-to-peer systems for industrial middleware. In 2016 IEEE World Conference on Factory Communication Systems (WFCS). May 2016, 1-8. URL, DOI BibTeX

    @inproceedings{7496497,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	booktitle = "2016 IEEE World Conference on Factory Communication Systems (WFCS)",
    	title = "Co-operative peer-to-peer systems for industrial middleware",
    	year = 2016,
    	pages = "1-8",
    	keywords = "cooperative systems;internetworking;middleware;network servers;peer-to-peer computing;routing protocols;GSB technology;Industrie 4.0;P2P cooperative system;Xen-based virtual machine;cooperative peer-to-peer system;distributed gateway service bus technology;embedded device;fourth industrial revolution;industrial middleware;intersystem routing protocol;single system P2P networking protocol;single-purpose gatewaying solution;word length 32 bit;word length 64 bit;Cooperative systems;Logic gates;Peer-to-peer computing;Reliability;Routing;Routing protocols",
    	doi = "10.1109/WFCS.2016.7496497",
    	month = "May",
    	url = "https://www.auto.tuwien.ac.at/~aismail/Ismail_k_WFCS2016_Cc.pdf"
    }
    
  17. Benjamin Binder Eugen Kaltenegger and Markus Bader. Controlling and Tracking an Unmanned Ground Vehicle with Ackermanndrive. In Proceedings of the Austrian Robotics Workshop (ARW-16). May 2016. URL BibTeX

    @inproceedings{Kaltenegger2016a,
    	title = "{Controlling and Tracking an Unmanned Ground Vehicle with Ackermanndrive}",
    	author = "Eugen Kaltenegger, Benjamin Binder and Markus Bader",
    	booktitle = "{Proceedings of the Austrian Robotics Workshop (ARW-16)}",
    	address = "Wels, Austria",
    	year = 2016,
    	month = "May",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/kaltenegger2016a.pdf"
    }
    
  18. Florian Pauker, Thomas Frühwirth, Burkhard Kittl and Wolfgang Kastner. A systematic approach to OPC UA information model design. In Proceedings of the 49th CIRP Conference on Manufacturing Systems. May 2016. BibTeX

    @inproceedings{pauker16SystematicApproach,
    	title = "{A systematic approach to OPC UA information model design}",
    	author = {Florian Pauker and Thomas Fr\"uhwirth and Burkhard Kittl and Wolfgang Kastner},
    	booktitle = "{Proceedings of the 49th CIRP Conference on Manufacturing Systems}",
    	year = 2016,
    	address = "Stuttgart, Germany",
    	month = "May",
    	abstract = "{Current trends in manufacturing focus on the use of Information and Communication Technologies (ICT). The physical world and its virtual representation are increasingly converging, which leads to Cyber-Physical Production Systems (CPPS) in the manufacturing environment. CPPS synergize conventional production technology as well as ICT, allowing machines and products to exchange information, trigger actions and control other components autonomously. Therefore, seamless communication between physical objects of the shop floor and various computer systems is required. The Reference Architecture Model Industrie 4.0 (RAMI4.0) provided by the Plattform Industrie 4.0 specifies requirements for CPPS consisting of Industrie 4.0-components. In such systems, a major goal is to enable communication of I4.0 components among each other via industrial networks. For this purpose, RAMI4.0 suggests that each component has a virtual representation and uses Service-Oriented Architecture (SOA) based communication with I4.0-semantics. This paper describes a systematic approach to OPC Unified Architecture (OPC UA) information model for representing the static and dynamic behavior of manufacturing systems. Moreover, the approach is generic in the sense that it can be used to define information models for multiple target technologies, such as OPC UA, MTConnect and others. It even allows to reuse large parts of the generated models for similar manufacturing utilities and various target technologies. Therefore, we first present a concept for system analysis and design by using the Unified Modeling Language (UML), which is widely accepted for interdisciplinary work. The information gathered is then transformed to OPC UA information models which serves as target technology in this paper. The purpose of this approach is to simplify the process of defining virtual representations of manufacturing systems. Applying the presented concept allows transformation of classic manufacturing systems into CPPS with SOA-based communication and semantically rich virtual representations of individual components. It is therefore well suited to meet the requirements specified by RAMI4.0.}"
    }
    
  19. L Krammer, W Kastner and T Sauter. A generic dependability layer for building automation networks. In 2016 IEEE World Conference on Factory Communication Systems (WFCS). May 2016, 1-4. DOI BibTeX

    @inproceedings{7496536,
    	author = "L. Krammer and W. Kastner and T. Sauter",
    	booktitle = "2016 IEEE World Conference on Factory Communication Systems (WFCS)",
    	title = "A generic dependability layer for building automation networks",
    	year = 2016,
    	pages = "1-4",
    	keywords = "building management systems;fault tolerance;acknowledgment procedure;building automation networks;communicating nodes;communication stack;fault tolerance;generic dependability layer;heartbeat mechanism;intermediate layer;redundant network topologies;safety requirements;security mechanisms;Building automation;Heart beat;Protocols;Reliability;Safety;Security;Topology",
    	doi = "10.1109/WFCS.2016.7496536",
    	month = "May"
    }
    
  20. Ahmed Ismail and Wolfgang Kastner. A middleware architecture for vertical integration. In 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS). April 2016, 1-4. URL, DOI BibTeX

    @inproceedings{7483915,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	booktitle = "2016 1st International Workshop on Cyber-Physical Production Systems (CPPS)",
    	title = "A middleware architecture for vertical integration",
    	year = 2016,
    	pages = "1-4",
    	keywords = "Internet of Things;business data processing;internetworking;middleware;open systems;service-oriented architecture;GSB;IIoT;SOA;distributed gateway service bus;industrial Internet of things;middleware architecture;networking aspects;service oriented architecture;system interoperability;vertical industrial enterprise integration;vertical integration;Computer architecture;IEC Standards;Information exchange;Interoperability;Logic gates;Protocols",
    	doi = "10.1109/CPPS.2016.7483915",
    	month = "April",
    	url = "https://www.auto.tuwien.ac.at/~aismail/Ismail_K_IndInt_Cc.pdf"
    }
    
  21. Philipp Raich, Bernhard Heinzl, Franz Preyser and Wolfgang Kastner. Modeling techniques for integrated simulation of industrial systems based on hybrid PDEVS. In 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). April 2016, 1-6. URL, DOI BibTeX

    @inproceedings{Raich2016,
    	author = "Raich, Philipp and Heinzl, Bernhard and Preyser, Franz and Kastner, Wolfgang",
    	booktitle = "2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES)",
    	title = "Modeling techniques for integrated simulation of industrial systems based on hybrid PDEVS",
    	year = 2016,
    	pages = "1-6",
    	keywords = "BaMa;Balanced Manufacturing;Cube;Hybrid Parallel DEVS;discrete-event simulation;energy efficiency;hybrid modeling;industrial systems;integrated simulation;production process",
    	doi = "10.1109/MSCPES.2016.7480221",
    	month = "April",
    	url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7480221"
    }
    
  22. Daniel Schachinger, Wolfgang Kastner and Stefan Gaida. Ontology-based abstraction layer for smart grid interaction in building energy management systems. In IEEE International Energy Conference. April 2016, 1–6. URL BibTeX

    @inproceedings{schachinger:2016-1,
    	title = "{Ontology-based abstraction layer for smart grid interaction in building energy management systems}",
    	author = "Daniel Schachinger and Wolfgang Kastner and Stefan Gaida",
    	booktitle = "{IEEE International Energy Conference}",
    	year = 2016,
    	address = "Leuven, Belgium",
    	month = "April",
    	pages = "1--6",
    	url = "http://dx.doi.org/10.1109/ENERGYCON.2016.7513991"
    }
    
  23. Franz Josef Preyser, Bernhard Heinzl, Philipp Raich and Wolfgang Kastner. Towards Extending the Parallel-DEVS Formalism to Improve Component Modularity. In Thorsten Pawletta Dmitrij Tikhomirov Heinz-Theo Mammen (ed.). Beiträge zum Work. der ASIM/GI-Fachgruppen STS und GMMS 2016. 2016, 83-89. BibTeX

    @inproceedings{FPBHPRWK_16a,
    	abstract = "When applying classic DEVS modelling in the context of industrial facility simulation, we experienced the well-known drawbacks of DEVS concerning the treatment of simultaneous events. Switching to Parallel DEVS, some of those problems could be avoided, however other, similar problems in connection with mealy components and transient states occurred. In the following work, we try to locate the root of these problems and give a basic example to demonstrate them. Further, possible remedies in the form of modelling work-arounds inside the PDEVS formalism are described, although none of them seems to solve the problems sustainably. Eventually extensions of the formalism itself are proposed with the goal of easing the design of models including mealy components. Finally the consequences of such modifications for the simulation algorithms are discussed.",
    	address = "Lippstadt",
    	author = "Preyser, Franz Josef and Heinzl, Bernhard and Raich, Philipp and Kastner, Wolfgang",
    	booktitle = {Beitr{\"{a}}ge zum Work. der ASIM/GI-Fachgruppen STS und GMMS 2016},
    	editor = "{Dmitrij Tikhomirov, Heinz-Theo Mammen}, Thorsten Pawletta",
    	keywords = "DEVS,Mealy Components,PDEVS,RPDEVS,Transient States",
    	pages = "83-89",
    	publisher = "ARGESIM Verlag Wien, Hochschule Hamm-Lippstadt 2016",
    	title = "{Towards Extending the Parallel-DEVS Formalism to Improve Component Modularity}",
    	year = 2016,
    	isbn = "978-3-901608-48-3"
    }
    
  24. Ahmed Ismail and Wolfgang Kastner. Vertical Integration in Industrial Enterprises and Distributed Middleware. International Journal of Internet Protocol Technology 9(2/3):79–89, 2016. DOI BibTeX

    @article{IJIPTAIK,
    	author = "Ahmed Ismail and Wolfgang Kastner",
    	title = "{Vertical Integration in Industrial Enterprises and Distributed Middleware}",
    	journal = "International Journal of Internet Protocol Technology",
    	volume = 9,
    	number = "{2/3}",
    	year = 2016,
    	pages = "79--89",
    	doi = "10.1504/IJIPT.2016.079547"
    }
    
  25. Theodor Borangiu (ed.). Advances in Robot Design and Intelligent Control: Proceedings of the 24th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD). Chapter Extended Kalman Filter (EKF)-Based Local SLAM in Dynamic Environments: A Framework, pages 459–469, Springer International Publishing, 2016. URL, DOI BibTeX

    @inbook{Todoran2015b,
    	title = "Advances in Robot Design and Intelligent Control: Proceedings of the 24th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD)",
    	author = "Todoran, Hora{\c{t}}iu George and Bader, Markus",
    	chapter = "{Extended Kalman Filter (EKF)-Based Local SLAM in Dynamic Environments: A Framework}",
    	editor = "Borangiu, Theodor",
    	pages = "459--469",
    	publisher = "Springer International Publishing",
    	year = 2016,
    	address = "Cham",
    	doi = "10.1007/978-3-319-21290-6_46",
    	isbn = "978-3-319-21290-6",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/todoran2015b.pdf"
    }
    
  26. Stefan Seifried and Wolfgang Kastner. Reliable control network gateways for building automation networks. In EBCCSP 2016. 2016. BibTeX

    @inproceedings{Seifried2016,
    	author = "Seifried, Stefan and Kastner, Wolfgang",
    	booktitle = "EBCCSP 2016",
    	file = ":D$\backslash$:/Source/paper/ebccsp-2016{\_}reliable-control-network-gateways-for-building-automation-networks/paper/ebccsp2016{\_}reliable{\_}gateway.pdf:pdf",
    	title = "{Reliable control network gateways for building automation networks}",
    	year = 2016
    }
    
  27. Philipp Raich, Thomas Novak, Klaus Pollhammer, Albert Treytl and Wolfgang Kastner. Intelligent control of streetlights based on sensor fusion. In Intell. Transp. Syst. Eur. Congr. Proc.. 2016. BibTeX

    @inproceedings{Raich2016a,
    	address = "Glasgow",
    	author = "Raich, Philipp and Novak, Thomas and Pollhammer, Klaus and Treytl, Albert and Kastner, Wolfgang",
    	booktitle = "Intell. Transp. Syst. Eur. Congr. Proc.",
    	publisher = "ERTICO",
    	title = "{Intelligent control of streetlights based on sensor fusion}",
    	year = 2016
    }
    
  28. Peter Smolek, Ines Leobner, Bernhard Heinzl, Georgios Gourlis and Karl Ponweiser. A Method for Real-Time Aggregation of a Product Footprint During Manufacturing. Journal of Sustainable Development of Energy, Water and Environment Systems 4(4):360–378, 2016. DOI BibTeX

    @article{smolek_footprinting_2016,
    	author = "Smolek, Peter and Leobner, Ines and Heinzl, Bernhard and Gourlis, Georgios and Ponweiser, Karl",
    	title = "A Method for Real-Time Aggregation of a Product Footprint During Manufacturing",
    	journal = "Journal of Sustainable Development of Energy, Water and Environment Systems",
    	volume = 4,
    	number = 4,
    	pages = "360--378",
    	issn = 18489257,
    	doi = "10.13044/j.sdewes.2016.04.0028",
    	month = "",
    	year = 2016
    }
    
  29. Andreas Fernbach, Igor Pelesic and Wolfgang Kastner. Linked Data for Building Management. In Proc. of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON 2016). 2016. BibTeX

    @inproceedings{sewoa3,
    	author = "Andreas Fernbach and Igor Pelesic and Wolfgang Kastner",
    	title = "{Linked Data for Building Management}",
    	booktitle = "{Proc. of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON 2016)}",
    	year = 2016,
    	month = "",
    	abstract = "In the life cycle of buildings, plenty of different disciplines and companies are involved. Therefore, a unified information base for the whole building and its components and technical equipment is highly beneficial. One approach aiming at this goal is Building Information Modelling (BIM). There exist standards mostly focusing on architectural and building physical properties, like the Green Building XML schema (gbXML). A further improvement would be to include a description of the technical equipment and building automation components as well, and to make the resulting model accessible in a unified way. This paper aims at a holistic knowledge base for buildings providing views on static building and automation systems config- uration as well as runtime information, i.e., access to live values of datapoint originating in the building automation systems. This includes sensor values, setpoints, calculated or aggregated values as well as time series of historical values."
    }
    
  30. Andreas Fernbach and Wolfgang Kastner. Gebäudemanagement durch Wissensbasierte Systeme. In 7. Jahreskolloquium Kommunikation in der Automation - KommA. 2016. BibTeX

    @inproceedings{sewoa4,
    	author = "Andreas Fernbach and Wolfgang Kastner",
    	title = {{Geb\"audemanagement durch Wissensbasierte Systeme}},
    	booktitle = "{7. Jahreskolloquium Kommunikation in der Automation - KommA}",
    	year = 2016,
    	month = ""
    }
    
  31. Alexandra Mazak, Manuel Wimmer, Christian Huemer, Gerti Kappel and Wolfgang Kastner. Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards für Industrie 4.0. In Birgit Vogel-Heuser and others (eds.). Handbuch Industrie 4.0. Springer-Verlag Berlin Heidelberg, 2016. URL, DOI BibTeX

    @incollection{TUW-248293,
    	author = "Mazak, Alexandra and Wimmer, Manuel and Huemer, Christian and Kappel, Gerti and Kastner, Wolfgang",
    	title = {Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards f{\"u}r Industrie 4.0},
    	booktitle = "Handbuch Industrie 4.0",
    	year = 2016,
    	editor = "Vogel-Heuser, Birgit and others",
    	publisher = "Springer-Verlag Berlin Heidelberg",
    	address = "Berlin Heidelberg",
    	numpages = 22,
    	url = "http://link.springer.com/referenceworkentry/10.1007\%2F978-3-662-45537-1_94-1",
    	isbn = "978-3-662-45537-1",
    	doi = "10.1007/978-3-662-45537-1{\_}94-1",
    	keywords = "Industrie 4.0, Horizontale Integration, Vertikale Integration, Standards, Open-edi, EDI, REA-Onotologie, ISA-95, AutomationML, OPC UA"
    }
    
  32. Roland Willmann and Wolfgang Kastner. Product Ramp-up for Semiconductor Manufacturing Automated Recommendation of Control System Setup. In Semantic Web Technologies for Intelligent Engineering Applications. Springer International Publishing Switzerland, 2016, pages 219–255. BibTeX

    @incollection{TUW-255078,
    	author = "Willmann, Roland and Kastner, Wolfgang",
    	title = "Product Ramp-up for Semiconductor Manufacturing Automated Recommendation of Control System Setup",
    	booktitle = "Semantic Web Technologies for Intelligent Engineering Applications",
    	year = 2016,
    	pages = "219--255",
    	organization = "Stefan Biffl; Marta Sabou",
    	publisher = "Springer International Publishing Switzerland",
    	isbn = "978-3-319-41488-1"
    }
    
  33. Friedrich Praus, Wolfgang Kastner and Peter Palensky. Secure Control Applications in Smart Homes and Buildings. Journal of Universal Computer Science 22(9):1249–1273, 2016. URL BibTeX

    @article{Praus_jucs_22_9,
    	author = "Friedrich Praus and Wolfgang Kastner and Peter Palensky",
    	title = "Secure Control Applications in Smart Homes and Buildings",
    	journal = "Journal of Universal Computer Science",
    	year = 2016,
    	volume = 22,
    	number = 9,
    	pages = "1249--1273",
    	date = "2016-09-01",
    	month = "",
    	url = "http://www.jucs.org/jucs_22_9/secure_control_applications_in"
    }
    
  34. Markus Kammerstetter, Daniel Burian and Wolfgang Kastner. Embedded Security Testing with Peripheral Device Caching and Runtime Program State Approximation. In Tenth International Conference on Emerging Security Information, Systems and Technologies. 2016, 21–26. BibTeX

    @inproceedings{TUW-255076,
    	author = "Kammerstetter, Markus and Burian, Daniel and Kastner, Wolfgang",
    	title = "Embedded Security Testing with Peripheral Device Caching and Runtime Program State Approximation",
    	booktitle = "Tenth International Conference on Emerging Security Information, Systems and Technologies",
    	year = 2016,
    	pages = "21--26",
    	isbn = 9781510826939
    }
    
  35. Markus Kammerstetter, Markus Müllner, Christian Kudera, Daniel Burian and Wolfgang Kastner. Efficient High-Speed WPA2 Brute Force Attacks using Scalable Low-Cost FPGA Clustering. In Conference on Cryptographic Hardware and Embedded Systems 2016. 2016, 559–577. BibTeX

    @inproceedings{TUW-255077,
    	author = {Kammerstetter, Markus and M{\"u}llner, Markus and Kudera, Christian and Burian, Daniel and Kastner, Wolfgang},
    	title = "Efficient High-Speed WPA2 Brute Force Attacks using Scalable Low-Cost FPGA Clustering",
    	booktitle = "Conference on Cryptographic Hardware and Embedded Systems 2016",
    	year = 2016,
    	pages = "559--577"
    }
    
  36. Andreas Fernbach, Igor Pelesic, Wolfgang Kastner and Wolfgang Granzer. Semantic integration in Building Automation - A case study for KNX oBIX and Semantic Web applications. In Proceedings of the KNX Scientific Conference. 2016. BibTeX

    @inproceedings{TUW-255093,
    	author = "Fernbach, Andreas and Pelesic, Igor and Kastner, Wolfgang and Granzer, Wolfgang",
    	title = "Semantic integration in Building Automation - A case study for KNX oBIX and Semantic Web applications",
    	booktitle = "Proceedings of the KNX Scientific Conference",
    	year = 2016,
    	numpages = 12
    }
    
  37. Harald Glanzer, Lukas Krammer and Wolfgang Kastner. Increasing security and availability in KNX networks. In Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft für Informatik e. V. (GI). 2016, 241–252. BibTeX

    @inproceedings{TUW-255065,
    	author = "Glanzer, Harald and Krammer, Lukas and Kastner, Wolfgang",
    	title = "Increasing security and availability in KNX networks",
    	booktitle = {Sicherheit 2016 : Sicherheit, Schutz und Zuverl{\"a}ssigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft f{\"u}r Informatik e. V. (GI)},
    	year = 2016,
    	pages = "241--252",
    	isbn = 9783885796503
    }
    
  38. Fritz Praus, Wolfgang Kastner and Peter Palensky. Software security requirements in building automation. In Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft für Informatik e. V. (GI) : 5. - 7. April 2016 in Bonn. 2016, 217–228. BibTeX

    @inproceedings{TUW-255063,
    	author = "Praus, Fritz and Kastner, Wolfgang and Palensky, Peter",
    	title = "Software security requirements in building automation",
    	booktitle = {Sicherheit 2016 : Sicherheit, Schutz und Zuverl{\"a}ssigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft f{\"u}r Informatik e. V. (GI) : 5. - 7. April 2016 in Bonn},
    	year = 2016,
    	pages = "217--228",
    	isbn = 9783885796503,
    	note = {Vortrag: Sicherheit 2016 : Sicherheit, Schutz und Zuverl{\"a}ssigkeit, Bonn; 2016-04-05 -- 2016-04-07}
    }
    
  39. Markus Wurzenberger, Florian Skopik, Roman Fiedler and Wolfgang Kastner. Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools. In Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats. 2016, 109–112. URL, DOI BibTeX

    @inproceedings{Wurzenberger:2016:DIT:2995959.2995973,
    	author = "Wurzenberger, Markus and Skopik, Florian and Fiedler, Roman and Kastner, Wolfgang",
    	title = "Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools",
    	booktitle = "Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats",
    	series = "MIST '16",
    	year = 2016,
    	isbn = "978-1-4503-4571-2",
    	location = "Vienna, Austria",
    	pages = "109--112",
    	numpages = 4,
    	url = "http://doi.acm.org/10.1145/2995959.2995973",
    	doi = "10.1145/2995959.2995973",
    	acmid = 2995973,
    	publisher = "ACM",
    	address = "New York, NY, USA",
    	keywords = "anomaly detection, log data clustering, outlier detection"
    }
    
  40. Pedro Domingues, Paulo Carreira, Renato Vieira and Wolfgang Kastner. Building automation systems: Concepts and technology review. Computer Standards & Interfaces 45():1 - 12, 2016. URL, DOI BibTeX

    @article{Domingues20161,
    	title = "Building automation systems: Concepts and technology review",
    	journal = "Computer Standards & Interfaces",
    	volume = 45,
    	number = "",
    	pages = "1 - 12",
    	year = 2016,
    	note = "",
    	issn = "0920-5489",
    	doi = "http://dx.doi.org/10.1016/j.csi.2015.11.005",
    	url = "http://www.sciencedirect.com/science/article/pii/S0920548915001361",
    	author = "Pedro Domingues and Paulo Carreira and Renato Vieira and Wolfgang Kastner"
    }
    
  41. Johann Blieberger. Kronecker Algebra Based Analysis of Concurrent Computer Programs. 2016. BibTeX

    @misc{kirsch2016,
    	author = "Johann Blieberger",
    	title = "Kronecker Algebra Based Analysis of Concurrent Computer Programs",
    	year = 2016,
    	month = "Oct.",
    	note = "Vortrag beim Festkolloquium aus Anlass des 60. Geburtstages von o.Univ.Prof.Dr. Peter Kirschenhofer"
    }
    
  42. Robert Mittermayr and Johann Blieberger. A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications. JSEA, Special Issue On Parallel & Concurrent Computing 9(5):182–198, 2016. BibTeX

    @article{RM:wcetkron,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications}",
    	journal = "JSEA, Special Issue On Parallel \& Concurrent Computing",
    	volume = 9,
    	number = 5,
    	year = 2016,
    	pages = "182--198"
    }
    
  43. Franz Preyser, Bernhard Heinzl, Philipp Raich and Wolfgang Kastner. Towards Extending the Parallel-DEVS Formalism to Improve Component Modularity. In Tagungsband Zum Workshop Der ASIM/GI-Fachgruppen STS und GMMS. 0. BibTeX

    @inproceedings{Preyser_towards_2016,
    	author = "Preyser, Franz and Heinzl, Bernhard and Raich, Philipp and Kastner, Wolfgang",
    	title = "Towards Extending the {Parallel-DEVS} Formalism to Improve Component Modularity",
    	booktitle = "Tagungsband Zum Workshop Der {ASIM/GI}-Fachgruppen STS und {GMMS}",
    	address = "Lippstadt, Germany",
    	publisher = "{ARGESIM Verlag Wien}",
    	isbn = "978-3-901608-48-3",
    	year = "March 10-11, 2016"
    }
    
  44. Peter Smolek, Ines Leobner, Georgios Gourlis, Benjamin Mörzinger, Bernhard Heinzl and Karl Ponweiser. Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications. In Proceedings of the 11th Conference on Sustainable Development of Energy, Water and Environment Systems ({SDEWES} 2016). 0. BibTeX

    @inproceedings{smolek_hybrid_2016,
    	author = {Smolek, Peter and Leobner, Ines and Gourlis, Georgios and M{\"o}rzinger, Benjamin and Heinzl, Bernhard and Ponweiser, Karl},
    	title = "Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications",
    	booktitle = "Proceedings of the 11th Conference on Sustainable Development of Energy, Water and Environment Systems ({{SDEWES}} 2016)",
    	address = "Lisbon, Portugal",
    	year = "September 4-9, 2016"
    }
    
  45. Ines Leobner, Peter Smolek, Bernhard Heinzl, Philipp Raich, Alexander Schirrer and Martin Kozek. Simulation-Based Strategies for Smart Demand Response. In Proceedings of the 2nd South East European Conference on Sustainable Development of Energy, Water and Environment Systems ({SEE SDEWES} 2016). 0. BibTeX

    @inproceedings{Leobner_DemandResponse_2016,
    	author = "Leobner, Ines and Smolek, Peter and Heinzl, Bernhard and Raich, Philipp and Schirrer, Alexander and Kozek, Martin",
    	title = "Simulation-Based Strategies for Smart Demand Response",
    	booktitle = "Proceedings of the 2nd South East European Conference on Sustainable Development of Energy, Water and Environment Systems ({{SEE SDEWES}} 2016)",
    	address = "Piran, Slovenia",
    	year = "June 15-18, 2016"
    }
    


2015
  1. Thomas Frühwirth, Florian Pauker, Andreas Fernbach, Iman Ayatollahi, Wolfgang Kastner and Burkhard Kittl. Guarded state machines in OPC UA. In Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON). November 2015, 4187-4192. DOI BibTeX

    @inproceedings{fruehwirth15GuardedStateMachinesInOPCUA,
    	title = "{Guarded state machines in OPC UA}",
    	author = {Thomas Fr\"uhwirth and Florian Pauker and Andreas Fernbach and Iman Ayatollahi and Wolfgang Kastner and Burkhard Kittl},
    	booktitle = "{Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON)}",
    	year = 2015,
    	address = "Yokohama, Japan",
    	month = "Nov",
    	pages = "4187-4192",
    	abstract = "{Currently, an increasing number of initiatives are observed aiming at enriching automation environment with modern Information and Communication Technologies (ICT). The desired solutions should lead to increasing and facilitating interoperability of production systems and their components. To realize this vision, a key component is an open and standardized communication platform. Meantime, OPC Unified Architecture (OPC UA) is accepted as communication solution, especially because of its capabilities to create extensible information models. As part of the ongoing research project OPC4Factory, semantically rich OPC UA interfaces based on specific information models for a robotized manufacturing cell are developed. In addition to the static hierarchical structure, the information model should also describe the dynamic behavior of the modeled system. State machines provide proven means to model the dynamic behavior of manufacturing machines. However, whether a transition of a state machine can be executed often depends on certain conditions. In UML, these conditions are reflected by guards. Unfortunately, a similar functionality is neither provided by the current OPC UA specification nor by companion standards. For this reason, an amendment to the OPC UA information model is introduced, enabling guards in OPC UA. Thereby, new object and reference types allow to model operations in an OPC UA server’s address space. Exposing this information has several advantages over hiding it in the server’s source code regarding the required implementation effort as well as the client’s possibilities to react to rejected transition requests.}",
    	doi = "10.1109/IECON.2015.7392753"
    }
    
  2. Daniel Schachinger, Christoph Stampfel and Wolfgang Kastner. Interoperable integration of building automation systems using RESTful BACnet Web services. In Annual Conference of the IEEE Industrial Electronics Society. November 2015, 3899–3904. URL BibTeX

    @inproceedings{schachinger:2015-3,
    	title = "{Interoperable integration of building automation systems using RESTful BACnet Web services}",
    	author = "Schachinger, Daniel and Stampfel, Christoph and Kastner, Wolfgang",
    	booktitle = "{Annual Conference of the IEEE Industrial Electronics Society}",
    	year = 2015,
    	address = "Yokohama, Japan",
    	month = "November",
    	pages = "3899--3904",
    	url = "http://dx.doi.org/10.1109/IECON.2015.7392708"
    }
    
  3. Daniel Schachinger, Stefan Gaida and Wolfgang Kastner. Smart grid communication at the interface of customer buildings with focus on demand response. In International Symposium on Smart Electric Distribution Systems and Technologies. September 2015, 368–373. URL BibTeX

    @inproceedings{schachinger:2015-2,
    	title = "{Smart grid communication at the interface of customer buildings with focus on demand response}",
    	author = "Schachinger, Daniel and Gaida, Stefan and Kastner, Wolfgang",
    	booktitle = "{International Symposium on Smart Electric Distribution Systems and Technologies}",
    	year = 2015,
    	address = "Vienna, Austria",
    	month = "September",
    	pages = "368--373",
    	url = "http://dx.doi.org/10.1109/SEDST.2015.7315236"
    }
    
  4. F Andrén, T Strasser and W Kastner. From textual programming to IEC 61499 artifacts: Towards a model-driven engineering approach for smart grid applications. In 2015 IEEE 13th International Conference on Industrial Informatics (INDIN). July 2015, 1524-1530. DOI BibTeX

    @inproceedings{7281960,
    	author = "F. Andr\'en and T. Strasser and W. Kastner",
    	booktitle = "2015 IEEE 13th International Conference on Industrial Informatics (INDIN)",
    	title = "From textual programming to IEC 61499 artifacts: Towards a model-driven engineering approach for smart grid applications",
    	year = 2015,
    	pages = "1524-1530",
    	keywords = "energy resources;power distribution planning;power engineering computing;programming languages;smart power grids;IEC 61499 artifact;IEC 61499 reference model;distributed energy resource;electric vehicle bus;energy storage system;legacy smart grid application;model-driven engineering approach;power distribution grid;power system planning;textual programming language;Automation;Computational modeling;IEC Standards;Smart grids;Unified modeling language;Cyber-physical energy systems;Smart Grids;distributed automation;information and communication technology;model-driven engineering;transformation rules",
    	doi = "10.1109/INDIN.2015.7281960",
    	issn = "1935-4576",
    	month = "July"
    }
    
  5. T Frühwirth, W Steiner and B Stangl. TTEthernet SW-based End System for AUTOSAR. In Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES). June 2015, 1-8. DOI BibTeX

    @inproceedings{fruehwirth15TTEthernetSWBasedEndSystemForAutosar,
    	title = "{TTEthernet SW-based End System for AUTOSAR}",
    	author = {Fr\"uhwirth, T. and Steiner, W. and Stangl, B.},
    	booktitle = "Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES)",
    	year = 2015,
    	address = "Siegen, Germany",
    	month = "June",
    	pages = "1-8",
    	abstract = "{The requirements, functionality, and consequently also the complexity of software used in the automotive industry has continuously been increasing over the last decades. To cope with this development, main car manufacturing companies and automotive suppliers established the AUTOSAR partnership back in 2003. Its main objective is to reduce development costs and to enhance cooperation between different companies by creating standards and specifications for automotive software applications. With the increasing number of ECUs and vision-based advanced driver assistance systems higher communication speeds than provided by nowadays state-of-the-art bus systems like CAN and FlexRay are desired. The tremendous success story of standard Ethernet has led to various enhancements for different industries to make its benefits also available for safety-critical and real-time applications. One of these enhancements is TTEthernet. In this paper we demonstrate and evaluate the integration of TTEthernet in AUTOSAR. We suggest how the AUTOSAR Ethernet stack can be partitioned to support mixed-criticality traffic and how different traffic types can be integrated on a single physical interface. Furthermore, we give an efficient implementation of the TTEthernet clock synchronization algorithm by utilizing state-of-the-art Ethernet hardware controller features. Finally, the TTEthernet implementation is compared to a standard Ethernet implementation as specified by AUTOSAR, with respect to computational and memory overhead.}",
    	doi = "10.1109/SIES.2015.7185037",
    	keywords = "automobile industry;automobiles;automotive electronics;automotive engineering;control engineering computing;driver information systems;local area networks;road traffic;safety-critical software;synchronisation;trigger circuits;AUTOSAR;ECU;Ethernet hardware controller features;TTEthernet SW-based end system;TTEthernet clock synchronization algorithm;automotive industry;automotive software applications;automotive suppliers;car manufacturing companies;electronic control unit;mixed-criticality traffic;real-time applications;safety-critical applications;vision-based advanced driver assistance systems;Automotive engineering;Hardware;Real-time systems;Schedules;Software;Standards;Synchronization",
    	issn = "2150-3109"
    }
    
  6. Daniel Schachinger. Future Energy - Diskussion & Zukunftsbild. Presented at IMAGINE15, Forschungsnahe IT-Innovationen, June 2015. BibTeX

    @misc{schachinger:2015-4,
    	title = "{Future Energy - Diskussion \& Zukunftsbild}",
    	author = "Daniel Schachinger",
    	howpublished = "{Presented at IMAGINE15, Forschungsnahe IT-Innovationen}",
    	month = "June",
    	year = 2015,
    	address = "Vienna, Austria"
    }
    
  7. Markus Bader, Andreas Richtsfeld, Markus Suchi, George Todoran and Markus Vincze. Coordination of an Autonomous Fleet. In Proceedings of the Austrian Robotics Workshop (ARW-15). May 2015, 13-14. URL BibTeX

    @inproceedings{Bader2015b,
    	title = "{Coordination of an Autonomous Fleet}",
    	author = "Bader, Markus and Richtsfeld, Andreas and Suchi, Markus and Todoran, George and Vincze, Markus",
    	booktitle = "Proceedings of the Austrian Robotics Workshop (ARW-15)",
    	year = 2015,
    	address = "Klagenfurt, Austria",
    	month = "May",
    	pages = "13-14",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/bader2015b.pdf"
    }
    
  8. George Todoran, Markus Bader and Markus Vincze. Local SLAM in Dynamic Environments using Grouped Point-Cloud Tracking. A Framework. In Proceedings of the Austrian Robotics Workshop (ARW-15). May 2015, 13-14. URL BibTeX

    @inproceedings{todoran2015a,
    	title = "{Local SLAM in Dynamic Environments using Grouped Point-Cloud Tracking. A Framework}",
    	author = "Todoran, George and Bader, Markus and Vincze, Markus",
    	booktitle = "Proceedings of the Austrian Robotics Workshop (ARW-15)",
    	year = 2015,
    	month = "May",
    	pages = "13-14",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/todoran2015a.pdf"
    }
    
  9. Markus Bader, Andreas Richtsfeld, Markus Suchi, George Todoran, Wolfgang Holl, Wolfgang Kastner and Markus Vincze. Balancing Centralized Control with Vehicle Autonomy in AGV Systems. In Proceedings 11th International Conference on Autonomic and Autonomous Systems (ICAS) 11. May 2015, 37-43. URL BibTeX

    @inproceedings{Bader2015a,
    	title = "{Balancing Centralized Control with Vehicle Autonomy in AGV Systems}",
    	author = "Bader, Markus and Richtsfeld, Andreas and Suchi, Markus and Todoran, George and Holl, Wolfgang and Kastner, Wolfgang and Vincze, Markus",
    	booktitle = "Proceedings 11th International Conference on Autonomic and Autonomous Systems (ICAS)",
    	year = 2015,
    	month = "May",
    	pages = "37-43",
    	volume = 11,
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/bader2015a.pdf"
    }
    
  10. Daniel Schachinger and Wolfgang Kastner. Model-Driven Integration of Building Automation Systems into Web Service Gateways. In IEEE World Conference on Factory Communication Systems. May 2015, 1–8. URL BibTeX

    @inproceedings{schachinger:2015-1,
    	title = "{Model-Driven Integration of Building Automation Systems into Web Service Gateways}",
    	author = "Schachinger, Daniel and Kastner, Wolfgang",
    	booktitle = "{IEEE World Conference on Factory Communication Systems}",
    	year = 2015,
    	address = "Palma de Mallorca, Spain",
    	month = "May",
    	pages = "1--8",
    	url = "http://dx.doi.org/10.1109/WFCS.2015.7160561"
    }
    
  11. Nam Ky Giang, Janggwan Im, Daeyoung Kim, Markus Jung and Wolfgang Kastner. Integrating the EPCIS and Building Automation System into the Internet of Things: a Lightweight and Interoperable Approach. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) 6(1):56–73, March 2015. URL BibTeX

    @article{jowua15-6-1-04,
    	author = "Nam Ky Giang and Janggwan Im and Daeyoung Kim and Markus Jung and Wolfgang Kastner",
    	title = "{Integrating the EPCIS and Building Automation System into the Internet of Things: a Lightweight and Interoperable Approach}",
    	journal = "Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)",
    	volume = 6,
    	number = 1,
    	year = 2015,
    	month = "March",
    	pages = "56--73",
    	url = "http://isyou.info/jowua/papers/jowua-v6n1-4.pdf"
    }
    
  12. Franz Josef Preyser, Irene Hafner and Matthias Rößler. Implementation of Hybrid Systems Described by DEV&DESS in the QSS Based Simulator PowerDEVS. Simulation Notes Europe 25(2):109-116, 2015. URL, DOI BibTeX

    @article{FPIHMR_SNE252_15c,
    	author = {Franz Josef Preyser and Irene Hafner and Matthias R{\"o}{\ss}ler},
    	title = "{Implementation of Hybrid Systems Described by DEV\&DESS in the QSS Based Simulator PowerDEVS}",
    	journal = "Simulation Notes Europe",
    	volume = 25,
    	number = 2,
    	pages = "109-116",
    	year = 2015,
    	issn = "2305-9974",
    	doi = "0.11128/sne.25.tn.10298",
    	url = "http://dx.doi.org/10.11128/sne.25.tn.10298",
    	keywords = "Simulation, DEVS, DEV&DEVS, Hybrid Systems, QSS, PowerDEVS"
    }
    
  13. Franz Josef Preyser. An Approach to Develop a User Friendly Way of Implementing DEV&DESS Models in PowerDEVS. Vienna Technical University - Institut for Analysis and Scientific Computing, 2015. URL BibTeX

    @mastersthesis{Preyser2015b,
    	author = "Preyser, Franz Josef",
    	school = "Vienna Technical University - Institut for Analysis and Scientific Computing",
    	title = "{An Approach to Develop a User Friendly Way of Implementing DEV\&DESS Models in PowerDEVS}",
    	url = "http://publik.tuwien.ac.at/files/PubDat_245603.pdf",
    	year = 2015,
    	notes = "Betreuer/in(nen): F. Breitenecker, M. Drmota; Institut für Analysis und Scientific Computing, 2015; Abschlussprüfung: 15.06.2015."
    }
    
  14. Franz Josef Preyser, Irene Hafner and Matthias Rößler. {Implementation of Hybrid Systems Described by DEV&DESS in the QSS Based Simulator PowerDEVS}. In Arnold Lange Claudia Rahn Franz Jendersie (ed.). Beiträge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS 2015. 2015, 183-190. BibTeX

    @inproceedings{FPIHMR_15a,
    	abstract = "In this article, a method for implementing hybrid models, formulated as DEV{\&}DESS, in the QSS based simulator PowerDEVS is presented. PowerDEVS is actually a pure DEVS simulator. However, it is specialised for simulating continuous Models (DESS) using QSS (Quantized State System) to translate them into discrete event models (DEVS). Therefore, it is perfectly suited for the simulation of hybrid models (DEV{\&}DESS). When designing and simulating coupled DEVS models though, very soon a lot of difficulties occur caused by concurrent events and feedback loops. Hence, first some concepts are introduced of how to implement an atomic DEVS in a way that avoids those difficulties. Afterwards, an approach of how to implement an atomic DEV{\&}DESS is introduced which makes use of those concepts.",
    	address = "Stralsund",
    	author = {Preyser, Franz Josef and Hafner, Irene and R{\"{o}}{\ss}ler, Matthias},
    	booktitle = {Beitr{\"{a}}ge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS 2015},
    	editor = "{Claudia Rahn, Franz Jendersie}, Arnold Lange",
    	keywords = "Simulation, DEVS, PDEVS, DEV&DEVS, Hybrid Systems, QSS, PowerDEVS",
    	pages = "183-190",
    	publisher = "ARGESIM/ASIM Pub Wien",
    	title = "{Implementation of Hybrid Systems Described by DEV{\&}DESS in the QSS Based Simulator PowerDEVS}",
    	year = 2015,
    	isbn = "978-3-9813334-9-7"
    }
    
  15. J Henikl, W Kemmetmüller, M Bader and A Kugi. Modeling, Simulation and Identification of a Mobile Concrete Pump. Mathematical and Computer Modelling of Dynamical Systems 21(2):180–201, 2015. DOI BibTeX

    @article{Henikl2014,
    	author = {Henikl, J. and Kemmetm\"uller, W. and Bader, M. and Kugi, A.},
    	title = "{Modeling, Simulation and Identification of a Mobile Concrete Pump}",
    	journal = "Mathematical and Computer Modelling of Dynamical Systems",
    	year = 2015,
    	volume = 21,
    	number = 2,
    	pages = "180--201",
    	doi = "10.1080/13873954.2014.926277"
    }
    
  16. T Frühwirth, L Krammer and W Kastner. Dependability Demands and State of the Art in the Internet of Things. In Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA). 2015, 1-4. DOI BibTeX

    @inproceedings{fruehwirth15DependabilityDemandsInIoT,
    	title = "{Dependability Demands and State of the Art in the Internet of Things}",
    	author = {Fr\"uhwirth, T. and Krammer, L. and Kastner, W.},
    	booktitle = "Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA)",
    	year = 2015,
    	address = "Luxembourg",
    	month = "Sept",
    	pages = "1-4",
    	abstract = "{The number of devices connected to the Internet of Things (IoT) has steadily been increasing over the last years and so has the variety of applications. There is no sign for this trend to weaken. A broad subset of them imposes requirements on attributes, such as availability, reliability, safety and many more. These attributes are commonly subsumed under the term dependability. In this paper we first give a brief introduction to dependability. Three application scenarios typical for the IoT are presented and their demands for each dependability attribute are discussed. Furthermore, an overview of the current state of the art is presented. Last, a summary of required technologies and future research topics to enable dependability in the IoT is given.}",
    	doi = "10.1109/ETFA.2015.7301592",
    	keywords = "Internet of Things;Internet of Things;IoT;broad subset;dependability demands;Internet of things;Privacy;Protocols;Reliability;Safety;Scalability;Wireless sensor networks"
    }
    
  17. Philipp Raich. Scalability Analysis of a Web-based IoT Stack for Automation Systems. TU Wien, Institut f{\"ü}r Rechnergestützte Automation, 2015. URL BibTeX

    @mastersthesis{Raich2015,
    	author = "Raich, Philipp",
    	school = {TU Wien, Institut f{\"{ü}}r Rechnergest{\"{u}}tzte Automation},
    	title = "{Scalability Analysis of a Web-based IoT Stack for Automation Systems}",
    	url = "http://www.ub.tuwien.ac.at/dipl/2015/AC12204604.pdf",
    	year = 2015
    }
    
  18. Bernhard Heinzl. Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben. 2015 BibTeX

    @unpublished{Heinzl_Energieopt_TUWien_2015,
    	author = "Heinzl, Bernhard",
    	title = {Interdisziplin{\"a}re Forschung zur Energieoptimierung in Fertigungsbetrieben},
    	year = 2015,
    	note = "eingeladen; Vortrag: Blickpunkt Forschung: Energie @ TU Wien, Wien; 2015-09-28"
    }
    
  19. Bernhard Heinzl, Irene Hafner, Peter Smolek, Ines Leobner, Georgios Gourlis, Martin Obermair, Nikolas Popper and Wolfgang Kastner. Towards a Common Description of Interdisciplinary Aspects Relevant for Holistic Energy Analysis of Production Facilities. In Workshop der ASIM/GI-Fachgruppen STS/GMMS. 2015. BibTeX

    @inproceedings{HeinzlHafner_DescrHolisticEnergy_ASIM_2015,
    	author = "Heinzl, Bernhard and Hafner, Irene and Smolek, Peter and Leobner, Ines and Gourlis, Georgios and Obermair, Martin and Popper, Nikolas and Kastner, Wolfgang",
    	title = "Towards a Common Description of Interdisciplinary Aspects Relevant for Holistic Energy Analysis of Production Facilities",
    	booktitle = "Workshop der ASIM/GI-Fachgruppen STS/GMMS",
    	year = 2015,
    	numpages = 2,
    	keywords = "Modelling and Simulation, Interdisciplinary Energy Efficiency, Production Systems",
    	note = "Vortrag: Workshop der ASIM/GI-Fachgruppen STS/GMMS, Fachhochschule Stralsund, Deutschland; 2015-06-18 -- 2015-06-19"
    }
    
  20. Peter Smolek, Ines Leobner, Bernhard Heinzl, Georgios Gourlis and Karl Ponweiser. A Method for Real-Time Aggregation of a Product Footprint during Manufacturing. In Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems. 2015. BibTeX

    @inproceedings{SmolekLeobner_Footprint_SDEWES_2015,
    	author = "Smolek, Peter and Leobner, Ines and Heinzl, Bernhard and Gourlis, Georgios and Ponweiser, Karl",
    	title = "A Method for Real-Time Aggregation of a Product Footprint during Manufacturing",
    	booktitle = "Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems",
    	year = 2015,
    	note = "Vortrag: 10th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES 2015), Dubrovnik, Croatia; 2015-09-27 -- 2015-10-02"
    }
    
  21. Ines Leobner, Peter Smolek, Bernhard Heinzl, Iva Kovacic, Fabian Dür, Karl Ponweiser and Wolfgang Kastner. Balanced Manufacturing - a Methodology for Energy Efficient Production Plant operation. In Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems. 2015. BibTeX

    @inproceedings{LeobnerSmolek_BalancedManufacturing_SDEWES_2015,
    	author = {Leobner, Ines and Smolek, Peter and Heinzl, Bernhard and Kovacic, Iva and D{\"u}r, Fabian and Ponweiser, Karl and Kastner, Wolfgang},
    	title = "Balanced Manufacturing - a Methodology for Energy Efficient Production Plant operation",
    	booktitle = "Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems",
    	year = 2015,
    	numpages = 10,
    	note = "Vortrag: 10th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES 2015), Dubrovnik, Croatia; 2015-09-27 -- 2015-10-02"
    }
    
  22. Patrick Grabher, Matthias Rößler and Bernhard Heinzl. Implementation of Quantized State Systems in MATLAB/Simulink. Simulation Notes Europe 24(3-4):185–190, 2015. URL, DOI BibTeX

    @article{GrabherRoessler_QSS_SNE_2015,
    	author = {Grabher, Patrick and R{\"o}{\ss}ler, Matthias and Heinzl, Bernhard},
    	title = "Implementation of Quantized State Systems in MATLAB/Simulink",
    	journal = "Simulation Notes Europe",
    	year = 2015,
    	volume = 24,
    	number = "3-4",
    	pages = "185--190",
    	url = "http://publik.tuwien.ac.at/files/PubDat_246562.pdf",
    	doi = "10.11128/sne.24.tn.102269"
    }
    
  23. Andreas Fernbach, Wolfgang Granzer and Wolfgang Kastner. Knowledge Based Building and Energy Management. In Tagungsband der e-nova 2015, Forschungs- und Studienzentrum Pinkafeld. 2015. BibTeX

    @inproceedings{sewoa2,
    	author = "Andreas Fernbach and Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Knowledge Based Building and Energy Management}",
    	booktitle = "{Tagungsband der e-nova 2015, Forschungs- und Studienzentrum Pinkafeld}",
    	year = 2015,
    	month = "",
    	abstract = "Nowadays, the variety of home and building automation technologies has led to a landscape with heterogeneous interfaces, communication protocols and devices. By the future establishment of the Internet of Things in this area with numerous IPv6-based end devices, the degree of automation and the resulting complexity will further raise. Besides highly efficient control and maintenance strategies, use case sce- narios like demand side management, load shifting, and energy feedback are future goals of building management systems. To this aim, not only building-inherent information sources for energy demand predictions but also external information concerning forecasts for more wealthy conditions and the production of renewable energy sources (e.g., solar or wind) as well as current energy market prices need to be taken into account. For reaching the ambi- tious goals regarding energy savings and smart consumption of renewable energy within the context of smart grids, a further interoperability problem needs to be solved."
    }
    
  24. Adrian Dabrowski, Markus Kammerstetter, Eduard Thamm, Edgar Weippl and Wolfgang Kastner. Leveraging Competitive Gamification for Sustainable Fun and Profit in Security Education. In Proceedings of the 2015 USENIX Summit on Gaming, Games and Gamification in Security Education. 2015. BibTeX

    @inproceedings{TUW-243862,
    	author = "Dabrowski, Adrian and Kammerstetter, Markus and Thamm, Eduard and Weippl, Edgar and Kastner, Wolfgang",
    	title = "Leveraging Competitive Gamification for Sustainable Fun and Profit in Security Education",
    	booktitle = "Proceedings of the 2015 USENIX Summit on Gaming, Games and Gamification in Security Education",
    	year = 2015,
    	publisher = "USENIX"
    }
    
  25. Mark Stefan, Johann Blieberger and Andreas Schöbel. Kronecker Algebra zur Optimierung des Eisenbahnbetriebes. ETR 9:78–84, 2015. URL BibTeX

    @article{stef:kronalg,
    	author = {Mark Stefan and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra zur Optimierung des Eisenbahnbetriebes}",
    	journal = "ETR",
    	year = 2015,
    	volume = 9,
    	pages = "78--84",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/78_84_Austria_Volcic_ua.pdf"
    }
    


2014
  1. Markus Jung, Philipp Raich and Wolfgang Kastner. The relevance and impact of IPv6 multicasting for Wireless Sensor and Actuator Networks based on 6LoWPAN and constrained RESTful environments. In 2014 Int. Conf. Internet of Things (IOT). October 2014, 7–12. URL, DOI BibTeX

    @inproceedings{mjung-2014-iot-ipv6-multicasting,
    	address = "Cambridge, MA, USA",
    	author = "Jung, Markus and Raich, Philipp and Kastner, Wolfgang",
    	booktitle = "2014 Int. Conf. Internet of Things (IOT)",
    	doi = "10.1109/IOT.2014.7030107",
    	isbn = "978-1-4799-5154-3",
    	keywords = "CoAP,Group Communication,IPv6,Multicast,WSAN,Web services",
    	month = "oct",
    	pages = "7--12",
    	publisher = "IEEE",
    	title = "{The relevance and impact of IPv6 multicasting for Wireless Sensor and Actuator Networks based on 6LoWPAN and constrained RESTful environments}",
    	url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7030107",
    	year = 2014
    }
    
  2. Daniel Schachinger, Markus Jung and Wolfgang Kastner. KNX and Model-Driven Engineering. In KNX Scientific Conference. October 2014, 1–12. BibTeX

    @inproceedings{schachinger:2014-2,
    	title = "{KNX and Model-Driven Engineering}",
    	author = "Daniel Schachinger and Markus Jung and Wolfgang Kastner",
    	booktitle = "{KNX Scientific Conference}",
    	year = 2014,
    	address = "Wiesbaden, Germany",
    	month = "October",
    	pages = "1--12"
    }
    
  3. Markus Jung, Jomy Chelakal, Jürgen Schober, Wolfgang Kastner, Luyu Zhou and Giang Ky Nam. IoTSyS: an integration middleware for the Internet of Things. In Proceedings of the 4th International Conference on the Internet of Things (IoT 2014). October 2014. BibTeX

    @inproceedings{mjung-2014-iot-iotsys,
    	author = {Jung, Markus and Chelakal, Jomy and Schober, J\"urgen and Kastner, Wolfgang and Zhou, Luyu and Nam, Giang Ky},
    	title = "{IoTSyS: an integration middleware for the Internet of Things}",
    	year = 2014,
    	month = "oct",
    	booktitle = "{Proceedings of the 4th International Conference on the Internet of Things (IoT 2014)}",
    	address = "Cambridge, MA, USA",
    	note = "Demo abstract"
    }
    
  4. F Andrén, T Strasser and W Kastner. Model-driven engineering applied to Smart Grid automation using IEC 61850 and IEC 61499. In 2014 Power Systems Computation Conference. August 2014, 1-7. DOI BibTeX

    @inproceedings{7038498,
    	author = "F. Andr\'en and T. Strasser and W. Kastner",
    	booktitle = "2014 Power Systems Computation Conference",
    	title = "Model-driven engineering applied to Smart Grid automation using IEC 61850 and IEC 61499",
    	year = 2014,
    	pages = "1-7",
    	keywords = "IEC standards;distribution networks;power system control;renewable energy sources;smart power grids;IEC 61499;IEC 61850;distributed automation reference model;model-driven engineering;power distribution grids;power utility automation;power utility interoperability approach;renewable energy sources;smart grid automation;standard-compliant formal approach;sustainable electric energy supply;Adaptation models;Automation;Data models;Hardware;IEC standards;Smart grids",
    	doi = "10.1109/PSCC.2014.7038498",
    	month = "Aug"
    }
    
  5. Johann Blieberger and Bernd Burgstaller. Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. In Ada-Europe'2014 International Conference on Reliable Software Technologies, LNCS 8454. June 2014, 27–42. DOI BibTeX

    @inproceedings{bburg:AdaKron,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "{Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects}",
    	address = "Paris, France",
    	booktitle = "Ada-Europe'2014 International Conference on Reliable Software Technologies, LNCS 8454",
    	pages = "27--42",
    	month = "June",
    	year = 2014,
    	doi = "http://dx.doi.org/10.1007/978-3-319-08311-7_4"
    }
    
  6. Markus Suchi, Marus Bader and Markus Vincze. Meta-Heuristic search strategies for Local Path-Planning to find collision free trajectories. In Proceedings of the Austrian Robotics Workshop (ARW-14). May 2014, 36-41. URL BibTeX

    @inproceedings{Suchi2014a,
    	title = "{Meta-Heuristic search strategies for Local Path-Planning to find collision free trajectories}",
    	author = "Suchi, Markus and Bader, Marus and Vincze, Markus",
    	booktitle = "{Proceedings of the Austrian Robotics Workshop (ARW-14)}",
    	year = 2014,
    	month = "May",
    	pages = "36-41",
    	url = "http://www.auto.tuwien.ac.at/~mbader/papers/suchi2014a.pdf"
    }
    
  7. Andreas Fernbach and Wolfgang Kastner. Integration of Smart Meters into Management Systems in Automation. In Proc. of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014). May 2014. BibTeX

    @inproceedings{mbus_opcua,
    	author = "Fernbach, Andreas and Kastner, Wolfgang",
    	title = "{Integration of Smart Meters into Management Systems in Automation}",
    	booktitle = "{Proc. of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014)}",
    	year = 2014,
    	month = "may",
    	abstract = "On the way to a totally integrated automation system not only functional process data are of importance. Nowadays, where increasing the efficiency regarding resource consumption of buildings and production plants is a big topic, centralised access to data provided by Smart Meters plays a significant role. This work presents first steps towards the integration of M-Bus-based metering devices into management applications in automation systems by means of OPC Unified Architecture."
    }
    
  8. Andreas Schöbel, Mark Volcic and Johann Blieberger. Analysis and Optimisation of Railway Systems. In EURO-ŽEL 2014. May 2014. BibTeX

    @inproceedings{sch:optrail,
    	author = {Andreas Sch{\"o}bel and Mark Volcic and Johann Blieberger},
    	title = "Analysis and Optimisation of Railway Systems",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2014",
    	month = "May",
    	year = 2014
    }
    
  9. Johann Blieberger and Peter Kirschenhofer. Generalized Catalan Sequences Originating from the Analysis of Special Data Structures. Bulletin of the Institute of Combinatorics and its Applications 71:103–116, May 2014. URL BibTeX

    @article{TUW-228630,
    	author = "Blieberger, Johann and Kirschenhofer, Peter",
    	title = "Generalized Catalan Sequences Originating from the Analysis of Special Data Structures",
    	journal = "Bulletin of the Institute of Combinatorics and its Applications",
    	year = 2014,
    	month = "May",
    	volume = 71,
    	pages = "103--116",
    	url = "http://institute.unileoben.ac.at/mathstat/personal/(2014)%20Generalized%20Catalan%20Sequences%20%5bEtc%5d.pdf"
    }
    
  10. Bernhard Heinzl, Wolfgang Kastner, Ines Leobner, Fabian Dür, Friedrich Bleicher and Iva Kovacic. Using coupled simulation for planning of energy efficient production facilities. In Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2014 Workshop on. April 2014, 1-6. DOI BibTeX

    @inproceedings{HKLDBK_MSCPES_14,
    	author = {Heinzl, Bernhard and Kastner, Wolfgang and Leobner, Ines and D\"ur, Fabian and Bleicher, Friedrich and Kovacic, Iva},
    	booktitle = "Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2014 Workshop on",
    	title = "Using coupled simulation for planning of energy efficient production facilities",
    	year = 2014,
    	month = "April",
    	pages = "1-6",
    	keywords = "Buildings;Data models;Mathematical model;Numerical models;Object oriented modeling;Production;Resistance heating;co-simulation;energy efficiency;integral planning;production facilities;simulator coupling",
    	doi = "10.1109/MSCPES.2014.6842397"
    }
    
  11. Mark Volcic, Johann Blieberger and Andreas Schöbel. Optimisation of Railway Operation by Application of Kronecker Algebra. In CETRA 2014. April 2014, 37–42. BibTeX

    @inproceedings{vol:optrail4,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Optimisation of Railway Operation by Application of Kronecker Algebra",
    	address = "Split, Croatia",
    	booktitle = "CETRA 2014",
    	pages = "37--42",
    	month = "April",
    	year = 2014
    }
    
  12. Astrid Weiss, Markus Bader, Markus Vincze, Gert Hasenhütl and Stefan Moritsch. Designing a Service Robot for Public Space: An "Action and Experiences" - Approach. In Proceedings of the 2014 ACM/IEEE International Conference on Human-robot Interaction. 2014, 318–319. URL, DOI BibTeX

    @inproceedings{Weiss2014,
    	title = {{Designing a Service Robot for Public Space: An "Action and Experiences" - Approach}},
    	author = {Weiss, Astrid and Bader, Markus and Vincze, Markus and Hasenh\"{u}tl, Gert and Moritsch, Stefan},
    	booktitle = "Proceedings of the 2014 ACM/IEEE International Conference on Human-robot Interaction",
    	year = 2014,
    	address = "New York, NY, USA",
    	pages = "318--319",
    	publisher = "ACM",
    	series = "HRI '14",
    	acmid = 2559791,
    	doi = "10.1145/2559636.2559791",
    	isbn = "978-1-4503-2658-2",
    	keywords = "design study, public space, service robot",
    	location = "Bielefeld, Germany",
    	numpages = 2,
    	url = "http://doi.acm.org/10.1145/2559636.2559791"
    }
    
  13. Stefan Seifried, Lukas Krammer and Wolfgang Kastner. A reliable and flexible KNX Gateway. In KNX Scientifc Conference 2014. 2014. BibTeX

    @inproceedings{Seifried2014,
    	author = "Seifried, Stefan and Krammer, Lukas and Kastner, Wolfgang",
    	booktitle = "KNX Scientifc Conference 2014",
    	file = ":D$\backslash$:/Source/paper/knx-2014{\_}a-reliable-and-flexible-knx-gateway/paper/paper.pdf:pdf",
    	title = "{A reliable and flexible KNX Gateway}",
    	year = 2014
    }
    
  14. Lukas Krammer, Stefan Seifried and Wolfgang Kastner. A fault-tolerant Backbone for IEEE 802 . 15 . 4 based Networks. In ICIT 2014. 2014, 736–742. DOI BibTeX

    @inproceedings{Krammer2014,
    	author = "Krammer, Lukas and Seifried, Stefan and Kastner, Wolfgang",
    	booktitle = "ICIT 2014",
    	doi = "10.1109/ICIT.2014.6895023",
    	file = ":C$\backslash$:/Users/sseifried/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Krammer, Seifried, Kastner - 2014 - A fault-tolerant Backbone for IEEE 802 . 15 . 4 based Networks.pdf:pdf",
    	isbn = 9781479939398,
    	pages = "736--742",
    	title = "{A fault-tolerant Backbone for IEEE 802 . 15 . 4 based Networks}",
    	year = 2014
    }
    
  15. Daniel Schachinger. Model-Driven Engineering for Building Automation Systems. TU Wien, Institute of Computer Aided Automation, 2014. URL BibTeX

    @mastersthesis{schachinger:2014-1,
    	title = "{Model-Driven Engineering for Building Automation Systems}",
    	author = "Daniel Schachinger",
    	school = "{TU Wien, Institute of Computer Aided Automation}",
    	year = 2014,
    	url = "http://www.ub.tuwien.ac.at/dipl/2014/AC11630465.pdf"
    }
    
  16. Carina Pöll, Irene Hafner and Bernhard Heinzl. Discussion of two Case Studies on DAEs using Different Approaches for Regularisation. Simulation Notes Europe 24(3-4):179–184, 2014. URL, DOI BibTeX

    @article{PoellHafnerHeinzl_DAEReg_SNE_2014,
    	author = {P{\"o}ll, Carina and Hafner, Irene and Heinzl, Bernhard},
    	title = "Discussion of two Case Studies on DAEs using Different Approaches for Regularisation",
    	journal = "Simulation Notes Europe",
    	year = 2014,
    	volume = 24,
    	number = "3-4",
    	pages = "179--184",
    	url = "http://publik.tuwien.ac.at/files/PubDat_242794.pdf",
    	doi = "10.11128/sne.24.tn.102267"
    }
    
  17. Carina Pöll, Irene Hafner, Bernhard Heinzl and Felix Breitenecker. Comparison of Regularisation Approaches for High Index DAEs. In Jochen Wittmann and Christina Deatcu (eds.). Tagungsband ASIM 2014 - 22.Symposium Simulationstechnik. 2014, 23–30. URL BibTeX

    @inproceedings{PoellHafner_DAE_ASIM_2014,
    	author = {P{\"o}ll, Carina and Hafner, Irene and Heinzl, Bernhard and Breitenecker, Felix},
    	title = "Comparison of Regularisation Approaches for High Index DAEs",
    	booktitle = "Tagungsband ASIM 2014 - 22.Symposium Simulationstechnik",
    	year = 2014,
    	editor = "Wittmann, Jochen and Deatcu, Christina",
    	pages = "23--30",
    	publisher = "ARGESIM/ASIM",
    	address = "43/1/Berlin",
    	url = "http://publik.tuwien.ac.at/files/PubDat_234784.pdf",
    	isbn = "978-3-901608-44-5"
    }
    
  18. Franz Josef Preyser, Bernhard Heinzl, Matthias Rößler and Felix Breitenecker. Ereignislokalisierung durch die Henon-Methode. In Jochen Wittmann and Christina Deatcu (eds.). Tagungsband ASIM 2014 - 22.Symposium Simulationstechnik. 2014, 225–228. URL BibTeX

    @inproceedings{PreyserHeinzl_Henon_ASIM_2014a,
    	author = {Preyser, Franz Josef and Heinzl, Bernhard and R{\"o}{\ss}ler, Matthias and Breitenecker, Felix},
    	title = "Ereignislokalisierung durch die Henon-Methode",
    	booktitle = "Tagungsband ASIM 2014 - 22.Symposium Simulationstechnik",
    	year = 2014,
    	editor = "Wittmann, Jochen and Deatcu, Christina",
    	pages = "225--228",
    	publisher = "ARGESIM/ASIM",
    	address = "43/2/Berlin",
    	url = "http://publik.tuwien.ac.at/files/PubDat_234895.pdf",
    	isbn = "978-3-901608-44-5"
    }
    
  19. Friedrich Bleicher, Fabian Dür, Ines Leobner, Iva Kovacic, Bernhard Heinzl and Wolfgang Kastner. Co-simulation environment for optimizing energy efficiency in production systems. 2014 BibTeX

    @unpublished{BleicherDuer_CIRP_2014,
    	author = {Bleicher, Friedrich and D{\"u}r, Fabian and Leobner, Ines and Kovacic, Iva and Heinzl, Bernhard and Kastner, Wolfgang},
    	title = "Co-simulation environment for optimizing energy efficiency in production systems",
    	year = 2014,
    	note = "Invited talk: 64th CIRP General Asembly, Nantes; 2014-08-24 -- 2014-08-30"
    }
    
  20. Carina Pöll, Irene Hafner, Bernhard Heinzl and Felix Breitenecker. Über die Simulation differential-algebraischer Modelle mit nichttrivialem Index. In Jürgen Scheible, Ingrid Bausch-Gall and Christiane Deatcu (eds.). ASIM-Workshop der STS/GMMS 2014. 2014, 10–12. URL BibTeX

    @inproceedings{PoellHafnerHeinzl_DAEIndex_ASIM_2014,
    	author = {P{\"o}ll, Carina and Hafner, Irene and Heinzl, Bernhard and Breitenecker, Felix},
    	title = {{\"U}ber die Simulation differential-algebraischer Modelle mit nichttrivialem Index},
    	booktitle = "ASIM-Workshop der STS/GMMS 2014",
    	year = 2014,
    	editor = {Scheible, J{\"u}rgen and Bausch-Gall, Ingrid and Deatcu, Christiane},
    	pages = "10--12",
    	publisher = "ARGESIM Verlag Wien",
    	address = "1/1/Wien",
    	url = "http://publik.tuwien.ac.at/files/PubDat_233775.pdf",
    	isbn = "978-3-901608-43-8",
    	note = "Vortrag: ASIM-Workshop der STS/GMMS 2014, Reutlingen; 2014-02-20 -- 2014-02-21"
    }
    
  21. Franz Josef Preyser, Bernhard Heinzl and Felix Breitenecker. Henon - Eine alternative numerische Methode zur Ereignislokalisierung. In Jürgen Scheible, Ingrid Bausch-Gall and Christina Deatcu (eds.). Beitrge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS. 2014. BibTeX

    @inproceedings{PreyserHeinzl_Henon_ASIM_2014,
    	author = "Preyser, Franz Josef and Heinzl, Bernhard and Breitenecker, Felix",
    	title = "Henon - Eine alternative numerische Methode zur Ereignislokalisierung",
    	booktitle = "Beitrge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS",
    	year = 2014,
    	editor = {Scheible, J{\"u}rgen and Bausch-Gall, Ingrid and Deatcu, Christina},
    	publisher = "ARGESIM Verlag Wien",
    	address = "Wien",
    	numpages = 4,
    	eid = 36,
    	isbn = "978-3-901608-43-8"
    }
    
  22. Bernhard Heinzl, Wolfgang Kastner, Matthias Rößler, Friedrich Bleicher, Fabian Dür, Iva Kovacic, Ines Leobner and Niki Popper. Interdisziplinäre Optimierung der Energieeffizienz in Fertigungsbetrieben mittels Co-Simulation. In Jürgen Scheible, Ingrid Bausch-Gall and Christina Deatcu (eds.). Beitrge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS. 2014. BibTeX

    @inproceedings{HeinzlKastner_CoSim_ASIM_2014,
    	author = {Heinzl, Bernhard and Kastner, Wolfgang and R{\"o}{\ss}ler, Matthias and Bleicher, Friedrich and D{\"u}r, Fabian and Kovacic, Iva and Leobner, Ines and Popper, Niki},
    	title = {Interdisziplin{\"a}re Optimierung der Energieeffizienz in Fertigungsbetrieben mittels Co-Simulation},
    	booktitle = "Beitrge zum Workshop der ASIM/GI-Fachgruppen STS und GMMS",
    	year = 2014,
    	editor = {Scheible, J{\"u}rgen and Bausch-Gall, Ingrid and Deatcu, Christina},
    	publisher = "ARGESIM Verlag Wien",
    	address = "Wien",
    	numpages = 4,
    	eid = 38,
    	isbn = "978-3-901608-43-8"
    }
    
  23. Irene Hafner, Matthias Rößler, Bernhard Heinzl, Andreas Körner, Michael Landsiedl and Felix Breitenecker. Investigating communication and step-size behaviour for co-simulation of hybrid physical systems. Journal of Computational Science, pages 427–438, 2014. DOI BibTeX

    @article{HafnerRoesslerHeinzl_Stepsize_JournalCompScience_2014,
    	author = {Hafner, Irene and R{\"o}{\ss}ler, Matthias and Heinzl, Bernhard and K{\"o}rner, Andreas and Landsiedl, Michael and Breitenecker, Felix},
    	title = "Investigating communication and step-size behaviour for co-simulation of hybrid physical systems",
    	journal = "Journal of Computational Science",
    	year = 2014,
    	pages = "427--438",
    	doi = "doi:10.1016/j.jocs.2013.08.007"
    }
    
  24. Bernhard Heinzl, Wolfgang Kastner, Fabian Dür, Friedrich Bleicher, Ines Leobner and Iva Kovacic. Using Coupled Simulation for Planning of Energy Efficient Production Facilities. In Proceedings of 2014 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems ({MSCPES 2014}). 2014, 21–26. BibTeX

    @inproceedings{Heinzl_CoupledSimulation_2014,
    	author = {Heinzl, Bernhard and Kastner, Wolfgang and D{\"u}r, Fabian and Bleicher, Friedrich and Leobner, Ines and Kovacic, Iva},
    	title = "Using Coupled Simulation for Planning of Energy Efficient Production Facilities",
    	booktitle = "Proceedings of 2014 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems ({{MSCPES 2014}})",
    	address = "Berlin, Germany",
    	pages = "21--26",
    	month = "",
    	year = 2014
    }
    
  25. Niki Popper, Irene Hafner, Matthias Rössler, Franz Preyser, Bernhard Heinzl, Peter Smolek and Ines Leobner. A General Concept for Description of Production Plants with a Concept of Cubes. Simulation Notes Europe 24(2):105–114, 2014. BibTeX

    @article{Popper_CubeConcept_2014,
    	author = {Popper, Niki and Hafner, Irene and R{\"o}ssler, Matthias and Preyser, Franz and Heinzl, Bernhard and Smolek, Peter and Leobner, Ines},
    	title = "A General Concept for Description of Production Plants with a Concept of Cubes",
    	journal = "Simulation Notes Europe",
    	volume = 24,
    	number = 2,
    	pages = "105--114",
    	year = 2014
    }
    
  26. Wolfgang Kastner Antonio Jara J Markus Jung Esad Hajdarevic. Short Paper: A Scripting-Free Control Logic Editor for the Internet of Things. In Proceedings of the IEEE World Forum on Internet of Things. 2014. BibTeX

    @inproceedings{wfiot2014,
    	author = "{Markus Jung, Esad Hajdarevic, Wolfgang Kastner, Antonio J. Jara}",
    	title = "{Short Paper: A Scripting-Free Control Logic Editor for the Internet of Things}",
    	year = 2014,
    	booktitle = "{Proceedings of the IEEE World Forum on Internet of Things}",
    	month = "",
    	address = "Seoul, Rebublic of Korea"
    }
    
  27. Daeyoung Kim Markus Jung Wolfgang Kastner Giang Nam Seong Hoon Kim. Extending the EPCIS with Building Automation Systems: a New Information System For the Internet of Things. In Proceedings of the International Workshop on Extending Seamlessly to the Internet of Things (esIoT). 2014. BibTeX

    @inproceedings{esiot2014,
    	author = "{Giang Nam, Seong Hoon Kim, Daeyoung Kim, Markus Jung, Wolfgang Kastner}",
    	title = "{Extending the EPCIS with Building Automation Systems: a New Information System For the Internet of Things}",
    	booktitle = "{Proceedings of the International Workshop on Extending Seamlessly to the Internet of Things (esIoT)}",
    	year = 2014,
    	address = "Birmingham, UK"
    }
    
  28. Yann Bocchi Markus Jung Wolfgang Kastner Antonio Skarmeta F Antonio J. Jara Alex C. Olivieri. Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence. Journal of Web and Grid Services 10:244 - 272, 2014. BibTeX

    @article{wgs2014,
    	author = "{Antonio J. Jara, Alex C. Olivieri, Yann Bocchi, Markus Jung, Wolfgang Kastner, Antonio F. Skarmeta}",
    	title = "{Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence}",
    	journal = "Journal of Web and Grid Services",
    	year = 2014,
    	volume = 10,
    	issue = "2/3",
    	pages = "244 - 272"
    }
    
  29. Andreas Fernbach, Wolfgang Kastner, Stefan Mätzler and Martin Wollschlaeger. An OPC UA Information Model for Cross-Domain Vertical Integration in Automation Systems. In Proceedings of the 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'14). 2014. BibTeX

    @inproceedings{imodela2,
    	author = {Fernbach, Andreas and Kastner, Wolfgang and M\"atzler, Stefan and Wollschlaeger, Martin},
    	title = "{An OPC UA Information Model for Cross-Domain Vertical Integration in Automation Systems}",
    	booktitle = "{Proceedings of the 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'14)}",
    	year = 2014,
    	month = "",
    	abstract = "Bridging the two domains of building and industrial automation systems at their management levels is a topic hardly regarded so far. Nevertheless, cross-domain integration promises significant benefits in terms of resource consumption and costs optimisation where systems of both worlds encounter each other. To this aim, this work presents an OPC UA information modelling framework providing a holistic information base for both domains. This facilitates the implementation of cross-domain management applications in the context of smart grids with the potential goals to coordinate the reuse of waste energy, to avoid peak loads and to predict energy demand."
    }
    
  30. Stefan Mätzler, Martin Wollschlaeger, Andreas Fernbach and Wolfgang Kastner. Domänenübergreifende vertikale Integration mit OPC UA. In Kommunikation in der Automation (KommA 2014). 2014. BibTeX

    @inproceedings{imodela3,
    	author = {M\"atzler, Stefan and Wollschlaeger, Martin and Fernbach, Andreas and Kastner, Wolfgang},
    	title = {{Dom\"anen\"ubergreifende vertikale Integration mit OPC UA}},
    	booktitle = "{Kommunikation in der Automation (KommA 2014)}",
    	year = 2014,
    	month = ""
    }
    
  31. Wolfgang Kastner, Andreas Fernbach, Wolfgang Granzer and Markus Jung. KNX and the Semantic Web of Automation. In Proceedings of the KNX Scientific Conference. 2014. BibTeX

    @inproceedings{knx2014,
    	author = "Kastner, Wolfgang and Fernbach, Andreas and Granzer, Wolfgang and Jung, Markus",
    	title = "{KNX and the Semantic Web of Automation}",
    	booktitle = "{Proceedings of the KNX Scientific Conference}",
    	year = 2014,
    	month = "",
    	abstract = "Nowadays, the variety of home and building automation technologies has led to a landscape with heterogeneous interfaces, communication protocols and devices. Future scenarios like demand side management, load shifting, and energy feed- back require – besides the use of appliances equipped with automation technology – smart meters and interfaces providing real-time information on the energy con- sumption and the current state of the local electric distribution grid. Furthermore, external information sources concerning forecasts for the production of renewable energy sources (e.g., solar or wind) and current energy market prices need to be taken into account. For reaching the ambitious goals regarding energy savings and smart consumption of renewable energy within the context of smart grids, thus, a further interoperability problem needs to be solved."
    }
    
  32. Lukas Krammer, Stefan Seifried and Wolfgang Kastner. A fault-tolerant Backbone for IEEE 802.15.4 based Networks. In Proc. of the IEEE International Conference on Industrial Technology (ICIT 2014). 2014. BibTeX

    @inproceedings{KraICIT2014,
    	title = "{A fault-tolerant Backbone for IEEE 802.15.4 based Networks}",
    	author = "Lukas Krammer and Stefan Seifried and Wolfgang Kastner",
    	booktitle = "{Proc. of the IEEE International Conference on Industrial Technology (ICIT 2014)}",
    	year = 2014,
    	month = ""
    }
    
  33. Lukas Krammer, Dominik Bunyai and Wolfgang Kastner. A hierarchical Concept for IP-based resilient Communication in Building Automation. In Proc. of the International Symposium on Industrial Electronics (ISIE 2014). 2014. BibTeX

    @inproceedings{KraISIE2014,
    	title = "{A hierarchical Concept for IP-based resilient Communication in Building Automation}",
    	author = "Lukas Krammer and Dominik Bunyai and Wolfgang Kastner",
    	booktitle = "{Proc. of the International Symposium on Industrial Electronics (ISIE 2014)}",
    	year = 2014,
    	month = ""
    }
    
  34. Lukas Krammer. Dependability in building automation networks. Vienna University of Technology, 2014. BibTeX

    @phdthesis{diss_lk,
    	title = "Dependability in building automation networks",
    	author = "Lukas Krammer",
    	school = "Vienna University of Technology",
    	year = 2014,
    	month = ""
    }
    
  35. Wolfgang Kastner, Lukas Krammer and Andreas Fernbach. State of the Art in Smart Homes and Buildings. In Richard Zurawski (ed.). Industrial Communication Technology Handbook, Second Edition. CRC Press, Inc., 2014. BibTeX

    @incollection{Kastner14_sota,
    	title = "{State of the Art in Smart Homes and Buildings}",
    	author = "Wolfgang Kastner and Lukas Krammer and Andreas Fernbach",
    	booktitle = "Industrial Communication Technology Handbook, Second Edition",
    	publisher = "CRC Press, Inc.",
    	year = 2014,
    	chapter = 55,
    	editor = "Richard Zurawski"
    }
    
  36. Aljosha Judmayer, Lukas Krammer and Wolfgang Kastner. On the security of security extensions for IP-based KNX networks. In Proc. of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014). 2014. BibTeX

    @inproceedings{JudmWFCS2014,
    	title = "{On the security of security extensions for IP-based KNX networks}",
    	author = "Aljosha Judmayer and Lukas Krammer and Wolfgang Kastner",
    	booktitle = "{Proc. of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014)}",
    	year = 2014,
    	month = ""
    }
    
  37. Dirk Van Der Linden, Peter De Bruyn, Wolfgang Kastner and Herbert Mannaert. Deriving guidelines for cross-vendor reuse of IEC 61131-3 modules based on Normalized Systems theorems. Computer Standards & Interfaces 32(3):598–603, 2014. DOI BibTeX

    @article{TUW-225008,
    	author = "Van Der Linden, Dirk and De Bruyn, Peter and Kastner, Wolfgang and Mannaert, Herbert",
    	title = "Deriving guidelines for cross-vendor reuse of IEC 61131-3 modules based on Normalized Systems theorems",
    	journal = "Computer Standards {\&} Interfaces",
    	year = 2014,
    	volume = 32,
    	number = 3,
    	pages = "598--603",
    	doi = "10.1016/j.csi.2013.10.001"
    }
    
  38. Friedrich Bleicher, Fabian Dür, Ines Leobner, Iva Kovacic, Bernhard Heinzl and Wolfgang Kastner. Co-simulation environment for optimizing energy efficiency in production systems. CIRP Annals - Manufacturing Technology 63(1):441-444, 2014. URL, DOI BibTeX

    @article{BDLKHK_CIRP_14,
    	author = {Friedrich Bleicher and Fabian D\"ur and Ines Leobner and Iva Kovacic and Bernhard Heinzl and Wolfgang Kastner},
    	title = "Co-simulation environment for optimizing energy efficiency in production systems",
    	journal = "CIRP Annals - Manufacturing Technology",
    	volume = 63,
    	number = 1,
    	pages = "441-444",
    	year = 2014,
    	note = "",
    	issn = "0007-8506",
    	doi = "http://dx.doi.org/10.1016/j.cirp.2014.03.122",
    	url = "http://www.sciencedirect.com/science/article/pii/S0007850614001255"
    }
    
  39. Markus Kammerstetter, Christian Platzer and Wolfgang Kastner. Prospect: Peripheral Proxying Supported Embedded Code Testing. In Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security. 2014, 329–340. URL, DOI BibTeX

    @inproceedings{KPK_ASIA_CSS,
    	author = "Kammerstetter, Markus and Platzer, Christian and Kastner, Wolfgang",
    	title = "Prospect: Peripheral Proxying Supported Embedded Code Testing",
    	booktitle = "Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security",
    	series = "ASIA CCS '14",
    	year = 2014,
    	isbn = "978-1-4503-2800-5",
    	location = "Kyoto, Japan",
    	pages = "329--340",
    	numpages = 12,
    	url = "http://doi.acm.org/10.1145/2590296.2590301",
    	doi = "10.1145/2590296.2590301",
    	acmid = 2590301,
    	publisher = "ACM",
    	address = "New York, NY, USA",
    	keywords = "device tunneling, dynamic analysis, embedded system, fuzz testing, security"
    }
    
  40. Markus Kammerstetter, Lucie Langer, Florian Skopik and Wolfgang Kastner. Architecture-driven Smart Grid Security Management. In Proceedings of the 2nd ACM Workshop on Information Hiding and Multimedia Security. 2014, 153–158. URL, DOI BibTeX

    @inproceedings{KLSK_MMSec_14,
    	author = "Kammerstetter, Markus and Langer, Lucie and Skopik, Florian and Kastner, Wolfgang",
    	title = "Architecture-driven Smart Grid Security Management",
    	booktitle = "Proceedings of the 2nd ACM Workshop on Information Hiding and Multimedia Security",
    	series = "IH\&MMSec '14",
    	year = 2014,
    	isbn = "978-1-4503-2647-6",
    	location = "Salzburg, Austria",
    	pages = "153--158",
    	numpages = 6,
    	url = "http://doi.acm.org/10.1145/2600918.2600937",
    	doi = "10.1145/2600918.2600937",
    	acmid = 2600937,
    	publisher = "ACM",
    	address = "New York, NY, USA",
    	keywords = "risks, security, security management, smart grid"
    }
    
  41. W Kastner, M Kofler, M Jung, G Gridling and J Weidinger. Building automation systems integration into the Internet of Things the IoT6 approach, its realization and validation. In Emerging Technology and Factory Automation (ETFA), 2014 IEEE. 2014, 1-9. DOI BibTeX

    @inproceedings{KKJGW_ETFA_14,
    	author = "Kastner, W. and Kofler, M. and Jung, M. and Gridling, G. and Weidinger, J.",
    	booktitle = "Emerging Technology and Factory Automation (ETFA), 2014 IEEE",
    	title = "{Building automation systems integration into the Internet of Things the IoT6 approach, its realization and validation}",
    	year = 2014,
    	month = "Sept",
    	pages = "1-9",
    	keywords = "Internet of Things;Web services;building management systems;Internet of Things;IoT6 approach;Web services;building automation system;communication protocols;control network protocol;machine-to-machine interaction;network infrastructure;Building automation;Internet of Things;Logic gates;Protocols;Standards;Web services",
    	doi = "10.1109/ETFA.2014.7005197"
    }
    
  42. Markus Kammerstetter, Markus Müllner, Daniel Burian, Christian Platzer and Wolfgang Kastner. Breaking Integrated Circuit Device Security through Test Mode Silicon Reverse Engineering. In Proceeedings of the 21st ACM Conference on Computer and Communications Security (ACM CCS). 2014. DOI BibTeX

    @inproceedings{TUW-235103,
    	author = {Kammerstetter, Markus and M{\"u}llner, Markus and Burian, Daniel and Platzer, Christian and Kastner, Wolfgang},
    	title = "Breaking Integrated Circuit Device Security through Test Mode Silicon Reverse Engineering",
    	booktitle = "Proceeedings of the 21st ACM Conference on Computer and Communications Security (ACM CCS)",
    	year = 2014,
    	numpages = 9,
    	eid = 221,
    	doi = "10.1145/2660267.2660301"
    }
    
  43. Markus Kammerstetter, Lucie Langer, Florian Skopik, Friederich Kupzog and Wolfgang Kastner. Practical Risk Assessment Using a Cumulative Smart Grid Model. In 3rd International Conference on Smart Grids and Green IT Systems (SMARTGREENS). 2014. BibTeX

    @inproceedings{TUW-235097,
    	author = "Kammerstetter, Markus and Langer, Lucie and Skopik, Florian and Kupzog, Friederich and Kastner, Wolfgang",
    	title = "Practical Risk Assessment Using a Cumulative Smart Grid Model",
    	booktitle = "3rd International Conference on Smart Grids and Green IT Systems (SMARTGREENS)",
    	year = 2014,
    	numpages = 12,
    	eid = 29,
    	keywords = "Smart Grid, Risks, Risk Assessment, Critical Infrastructures"
    }
    
  44. F Praus and W Kastner. Identifying unsecured building automation installations. In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA). 2014, 1-4. DOI BibTeX

    @inproceedings{7005301,
    	author = "F. Praus and W. Kastner",
    	booktitle = "Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)",
    	title = "Identifying unsecured building automation installations",
    	year = 2014,
    	pages = "1-4",
    	keywords = "IP networks;authorisation;building management systems;IPv4 address;Internet;building automation systems;security awareness;unauthenticated access;unauthorized access;unsecured building automation installation identification;IP networks;Internet;Ports (Computers);Security;Servers;Standards;Unicast",
    	doi = "10.1109/ETFA.2014.7005301",
    	issn = "1946-0740",
    	month = "Sept"
    }
    
  45. Fritz Praus and Wolfgang Kastner. Spotting unsecured KNX installations. In Proceedings KNX Scientific Conference. 2014. BibTeX

    @inproceedings{TUW-235669,
    	author = "Praus, Fritz and Kastner, Wolfgang",
    	title = "Spotting unsecured KNX installations",
    	booktitle = "Proceedings KNX Scientific Conference",
    	year = 2014,
    	numpages = 11
    }
    
  46. Markus Kammerstetter, Lucie Langer, Florian Skopik and Wolfgang Kastner. Architecture-driven smart grid security management. In 2nd ACM workshop on Information hiding and multimedia security. 2014, 153–158. DOI BibTeX

    @inproceedings{TUW-229547,
    	author = "Kammerstetter, Markus and Langer, Lucie and Skopik, Florian and Kastner, Wolfgang",
    	title = "Architecture-driven smart grid security management",
    	booktitle = "2nd ACM workshop on Information hiding and multimedia security",
    	year = 2014,
    	pages = "153--158",
    	isbn = "978-1-4503-2647-6",
    	doi = "10.1145/2600918.2600937"
    }
    
  47. Johann Blieberger, Andreas Schöbel and Mark Volcic. {Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich}. Signal + Draht 7/8:15–18, 2014. BibTeX

    @article{bli:kronalg,
    	author = {Johann Blieberger and Andreas Sch{\"o}bel and Mark Volcic},
    	title = {{Kronecker-Algebra und ihre breit gef{\"a}cherten Anwendungen im Eisenbahnbereich}},
    	journal = "Signal + Draht",
    	year = 2014,
    	volume = "7/8",
    	pages = "15--18"
    }
    


2013
  1. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Modelling of Railway Operation. In MT-ITS 2013. December 2013, 345–356. BibTeX

    @inproceedings{vol:availanalrail3,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra based Modelling of Railway Operation",
    	address = "Dresden, Germany",
    	booktitle = "MT-ITS 2013",
    	pages = "345--356",
    	month = "December",
    	year = 2013
    }
    
  2. Markus Jung and Wolfgang Kastner. Efficient group communication based on Web services for reliable control in wireless automation. In Proceedings of the 39th Annual Conference of the IEEE Industrial Electronics Society. November 2013. BibTeX

    @inproceedings{iecon2013,
    	title = "{Efficient group communication based on Web services for reliable control in wireless automation}",
    	author = "Markus Jung and Wolfgang Kastner",
    	booktitle = "{Proceedings of the 39th Annual Conference of the IEEE Industrial Electronics Society}",
    	year = 2013,
    	month = "nov",
    	address = "Vienna, Austria"
    }
    
  3. Stefan Mätzler, Martin Wollschlaeger, Andreas Fernbach and Wolfgang Kastner. An OPC UA cross-domain Information Model for Energy Management in Automation Systems. In Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013). November 2013. BibTeX

    @inproceedings{imodela1,
    	author = {M\"atzler, Stefan and Wollschlaeger, Martin and Fernbach, Andreas and Kastner, Wolfgang},
    	title = "{An OPC UA cross-domain Information Model for Energy Management in Automation Systems}",
    	booktitle = "{Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013)}",
    	year = 2013,
    	month = "nov",
    	abstract = "Interoperability between different technologies in the industrial and building domains of automation has already become a significant research topic. Extending this thought towards cross-domain interoperability, synergy effects arise from the resulting unified view to process data of both domains. This facilitates savings of energy, working time and materials. In this work a cross-domain information model aiming at this goal is proposed."
    }
    
  4. Stefan Szucsich, Lukas Krammer, Wolfgang Kastner and Thomas Novak. Efficient Broadcast Authentication for Wireless Sensor and Actuator Networks. In Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013). November 2013. BibTeX

    @inproceedings{SzcIECON2013,
    	title = "{Efficient Broadcast Authentication for Wireless Sensor and Actuator Networks}",
    	author = "Stefan Szucsich and Lukas Krammer and Wolfgang Kastner and Thomas Novak",
    	booktitle = "{Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013)}",
    	year = 2013,
    	month = "nov"
    }
    
  5. S Szucsich, L Krammer, W Kastner and T Novak. Efficient broadcast authentication for Wireless Sensor and Actuator Networks. In IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society. November 2013, 4457-4463. DOI BibTeX

    @inproceedings{6699853,
    	author = "S. Szucsich and L. Krammer and W. Kastner and T. Novak",
    	booktitle = "IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society",
    	title = "Efficient broadcast authentication for Wireless Sensor and Actuator Networks",
    	year = 2013,
    	pages = "4457-4463",
    	keywords = "cryptographic protocols;message authentication;wireless sensor networks;TESLA protocol;WSAN;authentication delay;efficient broadcast authentication scheme;instantaneous message authentication;one-way key chains;probabilistic model;public-key cryptography;symmetric-key cryptography;time synchronization;wireless sensor and actuator networks;Authentication;Cryptography;Equations;Message authentication;Probabilistic logic;Resilience",
    	doi = "10.1109/IECON.2013.6699853",
    	issn = "1553-572X",
    	month = "Nov"
    }
    
  6. L Krammer, D Bunyai and W Kastner. A software-based redundancy concept for building automation networks. In IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society. November 2013, 5702-5709. DOI BibTeX

    @inproceedings{6700069,
    	author = "L. Krammer and D. Bunyai and W. Kastner",
    	booktitle = "IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society",
    	title = "A software-based redundancy concept for building automation networks",
    	year = 2013,
    	pages = "5702-5709",
    	keywords = "IP networks;building management systems;local area networks;telecommunication channels;telecommunication network reliability;telecommunication network topology;telecommunication traffic;Ethernet loops;Ethernet networks;IP communication;VLAN-capable Ethernet switches;automation components;automation networks reliability;building automation networks;hybrid redundancy concept;lightweight software modules;network traffic;physical redundancy;predictable communication;redundancy mechanism;redundant communication;reliable communication channel;ring topology;software-based redundancy concept;software-based solutions;standard hardware components;standard network technologies;Automation;Circuit faults;Heart beat;IP networks;Ports (Computers);Redundancy",
    	doi = "10.1109/IECON.2013.6700069",
    	issn = "1553-572X",
    	month = "Nov"
    }
    
  7. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra as a Frame for Optimisation of Railway Operation. In 21st International Scientific Conference – TRANSPORT 2013; Mechanics Transport Communications 11/3. October 2013, 57–63. BibTeX

    @inproceedings{vol:availanalrail2,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra as a Frame for Optimisation of Railway Operation",
    	address = "Sofia, Bulgaria",
    	booktitle = "21st International Scientific Conference -- TRANSPORT 2013; Mechanics Transport Communications",
    	pages = "57--63",
    	volume = "11/3",
    	issn = "1312-3823",
    	month = "October",
    	year = 2013
    }
    
  8. Gregor Ryba, Markus Jung and Wolfgang Kastner. Authorization as a Service in Smart Grids: Evaluating the PaaS Paradigm for XACML Policy Decision Points. In Proceedings of the 18th IEEE International Conference on Emerging Technologies & Factory Automation. September 2013. BibTeX

    @inproceedings{etfa2013,
    	title = "{Authorization as a Service in Smart Grids: Evaluating the PaaS Paradigm for XACML Policy Decision Points}",
    	author = "Gregor Ryba and Markus Jung and Wolfgang Kastner",
    	booktitle = "{Proceedings of the 18th IEEE International Conference on Emerging Technologies \& Factory Automation}",
    	year = 2013,
    	month = "sep",
    	address = "Cagliari, Italy"
    }
    
  9. Roland Willmann, Estefania Serral, Wolfgang Kastner and Stefan Biffl. Shortening of product ramp-up by using a centralized knowledge base. In Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. July 2013, 516-522. DOI BibTeX

    @inproceedings{WSKB_INDIN_13,
    	author = "Willmann, Roland and Serral, Estefania and Kastner, Wolfgang and Biffl, Stefan",
    	booktitle = "Industrial Informatics (INDIN), 2013 11th IEEE International Conference on",
    	title = "Shortening of product ramp-up by using a centralized knowledge base",
    	year = 2013,
    	month = "July",
    	pages = "516-522",
    	keywords = "knowledge based systems;knowledge management;life cycle costing;product life cycle management;product quality;production engineering computing;production equipment;semiconductor industry;centralized knowledge base;cost predictability;duration predictability;equipment structure;knowledge base driven workflow;knowledge exchange;knowledge reusability;process master data;product life cycle shortening;product master data;product ramp-up shortening;production line;quality management method;quality predictability;semiconductor manufacturing industry;Epitaxial growth;Knowledge based systems;Manufacturing;Production systems;Qualifications;Quality management;knowledge management;product change;product ramp-up;quality management",
    	doi = "10.1109/INDIN.2013.6622938"
    }
    
  10. Wolfgang Kastner, Dirk Linden and Martin Wollschlaeger. Tutorial: OPC Unified Architecture (OPC UA): System Integration and Information Modeling in Automation Systems. In Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. July 2013. BibTeX

    @inproceedings{KLW_INDIN_13,
    	author = "Kastner, Wolfgang and van der Linden, Dirk and Wollschlaeger, Martin",
    	booktitle = "Industrial Informatics (INDIN), 2013 11th IEEE International Conference on",
    	title = "{Tutorial: OPC Unified Architecture (OPC UA): System Integration and Information Modeling in Automation Systems}",
    	year = 2013,
    	month = "July"
    }
    
  11. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra and its Broad Applications in Railway Systems. In EURO-ŽEL 2013: Recent Challenges for European Railways. June 2013, 275–282. BibTeX

    @inproceedings{vol:availanalrail,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "Kronecker Algebra and its Broad Applications in Railway Systems",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2013: Recent Challenges for European Railways",
    	isbn = "978-80-263-0380-0",
    	pages = "275--282",
    	month = "June",
    	year = 2013
    }
    
  12. Bernhard Heinzl, Matthias Rössler, Niki Popper, Ines Leobner, Karl Ponweiser, Wolfgang Kastner, Fabian Dür, Fritz Bleicher and Felix Breitenecker. Interdisciplinary Strategies for Simulation-Based Optimization of Energy Efficiency in Production Facilities. In Computer Modelling and Simulation (UKSim), 2013 UKSim 15th International Conference on. April 2013, 304-309. DOI BibTeX

    @inproceedings{HRPLPKDBB_UKSim_13,
    	author = {Heinzl, Bernhard and R\"ossler, Matthias and Popper, Niki and Leobner, Ines and Ponweiser, Karl and Kastner, Wolfgang and D\"ur, Fabian and Bleicher, Fritz and Breitenecker, Felix},
    	booktitle = "Computer Modelling and Simulation (UKSim), 2013 UKSim 15th International Conference on",
    	title = "{Interdisciplinary Strategies for Simulation-Based Optimization of Energy Efficiency in Production Facilities}",
    	year = 2013,
    	month = "April",
    	pages = "304-309",
    	keywords = "energy conservation;financial management;optimisation;production facilities;simulation;energy efficiency;energy saving measures;financial benefit;impact;interdisciplinary strategies;production facilities;production plants;production process;simulation-based optimization;co-simulation;energy efficiency;interdisciplinary optimization;production facilities",
    	doi = "10.1109/UKSim.2013.115"
    }
    
  13. Markus Jung, Jürgen Weidinger, Wolfgang Kastner and Alex Olivieri. Heterogeneous device interaction using an IPv6 enabled service-oriented architecture for building automation systems. In Proceedings of the 28th ACM Symposium on Applied Computing. March 2013. BibTeX

    @inproceedings{sac2013,
    	title = "{Heterogeneous device interaction using an IPv6 enabled service-oriented architecture for building automation systems}",
    	author = {Markus Jung and J{\"u}rgen Weidinger and Wolfgang Kastner and Alex Olivieri},
    	booktitle = "{Proceedings of the 28th ACM Symposium on Applied Computing}",
    	year = 2013,
    	month = "mar",
    	address = "Coimbra, Portugal",
    	note = "Poster"
    }
    
  14. Ines Leobner, Wolfgang Kastner, Iva Kovacic, Bernhard Heinzl, Matthias Rössler, Fabian Dür, Thomas Flatz, Karl Ponweiser and Fritz Bleicher. Interdisziplinre Optimierungsstrategien zu Energieeffizienz in Produktionsbetrieben. In 8. Internationale Energiewirtschaftstagung an der TU Wien. February 2013, 1-11. BibTeX

    @inproceedings{LKKHRDFPB_Energie_13,
    	author = {Leobner, Ines and Kastner, Wolfgang and Kovacic, Iva and Heinzl, Bernhard and R\"ossler, Matthias and D\"ur, Fabian and Flatz, Thomas and Ponweiser, Karl and Bleicher, Fritz},
    	booktitle = "8. Internationale Energiewirtschaftstagung an der TU Wien",
    	title = "{Interdisziplinre Optimierungsstrategien zu Energieeffizienz in Produktionsbetrieben}",
    	year = 2013,
    	month = "February",
    	pages = "1-11"
    }
    
  15. Dominik Bunyai. ZigBee Network Layer Simulation on top of IEEE 802.15.4. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2013. BibTeX

    @mastersthesis{dbunyai:zigbeesim,
    	author = "Dominik Bunyai",
    	title = "{ZigBee Network Layer Simulation on top of IEEE 802.15.4}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2013,
    	month = "",
    	url = ""
    }
    
  16. Thomas Bednar, Friedrich Bleicher, Fabian Dür, Katharina Eder, Thomas Flatz, Bernhard Heinzl, Wolfgang Kastner, Kristina Kiesel, Iva Kovacic, Ines Leobner, Kristina Orehounig, Karl Ponweiser, Linus Waltenberger, Dietmar Wiegand and Stefan Emrich. Roadmap für Energieeffiziente Fertigungsbetriebe. Konsortium Projekt INFO, 2013. BibTeX

    @book{BednarBleicher_Roadmap_2013,
    	author = {Bednar, Thomas and Bleicher, Friedrich and D{\"u}r, Fabian and Eder, Katharina and Flatz, Thomas and Heinzl, Bernhard and Kastner, Wolfgang and Kiesel, Kristina and Kovacic, Iva and Leobner, Ines and Orehounig, Kristina and Ponweiser, Karl and Waltenberger, Linus and Wiegand, Dietmar and Emrich, Stefan},
    	title = {Roadmap f{\"u}r Energieeffiziente Fertigungsbetriebe},
    	publisher = "Konsortium Projekt INFO",
    	year = 2013,
    	address = "Wien",
    	numpages = 66
    }
    
  17. Peter Smolek, Bernhard Heinzl, Horst Ecker and Felix Breitenecker. Exploring the Possibilities of Co-Simulation with CATIA V6 Dynamic Behavior Modeling. In Andrej Zemva (ed.). ERK - International Electrotechnical and Computer Science Conference. 2013, 177–180. URL BibTeX

    @inproceedings{SmolekHeinzl_CATIA_ERK_2013,
    	author = "Smolek, Peter and Heinzl, Bernhard and Ecker, Horst and Breitenecker, Felix",
    	title = "Exploring the Possibilities of Co-Simulation with CATIA V6 Dynamic Behavior Modeling",
    	booktitle = "ERK - International Electrotechnical and Computer Science Conference",
    	year = 2013,
    	editor = "Zemva, Andrej",
    	pages = "177--180",
    	organization = "University of Ljubljana",
    	publisher = "ERK - International Electrotechnical and Computer Science Conference",
    	address = "Portoroz",
    	url = "http://publik.tuwien.ac.at/files/PubDat_224202.pdf"
    }
    
  18. Markus Jung, Jürgen Weidinger, Wolfgang Kastner and Alex Olivieri. Building automation and smart cities: An integration approach based on a service-oriented architecture. In Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications. 2013. BibTeX

    @inproceedings{aina2013,
    	title = "{Building automation and smart cities: An integration approach based on a service-oriented architecture}",
    	author = {Markus Jung and J{\"u}rgen Weidinger and Wolfgang Kastner and Alex Olivieri},
    	booktitle = "{Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications}",
    	year = 2013,
    	month = "",
    	address = "Barcelona, Spain"
    }
    
  19. Alex Galis and Anastasius Gavras (eds.). IoT6 - Moving to an IPv6-Based Future IoT. Lecture Notes in Computer Science series, volume 7858, Springer Berlin Heidelberg, 2013. URL, DOI BibTeX

    @book{fiabook,
    	year = 2013,
    	isbn = "978-3-642-38081-5",
    	booktitle = "{The Future Internet}",
    	volume = 7858,
    	series = "{Lecture Notes in Computer Science}",
    	editor = "{Galis, Alex and Gavras, Anastasius}",
    	doi = "10.1007/978-3-642-38082-2_14",
    	title = "{IoT6 - Moving to an IPv6-Based Future IoT}",
    	url = "http://dx.doi.org/10.1007/978-3-642-38082-2_14",
    	publisher = "{Springer Berlin Heidelberg}",
    	keywords = "IoT; M2M; IPv6; CoAP; architecture; interoperability; building automation",
    	author = "Ziegler, Sebastien and Crettaz, Cedric and Ladid, Latif and Krco, Srdjan and Pokric, Boris and Skarmeta, Antonio F. and Jara, Antonio and Kastner, Wolfgang and Jung, Markus",
    	pages = "161-172"
    }
    
  20. {Markus Jung, Thomas Hofer, Wolfgang Kastner and Susen Döbelt}. Protecting data assets in a Smart Grid SOA. Journal of Internet Technology and Secured Transactions (JITST) 2:155 - 166, 2013. BibTeX

    @article{jitst2013,
    	author = {{Markus Jung and Thomas Hofer and Wolfgang Kastner and Susen D{\"o}belt}},
    	title = "{Protecting data assets in a Smart Grid SOA}",
    	journal = "Journal of Internet Technology and Secured Transactions (JITST)",
    	year = 2013,
    	volume = 2,
    	issue = "1/2/3/4",
    	pages = "155 - 166"
    }
    
  21. Markus Jung, Wolfgang Kastner and Susen Döbelt. Smart Web Grid. Erich Schmidt Verlag, 2013. BibTeX

    @book{TUW-224996,
    	author = {Jung, Markus and Kastner, Wolfgang and D{\"o}belt, Susen},
    	title = "Smart Web Grid",
    	booktitle = "smart city: Wiener Know-how aus Wissenschaft und Forschung",
    	year = 2013,
    	pages = "184--190",
    	publisher = "Erich Schmidt Verlag",
    	isbn = "978-3-900607-50-0"
    }
    
  22. Mario J Kofler and Wolfgang Kastner. Towards an ontology representing building physics parameters for increased energy efficiency in smart home operation. In Proceedings of the 2nd Central European Symposium on Building Physic (CESBP2013). 2013. BibTeX

    @inproceedings{CESBP2013_Kofler,
    	address = "Vienna, Austria",
    	author = "{Mario J. Kofler and Wolfgang Kastner}",
    	title = "{Towards an ontology representing building physics parameters for increased energy efficiency in smart home operation}",
    	booktitle = "{Proceedings of the 2nd Central European Symposium on Building Physic (CESBP2013)}",
    	year = 2013,
    	note = "pages 51 --58"
    }
    
  23. Mario J Kofler, Félix Iglesias Vázquez and Wolfgang Kastner. An Ontology for Representation of User Habits and Building Context in Future Smart Homes. In Proceedings of the 20th Workshop on Intelligent Computing in Engineering (EG-ICE2013). 2013. BibTeX

    @inproceedings{EG_ICE2013_Kofler,
    	address = "Vienna, Austria",
    	author = "{Mario J. Kofler and F\'elix Iglesias V\'azquez and Wolfgang Kastner}",
    	title = "{An Ontology for Representation of User Habits and Building Context in Future Smart Homes}",
    	booktitle = "{Proceedings of the 20th Workshop on Intelligent Computing in Engineering (EG-ICE2013)}",
    	year = 2013,
    	note = "paper 05"
    }
    
  24. Wolfgang Kastner Félix Iglesias Vázquez and Mario Kofler. Holistic smart homes for air quality and thermal comfort. Intelligent Decision Technologies 7(1):23-43, 2013. BibTeX

    @article{IDT2013,
    	author = "{F\'elix Iglesias V\'azquez, Wolfgang Kastner and Mario Kofler}",
    	title = "{Holistic smart homes for air quality and thermal comfort}",
    	journal = "{Intelligent Decision Technologies}",
    	number = 1,
    	volume = 7,
    	pages = "23-43",
    	year = 2013
    }
    
  25. Lukas Krammer, Dominik Bunyai and Wolfgang Kastner. A Software-based Redundancy Concept for Building Automation Networks. In Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013). 2013. BibTeX

    @inproceedings{KraIECON2013,
    	title = "{A Software-based Redundancy Concept for Building Automation Networks}",
    	author = "Lukas Krammer and Dominik Bunyai and Wolfgang Kastner",
    	booktitle = "{Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013)}",
    	year = 2013,
    	month = ""
    }
    
  26. Lukas Krammer, Steven De Bruyne, Wolfgang Kastner and Wolfgang Granzer. Security Erweiterung fr den KNX Standard. In Innosecure Kongress. 2013. BibTeX

    @inproceedings{KraInnosec2013,
    	title = "{Security Erweiterung fr den KNX Standard}",
    	author = "Lukas Krammer and Steven De Bruyne and Wolfgang Kastner and Wolfgang Granzer",
    	booktitle = "{Innosecure Kongress}",
    	year = 2013,
    	month = ""
    }
    
  27. Wolfgang Kastner and Mario Kofler. ThinkHome: Self-learning buildings of the future. In Smart City: Viennese expertise based on science and research. Erich Schmidt Verlag, 2013, pages 124–132. BibTeX

    @incollection{KK_SmartCity_13b,
    	author = "Kastner, Wolfgang and Kofler, Mario",
    	title = "ThinkHome: Self-learning buildings of the future",
    	booktitle = "Smart City: Viennese expertise based on science and research",
    	year = 2013,
    	pages = "124--132",
    	publisher = "Erich Schmidt Verlag",
    	isbn = "978-3-900607-51-7"
    }
    
  28. Wolfgang Kastner and Mario Kofler. ThinkHome: Lernende Gebäude der Zukunft. In smart city: Wiener Know-how aus Wissenschaft und Forschung. Erich Schmidt Verlag, 2013, pages 128–137. BibTeX

    @incollection{KK_SmartCity_13a,
    	author = "Kastner, Wolfgang and Kofler, Mario",
    	title = {ThinkHome: Lernende Geb{\"a}ude der Zukunft},
    	booktitle = "smart city: Wiener Know-how aus Wissenschaft und Forschung",
    	year = 2013,
    	pages = "128--137",
    	publisher = "Erich Schmidt Verlag",
    	isbn = "978-3-900607-50-0"
    }
    
  29. Felix Iglesias Vázquez and Wolfgang Kastner. Analysis of Similarity Measures in Times Series Clustering for the Discovery of Building Energy Patterns. Energies 6(2):579-597, 2013. DOI BibTeX

    @article{IK_Energies_13,
    	author = "Iglesias V\'azquez, Felix and Kastner, Wolfgang",
    	title = "{Analysis of Similarity Measures in Times Series Clustering for the Discovery of Building Energy Patterns}",
    	journal = "Energies",
    	volume = 6,
    	number = 2,
    	pages = "579-597",
    	year = 2013,
    	doi = "10.3390/en6020579"
    }
    
  30. Felix Iglesias Vázquez and Wolfgang Kastner. A Global Approach of Habit Profiles for Smart Home Control. In Proc. 13th Conference of International Building Performance Simulation Association (BS'2013). 2013, 1969-1976. BibTeX

    @inproceedings{IK_BS2013,
    	author = "Iglesias V\'azquez, Felix and Kastner, Wolfgang",
    	title = "{A Global Approach of Habit Profiles for Smart Home Control}",
    	booktitle = "Proc. 13th Conference of International Building Performance Simulation Association (BS'2013)",
    	year = 2013,
    	month = "",
    	pages = "1969-1976"
    }
    
  31. Wolfgang Kastner. Building Automation Systems Integration (invited talk). In 20$th$ Workshop on Intelligent Computing in Engineering. 2013, 13. BibTeX

    @inproceedings{TUW-225010,
    	author = "Kastner, Wolfgang",
    	title = "{Building Automation Systems Integration (invited talk)}",
    	booktitle = "20${th}$ Workshop on Intelligent Computing in Engineering",
    	year = 2013,
    	pages = 13,
    	isbn = "978-3-200-03145-6"
    }
    
  32. Filip Andrén, Thomas Strasser and Wolfgang Kastner. Towards a common modeling approach for Smart Grid automation. In IECON. 2013, 1-7. BibTeX

    @inproceedings{FSK_IECON_13,
    	author = "Andr\'en, Filip and Strasser, Thomas and Kastner, Wolfgang",
    	title = "{Towards a common modeling approach for Smart Grid automation}",
    	booktitle = "IECON",
    	year = 2013,
    	pages = "1-7",
    	publisher = "IEEE",
    	isbn = "978-1-4799-0223-1"
    }
    


2012
  1. Mark Volcic, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Travel Time Analysis for Railway Systems. In FORMS/FORMAT 2012 – 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems. December 2012, 273–281. BibTeX

    @inproceedings{KronAlgTTRR,
    	author = {Mark Volcic and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra based Travel Time Analysis for Railway Systems}",
    	booktitle = "FORMS/FORMAT 2012 -- 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems",
    	address = "Braunschweig, Germany",
    	isbn = "978-3-9803363-3-8",
    	pages = "273--281",
    	month = "December",
    	year = 2012
    }
    
  2. Markus Jung, Jürgen Weidinger, Christian Reinisch, Wolfgang Kastner, Cedric Crettaz, Alex Olivieri and Yann Bocchi. A transparent IPv6 multi-protocol gateway to integrate Building Automation Systems in the Internet of Things. In Proceedings of the IEEE International Conference on Internet of Things (iThings 2012). November 2012. BibTeX

    @inproceedings{ithings2012,
    	title = "{A transparent IPv6 multi-protocol gateway to integrate Building Automation Systems in the Internet of Things}",
    	author = {Markus Jung and J{\"u}rgen Weidinger and Christian Reinisch and Wolfgang Kastner and Cedric Crettaz and Alex Olivieri and Yann Bocchi},
    	booktitle = "{Proceedings of the IEEE International Conference on Internet of Things (iThings 2012)}",
    	year = 2012,
    	month = "nov",
    	address = "Besancon, France"
    }
    
  3. Markus Jung, Jürgen Weidinger and Wolfgang Kastner. A seamless integration of KNX into Constrained RESTful Environments. In Proceedings of the KNX Scientific. November 2012. BibTeX

    @inproceedings{knxScientific2012,
    	title = "{A seamless integration of KNX into Constrained RESTful Environments}",
    	author = {Markus Jung and J{\"u}rgen Weidinger and Wolfgang Kastner},
    	booktitle = "{Proceedings of the KNX Scientific}",
    	year = 2012,
    	month = "nov",
    	address = "Las Palmas, Spain"
    }
    
  4. Andreas Fernbach, Wolfgang Granzer, Wolfgang Kastner and Paul Furtak. Mapping ETS4 Project Structure to OPC UA using ETS4 XML Export. In KNX Scientific Conference. November 2012. BibTeX

    @inproceedings{ets4_opcua,
    	author = "Fernbach, Andreas and Granzer, Wolfgang and Kastner, Wolfgang and Furtak, Paul",
    	title = "{Mapping ETS4 Project Structure to OPC UA using ETS4 XML Export}",
    	booktitle = "{KNX Scientific Conference}",
    	year = 2012,
    	month = "nov",
    	abstract = "The development of proper concepts to provide interoperability between differ ent network standards applied in building automation systems is a highly estimated field of research. OPC Unified Architecture (OPC UA) emerged as one of the most promising standards to create a unified view on the underlying process in cluding meta information as well. So as to know how exactly distinct datapoints are represented and addressed in a certain automation network standard informa tion models are created. By now, first steps towards information models for KNX have been made. This preliminary work will be enhanced by integrating meta information into the existing model. Since an information model only gives a description about the general scheme how KNX process data (i.e. KNX function blocks, group addresses, etc.) are represented and accessible, it cannot state any thing about the actual configuration of a distinct installation. Therefore, the types defined in KNX/OPC UA information model need to be instantiated in a way such that they map the actual configuration of the target KNX network. This work aims at using the XML export functionality of the ETS4 to transfer the configuration data of a distinct KNX installation to an OPC UA server."
    }
    
  5. Andreas Fernbach and Wolfgang Kastner. Information modelling in OPC UA. In Tagungsband SPS/IPC/Drives. November 2012. BibTeX

    @inproceedings{im_opcua,
    	author = "Fernbach, Andreas and Kastner, Wolfgang",
    	title = "{Information modelling in OPC UA}",
    	booktitle = "{Tagungsband SPS/IPC/Drives}",
    	year = 2012,
    	month = "nov",
    	abstract = "In modern building automation systems a plethora of different networking technologies exists. Therefore, interoperability between devices using various technologies is a key requirement. The use of Web Services as a platform- and technological-independent method of communication is a promising approach addressing this challenge. Since IP extensions to available technologies are progressively established in building automation systems the network infrastructure for communication via Web Services is already present. However, providing appropriate concepts to model information that can be accessed in a generic way are still missing. OPC Unified Architecture (OPC UA) is a powerful standard that aims at solving this challenge."
    }
    
  6. Markus Jung, Wolfgang Kastner, Georg Kienesberger and Manuel Leithner. A comparison of Web service technologies for smart meter data exchange. In Proceedings of the 2012 IEEE PES Innovative Smart Grid Technologies (ISGT) Europe Conference. October 2012. BibTeX

    @inproceedings{isgt2012,
    	title = "{A comparison of Web service technologies for smart meter data exchange}",
    	author = "Markus Jung and Wolfgang Kastner and Georg Kienesberger and Manuel Leithner",
    	booktitle = "{Proceedings of the 2012 IEEE PES Innovative Smart Grid Technologies (ISGT) Europe Conference}",
    	year = 2012,
    	month = "oct",
    	address = "Berlin, Germany"
    }
    
  7. Markus Jung, Jürgen Weidinger, Dominik Bunyai, Christian Reinisch, Wolfgang Kastner and Alex Olivieri. Demonstration of an IPv6 multi-protocol gateway for seamless integration of Building Automation Systems into Constrained RESTful Environments. In Proceedings of the IEEE International Conference on Internet of Things (IoT 2012). October 2012. BibTeX

    @inproceedings{iot2012,
    	title = "{Demonstration of an IPv6 multi-protocol gateway for seamless integration of Building Automation Systems into Constrained RESTful Environments}",
    	author = {Markus Jung and J{\"u}rgen Weidinger and Dominik Bunyai and Christian Reinisch and Wolfgang Kastner and Alex Olivieri},
    	booktitle = "{Proceedings of the IEEE International Conference on Internet of Things (IoT 2012)}",
    	year = 2012,
    	note = "{Demo}",
    	month = "oct",
    	address = "Wuxi, China"
    }
    
  8. D Bunyai, L Krammer and W Kastner. Limiting constraints for ZigBee networks. In IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society. October 2012, 4840-4846. DOI BibTeX

    @inproceedings{6389582,
    	author = "D. Bunyai and L. Krammer and W. Kastner",
    	booktitle = "IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society",
    	title = "Limiting constraints for ZigBee networks",
    	year = 2012,
    	pages = "4840-4846",
    	keywords = "Zigbee;home automation;OMNeT;ZigBee network;building automation;home automation;limiting constraints;regular network;scalable network;wireless communication;Estimation",
    	doi = "10.1109/IECON.2012.6389582",
    	issn = "1553-572X",
    	month = "Oct"
    }
    
  9. Georg Kienesberger, Thomas Hofer, Markus Jung and Susen Döbelt. {Smart Web Grid - Eine serviceorientierte Informationsdrehscheibe für Smart Grids}. In Proceedings of the ComForEn 2012. September 2012. BibTeX

    @inproceedings{comforen2012,
    	title = {{Smart Web Grid - Eine serviceorientierte Informationsdrehscheibe f{\"u}r Smart Grids}},
    	author = {Georg Kienesberger and Thomas Hofer and Markus Jung and Susen D{\"o}belt},
    	booktitle = "{Proceedings of the ComForEn 2012}",
    	year = 2012,
    	month = "sep",
    	address = "Wels, Austria"
    }
    
  10. Andreas Fernbach and Wolfgang Kastner. Certificate Management in OPC UA Applications: An Evaluation of different Trust Models. In Proc. of 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '12). September 2012. BibTeX

    @inproceedings{opcua_sec,
    	author = "Fernbach, Andreas and Kastner, Wolfgang",
    	title = "{Certificate Management in OPC UA Applications: An Evaluation of different Trust Models}",
    	booktitle = "{Proc. of 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '12)}",
    	year = 2012,
    	month = "sep",
    	abstract = "OPC Unified Architecture (OPC UA) provides a powerful and inherent security model. These mechanisms rely on software certificates. In an automation system where OPC UA is applied, a strategy must be defined how to manage these certificates, i.e an organised way of distribution, validation and revocation needs to be found. In general, there exist different concepts of how to achieve this goal. Moreover, there are various, in some cases platform dependent frameworks available which assist the de- veloper in implementing a suitable concept. The aim of this paper is to give an overview of these concepts and frameworks and discuss their positive and negative aspects depending on the structure of different environments in which OPC UA applications shall be embedded."
    }
    
  11. Stefan Szucsich, Lukas Krammer and Wolfgang Kastner. Information Model for Distributed Traffic Management Applications. In Proc. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012). September 2012. BibTeX

    @inproceedings{SzcETFA2012,
    	title = "{Information Model for Distributed Traffic Management Applications}",
    	author = "Stefan Szucsich and Lukas Krammer and Wolfgang Kastner",
    	booktitle = "{Proc. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012)}",
    	year = 2012,
    	month = "sep"
    }
    
  12. Matthias Rössler, Michael Landsiedl, Fritz Bleicher, Christian Salvatori, Wolfgang Kastner and Felix Breitenecker. Studies on the Thermodynamical Coupling of a Machine Tool and its Environment using the Object-oriented Modelling Approach of Modelica. In Proc. of the European Modeling and Simulation Symposium. September 2012, 434 - 439. BibTeX

    @inproceedings{Info_2012b,
    	author = {Matthias R\"ossler and Michael Landsiedl and Fritz Bleicher and Christian Salvatori and Wolfgang Kastner and Felix Breitenecker},
    	title = "{Studies on the Thermodynamical Coupling of a Machine Tool and its Environment using the Object-oriented Modelling Approach of Modelica}",
    	booktitle = "Proc. of the European Modeling and Simulation Symposium",
    	year = 2012,
    	month = "sep",
    	pages = "434 - 439"
    }
    
  13. Irene Hafner, Matthias Rössler, Bernhard Heinzl, Andreas Körner, Felix Breitenecker, Michael Landsiedl and Wolfgang Kastner. Using BCVTB for Co-Simulation between Dymola and MATLAB for Multi-Domain Investigations of Production Plants. In Proc. of the 9th International Modelica Conference. September 2012, 557 - 563. BibTeX

    @inproceedings{Info_2012a,
    	author = {Irene Hafner and Matthias R\"ossler and Bernhard Heinzl and Andreas K\"orner and Felix Breitenecker and Michael Landsiedl and Wolfgang Kastner},
    	title = "{Using BCVTB for Co-Simulation between Dymola and MATLAB for Multi-Domain Investigations of Production Plants}",
    	booktitle = "Proc. of the 9th International Modelica Conference",
    	year = 2012,
    	month = "sep",
    	pages = "557 - 563"
    }
    
  14. Felix Iglesias Vázquez and Wolfgang Kastner. Detecting user dissatisfaction in ambient intelligence environments. In Proc. IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA'12). September 2012, 1-4. BibTeX

    @inproceedings{IK_ETFA2012,
    	author = "Iglesias V\'azquez, Felix and Kastner, Wolfgang",
    	title = "{Detecting user dissatisfaction in ambient intelligence environments}",
    	booktitle = "Proc. IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA'12)",
    	year = 2012,
    	month = "sep",
    	pages = "1-4"
    }
    
  15. Georg Kienesberger, Markus Jung, Susen Döbelt, Florian Judex and Thomas Hofer. Smart Web Grid: Eine Informationsdrehscheibe für Smart Grids. In Proceedings of the Smart Grids Week. May 2012. BibTeX

    @inproceedings{sgWeek2012,
    	title = {Smart {Web} {Grid}: Eine {Informationsdrehscheibe} f{\"u}r {Smart Grids}},
    	author = {Georg Kienesberger and Markus Jung and Susen D{\"o}belt and Florian Judex and Thomas Hofer},
    	note = "Poster",
    	booktitle = "Proceedings of the Smart Grids Week",
    	year = 2012,
    	month = "may",
    	address = "Bregenz, Austria"
    }
    
  16. Dirk Linden, Maarten Reekmans, Wolfgang Kastner and Herbert Peremans. Agile role-based decision support for OPC UA profiles. In Proc. of the Seventh International Conference on Internet and Web Applications and Services (ICIW' 12). May 2012, 40-45. BibTeX

    @inproceedings{DRKP_ICIW12,
    	author = "Dirk van der Linden and Maarten Reekmans and Wolfgang Kastner and Herbert Peremans",
    	title = "Agile role-based decision support for OPC UA profiles",
    	booktitle = "Proc. of the Seventh International Conference on Internet and Web Applications and Services (ICIW' 12)",
    	year = 2012,
    	month = "may",
    	pages = "40-45"
    }
    
  17. Wolfgang Granzer and Wolfgang Kastner. Information Modeling in Heterogeneous Building Automation Systems. In Proc. of the 9th IEEE International Workshop on Factory Communication Systems (WFCS' 12). May 2012, 291 - 300. BibTeX

    @inproceedings{GK_WFCS12,
    	author = "Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Information Modeling in Heterogeneous Building Automation Systems}",
    	booktitle = "Proc. of the 9th IEEE International Workshop on Factory Communication Systems (WFCS' 12)",
    	year = 2012,
    	month = "may",
    	pages = "291 - 300"
    }
    
  18. Felix Schuster, Wolfgang Kastner and Wolfgang Granzer. Integrating smart cameras into ZigBee. In Proc. of the 9th IEEE International Workshop on Factory Communication Systems (WFCS' 12). May 2012, 76-70. BibTeX

    @inproceedings{SKG_WFCS12,
    	author = "Felix Schuster and Wolfgang Kastner and Wolfgang Granzer",
    	title = "{Integrating smart cameras into ZigBee}",
    	booktitle = "Proc. of the 9th IEEE International Workshop on Factory Communication Systems (WFCS' 12)",
    	year = 2012,
    	month = "may",
    	pages = "76-70"
    }
    
  19. Markus Jung, Christian Mauser and Wolfgang Kastner. BACdroid: A versatile platform for building automation. In Droidcon 2012. 2012. BibTeX

    @inproceedings{droidcon2012,
    	title = "{BACdroid: A versatile platform for building automation}",
    	author = "Jung, Markus and Mauser, Christian and Kastner, Wolfgang",
    	booktitle = "{Droidcon 2012}",
    	year = 2012,
    	month = "",
    	address = "Berlin, Germany"
    }
    
  20. Markus Jung, Christian Reinisch and Wolfgang Kastner. Integrating Building Automation Systems and IPv6 in the Internet of Things. In Proceedings of the 2012 IEEE International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS' 12). 2012. BibTeX

    @inproceedings{imis2012,
    	title = "{Integrating Building Automation Systems and IPv6 in the Internet of Things}",
    	author = "Jung, Markus and Reinisch, Christian and Kastner, Wolfgang",
    	booktitle = "{Proceedings of the 2012 IEEE International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS' 12)}",
    	year = 2012,
    	month = "",
    	address = "Palermo, Italy"
    }
    
  21. Markus Jung, Thomas Hofer, Susen Döbelt, Georg Kienesberger, Florian Judex and Wolfgang Kastner. Access control for a Smart Grid SOA. In Proceedings of the 7th IEEE Conference for Internet Technology and Secured Transactions. 2012. BibTeX

    @inproceedings{icitst2012,
    	title = "{Access control for a Smart Grid SOA}",
    	author = {Markus Jung and Thomas Hofer and Susen D{\"o}belt and Georg Kienesberger and Florian Judex and Wolfgang Kastner},
    	booktitle = "{Proceedings of the 7th IEEE Conference for Internet Technology and Secured Transactions}",
    	year = 2012,
    	month = "",
    	address = "London, UK"
    }
    
  22. Dominik Bunyai, Lukas Krammer and Wolfgang Kastner. Limiting Constraints for ZigBee Networks. In Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society (IECON' 12). 2012, . DOI BibTeX

    @inproceedings{BKK_IECON12,
    	author = "Dominik Bunyai and Lukas Krammer and Wolfgang Kastner",
    	title = "{Limiting Constraints for ZigBee Networks}",
    	booktitle = "Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society (IECON' 12)",
    	year = 2012,
    	month = "",
    	pages = "",
    	note = "",
    	doi = "10.1109/IECON.2012.6389582",
    	abstract = "Wireless communication has many interesting applications in the field of home and building automation. Besides proprietary solutions of different vendors, ZigBee has gained acceptance in this domain. Since in particular in building automation a high amount of nodes needs to be covered, the question about the applicability of ZigBee for large networks may arise. For this reason, this paper analyzes the constraints regarding ZigBee's network size. Furthermore, relations to other automation domains are established, where the proposed concepts can be used too. Starting with a scalable and regular network structure, the limits of ZigBee are figured out analytically. This analysis is then backed up by the results of an OMNeT++ simulation. Moreover, the simulation allows reasoning on further performance-related criteria for ZigBee networks.",
    	address = "Montreal, Canada"
    }
    
  23. Mario J Kofler, Christian Reinisch and Wolfgang Kastner. An Ontological Weather Representation for Improving Energy-Efficiency in Interconnected Smart Home Systems. In Proceedings of Applied Simulation and Modelling/Artificial Intelligence and Soft Computing (ASC2012). 2012. BibTeX

    @inproceedings{IASTED2012_Kofler,
    	address = "Napoli, Italy",
    	author = "{Mario J. Kofler and Christian Reinisch and Wolfgang Kastner}",
    	title = "{An Ontological Weather Representation for Improving Energy-Efficiency in Interconnected Smart Home Systems}",
    	booktitle = "{Proceedings of Applied Simulation and Modelling/Artificial Intelligence and Soft Computing (ASC2012)}",
    	year = 2012,
    	note = "pages 256--263"
    }
    
  24. Mario Kofler J Wolfgang Kastner and Christian Reinisch. Wissensrepräsentation für das adaptive Eigenheim im Kontext von Smart Cities. Elektrotechnik und Informationstechnik 129(4):286-292, 2012. BibTeX

    @article{EuI2012,
    	author = "{Wolfgang Kastner, Mario J. Kofler and Christian Reinisch}",
    	title = {{Wissensrepr\"asentation f\"ur das adaptive Eigenheim im Kontext von Smart Cities}},
    	journal = "{Elektrotechnik und Informationstechnik}",
    	number = 4,
    	volume = 129,
    	pages = "286-292",
    	year = 2012
    }
    
  25. Lukas Krammer, Markus Klein, Johannes Kasberger and Wolfgang Kastner. A fault-tolerant Communication Scheme for Fire Alarm Systems based on KNX. In KNX Scientific Conference. 2012. BibTeX

    @inproceedings{KraKNX2012,
    	title = "{A fault-tolerant Communication Scheme for Fire Alarm Systems based on KNX}",
    	author = "Lukas Krammer and Markus Klein and Johannes Kasberger and Wolfgang Kastner",
    	booktitle = "{KNX Scientific Conference}",
    	year = 2012,
    	month = ""
    }
    
  26. Felix Iglesias Vázquez and Wolfgang Kastner. Thermal Comfort Support Application for Smart Home Control. In Paulo Novais, Kasper Hallenborg, Dante I Tapia and Juan Corchado M Rodriguez (eds.). Ambient Intelligence - Software and Applications. Advances in Intelligent and Soft Computing series, volume 153, Springer Berlin / Heidelberg, 2012, pages 109-118. BibTeX

    @incollection{IK_ISAMI2012,
    	author = "Iglesias V\'azquez, Felix and Kastner, Wolfgang",
    	affiliation = "Vienna University of Technology, Vienna, Austria",
    	title = "Thermal Comfort Support Application for Smart Home Control",
    	booktitle = "Ambient Intelligence - Software and Applications",
    	series = "Advances in Intelligent and Soft Computing",
    	editor = "Novais, Paulo and Hallenborg, Kasper and Tapia, Dante I. and Rodriguez, Juan M. Corchado",
    	publisher = "Springer Berlin / Heidelberg",
    	pages = "109-118",
    	volume = 153,
    	year = 2012
    }
    
  27. Dirk Linden, Herwig Mannaert, Wolfgang Kastner and Herbert Peremans. Towards Normalized Connection Elements in Industrial Automation. IARIA International Journal On Advances in Internet Technology 4(3&4):133-146, 2012. BibTeX

    @article{LMKP_IARIA12,
    	author = "Dirk van der Linden and Herwig Mannaert and Wolfgang Kastner and Herbert Peremans",
    	title = "{Towards Normalized Connection Elements in Industrial Automation}",
    	journal = "IARIA International Journal On Advances in Internet Technology",
    	year = 2012,
    	volume = 4,
    	number = "3\&4",
    	month = "",
    	pages = "133-146"
    }
    
  28. Mario J Kofler, Christian Reinisch and Wolfgang Kastner. A semantic representation of energy-related information in future smart homes. Energy and Buildings 47(0):169 - 179, 2012. URL, DOI BibTeX

    @article{Kofler2012169,
    	author = "Mario J. Kofler and Christian Reinisch and Wolfgang Kastner",
    	title = "A semantic representation of energy-related information in future smart homes",
    	journal = "Energy and Buildings",
    	volume = 47,
    	number = 0,
    	pages = "169 - 179",
    	year = 2012,
    	note = "",
    	issn = "0378-7788",
    	doi = "10.1016/j.enbuild.2011.11.044",
    	url = "http://www.sciencedirect.com/science/article/pii/S0378778811005901"
    }
    
  29. Felix Iglesias Vázquez and Wolfgang Kastner. Thermal comfort support application for smart home control. In Proc. 3rd International Symposium on Ambient Intelligence (ISAmI 2012). 2012, 109-118. BibTeX

    @inproceedings{IK_ISAmIProc2012,
    	author = "Iglesias V\'azquez, Felix and Kastner, Wolfgang",
    	title = "{Thermal comfort support application for smart home control}",
    	booktitle = "Proc. 3rd International Symposium on Ambient Intelligence (ISAmI 2012)",
    	year = 2012,
    	month = "",
    	pages = "109-118"
    }
    
  30. Dirk Linden, Wolfgang Kastner and Herwig Mannaert. An ISA88 Phase in IEC 61131-3 Code Based on the Concepts of a Normalized Flow Element. In Proc. IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA'12). 2012, 1-8. BibTeX

    @inproceedings{LKM_ETFA2012,
    	author = "Dirk van der Linden and Wolfgang Kastner and Herwig Mannaert",
    	title = "{An ISA88 Phase in IEC 61131-3 Code Based on the Concepts of a Normalized Flow Element}",
    	booktitle = "Proc. IEEE 17th Conference on Emerging Technologies Factory Automation (ETFA'12)",
    	year = 2012,
    	month = "",
    	pages = "1-8"
    }
    
  31. S Szucsich, L Krammer, W Kastner and T Novak. Information model for distributed traffic management applications. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies Factory Automation (ETFA 2012). 2012, 1-4. DOI BibTeX

    @inproceedings{6489746,
    	author = "S. Szucsich and L. Krammer and W. Kastner and T. Novak",
    	booktitle = "Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies Factory Automation (ETFA 2012)",
    	title = "Information model for distributed traffic management applications",
    	year = 2012,
    	pages = "1-4",
    	keywords = "Zigbee;actuators;multivariable systems;sensors;traffic engineering computing;TMS;ZigBee;actuators;autonomously cooperating sensors;distributed traffic management system;field level;information modeling scheme;installation costs;interurban environments;sensors;system flexibility;traffic flow;urban environments;wired applications;wireless standard",
    	doi = "10.1109/ETFA.2012.6489746",
    	issn = "1946-0740",
    	month = "Sept"
    }
    
  32. Robert Mittermayr, Johann Blieberger and Andreas Schöbel. Kronecker Algebra based Deadlock Analysis for Railway Systems. PROMET-TRAFFIC & TRANSPORTATION, pages 359–369, 2012. DOI BibTeX

    @article{RRdeadlock,
    	author = {Robert Mittermayr and Johann Blieberger and Andreas Sch{\"o}bel},
    	title = "{Kronecker Algebra based Deadlock Analysis for Railway Systems}",
    	journal = "PROMET-TRAFFIC \& TRANSPORTATION",
    	issn = "1848-4069",
    	pages = "359--369",
    	year = 2012,
    	doi = "http://dx.doi.org/10.7307/ptt.v24i5.1171"
    }
    
  33. Robert Mittermayr and Johann Blieberger. Timing Analysis of Concurrent Programs. In Tullio Vardanega (ed.). 12th International Workshop on Worst-Case Execution Time Analysis 23. 2012, 59–68. URL, DOI BibTeX

    @inproceedings{WCETMT12,
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Timing Analysis of Concurrent Programs}",
    	booktitle = "12th International Workshop on Worst-Case Execution Time Analysis",
    	pages = "59--68",
    	series = "OpenAccess Series in Informatics (OASIcs)",
    	isbn = "978-3-939897-41-5",
    	issn = "2190-6807",
    	year = 2012,
    	volume = 23,
    	editor = "Tullio Vardanega",
    	publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
    	address = "Dagstuhl, Germany",
    	url = "http://drops.dagstuhl.de/opus/volltexte/2012/3557",
    	urn = "urn:nbn:de:0030-drops-35570",
    	doi = "http://dx.doi.org/10.4230/OASIcs.WCET.2012.59",
    	annote = "Keywords: Worst-case execution time analysis (WCET), Concurrency, Thread Synchronization, Kronecker Algebra, Program Analysis"
    }
    
  34. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages. Journal of Systems and Software 85(6):1418–1439, 2012. DOI BibTeX

    @article{bburg:symanal,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages",
    	journal = "Journal of Systems and Software",
    	volume = 85,
    	number = 6,
    	doi = "http://dx.doi.org/10.1016/j.jss.2011.11.1039",
    	pages = "1418--1439",
    	year = 2012
    }
    
  35. Jingun Hong, Kirak Hong, Bernd Burgstaller and Johann Blieberger. StreamPI: A stream-parallel programming extension for object-oriented programming languages. The Journal of Supercomputing 61(1):118-140, 2012. DOI BibTeX

    @article{bli:streampi,
    	author = "Hong, Jingun and Hong, Kirak and Burgstaller, Bernd and Blieberger, Johann",
    	title = "Stream{PI}: {A} stream-parallel programming extension for object-oriented programming languages",
    	journal = "The Journal of Supercomputing",
    	publisher = "Springer Netherlands",
    	issn = "0920-8542",
    	volume = 61,
    	number = 1,
    	pages = "118-140",
    	doi = "10.1007/s11227-011-0656-7",
    	year = 2012
    }
    


2011
  1. Michael Rupprechter. IP-based Protocols for Fire Alarm Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, November 2011. BibTeX

    @mastersthesis{mrupp:firesafe,
    	author = "Michael Rupprechter",
    	title = "{IP-based Protocols for Fire Alarm Systems}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "nov"
    }
    
  2. Wolfgang Kastner, Christian Reinisch and Mario J Kofler. ThinkHome. In Tagungsband E-Nova 2011: Nachhaltige Gebäude, Band 15. November 2011. BibTeX

    @inproceedings{ENOVA11,
    	address = "Pinkafeld, Austria",
    	author = "Wolfgang Kastner and Christian Reinisch and Mario J. Kofler",
    	booktitle = {{Tagungsband E-Nova 2011: Nachhaltige Geb\"aude, Band 15}},
    	title = "{ThinkHome}",
    	note = "pages 101--110",
    	month = "November",
    	year = 2011
    }
    
  3. Felix Iglesias Vázquez, Wolfgang Kastner, Sergio Cantos Gaceo and Christian Reinisch. Electricity Load Management in Smart Home Control. In 12th Conference of International Building Performance Simulation Association, Building Simulation 2011 (). November 2011, 957-964. BibTeX

    @inproceedings{IKCR_BS2011,
    	author = "Felix Iglesias V\'azquez and Wolfgang Kastner and Sergio Cantos Gaceo and Christian Reinisch",
    	title = "Electricity Load Management in Smart Home Control",
    	booktitle = "12th Conference of International Building Performance Simulation Association, Building Simulation 2011",
    	month = "November",
    	number = "",
    	year = 2011,
    	volume = "",
    	pages = "957-964",
    	address = "Sydney"
    }
    
  4. Christian Mauser, Wolfgang Granzer and Wolfgang Kastner. Integrating CCTV Systems into BACnet. In Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11). September 2011. PDF BibTeX

    @inproceedings{WG2011c,
    	author = "Christian Mauser and Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Integrating CCTV Systems into BACnet}",
    	booktitle = "Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11)",
    	year = 2011,
    	month = "sep",
    	abstract = "Closed-Circuit Television (CCTV) systems are used in modern buildings for different purposes. By the use of smart cameras, dedicated safety or security-critical events that may lead to an alarm condition can be detected autonomously (e.g., safety events like fire or security events like glass break). Integrating CCTV systems into building automation systems provides the opportunity to react to critical events by, for example, informing the operator about the occurrence of such events, providing relevant video data, and most important concurrently initiating appropriate actions (e.g., smoke extraction in case of fire). This paper focuses on the integration of such smart camera systems into BACnet based networks. At first, a short introduction to BACnet and its interworking model is given. Afterwards, a possible way of integrating CCTV systems into BACnet is presented. The functionality of this model is shown by a proof-of-concept implementation which is also described in this paper.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/etfa2011_bacnet_CCTV.pdf"
    }
    
  5. Andreas Fernbach, Wolfgang Granzer and Wolfgang Kastner. Interoperability at the Management Level of Building Automation Systems: A Case Study for BACnet and OPC UA. In Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11). September 2011. PDF BibTeX

    @inproceedings{WG2011b,
    	author = "Andreas Fernbach and Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Interoperability at the Management Level of Building Automation Systems: A Case Study for BACnet and OPC UA}",
    	booktitle = "Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11)",
    	year = 2011,
    	month = "sep",
    	abstract = "In modern building automation systems a plethora of different networking technologies exists. Therefore, interoperability between devices using various technologies is a key requirement. The use of Web Services as a platformand technological-independent method of communication is a promising approach to address this challenge. Since IP extensions to available technologies are more and more established in building automation systems the network infrastructure and necessary protocols for Web Services communication are already present. However, providing appropriate concepts to model information that can be accessed in a generic way are still missing. OPC Unified Architecture (OPC UA) is a powerful and promising standard that aims at solving this challenge. This work discusses an approach to map the interworking model of BACnet to OPC UA. Using the resulting information model BACnet applications can be represented in OPC UA and, thus, be accessed by OPC UA clients in a standard and well-defined way.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/etfa2011_opc_ua_bacnet.pdf"
    }
    
  6. Mark Volcic. Sicherheitskritische Modelleisenbahnsteuerung in Ada. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, September 2011. BibTeX

    @mastersthesis{Vol:MRR_Ada,
    	author = "Mark Volcic",
    	title = "{Sicherheitskritische Modelleisenbahnsteuerung in Ada}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "sep",
    	url = ""
    }
    
  7. Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski. Automated Test-Trace Inspection for Microcontroller Binary Code. In International Conference on Runtime Verification. September 2011, 239–244. URL BibTeX

    @inproceedings{reinbacher:2011,
    	title = "{Automated Test-Trace Inspection for Microcontroller Binary Code}",
    	author = {Thomas Reinbacher and J{\"{o}}rg Brauer and Daniel Schachinger and Andreas Steininger and Stefan Kowalewski},
    	booktitle = "{International Conference on Runtime Verification}",
    	year = 2011,
    	address = "San Francisco, USA",
    	month = "September",
    	pages = "239--244",
    	url = "http://dx.doi.org/10.1007/978-3-642-29860-8_18"
    }
    
  8. Markus Jung. Multi-Stakeholder-Datenaustausch in zukünftigen Smart Grids: Smart Web Grid. In Proceedings of the ComForEn 2011. September 2011. BibTeX

    @inproceedings{Jung:ComForEn,
    	author = "Markus Jung",
    	title = {{Multi-Stakeholder-Datenaustausch} in zuk{\"u}nftigen {Smart Grids: Smart Web Grid}},
    	booktitle = "{Proceedings of the ComForEn 2011}",
    	address = {{FH Ober{\"o}sterreich}},
    	year = 2011,
    	month = "sep"
    }
    
  9. Thilo Sauter, Stefan Soucek, Wolfgang Kastner and Dietmar Dietrich. The Evolution of Factory and Building Automation. IEEE Magazine on Industrial Electronics 5(3):35–48, September 2011. DOI BibTeX

    @article{SSKD_IE_Magazine11,
    	author = "Thilo Sauter and Stefan Soucek and Wolfgang Kastner and Dietmar Dietrich",
    	title = "The Evolution of Factory and Building Automation",
    	journal = "IEEE Magazine on Industrial Electronics",
    	year = 2011,
    	volume = 5,
    	number = 3,
    	month = "sep",
    	pages = "35--48",
    	doi = "10.1109/MIE.2011.942175"
    }
    
  10. Dirk Linden, Herwig Mannaert, Wolfgang Kastner, Vincent Vanderputten, Herbert Peremans and Jan Verelst. An OPC UA Interface for an Evolvable ISA88 Control Module. In Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA' 11). September 2011, 1–9. DOI BibTeX

    @inproceedings{LMKVPV_ETFA11,
    	author = "Dirk van der Linden and Herwig Mannaert and Wolfgang Kastner and Vincent Vanderputten and Herbert Peremans and Jan Verelst",
    	title = "{An OPC UA Interface for an Evolvable ISA88 Control Module}",
    	booktitle = "Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA' 11)",
    	year = 2011,
    	month = "sep",
    	pages = "1--9",
    	doi = "10.1109/ETFA.2011.6058978"
    }
    
  11. Dirk Linden, Wolfgang Granzer and Wolfgang Kastner. OPC Unified Architecture (OPC UA) new opportunities of system integration and information modelling in automation systems. In Industrial Informatics (INDIN), 2011 9th IEEE International Conference on (). July 2011, 1 -169. DOI BibTeX

    @inproceedings{6035016,
    	author = "Dirk van der Linden and Wolfgang Granzer and Wolfgang Kastner",
    	booktitle = "Industrial Informatics (INDIN), 2011 9th IEEE International Conference on",
    	title = "{OPC Unified Architecture (OPC UA) new opportunities of system integration and information modelling in automation systems}",
    	year = 2011,
    	month = "july",
    	volume = "",
    	number = "",
    	pages = "1 -169",
    	doi = "10.1109/INDIN.2011.6035016"
    }
    
  12. L Krammer, W Granzer and W Kastner. A new approach for robot motion planning using rapidly-exploring Randomized Trees. In 2011 9th IEEE International Conference on Industrial Informatics. July 2011, 263-268. DOI BibTeX

    @inproceedings{6034885,
    	author = "L. Krammer and W. Granzer and W. Kastner",
    	booktitle = "2011 9th IEEE International Conference on Industrial Informatics",
    	title = "A new approach for robot motion planning using rapidly-exploring Randomized Trees",
    	year = 2011,
    	pages = "263-268",
    	keywords = "path planning;robots;trees (mathematics);car-like robots;pre-computed auxiliary path;probabilistic roadmaps;rapidly-exploring randomized trees;robot motion planning;Computational modeling;Mathematical model;Planning;Probabilistic logic;Robot sensing systems;Service robots",
    	doi = "10.1109/INDIN.2011.6034885",
    	issn = "1935-4576",
    	month = "July"
    }
    
  13. Felix Iglesias Vázquez and Wolfgang Kastner. Clustering methods for occupancy prediction in smart home control. In Industrial Electronics (ISIE), 2011 IEEE International Symposium on (). June 2011, 1321 -1328. DOI BibTeX

    @inproceedings{5984350,
    	author = "Felix Iglesias V\'azquez and Wolfgang Kastner",
    	title = "Clustering methods for occupancy prediction in smart home control",
    	booktitle = "Industrial Electronics (ISIE), 2011 IEEE International Symposium on",
    	year = 2011,
    	month = "june",
    	volume = "",
    	number = "",
    	pages = "1321 -1328",
    	doi = "10.1109/ISIE.2011.5984350"
    }
    
  14. Mario J Kofler, Christian Reinisch and Wolfgang Kastner. An Intelligent Knowledge Representation of Smart Home Energy Parameters. In Proceedings of the World Renewable Energy Congress (WREC '11). May 2011. BibTeX

    @inproceedings{WREC2011,
    	address = {Link\"{o}ping, Sweden},
    	author = "Mario J. Kofler and Christian Reinisch and Wolfgang Kastner",
    	booktitle = "{Proceedings of the World Renewable Energy Congress (WREC '11)}",
    	title = "{An Intelligent Knowledge Representation of Smart Home Energy Parameters}",
    	note = "pages 921--928",
    	month = "May",
    	year = 2011
    }
    
  15. Wolfgang Granzer and Albert Treytl. Security in Industrial Communication. In B M Wilamowski and J D Irwin (eds.). Industrial Electronics Handbook. Volume 2: Industrial Communication Systems, CRC Press, 2011, pages 22-1 –- 22-18. BibTeX

    @incollection{WG2011a,
    	author = "Wolfgang Granzer and Albert Treytl",
    	title = "Security in Industrial Communication",
    	booktitle = "Industrial Electronics Handbook",
    	publisher = "CRC Press",
    	year = 2011,
    	editor = "B.M. Wilamowski and J.D. Irwin",
    	volume = "2: Industrial Communication Systems",
    	chapter = 22,
    	pages = "22-1 --- 22-18",
    	edition = "2nd"
    }
    
  16. Felix Schuster. Transmitting video data over narrow bandwidth control networks. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2011. BibTeX

    @mastersthesis{fschuster:cctvbas,
    	author = "Felix Schuster",
    	title = "{Transmitting video data over narrow bandwidth control networks}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "",
    	url = ""
    }
    
  17. Georg Kienesberger, Markus Jung, Friederich Kupzog and Wolfgang Kastner. Smart Web Grid: Eine integrierte Informationsdrehscheibe für das Smart Grid. In Smart Grids Week. 2011. BibTeX

    @inproceedings{swgPoster,
    	title = {Smart {Web} {Grid}: Eine integrierte {Informationsdrehscheibe} f{\"u}r das {Smart Grid}},
    	author = "Georg Kienesberger and Markus Jung and Friederich Kupzog and Wolfgang Kastner",
    	note = "Poster",
    	booktitle = "Smart Grids Week",
    	year = 2011,
    	month = "",
    	address = "Linz, Austria"
    }
    
  18. Markus Jung, Georg Kienesberger, Wolfgang Granzer, Martin Unger and Wolfgang Kastner. Privacy enabled Web service access control using SAML and XACML for home automation gateways. In Proceedings of the 6th IEEE International Conference on Internet Technology and Secured Transactions (ICITST' 2011). 2011. BibTeX

    @inproceedings{jung2011,
    	title = "Privacy enabled {Web} service access control using {SAML and XACML} for home automation gateways",
    	author = "Jung, Markus and Kienesberger, Georg and Granzer, Wolfgang and Unger, Martin and Kastner, Wolfgang",
    	booktitle = "Proceedings of the 6th IEEE International Conference on Internet Technology and Secured Transactions (ICITST' 2011)",
    	year = 2011,
    	month = "",
    	address = "Abu Dhabi, UAE"
    }
    
  19. Mario J Kofler, Christian Reinisch and Wolfgang Kastner. A Knowledge Representation for Energy Parameters in Sustainable Smart Homes. In Proceedings of Third International Conference on Applied Energy (ICAE '11). 2011. BibTeX

    @inproceedings{ICAE2011_Kofler,
    	author = "{Mario J. Kofler and Christian Reinisch and Wolfgang Kastner}",
    	title = "{A Knowledge Representation for Energy Parameters in Sustainable Smart Homes}",
    	booktitle = "{Proceedings of Third International Conference on Applied Energy (ICAE '11)}",
    	year = 2011,
    	note = "pages 1065--1078"
    }
    
  20. Lukas Krammer, Wolfgang Granzer and Wolfgang Kastner. A new Approach for Robot Motion Planning using Rapidly-exploring Randomized Trees. In Proc. 9th IEEE International Conference on Industrial Informatics (INDIN 2011). 2011. BibTeX

    @inproceedings{KrammerINDIN2011,
    	title = "{A new Approach for Robot Motion Planning using Rapidly-exploring Randomized Trees}",
    	author = "Lukas Krammer and Wolfgang Granzer and Wolfgang Kastner",
    	booktitle = "{Proc. 9th IEEE International Conference on Industrial Informatics (INDIN 2011)}",
    	year = 2011,
    	month = ""
    }
    
  21. Wolfgang Kastner, Fritz Praus, Georg Neugschwandtner and Wolfgang Granzer. KNX. In B M Wilamowski and J D Irwin (eds.). Industrial Electronics Handbook. Volume 2: Industrial Communication Systems, CRC Press, 2011, pages 42-1 – 42-14. BibTeX

    @incollection{ieeehandbook_knx,
    	author = "Wolfgang Kastner and Fritz Praus and Georg Neugschwandtner and Wolfgang Granzer",
    	title = "{K}{N}{X}",
    	booktitle = "Industrial Electronics Handbook",
    	publisher = "CRC Press",
    	year = 2011,
    	editor = "B.M. Wilamowski and J.D. Irwin",
    	volume = "2: Industrial Communication Systems",
    	chapter = 42,
    	pages = "42-1 -- 42-14",
    	edition = "2nd"
    }
    
  22. Felix Iglesias Vázquez, Sergio Cantos Gaceo, Wolfgang Kastner and José Antonio Montero Morales. Behavioral Profiles for Building Energy Performance Using eXclusive SOM. In Lazaros Iliadis and Chrisina Jayne (eds.). Engineering Applications of Neural Networks 363. 2011, 31-40. URL BibTeX

    @inproceedings{ICKM_EANN2011,
    	author = "Felix Iglesias V\'azquez and Sergio Cantos Gaceo and Wolfgang Kastner and Jos\'e Antonio Montero Morales",
    	affiliation = "Automation Systems Group, Vienna University of Technology, Treitlstr. 1-3/ 4. Floor, A-1040 Vienna, Austria",
    	title = "Behavioral Profiles for Building Energy Performance Using eXclusive SOM",
    	booktitle = "Engineering Applications of Neural Networks",
    	series = "IFIP Advances in Information and Communication Technology",
    	editor = "Iliadis, Lazaros and Jayne, Chrisina",
    	publisher = "Springer Boston",
    	isbn = "978-3-642-23956-4",
    	keyword = "Computer Science",
    	pages = "31-40",
    	volume = 363,
    	url = "http://dx.doi.org/10.1007/978-3-642-23957-1_4",
    	year = 2011
    }
    
  23. Felix Iglesias Vázquez, Wolfgang Kastner and Christian Reinisch. Impact of user habits in smart home control. In Emerging Technologies Factory Automation (ETFA), 2011 IEEE 16th Conference on (). 2011, 1 -8. DOI BibTeX

    @inproceedings{IKR_ETFA2011,
    	author = "Felix Iglesias V\'azquez and Wolfgang Kastner and Christian Reinisch",
    	booktitle = "Emerging Technologies Factory Automation (ETFA), 2011 IEEE 16th Conference on",
    	title = "Impact of user habits in smart home control",
    	year = 2011,
    	month = "sept.",
    	volume = "",
    	number = "",
    	pages = "1 -8",
    	doi = "10.1109/ETFA.2011.6059104",
    	issn = "1946-0740"
    }
    
  24. W Kastner and S Szucsich. Accessing KNX networks via BACnet/WS. In Proc. IEEE International Symposium on Industrial Electronics (ISIE'11). 2011, 1315 – 1320. BibTeX

    @inproceedings{KS_ISIE11,
    	author = "W. Kastner and S. Szucsich",
    	booktitle = "Proc. IEEE International Symposium on Industrial Electronics (ISIE'11)",
    	title = "{Accessing KNX networks via BACnet/WS}",
    	year = 2011,
    	month = "",
    	pages = "1315 -- 1320"
    }
    
  25. Christoph Stögerer, Thomas Novak, Wolfgang Kastner and Lukas Krammer. Procedure-based availability SLAs for Traffic Management Systems. In Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11). 2011, 1–8. DOI BibTeX

    @inproceedings{SNKK_ETFA11,
    	author = {Christoph St\"ogerer and Thomas Novak and Wolfgang Kastner and Lukas Krammer},
    	title = "{Procedure-based availability SLAs for Traffic Management Systems}",
    	booktitle = "Proc. of 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '11)",
    	year = 2011,
    	month = "",
    	pages = "1--8",
    	doi = "10.1109/ETFA.2011.6059127"
    }
    
  26. Anetta Nagy, Felix Ring, Patrick Loschmidt, Aneeq Mahmood and Wolfgang Kastner. Integration Aspects of Wireless Industrial Automation. In Proceedings of 37th Annual Conference of the IEEE Industrial Electronics Society (IECON '11) (). 2011, 2998–3003. DOI BibTeX

    @inproceedings{NRLMW-IECON11,
    	author = "Anetta Nagy and Felix Ring and Patrick Loschmidt and Aneeq Mahmood and Wolfgang Kastner",
    	booktitle = "Proceedings of 37th Annual Conference of the IEEE Industrial Electronics Society (IECON '11)",
    	title = "{Integration Aspects of Wireless Industrial Automation}",
    	year = 2011,
    	volume = "",
    	number = "",
    	pages = "2998--3003",
    	keywords = "",
    	doi = "10.1109/IECON.2011.6119787",
    	issn = "1553-572X"
    }
    
  27. C Stoegerer, T Novak, W Kastner, L Krammer and T Vienna. Procedure-based availability SLAs for Traffic Management Systems. In ETFA2011. 2011, 1-8. DOI BibTeX

    @inproceedings{6059127,
    	author = "C. Stoegerer and T. Novak and W. Kastner and L. Krammer and T. Vienna",
    	booktitle = "ETFA2011",
    	title = "Procedure-based availability SLAs for Traffic Management Systems",
    	year = 2011,
    	pages = "1-8",
    	keywords = "inference mechanisms;traffic engineering computing;maintenance cost;multivendor system;procedure-based availability SLA;procedure-based reasoning concept;service level agreement;total cost of ownership;traffic management system;Actuators;Availability;Databases;Maintenance engineering;Measurement;Monitoring;Sensors",
    	doi = "10.1109/ETFA.2011.6059127",
    	issn = "1946-0740",
    	month = "Sept"
    }
    
  28. Christoph Stögerer, Ivona Brandic, Vincent Emeakaroha, Wolfgang Kastner and Thomas Novak. Applying availability SLAs to Traffic Management Systems. In Proc. of the 14th IEEE Conference on Intelligent Transportation Systems (ITSC' 11). 2011, 1501–1506. DOI BibTeX

    @inproceedings{its11-sk,
    	author = {Christoph St\"ogerer and Ivona Brandic and Vincent Emeakaroha and Wolfgang Kastner and Thomas Novak},
    	title = "Applying availability SLAs to Traffic Management Systems",
    	booktitle = "Proc. of the 14th IEEE Conference on Intelligent Transportation Systems (ITSC' 11)",
    	year = 2011,
    	month = "",
    	pages = "1501--1506",
    	doi = "10.1109/ITSC.2011.6082941"
    }
    


2010
  1. Mario J Kofler and Wolfgang Kastner. A Knowledge Base for Energy-Efficient Smart Homes. In Proceedings of the 1st IEEE Interational Energy Conference (ENERGYCON '10). December 2010. BibTeX

    @inproceedings{ENERGYCON10,
    	address = "Manama, Bahrain",
    	author = "Mario J. Kofler and Wolfgang Kastner",
    	booktitle = "{Proceedings of the 1st IEEE Interational Energy Conference (ENERGYCON '10)}",
    	title = "{A Knowledge Base for Energy-Efficient Smart Homes}",
    	note = "pages 85--90",
    	month = "December",
    	year = 2010
    }
    
  2. Wolfgang Granzer, Wolfgang Kastner and Paul Furtak. KNX and OPC UA. In Konnex Scientific Conference. November 2010. BibTeX

    @inproceedings{WG2010d,
    	author = "Wolfgang Granzer and Wolfgang Kastner and Paul Furtak",
    	title = "{KNX and OPC UA}",
    	booktitle = "{Konnex Scientific Conference}",
    	year = 2010,
    	month = "nov",
    	abstract = "A key requirement at the management level of modern building automation systems is to provide interoperability between devices and systems that use different technologies from various vendors. A possible solution for this challenge is the use of Web services. Web services provide a generic, platform- and technological-independent way to access and manipulate information. Due to the use of IP networks in today's building automation systems, Web services are gaining increasely importance within the building automation domain. This is especially true for KNX systems, since the upcoming opportunity to use IP as native KNX medium provides new possibilities for integrating Web services into KNX. One of the most important technologies within this field is OPC UA. Therefore, this paper is dedicated to OPC UA in KNX. After an introduction to this technology, an approach to use OPC UA for KNX systems is presented. The paper is concluded with an outlook on OPC UA server and client solutions for KNX systems."
    }
    
  3. Wolfgang Granzer, Fritz Praus and Wolfgang Kastner. Security in Building Automation Systems. IEEE Transactions on Industrial Electronics 57(11):3622–3630, November 2010. PDF BibTeX

    @article{WG2010c,
    	author = "Wolfgang Granzer and Fritz Praus and Wolfgang Kastner",
    	title = "Security in Building Automation Systems",
    	journal = "IEEE Transactions on Industrial Electronics",
    	year = 2010,
    	volume = 57,
    	number = 11,
    	month = "nov",
    	pages = "3622--3630",
    	abstract = "Building automation systems are traditionally concerned with the control of heating, ventilation, air conditioning, as well as lighting and shading systems. They have their origin in a time where security has been considered as a side-issue at best. Nowadays, with the rising desire to integrate security-critical services that were formerly provided by isolated subsystems, security must no longer be neglected. Thus, the development of a comprehensive security concept is of utmost importance. This paper starts with a security threat analysis and identifies the challenges of providing security in the building automation domain. Afterwards, the security mechanisms of available standards are thoroughly analyzed. Finally, two approaches that provide both secure communication and secure execution of possibly untrusted control applications are presented.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/sebas_tie.pdf"
    }
    
  4. Wolfgang Granzer and Wolfgang Kastner. Security Analysis of Open Building Automation Systems. In Proc. 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP '10). September 2010, 303-316. PDF BibTeX

    @inproceedings{WG2010b,
    	author = "Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Security Analysis of Open Building Automation Systems}",
    	booktitle = "{Proc. 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP '10)}",
    	year = 2010,
    	pages = "303-316",
    	month = "sep",
    	abstract = "With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on physically isolated networks and on ``Security by Obscurity'', as it is still common today, is by no means an adequate solution. To be reliable and robust against malicious manipulations, the used communication services must support advanced security mechanisms that counteract potential security threats. This paper identifies important security requirements and challenges within the building automation domain. Based on this analysis, the current state-of-the-art technologies are carefully examined. Finally, an outlook on advanced security concepts is given.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/safecomp2010_security_bas.pdf"
    }
    
  5. Christoph Stögerer, Thomas Novak and Wolfgang Kastner. Towards the life-cycle of VMS configurations. In Proc. of the 13th IEEE Conference on Intelligent Transportation Systems (ITSC'10). September 2010, 783-788. DOI BibTeX

    @inproceedings{its10-snk,
    	author = {Christoph St\"ogerer and Thomas Novak and Wolfgang Kastner},
    	title = "Towards the life-cycle of {VMS} configurations",
    	booktitle = "Proc. of the 13th IEEE Conference on Intelligent Transportation Systems (ITSC'10)",
    	year = 2010,
    	month = "sep",
    	pages = "783-788",
    	doi = "10.1109/ITSC.2010.5625068"
    }
    
  6. Christoph Stögerer and Wolfgang Kastner. Approaches for increasing availability of component-based traffic management software. In Proc. of the 13th IEEE Conference on Intelligent Transportation Systems (ITSC'10). September 2010, 1608 - 1613. DOI BibTeX

    @inproceedings{its10-sk,
    	author = {Christoph St\"ogerer and Wolfgang Kastner},
    	title = "Approaches for increasing availability of component-based traffic management software",
    	booktitle = "Proc. of the 13th IEEE Conference on Intelligent Transportation Systems (ITSC'10)",
    	year = 2010,
    	month = "sep",
    	pages = "1608 - 1613",
    	doi = "10.1109/ITSC.2010.5625069"
    }
    
  7. Christoph Stögerer and Wolfgang Kastner. Distributed monitoring for component-based traffic management systems gement software. In Proc. of the 15th IEEE Conference on Emerging Techonologies and Factory Automation (ETFA'10). September 2010, 1-4. DOI BibTeX

    @inproceedings{etfa10-sk,
    	author = {Christoph St\"ogerer and Wolfgang Kastner},
    	title = "Distributed monitoring for component-based traffic management systems gement software",
    	booktitle = "Proc. of the 15th IEEE Conference on Emerging Techonologies and Factory Automation (ETFA'10)",
    	year = 2010,
    	month = "sep",
    	pages = "1-4",
    	doi = "10.1109/ETFA.2010.5641231"
    }
    
  8. Wolfgang Granzer and Wolfgang Kastner. Communication Services for Secure Building Automation Networks. In Proc. IEEE International Symposium on Industrial Electronics (ISIE '10). July 2010, 3380–3385. PDF BibTeX

    @inproceedings{WG2010a,
    	author = "Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Communication Services for Secure Building Automation Networks}",
    	booktitle = "{Proc. IEEE International Symposium on Industrial Electronics (ISIE '10)}",
    	year = 2010,
    	month = "jul",
    	pages = "3380--3385",
    	abstract = "Up to now, building automation systems were con- sidered as virtually closed enviroments. If at all, they had to provide some well dedicated dial-in connections for remote management. With the introduction of interconnections to foreign networks (e.g., Web gateways to the Internet) and wireless technologies, the assumption of physical isolation is not longer valid. In parallel, building automation systems of the next generation shall also be home for tight integrated services with seamless interworking nodes of formerly separated systems. When security-critical integration is considered, this promises synergies, but significantly tightens requirements on the protocol stack. This paper summarizes the demands to be met by nodes participating in such an environment and presents necessary secure services that are part of the protocol architecture.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/isie2010_stack.pdf"
    }
    
  9. Fritz Praus and Wolfgang Kastner. Secure Control Applications in Building Automation using Domain Knowledge. In Proc. 8th IEEE International Conference on Industrial Informatics (INDIN 2010). July 2010, 52–57. URL BibTeX

    @inproceedings{PrausINDIN2010,
    	author = "Fritz Praus and Wolfgang Kastner",
    	title = "{Secure Control Applications in Building Automation using Domain Knowledge}",
    	booktitle = "{Proc. 8th IEEE International Conference on Industrial Informatics (INDIN 2010)}",
    	year = 2010,
    	pages = "52--57",
    	month = "jul",
    	abstract = "When security-critical applications are considered to be integrated into the building automation domain, two requirements need to be fulfilled: providing security features at the network level and support for security mechanisms at the application level. This paper tackles the second goal using domain knowledge based on existing and related international application level standards. After the demands for secure applications and an underlying security policy are stated, a system model is derived that allows specifying security attributes for data points, function blocks, embedded applications, and, finally, distributed control applications. In conclusion, the applicability of the model is demonstrated for selected use cases.",
    	owner = "fritz",
    	timestamp = "2010.04.26",
    	url = "http://www.praus.at/dl.php?url=indin2010_fpraus_policy_final.pdf"
    }
    
  10. Gingun Hong, Kirak Hong, Bernd Burgstaller and Johann Blieberger. AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005. In Ada-Europe'2010 International Conference on Reliable Software Technologies. June 2010. URL, DOI BibTeX

    @inproceedings{bburg:Ada_streams,
    	author = "Gingun Hong and Kirak Hong and Bernd Burgstaller and Johann Blieberger",
    	title = "{AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005}",
    	address = "Valencia, Spain",
    	booktitle = "Ada-Europe'2010 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2010,
    	doi = "http://dx.doi.org//10.1007/978-3-642-13550-7_15",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/AdaStreams.pdf"
    }
    
  11. Andreas Schöbel and Johann Blieberger. Availability Analysis for Railway Infrastructure based on Graph Theory. In EURO-ŽEL 2010: Revitalisation of Economy - New Challenge for European Railways. May 2010, 141–148. BibTeX

    @inproceedings{bli:availanalrail,
    	author = {Andreas Sch{\"o}bel and Johann Blieberger},
    	title = "Availability Analysis for Railway Infrastructure based on Graph Theory",
    	address = "\v{Z}ilina, Slovak Republic",
    	booktitle = "EURO-\v{Z}EL 2010: Revitalisation of Economy - New Challenge for European Railways",
    	month = "May",
    	year = 2010,
    	isbn = "978-80-554-0198-0",
    	pages = "141--148"
    }
    
  12. Wolfgang Granzer. Secure Communication in Home and Building Automation Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2010. PDF BibTeX

    @phdthesis{wgranzer_diss,
    	author = "Wolfgang Granzer",
    	title = "Secure Communication in Home and Building Automation Systems",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2010,
    	month = "",
    	abstract = "Home and Building Automation (HBA) systems are traditionally concerned with the control of heating, ventilation, air conditioning, as well as lighting and shading systems. Services from the safety and security domain are typically provided by separated, application specific subsystems. An integration with the core HBA systems is done (if at all) at the management level. Nowadays, the rising desire to integrate security-critical services even at the field level can be observed. The extension of the application domain of HBA systems therefore demands the underlying communication system to be reliable and robust against malicious manipulations. An analysis of existing technologies, however, exposes that they do not fulfill the additional requirements yet. The main reason is that the systems were developed at a time when security was considered as a side-issue at best. Hence, these systems rely on physical isolation and ``Security by Obscurity''. This is obviously unacceptable within modern HBA systems since preventing physical access to the network by isolation is not always possible (e.g., WLANs) and ``Security by Obscurity'' is a technique that (if at all) provides only temporary protection. Thus, the development of a comprehensive security concept is of utmost importance. This dissertation is focused on providing mechanisms for secure communication in HBA networks thus counteracting network attacks. Based on a security threat analysis, requirements and challenges for secure communication are identified. After an overview of state of the art technologies, a generic approach for securing communication in HBA networks is introduced. This approach uses the concept of secure communication relationships where communication entities like devices or control applications are able to securely join and leave these relationships. Additionally, a framework that implements this security approach based on a multi-protocol stack is described. To prove the feasibility, the proposed security concept is formally evaluated and a prototype implementation is presented.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/dissertation_wolfgang_granzer_final_signed.pdf"
    }
    
  13. Lukas Krammer. Motion Planning for Car-like Robots. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2010. BibTeX

    @mastersthesis{LK10:MotionPlanning,
    	author = "Lukas Krammer",
    	title = "{Motion Planning for Car-like Robots}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2010,
    	month = "",
    	url = ""
    }
    
  14. Felix Iglesias Vázquez and Wolfgang Kastner. Usage profiles for sustainable buildings. In Proc. of the 15th IEEE Conference on Emerging Techonologies and Factory Automation (ETFA'10). 2010, 1-8. DOI BibTeX

    @inproceedings{etfa10-vk,
    	author = "Felix Iglesias V\'azquez and Wolfgang Kastner",
    	title = "Usage profiles for sustainable buildings",
    	booktitle = "Proc. of the 15th IEEE Conference on Emerging Techonologies and Factory Automation (ETFA'10)",
    	year = 2010,
    	month = "",
    	pages = "1-8",
    	doi = "10.1109/ETFA.2010.5641214"
    }
    
  15. Boris Malinowsky and Wolfgang Kastner. Integrating process communication in building information models with IFC and LON. In Proc. of the 8th IEEE International Workshop on Factory Communication Systems (WFCS'10). 2010, 221-230. DOI BibTeX

    @inproceedings{wfcs10-mk,
    	author = "Boris Malinowsky and Wolfgang Kastner",
    	title = "Integrating process communication in building information models with IFC and LON",
    	booktitle = "Proc. of the 8th IEEE International Workshop on Factory Communication Systems (WFCS'10)",
    	year = 2010,
    	month = "",
    	pages = "221-230",
    	doi = "10.1109/WFCS.2010.5548630"
    }
    
  16. Stefan Szucsich and Wolfgang Kastner. Mapping KNX to BACnet/Web Services. In Konnex Scientific Conference. 2010. BibTeX

    @inproceedings{knxsci10-sk,
    	author = "Stefan Szucsich and Wolfgang Kastner",
    	title = "{Mapping KNX to BACnet/Web Services}",
    	booktitle = "{Konnex Scientific Conference}",
    	year = 2010,
    	month = ""
    }
    


2009
  1. Christoph Stögerer and Wolfgang Kastner. System Management Standards for Traffic Management Systems. In Proc. of 14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'09). September 2009, 1-8. DOI BibTeX

    @inproceedings{etfa09,
    	author = {Christoph St{\"o}gerer and Wolfgang Kastner},
    	title = "System Management Standards for Traffic Management Systems",
    	booktitle = "Proc. of 14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'09)",
    	year = 2009,
    	month = "sep",
    	pages = "1-8",
    	doi = "10.1109/ETFA.2009.5347139"
    }
    
  2. Georg Kienesberger. Detecting Busy Waiting by Means of Static Control Flow Analysis. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, July 2009. BibTeX

    @mastersthesis{gk:busywait,
    	author = "Georg Kienesberger",
    	title = "{Detecting Busy Waiting by Means of Static Control Flow Analysis}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2009,
    	month = "jul",
    	url = ""
    }
    
  3. Fritz Praus, Wolfgang Granzer and Wolfgang Kastner. Enhanced Control Application Development in Building Automation. In Proc. 7th IEEE International Conference on Industrial Informatics (INDIN 2009). June 2009, 390–395. URL BibTeX

    @inproceedings{PrausINDIN2009,
    	author = "Fritz Praus and Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Enhanced Control Application Development in Building Automation}",
    	booktitle = "{Proc. 7th IEEE International Conference on Industrial Informatics (INDIN 2009)}",
    	year = 2009,
    	pages = "390--395",
    	month = "jun",
    	abstract = "Building Automation Systems (BAS) lack a common application model. Thus, the development of control applications (CAs) is not a very straightforward task and requires profound expertise. When in addition security has to be considered, inexperienced developers are overwhelmed by the manifold demands and constraints. This paper presents an approach to ease the CA development and at the same time to provide security for their execution. The main idea is to base the application model on a generic ontology and to provide a sandbox for the execution environment. The programming concept, configuration and management issues as well as the workflow are described in detail. Finally, a proof of concept for BACnet and KNX is given.",
    	owner = "fritz",
    	timestamp = "2009.04.09",
    	url = "http://www.praus.at/dl.php?url=indin2009_fpraus_controlapp_final.pdf"
    }
    
  4. Wolfgang Granzer, Daniel Lechner, Fritz Praus and Wolfgang Kastner. Securing IP Backbones in Building Automation Networks. In Proc. 7th IEEE International Conference on Industrial Informatics (INDIN '09). 2009, 410–415. PDF BibTeX

    @inproceedings{WG2009a,
    	author = "Wolfgang Granzer and Daniel Lechner and Fritz Praus and Wolfgang Kastner",
    	title = "{Securing IP Backbones in Building Automation Networks}",
    	booktitle = "{Proc. 7th IEEE International Conference on Industrial Informatics (INDIN '09)}",
    	year = 2009,
    	month = "",
    	pages = "410--415",
    	abstract = "The use of IP networks as common backbone is becoming of increased interest in today’s building automation systems (BAS). However, with the use of IP also new attack scenarios that threaten the overall security of BAS are introduced. Due to the absence of native security mechanisms in IP and because of its long standing and pervasive use in the IT world, many vulnerabilities exist that are well-known to attackers. To counteracts these threats, this paper presents a generic concept to secure IP backbones that is tailored for the use in building automation. A main advantage of the concept is its flexibility. Due to the used protocol architecture, it is applicable to available BAS standards without the need of an adaption of existing BAS protocols. As a proof-of-concept, a prototype implementation for the KNX standard is also presented in the paper.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/indin2009_secure_ip.pdf"
    }
    
  5. Daniel Lechner. Securing Backbones for Embedded Home and Building Automation Networks. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2009. BibTeX

    @mastersthesis{DL08:SecureIP,
    	author = "Daniel Lechner",
    	title = "{Securing Backbones for Embedded Home and Building Automation Networks}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2009,
    	month = "",
    	url = ""
    }
    
  6. Wolfgang Kastner and Georg Neugschwandtner. Data Communications for Distributed Building Automation. In Richard Zurawski (ed.). Embedded Systems Handbook, Second Edition, Volume 2: Networked Embedded Systems. The Industrial Information Technology Series series, CRC Press, 2009, pages 29-1 –- 29-34. URL BibTeX

    @incollection{esh-dcdba,
    	author = "Wolfgang Kastner and Georg Neugschwandtner",
    	title = "Data Communications for Distributed Building Automation",
    	booktitle = "Embedded Systems Handbook, Second Edition, Volume 2: Networked Embedded Systems",
    	chapter = 29,
    	pages = "29-1 --- 29-34",
    	year = 2009,
    	series = "The Industrial Information Technology Series",
    	editor = "Richard Zurawski",
    	publisher = "CRC Press",
    	address = "Boca Raton",
    	isbn-10 = "1-4398-0761-2",
    	isbn-13 = "978-1-4398-0761-3",
    	url = "http://books.google.com/books?vid=ISBN9781439807613&pg=PT780"
    }
    
  7. Wolfgang Kastner and Thomas Novak. Functional safety in building automation. In Proc. of 14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'09). 2009, 1-8. DOI BibTeX

    @inproceedings{etfa09-novak,
    	author = "Wolfgang Kastner and Thomas Novak",
    	title = "Functional safety in building automation",
    	booktitle = "Proc. of 14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'09)",
    	year = 2009,
    	month = "",
    	pages = "1-8",
    	doi = "10.1109/ETFA.2009.5347168"
    }
    
  8. Johann Blieberger, Norbert Ostermann and Andreas Schöbel. Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur. Signal + Draht 9:33–36, 2009. BibTeX

    @article{bli:verfwei,
    	author = {Johann Blieberger and Norbert Ostermann and Andreas Sch{\"o}bel},
    	title = {{Graphentheoretische Verf\"ugbarkeitsanalyse f\"ur die Eisenbahninfrastruktur}},
    	journal = "Signal + Draht",
    	year = 2009,
    	volume = 9,
    	pages = "33--36"
    }
    


2008
  1. Daniel Lechner, Wolfgang Granzer and Wolfgang Kastner. Security for KNXnet/IP. In Konnex Scientific Conference. November 2008. BibTeX

    @inproceedings{Lechner2008,
    	author = "Daniel Lechner and Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Security for KNXnet/IP}",
    	booktitle = "{Konnex Scientific Conference}",
    	year = 2008,
    	month = "nov",
    	abstract = "With the integration of security-critical applications into KNX installations, a comprehensive security concept is mandatory. Most important, transmitted data have to be secured. Since IP networks as transport medium for KNX communication become of increasing importance, an approach to secure KNXnet/IP is presented in this paper. The main features of this approach are the suitability for embedded microcontrollers and the support for secure unicast and multicast communication."
    }
    
  2. Fritz~Praus and Wolfgang~Kastner. User applications development using embedded Java. In Proc. Konnex Scientific Conference. November 2008. URL BibTeX

    @inproceedings{Praus2008a,
    	author = "Fritz~Praus and Wolfgang~Kastner",
    	title = "User applications development using embedded Java",
    	booktitle = "Proc. Konnex Scientific Conference",
    	year = 2008,
    	month = "November",
    	abstract = "Building Automation Systems (BAS) aim at improving control and management of mechanical and electrical systems in buildings. It is the task of Sensors, Actuators and Controllers (SACs) to interact with the physical environment and perform measurement and control tasks. In building automation networks they, typically, consist of a network interface and a microcontroller (MCU) where an application specific hardware is attached. In a similar way, the software may be split into a system software part providing basic functionality and a (customizable) user application (UA) dealing with the attached hardware. Within KNX this concept is well known, as customized application modules are connected via the physical external interface to standardized bus attachment units. However, KNX UA development traditionally required profound hardware knowledge. This paper presents an approach to leverage user application development. With limited hardware resources of SACs in mind, an embedded virtual machine provides a lean environment for Java based user applications. Interfacing to KNX and the specific hardware is done by a well-defined Java user application programming interface. In addition, a management interface allows to download and configure UAs inside the virtual machine. The programming concept, configuration and management issues as well as the workflow are described in detail. As proof of concept for SACs supporting our approach two hardware platforms have been chosen: a stripboard equipped with an ATMega168 MCU and KNX connection via the Freebus project, and KNXcalibur, a Fujitsu MCU based board connected to KNX via TP-UART. The contribution is rounded up by a first performance analysis.",
    	url = "http://www.praus.at/dl.php?url=knx08_embeddedjava_final.pdf"
    }
    
  3. Wolfgang Granzer, Christian Reinisch and Wolfgang Kastner. Denial-of-Service in Automation Systems. In Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '08). September 2008, 468–471. PDF BibTeX

    @inproceedings{WG2008c,
    	author = "Wolfgang Granzer and Christian Reinisch and Wolfgang Kastner",
    	title = "{Denial-of-Service in Automation Systems}",
    	booktitle = "Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '08)",
    	year = 2008,
    	month = "sep",
    	abstract = "Security aspects of today's automation systems gain increasing importance. One critical point regarding security is the exchange of control data over the network. Recently, cryptographic techniques have been developed that can protect the transmitted data against a malicious interference. However, there are security threats which cannot be prevented using cryptographic techniques. Typical representatives are Denial-of-Service (DoS) attacks. Therefore, this paper presents a novel, generic approach how such DoS attacks can be prevented or, if prevention is not possible, can be detected at least.",
    	pages = "468--471",
    	pdf = "https://www.auto.tuwien.ac.at/~wgranzer/etfa2008_dos.pdf"
    }
    
  4. Wolfgang Granzer, Wolfgang Kastner and Christian Reinisch. Gateway-free Integration of BACnet and KNX using Multi-Protocol Devices. In Proc. 6th IEEE International Conference on Industrial Informatics (INDIN '08). July 2008, 973–978. PDF BibTeX

    @inproceedings{WG2008b,
    	author = "Wolfgang Granzer and Wolfgang Kastner and Christian Reinisch",
    	title = "{Gateway-free Integration of BACnet and KNX using Multi-Protocol Devices}",
    	booktitle = "{Proc. 6th IEEE International Conference on Industrial Informatics (INDIN '08)}",
    	year = 2008,
    	month = "jul",
    	pages = "973--978",
    	abstract = "Today, building automation systems can be realized using a multitude of different standards. Since each of these standards has its benefits, the combination of different standards and consequently of their best features promises substantial synergies. However, an integration is far from being straightfor- ward and thus demands research. Starting from an analysis of the benefits that integrated building automation networks can offer, this work reviews the different approaches to combine KNX and BACnet. A gateway-free solution based on multi- protocol devices is considered most promising and examined in detail. The required protocol adaptations are discussed and, finally, a prototype implementation of an integrated, gateway-free BACnet/KNX internetwork is presented.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/bacnet_knx_indin2008.pdf",
    	note = "{Best presentation paper award at INDIN '08}"
    }
    
  5. Thomas Flanitzer. Security mechanisms for low-end embedded systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, July 2008. BibTeX

    @mastersthesis{tflanitzer:secembdev,
    	author = "Thomas Flanitzer",
    	title = "{Security mechanisms for low-end embedded systems}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "jul",
    	url = ""
    }
    
  6. Raul Fechete, Georg Kienesberger and Johann Blieberger. A Framework for CFG-based Static Program Analysis of Ada Programs. In Ada-Europe'2008 International Conference on Reliable Software Technologies. June 2008, 130-143. URL, DOI BibTeX

    @inproceedings{fec:adacfg,
    	author = "Raul Fechete and Georg Kienesberger and Johann Blieberger",
    	title = "{A Framework for CFG-based Static Program Analysis of Ada Programs}",
    	address = "Venice, Italy",
    	booktitle = "Ada-Europe'2008 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2008,
    	pages = "130-143",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/adacfg.pdf",
    	doi = "10.1007/978-3-540-68624-8"
    }
    
  7. Wolfgang Granzer, Christian Reinisch and Wolfgang Kastner. Key Set Management in Networked Building Automation Systems using Multiple Key Servers. In Proc. 7th IEEE International Workshop on Factory Communication Systems (WFCS '08). 2008, 205–214. PDF BibTeX

    @inproceedings{WG2008a,
    	author = "Wolfgang Granzer and Christian Reinisch and Wolfgang Kastner",
    	title = "{Key Set Management in Networked Building Automation Systems using Multiple Key Servers}",
    	booktitle = "{Proc. 7th IEEE International Workshop on Factory Communication Systems (WFCS '08)}",
    	year = 2008,
    	month = "",
    	abstract = "With the integration of security critical applications into traditional building automation systems, a comprehensive security concept is mandatory. Most important, transmitted data have to be secured using cryptographic techniques. However, even if the used cryptographic algorithms are perfectly secure, the overall security highly depends on the non-disclosure of the used shared secrets. Therefore, this paper targets the management of these shared secrets and the necessary infrastructure used to manage them. Finally, to eliminate a single point of failure in this infrastructure, a redundancy concept featuring multiple key servers is presented.",
    	pages = "205--214",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/keyserver_wfcs2008.pdf"
    }
    
  8. Fritz Praus, Thomas Flanitzer and Wolfgang Kastner. Secure and customizable software applications in embedded networks. In Proc. 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008). 2008, 1473–1480. URL, DOI BibTeX

    @inproceedings{Praus2008,
    	author = "Praus, Fritz and Flanitzer, Thomas and Kastner, Wolfgang",
    	title = "Secure and customizable software applications in embedded networks",
    	booktitle = "Proc. 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008)",
    	year = 2008,
    	pages = "1473--1480",
    	abstract = "Improved technology and economically feasible costs allow a widespread deployment of embedded systems in various application domains - ranging from integration into cars, industrial automation up to building automation. A sophisticated security architecture considering the challenging constraints on these systems and providing secure communication, secure software as well as physical security is needed. This paper presents an approach to allow untrusted, possible (intentional) malicious software to be executed securely on a low end embedded system. A proof of concept and an evaluation for a building automation system is given.",
    	doi = "10.1109/ETFA.2008.4638590",
    	owner = "fritz",
    	timestamp = "2008.10.24",
    	url = "http://www.praus.at/dl.php?url=etfa2008_fpraus_secapp_final.pdf"
    }
    
  9. Rainer Müller. Ontologies in Automation. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{RM08:Ontologies,
    	author = {Rainer M\"uller},
    	title = "{Ontologies in Automation}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  10. Hannes Brandstetter. Heimautomationssysteme – Theorie und Praxis. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{HB08:KNXHome,
    	author = "Hannes Brandstetter",
    	title = "{Heimautomationssysteme -- Theorie und Praxis}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  11. Wolfgang Köhler. Simulation of a KNX network with EIBsec protocol extensions. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{WK08:KNXSim,
    	author = {Wolfgang K\"ohler},
    	title = "{Simulation of a KNX network with EIBsec protocol extensions}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  12. Christoph Stögerer and Wolfgang Kastner. Extending the Watchdog Pattern for Multi-threaded Windows based Traffic Management and Control Applications. In Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'08). 2008, 854-860. DOI BibTeX

    @inproceedings{etfa08,
    	author = {Christoph St{\"o}gerer and Wolfgang Kastner},
    	title = "Extending the Watchdog Pattern for Multi-threaded Windows based Traffic Management and Control Applications",
    	booktitle = "Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'08)",
    	year = 2008,
    	month = "",
    	pages = "854-860",
    	doi = "10.1109/ETFA.2008.4638497"
    }
    
  13. Thomas Abinger, Wolfgang Kastner, Georg Luber and Georg Neugschwandtner. Enhancing residential automation systems with artificial intelligence. In Proc. KNX Scientific Conference 2008. 2008. BibTeX

    @inproceedings{knxsci08-agents,
    	author = "Thomas Abinger and Wolfgang Kastner and Georg Luber and Georg Neugschwandtner",
    	title = "Enhancing residential automation systems with artificial intelligence",
    	booktitle = "Proc. {KNX} Scientific Conference 2008",
    	year = 2008,
    	month = ""
    }
    
  14. Johann Blieberger. Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. In Florian Martin, Hanne Riis Nielson, Claudio Riva and Markus Schordan (eds.). Scalable Program Analysis (08161). 2008. URL BibTeX

    @inproceedings{blieberger:DSP:2008:1572,
    	author = "Johann Blieberger",
    	title = "Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms",
    	booktitle = "Scalable Program Analysis",
    	year = 2008,
    	editor = "Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan",
    	number = 08161,
    	series = "Dagstuhl Seminar Proceedings",
    	issn = "1862-4405",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
    	address = "Dagstuhl, Germany",
    	url = "http://drops.dagstuhl.de/opus/volltexte/2008/1572",
    	annote = "Keywords: Average case analysis, elimination-based data-flow analysis algorithms, reducible flow graphs"
    }
    
  15. Robert Mittermayr and Johann Blieberger. Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. In Tiziana Margaria and Bernhard Steffen (eds.). Leveraging Applications of Formal Methods, Verification and Validation 17. 2008, 619–633. BibTeX

    @inproceedings{mit:PO,
    	editor = "Tiziana Margaria and Bernhard Steffen",
    	booktitle = "{Leveraging Applications of Formal Methods, Verification and Validation}",
    	publisher = "Springer",
    	location = "Heidelberg",
    	series = "CCIS",
    	volume = 17,
    	year = 2008,
    	isbn = "978-3-540-88478-1",
    	author = "Robert Mittermayr and Johann Blieberger",
    	title = "{Static Partial-Order Reduction of Concurrent Systems in Polynomial Time}",
    	pages = "619--633"
    }
    
  16. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. Symbolic Analysis: An Algebra-based Approach. VDM Verlag, 2008. BibTeX

    @book{bburg:phd,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "{Symbolic Analysis: An Algebra-based Approach}",
    	publisher = "VDM Verlag",
    	isbn = "978-3-836-48142-7",
    	address = {Saarbr\"ucken, Germany},
    	year = 2008
    }
    


2007
  1. Fritz~Praus, Wolfgang~Granzer, Georg~Gaderer and Thilo~Sauter. A Simulation Framework for Fault-Tolerant Clock Synchronization in Industrial Automation Networks. In Proc. 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007). September 2007, 1465–1472. URL BibTeX

    @inproceedings{PrausETFA2007,
    	author = "Fritz~Praus and Wolfgang~Granzer and Georg~Gaderer and Thilo~Sauter",
    	title = "{A Simulation Framework for Fault-Tolerant Clock Synchronization in Industrial Automation Networks}",
    	booktitle = "Proc. 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007)",
    	year = 2007,
    	pages = "1465--1472",
    	month = "September",
    	abstract = "Many applications such as distributed measurements or real-time networks benefit from a common notion of time. Protocols providing high precision and simple clock synchronization are necessary to achieve such a common time base. However, most of the available protocols are lacking with regard to fault tolerance and performance in case of a fault. The project IMAGINE (Introduction of Master Group Based Industrial Ethernet) overcomes these limitations by introducing a fault-tolerant IEEE 1588 master group. A proof of concept for a largeor even medium- scale network is, however, very difficult to obtain under laboratory conditions. Therefore, a simulation framework has been developed, which is presented in this paper.",
    	owner = "fritz",
    	timestamp = "2007.08.30",
    	url = "http://www.praus.at/dl.php?url=ETFA07_Simulation.pdf"
    }
    
  2. Johann Blieberger, Bernd Burgstaller and Robert Mittermayr. Static Detection of Livelocks in Ada Multitasking Programs. In Ada-Europe'2007 International Conference on Reliable Software Technologies. June 2007. URL, DOI BibTeX

    @inproceedings{bli:livelock,
    	author = "Johann Blieberger and Bernd Burgstaller and Robert Mittermayr",
    	title = "{Static Detection of Livelocks in Ada Multitasking Programs}",
    	address = "Geneve, Switzerland",
    	booktitle = "Ada-Europe'2007 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2007,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/livelock.pdf",
    	doi = "10.1007/978-3-540-73230-3"
    }
    
  3. Bernhard Scholz and Johann Blieberger. A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. In CC'2007, LNCS 4420. March 2007, 202-217. URL, DOI BibTeX

    @inproceedings{bli:ADT,
    	author = "Bernhard Scholz and Johann Blieberger",
    	title = "{A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees}",
    	address = "Braga, Portugal",
    	booktitle = "CC'2007, LNCS 4420",
    	month = "March",
    	year = 2007,
    	pages = "202-217",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/elimADT.pdf",
    	doi = "10.1007/978-3-540-71229-9_14"
    }
    
  4. Wolfgang Granzer and Wolfgang Kastner. BACnet over KNX. In Konnex Scientific Conference. 2007. PDF BibTeX

    @inproceedings{WG2007a,
    	author = "Wolfgang Granzer and Wolfgang Kastner",
    	title = "{BACnet over KNX}",
    	booktitle = "{Konnex Scientific Conference}",
    	year = 2007,
    	month = "",
    	abstract = "The Building Automation and Control Network Protocol (BACnet) has been developed to provide a solution for building automation and control systems of all sizes and types. While BACnet specifies an application model as well as different routing services, the underlying network medium is not defined. BACnet messages can, in principle, be conveyed over any network. However, a number of network types are recommended in the BACnet standard. Since KNX with all its benefits has not been considered as a network medium for BACnet, we provide an approach that uses KNX TP 1 as network medium for BACnet. Additionally, a first proof-of-concept implementation is presented in this paper.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/bacnet_knx.pdf"
    }
    
  5. Thomas Raffetseder, Engin Kirda and Christopher Kruegel. Building Anti-Phishing Browser Plug-Ins: An Experience Report. In ICSE Workshop on Software Engineering for Secure Systems (SESS). 2007. BibTeX

    @inproceedings{kruegel53,
    	title = "{Building Anti-Phishing Browser Plug-Ins: An Experience Report}",
    	author = "Thomas Raffetseder and Engin Kirda and Christopher Kruegel",
    	booktitle = "ICSE Workshop on Software Engineering for Secure Systems (SESS)",
    	year = 2007
    }
    
  6. Christoph Karlberger, Guenter Bayler, Christopher Kruegel and Engin Kirda. Exploiting Redundancy in Natural Language to Penetrate Bayesian Spam Filters. In Usenix Workshop on Offensive Technologies (WOOT). 2007. BibTeX

    @inproceedings{kruegel52,
    	title = "{Exploiting Redundancy in Natural Language to Penetrate Bayesian Spam Filters}",
    	author = "Christoph Karlberger and Guenter Bayler and Christopher Kruegel and Engin Kirda",
    	booktitle = "Usenix Workshop on Offensive Technologies (WOOT)",
    	year = 2007
    }
    
  7. Philipp Vogt, Florian Nentwich, Nenad Jovanovic, Engin Kirda, Christopher Kruegel and Giovanni Vigna. Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis. In Network and Distributed System Security Symposium (NDSS). 2007. BibTeX

    @inproceedings{kruegel15,
    	title = "{Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis}",
    	author = "Philipp Vogt and Florian Nentwich and Nenad Jovanovic and Engin Kirda and Christopher Kruegel and Giovanni Vigna",
    	booktitle = "Network and Distributed System Security Symposium (NDSS)",
    	year = 2007
    }
    
  8. Andreas Moser, Christopher Kruegel and Engin Kirda. Exploring Multiple Execution Paths for Malware Analysis. In IEEE Symposium on Security and Privacy. 2007. BibTeX

    @inproceedings{kruegel14,
    	title = "{Exploring Multiple Execution Paths for Malware Analysis}",
    	author = "Andreas Moser and Christopher Kruegel and Engin Kirda",
    	booktitle = "IEEE Symposium on Security and Privacy",
    	year = 2007
    }
    
  9. Manuel Egele, Christopher Kruegel, Engin Kirda, Heng Yin and Dawn Song. Dynamic Spyware Analysis. In Usenix Annual Technical Conference. 2007. BibTeX

    @inproceedings{kruegel13,
    	title = "{Dynamic Spyware Analysis}",
    	author = "Manuel Egele and Christopher Kruegel and Engin Kirda and Heng Yin and Dawn Song",
    	booktitle = "Usenix Annual Technical Conference",
    	year = 2007
    }
    
  10. Christian Ludl, Sean McAllister, Engin Kirda and Christopher Kruegel. On the Effectiveness of Techniques to Detect Phishing Sites. In Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA). 2007. BibTeX

    @inproceedings{kruegel12,
    	title = "{On the Effectiveness of Techniques to Detect Phishing Sites}",
    	author = "Christian Ludl and Sean McAllister and Engin Kirda and Christopher Kruegel",
    	booktitle = "Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)",
    	year = 2007
    }
    
  11. Angelo Rosiello, Engin Kirda, Christopher Kruegel and Fabrizio Ferrandi. A Layout-Similarity-Based Approach for Detecting Phishing Pages. In IEEE International Conference on Security and Privacy for Emerging Areas in Communication Networks (Securecomm). 2007. BibTeX

    @inproceedings{kruegel11,
    	title = "{A Layout-Similarity-Based Approach for Detecting Phishing Pages}",
    	author = "Angelo Rosiello and Engin Kirda and Christopher Kruegel and Fabrizio Ferrandi",
    	booktitle = "IEEE International Conference on Security and Privacy for Emerging Areas in Communication Networks (Securecomm)",
    	year = 2007
    }
    
  12. Mihai Christodorescu, Somesh Jha and Christopher Kruegel. Mining Specifications of Malicious Behavior. In 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2007. BibTeX

    @inproceedings{kruegel10,
    	title = "{Mining Specifications of Malicious Behavior}",
    	author = "Mihai Christodorescu and Somesh Jha and Christopher Kruegel",
    	booktitle = "6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)",
    	year = 2007
    }
    
  13. Thomas Raffetseder, Christopher Kruegel and Engin Kirda. Detecting System Emulators. In 10th Information Security Conference (ISC). 2007. BibTeX

    @inproceedings{kruegel9,
    	title = "{Detecting System Emulators}",
    	author = "Thomas Raffetseder and Christopher Kruegel and Engin Kirda",
    	booktitle = "10th Information Security Conference (ISC)",
    	year = 2007
    }
    
  14. Heng Yin, Dawn Song, Manuel Egele, Christopher Kruegel and Engin Kirda. Panorama: Capturing System-wide Information Flow for Malware Detection and Analysis. In 14th ACM Conference on Computer and Communications Security (CCS). 2007. BibTeX

    @inproceedings{kruegel8,
    	title = "{Panorama: Capturing System-wide Information Flow for Malware Detection and Analysis}",
    	author = "Heng Yin and Dawn Song and Manuel Egele and Christopher Kruegel and Engin Kirda",
    	booktitle = "14th ACM Conference on Computer and Communications Security (CCS)",
    	year = 2007
    }
    
  15. Dietmar Dietrich, Georg Fodor, Wolfgang Kastner and Mihaela Ulieru. Considering a technical realization of a neuro-psychoanalytical model of the mind. In Preprints Proc. Workshop 1$st$ Intl. Engineering and Neuro-Psychoanalysis Forum. 2007, 13-20. BibTeX

    @inproceedings{enf07-neuropsycho,
    	author = "Dietmar Dietrich and Georg Fodor and Wolfgang Kastner and Mihaela Ulieru",
    	title = "Considering a technical realization of a neuro-psychoanalytical model of the mind",
    	year = 2007,
    	month = "",
    	pages = "13-20",
    	booktitle = "Preprints Proc. Workshop 1${st}$ Intl. Engineering and Neuro-Psychoanalysis Forum"
    }
    


2006
  1. Fritz~Praus, Wolfgang~Kastner and Georg~Neugschwandtner. A versatile networked embedded platform for KNX/EIB. In Proc. Konnex Scientific Conference. November 2006. URL BibTeX

    @inproceedings{PrausKNX2006a,
    	author = "Fritz~Praus and Wolfgang~Kastner and Georg~Neugschwandtner",
    	title = "{A versatile networked embedded platform for KNX/EIB}",
    	booktitle = "Proc. Konnex Scientific Conference",
    	year = 2006,
    	month = "November",
    	abstract = "{The deployment of building automation systems (BAS) allows to increase comfort, safety and security and reduce operational cost at the same time. Today such systems typically follow a twolayered hierarchical approach. While control networks interconnect distributed sensors, actuators and controllers, a backbone provides the necessary infrastructure for management tasks hosted by configuration and management devices. In addition, devices interconnecting the control network with the backbone on the one hand and the backbone with further networks (e.g., the Internet) on the other hand play a strategic role. According to their particular functionality and the resulting demands on the necessary hardware and software support, BAS devices can be categorized in three distinct device classes. Based upon this classification the paper presents a generic hardware and software framework whose flexible design fits all these classes. Devices for a particular purpose (i.e., class) can be derived from the universally applicable, generic framework, easing development. This process is demonstrated for a multi-purpose hardware platform applicable to multiple device classes. Moreover, three case studies for this platform are presented which illustrate how software applications from all classes make use of this universally applicable platform. }",
    	url = "http://www.praus.at/dl.php?url=praus-versatile_platform-knxsci06-website.pdf"
    }
    
  2. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. Symbolic Analysis of Imperative Programming Languages. In JMLC'2006, LNCS 4228. September 2006, 172-194. URL, DOI BibTeX

    @inproceedings{bburg:sym_imperative,
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	title = "{Symbolic Analysis of Imperative Programming Languages}",
    	address = "Oxford, England",
    	booktitle = "{JMLC'2006, LNCS 4228}",
    	month = "September",
    	year = 2006,
    	pages = "172-194",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/SymbolicAnalysis.pdf",
    	doi = "10.1007/11860990_12"
    }
    
  3. Wolfgang Granzer, Wolfgang Kastner, Georg Neugschwandtner and Fritz Praus. A Modular Architecture for Building Automation Systems. In Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS '06). June 2006, 99–102. PDF BibTeX

    @inproceedings{WG2006c,
    	author = "Wolfgang Granzer and Wolfgang Kastner and Georg Neugschwandtner and Fritz Praus",
    	title = "{A Modular Architecture for Building Automation Systems}",
    	booktitle = "{Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS '06)}",
    	year = 2006,
    	month = "jun",
    	pages = "99--102",
    	abstract = "The deployment of building automation systems (BAS) allows to increase comfort, safety and security and to reduce operational cost. Today such systems typically follow a two-layered hierarchical approach. While control networks interconnect distributed sensors, actuators and controllers, a backbone provides the necessary infrastructure for management tasks hosted by configuration and management devices. In addition, devices interconnecting the control network with the backbone and the backbone with further networks (e.g., the Internet) play a strategic role. All BAS devices contributing to a particular functionality differ in their requirements for hardware. This paper discusses requirements for devices used in the building automation domain and presents our work in progress to assemble platforms with different purposes relying on a modular architecture.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/modular_wfcs2006.pdf"
    }
    
  4. Bernd Burgstaller, Johann Blieberger and Robert Mittermayr. Static Detection of Access Anomalies in Ada95. In Ada-Europe'2006 International Conference on Reliable Software Technologies. June 2006, 78-90. URL, DOI BibTeX

    @inproceedings{bli:erroneous,
    	author = "Bernd Burgstaller and Johann Blieberger and Robert Mittermayr",
    	title = "{Static Detection of Access Anomalies in Ada95}",
    	address = "Porto, Portugal",
    	booktitle = "Ada-Europe'2006 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2006,
    	pages = "78-90",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/erroneous.pdf",
    	doi = "10.1007/11767077_4"
    }
    
  5. Fritz~Praus and Wolfgang~Kastner. A versatile networked embedded platform for KNX/EIB. In Junior Scientific Conference. April 2006, 59-60. URL BibTeX

    @inproceedings{PrausJSC2006,
    	author = "Fritz~Praus and Wolfgang~Kastner",
    	title = "{A versatile networked embedded platform for KNX/EIB}",
    	booktitle = "{Junior Scientific Conference}",
    	year = 2006,
    	pages = "{59-60}",
    	month = "April",
    	abstract = "{The deployment of home and building automation systems (BAS) allows to increase comfort, safety and security and to reduce operational cost. Today such systems typically follow a hierarchical distributed approach. While control networks interconnect smart sensors and actuators, a backbone network provides the infrastructure for management tasks. Devices interconnecting these networks play a strategic role. Especially in the home domain, the integration of various control and data networks is essential for maximum benefit.}",
    	url = "http://www.praus.at/dl.php?url=jsc06_fritz_praus_final.pdf"
    }
    
  6. Wolfgang Granzer, Georg Neugschwandtner and Wolfgang Kastner. EIBsec: A Security Extension to KNX/EIB. In Konnex Scientific Conference. 2006. URL BibTeX

    @inproceedings{WG2006d,
    	author = "Wolfgang Granzer and Georg Neugschwandtner and Wolfgang Kastner",
    	title = "{EIBsec: A Security Extension to KNX/EIB}",
    	booktitle = "{Konnex Scientific Conference}",
    	year = 2006,
    	month = "",
    	abstract = "The core application area of KNX is environmental control with the traditional service types lighting/shading and Heating, Ventilation and Air conditioning (HVAC). Extending KNX towards new application areas leads to increasing demands. This is especially true for the integration of applications from the security domain (e.g., access control and security alarm systems). They require the underlying control system to be reliable and robust against malicious manipulations (security attacks) to fulfil their purpose. For this reason, it is necessary to protect the exchanged process data (secure group communication) as well as prevent unauthorized use of the management services which are used for configuration and maintenance purposes (secure management communication). Since KNX was not designed for use in security critical environments, a security extension to KNX called EIBsec has been developed. EIBsec supports mechanisms to guarantee data confidentiality, integrity and freshness as well as an authentication service. Relevant configuration related issues such as key management and distribution are also addressed. An important feature of EIBsec is compatibility to standard KNX technology.",
    	url = "http://www.woif.org/images/Papers/granzer-eibsec_security-knxsci06.pdf"
    }
    
  7. Wolfgang Granzer, Wolfgang Kastner, Georg Neugschwandtner and Fritz Praus. Security in Networked Building Automation Systems. In Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS '06). 2006, 283–292. PDF BibTeX

    @inproceedings{WG2006a,
    	author = "Wolfgang Granzer and Wolfgang Kastner and Georg Neugschwandtner and Fritz Praus",
    	title = "{Security in Networked Building Automation Systems}",
    	booktitle = "{Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS '06)}",
    	year = 2006,
    	month = "",
    	pages = "283--292",
    	note = "Best paper award of WFCS '06",
    	abstract = "Enriching Building Automation Systems (BAS) with new services formerly provided by separate subsystems promises synergies, but increases demands on the BAS architecture. In particular, the integration of security subsystems significantly tightens security requirements on the protocol of a networked control system. First, this paper gives a survey on security in BAS. Possible threats and attacks are discussed. Weaknesses in the security mechanisms of important open networked BAS (LonWorks, BACnet, KNX/EIB) are summarized. Then, a security extension to KNX/EIB is presented. It includes several security mechanisms that guarantee data integrity, confidentiality and freshness, as well as authentication to provide secure process data and management communication. Relevant configuration related issues such as key management and distribution are also addressed.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/eibsec_wfcs2006.pdf"
    }
    
  8. Wolfgang Granzer and Wolfgang Kastner. Security in Building Automation. In Junior Scientific Conference. 2006, 15-16. URL BibTeX

    @inproceedings{WG2006b,
    	author = "Wolfgang Granzer and Wolfgang Kastner",
    	title = "{Security in Building Automation}",
    	booktitle = "{Junior Scientific Conference}",
    	year = 2006,
    	month = "",
    	pages = "15-16",
    	abstract = "Nowadays, a tighter integration of formerly dedicated stand-alone building automation systems (BAS) is desirable. Since extending BAS towards new application areas increases the demands on the BAS architecture, available BAS solutions are not suitable anymore. In this paper, a security architecture for KNX/EIB called EIBsec is described. This extension supports mechanisms that guarantee data integrity, confidentiality and freshness as well as authentication. Using these services, secure process data and management communication can be provided. Additionally, other important issues such as key management and distribution are also addressed.",
    	url = "http://www.woif.org/images/Papers/jsc06_final.pdf"
    }
    
  9. Nenad Jovanovic, Christopher Kruegel and Engin Kirda. Precise Alias Analysis for Static Detection of Web Application Vulnerabilities. In ACM Workshop on Programming Languages and Analysis for Security (PLAS). 2006. BibTeX

    @inproceedings{kruegel54,
    	title = "{Precise Alias Analysis for Static Detection of Web Application Vulnerabilities}",
    	author = "Nenad Jovanovic and Christopher Kruegel and Engin Kirda",
    	booktitle = "ACM Workshop on Programming Languages and Analysis for Security (PLAS)",
    	year = 2006
    }
    
  10. William Robertson, Giovanni Vigna, Christopher Kruegel and Richard Kemmerer. Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks. In Network and Distributed System Security Symposium (NDSS). 2006. BibTeX

    @inproceedings{kruegel25,
    	title = "{Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks}",
    	author = "William Robertson and Giovanni Vigna and Christopher Kruegel and Richard Kemmerer",
    	booktitle = "Network and Distributed System Security Symposium (NDSS)",
    	year = 2006
    }
    
  11. Fredrik Valeur, Giovanni Vigna, Christopher Kruegel and Engin Kirda. An Anomaly-driven Reverse Proxy for Web Applications. In 21st ACM Symposium on Applied Computing (SAC). 2006. BibTeX

    @inproceedings{kruegel24,
    	title = "{An Anomaly-driven Reverse Proxy for Web Applications}",
    	author = "Fredrik Valeur and Giovanni Vigna and Christopher Kruegel and Engin Kirda",
    	booktitle = "21st ACM Symposium on Applied Computing (SAC)",
    	year = 2006
    }
    
  12. Engin Kirda, Christopher Kruegel, Giovanni Vigna and Nenad Jovanovic. Noxes: A Client-Side Solution for Mitigating Cross Site Scripting Attacks. In 21st ACM Symposium on Applied Computing (SAC). 2006. BibTeX

    @inproceedings{kruegel23,
    	title = "{Noxes: A Client-Side Solution for Mitigating Cross Site Scripting Attacks}",
    	author = "Engin Kirda and Christopher Kruegel and Giovanni Vigna and Nenad Jovanovic",
    	booktitle = "21st ACM Symposium on Applied Computing (SAC)",
    	year = 2006
    }
    
  13. Ulrich Bayer, Christopher Kruegel and Engin Kirda. TTAnalyze: A Tool for Analyzing Malware. In 15th Annual Conference of the European Institute for Computer Antivirus Research (EICAR). 2006. BibTeX

    @inproceedings{kruegel22,
    	title = "{TTAnalyze: A Tool for Analyzing Malware}",
    	author = "Ulrich Bayer and Christopher Kruegel and Engin Kirda",
    	booktitle = "15th Annual Conference of the European Institute for Computer Antivirus Research (EICAR)",
    	year = 2006
    }
    
  14. Nenad Jovanovic, Christopher Kruegel and Engin Kirda. Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper). In IEEE Symposium on Security and Privacy. 2006. BibTeX

    @inproceedings{kruegel21,
    	title = "{Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper)}",
    	author = "Nenad Jovanovic and Christopher Kruegel and Engin Kirda",
    	booktitle = "IEEE Symposium on Security and Privacy",
    	year = 2006
    }
    
  15. Stefan Kals, Engin Kirda, Christopher Kruegel and Nenad Jovanovic. SecuBat: A Web Vulnerability Scanner. In 15th International World Wide Web Conference (WWW). 2006. BibTeX

    @inproceedings{kruegel20,
    	title = "{SecuBat: A Web Vulnerability Scanner}",
    	author = "Stefan Kals and Engin Kirda and Christopher Kruegel and Nenad Jovanovic",
    	booktitle = "15th International World Wide Web Conference (WWW)",
    	year = 2006
    }
    
  16. Manuel Egele, Martin Szydlowski, Engin Kirda and Christopher Kruegel. Using Static Program Analysis to Aid Intrusion Detection. In Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA). 2006. BibTeX

    @inproceedings{kruegel19,
    	title = "{Using Static Program Analysis to Aid Intrusion Detection}",
    	author = "Manuel Egele and Martin Szydlowski and Engin Kirda and Christopher Kruegel",
    	booktitle = "Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)",
    	year = 2006
    }
    
  17. Engin Kirda, Christopher Kruegel, Greg Banks, Giovanni Vigna and Richard Kemmerer. Behavior-based Spyware Detection. In 15th Usenix Security Symposium. 2006. BibTeX

    @inproceedings{kruegel18,
    	title = "{Behavior-based Spyware Detection}",
    	author = "Engin Kirda and Christopher Kruegel and Greg Banks and Giovanni Vigna and Richard Kemmerer",
    	booktitle = "15th Usenix Security Symposium",
    	year = 2006
    }
    
  18. Nenad Jovanovic, Engin Kirda and Christopher Kruegel. Preventing Cross Site Request Forgery Attacks. In IEEE International Conference on Security and Privacy for Emerging Areas in Communication Networks (Securecomm). 2006. BibTeX

    @inproceedings{kruegel17,
    	title = "{Preventing Cross Site Request Forgery Attacks}",
    	author = "Nenad Jovanovic and Engin Kirda and Christopher Kruegel",
    	booktitle = "IEEE International Conference on Security and Privacy for Emerging Areas in Communication Networks (Securecomm)",
    	year = 2006
    }
    
  19. Patrick Klinkoff, Christopher Kruegel, Engin Kirda and Giovanni Vigna. Extending .NET Security to Unmanaged Code. In 9th Information Security Conference (ISC). 2006. BibTeX

    @inproceedings{kruegel16,
    	title = "{Extending .NET Security to Unmanaged Code}",
    	author = "Patrick Klinkoff and Christopher Kruegel and Engin Kirda and Giovanni Vigna",
    	booktitle = "9th Information Security Conference (ISC)",
    	year = 2006
    }
    
  20. Engin Kirda and Christopher Kruegel. Protecting Users Against Phishing Attacks with AntiPhish. The Computer Journal, Volume 49, Number 5, 2006. BibTeX

    @article{kruegel4,
    	title = "{Protecting Users Against Phishing Attacks with AntiPhish}",
    	author = "Engin Kirda and Christopher Kruegel",
    	journal = "The Computer Journal, Volume 49, Number 5",
    	year = 2006
    }
    
  21. Darren Mutz, Fredrik Valeur, Christopher Kruegel and Giovanni Vigna. Anomalous System Call Detection. ACM Transactions on Information and System Security, Volume 9, Number 1, 2006. BibTeX

    @article{kruegel3,
    	title = "{Anomalous System Call Detection}",
    	author = "Darren Mutz and Fredrik Valeur and Christopher Kruegel and Giovanni Vigna",
    	journal = "ACM Transactions on Information and System Security, Volume 9, Number 1",
    	year = 2006
    }
    
  22. Ulrich Bayer, Andreas Moser, Christopher Kruegel and Engin Kirda. Dynamic Analysis of Malicious Code. Journal in Computer Virology, Volume 2, Number 1, 2006. BibTeX

    @article{kruegel2,
    	title = "{Dynamic Analysis of Malicious Code}",
    	author = "Ulrich Bayer and Andreas Moser and Christopher Kruegel and Engin Kirda",
    	journal = "Journal in Computer Virology, Volume 2, Number 1",
    	year = 2006
    }
    
  23. Wolfgang Kastner and Georg Neugschwandtner. Datenkommunikation in der verteilten {Gebäudeautomation}. Bulletin SEV/VSE 17:9–14, 2006. BibTeX

    @article{bulletin0617-datenkomm,
    	author = "Wolfgang Kastner and Georg Neugschwandtner",
    	title = {Datenkommunikation in der verteilten {Geb{\"{a}}udeautomation}},
    	journal = "Bulletin SEV/VSE",
    	year = 2006,
    	month = "",
    	volume = 17,
    	pages = "9--14"
    }
    
  24. Johann Blieberger. Average Case Analysis of DJ Graphs. Journal of Discrete Algorithms 4:649–675, 2006. URL, DOI BibTeX

    @article{bli:gragra,
    	author = "Johann Blieberger",
    	title = "Average Case Analysis of {DJ} Graphs",
    	journal = "Journal of Discrete Algorithms",
    	year = 2006,
    	volume = 4,
    	pages = "649--675",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/djgenum.pdf",
    	doi = "10.1016/j.jda.2005.07.002"
    }
    


2005
  1. Wolfgang Granzer. Security in Networked Building Automation Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, November 2005. BibTeX

    @mastersthesis{WG05:EIBSEC,
    	author = "Wolfgang Granzer",
    	title = "{Security in Networked Building Automation Systems}",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2005,
    	month = "nov",
    	url = ""
    }
    
  2. Bernd Burgstaller. Symbolic Evaluation of Imperative Programming Languages. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, February 2005. BibTeX

    @phdthesis{bburg:symeval,
    	author = "Bernd Burgstaller",
    	title = "{Symbolic Evaluation of Imperative Programming Languages}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2005,
    	month = "feb",
    	url = ""
    }
    
  3. Darren Mutz, Christopher Kruegel, William Robertson, Giovanni Vigna and Richard Kemmerer. Reverse Engineering of Network Signatures. In Information Technology Security Conference (AusCERT). 2005. BibTeX

    @inproceedings{kruegel29,
    	title = "{Reverse Engineering of Network Signatures}",
    	author = "Darren Mutz and Christopher Kruegel and William Robertson and Giovanni Vigna and Richard Kemmerer",
    	booktitle = "Information Technology Security Conference (AusCERT)",
    	year = 2005
    }
    
  4. Engin Kirda and Christopher Kruegel. Protecting Users Against Phishing Attacks with AntiPhish. In 29th Annual International Computer Software and Applications Conference (COMPSAC). 2005. BibTeX

    @inproceedings{kruegel28,
    	title = "{Protecting Users Against Phishing Attacks with AntiPhish}",
    	author = "Engin Kirda and Christopher Kruegel",
    	booktitle = "29th Annual International Computer Software and Applications Conference (COMPSAC)",
    	year = 2005
    }
    
  5. Christopher Kruegel, Engin Kirda, Darren Mutz, William Robertson and Giovanni Vigna. Automating Mimicry Attacks Using Static Binary Analysis. In 14th Usenix Security Symposium. 2005. BibTeX

    @inproceedings{kruegel27,
    	title = "{Automating Mimicry Attacks Using Static Binary Analysis}",
    	author = "Christopher Kruegel and Engin Kirda and Darren Mutz and William Robertson and Giovanni Vigna",
    	booktitle = "14th Usenix Security Symposium",
    	year = 2005
    }
    
  6. Christopher Kruegel, Engin Kirda, Darren Mutz, William Robertson and Giovanni Vigna. Polymorphic Worm Detection Using Structural Information of Executables. In 8th Symposium on Recent Advances in Intrusion Detection (RAID). 2005. BibTeX

    @inproceedings{kruegel26,
    	title = "{Polymorphic Worm Detection Using Structural Information of Executables}",
    	author = "Christopher Kruegel and Engin Kirda and Darren Mutz and William Robertson and Giovanni Vigna",
    	booktitle = "8th Symposium on Recent Advances in Intrusion Detection (RAID)",
    	year = 2005
    }
    
  7. Christopher Kruegel, Giovanni Vigna and William Robertson. A multi-model approach to the detection of web-based attacks. Computer Networks, Volume 48, Number 5, 2005. BibTeX

    @article{kruegel5,
    	title = "{A multi-model approach to the detection of web-based attacks}",
    	author = "Christopher Kruegel and Giovanni Vigna and William Robertson",
    	journal = "Computer Networks, Volume 48, Number 5",
    	year = 2005
    }
    
  8. Gerhard-Helge Schildt, Daniela Kahn, Christopher Kruegel and Christian Moerz. Einfuehrung in die Technische Informatik (Introduction to Technical Computer Science), German Language. Springers Lehrbuecher der Informatik (Textbooks on Computer Science), 2005. BibTeX

    @book{kruegel1,
    	title = "{Einfuehrung in die Technische Informatik (Introduction to Technical Computer Science), German Language}",
    	author = "Gerhard-Helge Schildt and Daniela Kahn and Christopher Kruegel and Christian Moerz",
    	publisher = "Springers Lehrbuecher der Informatik (Textbooks on Computer Science)",
    	year = 2005
    }
    
  9. Christopher Kruegel, Fredrik Valeur and Giovanni Vigna. Intrusion Detection and Correlation - Challenges and Solutions. Advances in Information Security, Vol. 14, 2005. BibTeX

    @book{kruegel0,
    	title = "{Intrusion Detection and Correlation - Challenges and Solutions}",
    	author = "Christopher Kruegel and Fredrik Valeur and Giovanni Vigna",
    	publisher = "Advances in Information Security, Vol. 14",
    	year = 2005
    }
    
  10. Friedrich Praus. A versatile networked embedded platform for KNX/EIB. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. URL BibTeX

    @mastersthesis{PrausDipl2005,
    	author = "Friedrich Praus",
    	title = "A versatile networked embedded platform for {KNX/EIB}",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2005,
    	abstract = "{The deployment of home and building automation systems allows to increase comfort, safety and security and reduce operational cost. Today such systems typically follow a hierarchical distributed approach. While control networks interconnect smart sensors and actuators, a backbone network provides the infrastructure for management tasks. Devices interconnecting these networks have a strategic role. Especially in the home domain, the integration of various control and data networks is essential for maximum benefit. The European Installation Bus (KNX/EIB) is a popular control network designed to enhance electrical installations in buildings. It uses a proprietary twisted pair (TP) medium to interconnect devices like smart light switches and dimmers. The objective of this thesis is to design an embedded and versatile platform for ongoing development in the area of home and building automation systems with a focus on KNX/EIB TP. Besides two KNX/EIB TP interfaces, it provides RS-232, USB and Ethernet connectivity. The platform moreover has sufficient processing power and storage, enabling it to act as a ``smart router'' or gateway. The thesis first presents a classification of control network devices. It then discusses the hardware and software requirements for the desired platform. A detailed presentation of its design, implementation and operation with respect to hardware and software follows.}",
    	url = "http://www.praus.at/dl.php?url=diplomarbeit_fpraus_printed.pdf"
    }
    
  11. Robert Mittermayr. Statische Analyse von Multi-Threading Java-Programmen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. BibTeX

    @mastersthesis{rm:SAmultithreadJava,
    	author = "Robert Mittermayr",
    	title = "{Statische Analyse von Multi-Threading Java-Programmen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2005,
    	month = "",
    	url = ""
    }
    
  12. Wolfgang Kastner and Gerhard-Helge Schildt. Informatik: Aufgaben und Lösungen. Third edition, Springer, 2005. BibTeX

    @book{springer-informatikaufgaben-3,
    	title = {Informatik: Aufgaben und L{\"o}sungen},
    	edition = "third",
    	author = "Wolfgang Kastner and Gerhard-Helge Schildt",
    	publisher = "Springer",
    	address = "Wien",
    	year = 2005,
    	isbn-10 = "3-211-21136-5",
    	note = "ISBN 3-211-21136-5",
    	isbn-13 = "978-3-211-21136-6"
    }
    
  13. Wolfgang Kastner and Georg Neugschwandtner. EIB: European Installation Bus. In The Industrial Communication Technology Handbook. The Industrial Information Technology Series series, volume 1, CRC Press, 2005, pages 34-1 – 34-18. URL BibTeX

    @incollection{icth-eib,
    	author = "Wolfgang Kastner and Georg Neugschwandtner",
    	title = "{EIB:} {European} {Installation} {Bus}",
    	booktitle = "The Industrial Communication Technology Handbook",
    	chapter = 34,
    	pages = "34-1 -- 34-18",
    	year = 2005,
    	month = "",
    	series = "The Industrial Information Technology Series",
    	.editor = "Richard Zurawski",
    	volume = 1,
    	publisher = "CRC Press",
    	address = "Boca Raton",
    	isbn-10 = "0-84933-077-7",
    	isbn-13 = "978-0-84933-077-3",
    	url = "http://books.google.com/books?vid=ISBN0849330777&pg=PT752"
    }
    
  14. Wolfgang Kastner, Georg Neugschwandtner and Stefan Soucek Michael Newman. Communication Systems for Building Automation and Control. Proceedings of the IEEE 93(6):1178–1203, 2005. DOI BibTeX

    @article{procieee-csbac,
    	author = "Wolfgang Kastner and Georg Neugschwandtner and Stefan Soucek an	H. Michael Newman",
    	title = "Communication Systems for Building Automation and Control",
    	journal = "Proceedings of the IEEE",
    	volume = 93,
    	number = 6,
    	pages = "1178--1203",
    	year = 2005,
    	month = "",
    	doi = "10.1109/JPROC.2005.849726"
    }
    
  15. Wolfgang Kastner, Georg Neugschwandtner and Martin Kögler. An open approach to EIB/KNX software development. In Proc. 6th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'05). 2005, 255–262 (preprints volume). BibTeX

    @inproceedings{fet05-openapproach,
    	author = {Wolfgang Kastner and Georg Neugschwandtner and Martin K{\"{o}}gler},
    	title = "An open approach to {EIB/KNX} software development",
    	booktitle = "Proc. 6th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'05)",
    	year = 2005,
    	month = "",
    	pages = "255--262 (preprints volume)"
    }
    
  16. Hannes Kulovits, Christoph Stögerer and Wolfgang Kastner. System architecture for variable message signs. In Proc. 10th IEEE Intl. Conference on Emerging Technologies and Factory Automation (ETFA '05) 2. 2005. DOI BibTeX

    @inproceedings{etfa05-message_signs,
    	author = {Hannes Kulovits and Christoph St{\"o}gerer and Wolfgang Kastner},
    	title = "System architecture for variable message signs",
    	booktitle = "Proc. 10th IEEE Intl. Conference on Emerging Technologies and Factory Automation (ETFA '05)",
    	year = 2005,
    	volume = 2,
    	note = "7 pages",
    	month = "",
    	doi = "10.1109/ETFA.2005.1612768"
    }
    
  17. Johann Blieberger, Bernd Burgstaller and Gerhard-Helge Schildt. Informatik–-Grundlagen. Fifth edition, Springer-Verlag, 2005. BibTeX

    @book{bli:info5,
    	author = "Johann Blieberger and Bernd Burgstaller and Gerhard-Helge Schildt",
    	title = "{Informatik---Grundlagen}",
    	edition = "fifth",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "978-3-211-27754-6",
    	year = 2005
    }
    


2004
  1. Fritz~Praus, Wolfgang~Kastner and Oliver~Alt. Yet Another All-purpose EIBNet/IP Gateway. In Proc. Konnex Scientific Conference. October 2004. URL BibTeX

    @inproceedings{PrausKNX2004,
    	author = "Fritz~Praus and Wolfgang~Kastner and Oliver~Alt",
    	title = "Yet Another All-purpose {EIBNet/IP} Gateway",
    	booktitle = "Proc. Konnex Scientific Conference",
    	year = 2004,
    	month = "October",
    	abstract = "{Currently, we are designing a universal-applicable gateway to KNX systems. The hardware is based on an Fujitsu 16bit micro-controller with 24 MHz, 24Kbyte RAM, 384Kbyte flash memory, full USB support, 4 UARTs, 3 channels for I2C bus communication and an external bus interface. Our gateway will support EIBnet/IP (tunneling and routing) with an embedded web-server facilitating HEAD, GET and POST requests and CGI scripts. The gateway is intended as universal platform for ongoing development concerning integration of other fieldbus and multimedia bus systems to KNX, as well as gateway for remote IP services. In addition, it serves as a base for work in progress regarding the development of a set-top box for integration into the OSGi environment and plug and play networks. The paper presents the design of the hardware interfaces and interesting parts of the software implementation.}",
    	url = "http://www.praus.at/dl.php?url=Multipurpose%20EIB%20Gateway.pdf"
    }
    
  2. Wolfgang Kastner and Friedrich Kastner-Masilko. EDDL inside FDT/DTM. In Proc. 5th IEEE Intl. Workshop on Factory Communication Systems (WFCS'04). September 2004, 365–368. DOI BibTeX

    @inproceedings{wfcs04-eddl_fdt,
    	author = "Wolfgang Kastner and Friedrich Kastner-Masilko",
    	title = "{EDDL} inside {FDT/DTM}",
    	booktitle = "Proc. 5th IEEE Intl. Workshop on Factory Communication Systems (WFCS'04)",
    	year = 2004,
    	pages = "365--368",
    	month = "sep",
    	doi = "10.1109/WFCS.2004.1377749"
    }
    
  3. Wolfgang Kastner and Georg Neugschwandtner. Service Interfaces for Field-Level Home and Building Automation. In Proc. 5th IEEE International Workshop on Factory Communication Systems (WFCS'04). September 2004, 103–112. DOI BibTeX

    @inproceedings{wfcs04-interfaces,
    	author = "Wolfgang Kastner and Georg Neugschwandtner",
    	title = "Service Interfaces for Field-Level Home and Building Automation",
    	booktitle = "Proc. 5th IEEE International Workshop on Factory Communication Systems (WFCS'04)",
    	year = 2004,
    	month = "sep",
    	pages = "103--112",
    	doi = "10.1109/WFCS.2004.1377688"
    }
    
  4. Bernd Burgstaller, Johann Blieberger and Bernhard Scholz. On the Tree Width of Ada Programs. In Ada-Europe'2004 International Conference on Reliable Software Technologies. June 2004, 78-90. URL, DOI BibTeX

    @inproceedings{bli:treewidth,
    	author = "Bernd Burgstaller and Johann Blieberger and Bernhard Scholz",
    	title = "{On the Tree Width of Ada Programs}",
    	address = "Palma de Mallorca, Spain",
    	booktitle = "Ada-Europe'2004 International Conference on Reliable Software Technologies",
    	month = "June",
    	year = 2004,
    	pages = "78-90",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/ada_treewidth.pdf",
    	doi = "10.1007/b97913"
    }
    
  5. Christopher Kruegel and William Robertson. Alert Verification - Determining the Success of Intrusion Attempts. In Workshop on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA). 2004. BibTeX

    @inproceedings{kruegel55,
    	title = "{Alert Verification - Determining the Success of Intrusion Attempts}",
    	author = "Christopher Kruegel and William Robertson",
    	booktitle = "Workshop on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)",
    	year = 2004
    }
    
  6. Christopher Kruegel, William Robertson, Fredrik Valeur and Giovanni Vigna. Static Disassembly of Obfuscated Binaries. In 13th Usenix Security Symposium. 2004. BibTeX

    @inproceedings{kruegel31,
    	title = "{Static Disassembly of Obfuscated Binaries}",
    	author = "Christopher Kruegel and William Robertson and Fredrik Valeur and Giovanni Vigna",
    	booktitle = "13th Usenix Security Symposium",
    	year = 2004
    }
    
  7. Christopher Kruegel, William Robertson and Giovanni Vigna. Detecting Kernel-Level Rootkits Through Binary Analysis. In 20th Annual Computer Security Applications Conference (ACSAC). 2004. BibTeX

    @inproceedings{kruegel30,
    	title = "{Detecting Kernel-Level Rootkits Through Binary Analysis}",
    	author = "Christopher Kruegel and William Robertson and Giovanni Vigna",
    	booktitle = "20th Annual Computer Security Applications Conference (ACSAC)",
    	year = 2004
    }
    
  8. Fredrik Valeur, Giovanni Vigna, Christopher Kruegel and Richard Kemmerer. A Comprehensive Approach to Intrusion Detection Alert Correlation. IEEE Transactions on Dependable and Secure Computing, Volume 1, Number 3, 2004. BibTeX

    @article{kruegel7,
    	title = "{A Comprehensive Approach to Intrusion Detection Alert Correlation}",
    	author = "Fredrik Valeur and Giovanni Vigna and Christopher Kruegel and Richard Kemmerer",
    	journal = "IEEE Transactions on Dependable and Secure Computing, Volume 1, Number 3",
    	year = 2004
    }
    
  9. Christopher Kruegel, William Robertson and Giovanni Vigna. Using Alert Verification to Identify Successful Intrusion Attempts. Practice in Information Processing and Communication (PIK), Volume 27, Number 4, 2004. BibTeX

    @article{kruegel6,
    	title = "{Using Alert Verification to Identify Successful Intrusion Attempts}",
    	author = "Christopher Kruegel and William Robertson and Giovanni Vigna",
    	journal = "Practice in Information Processing and Communication (PIK), Volume 27, Number 4",
    	year = 2004
    }
    
  10. Dietmar Dietrich, Wolfgang Kastner and Herbert Schweinzer. Wahrnehmungsbewusstsein in der Automation? Ein neuer “bionischer” Denkansatz. at - Automatisierungstechnik 52(3):107-116, 2004. DOI BibTeX

    @article{at04-bionischer_denkansatz,
    	author = "Dietmar Dietrich and Wolfgang Kastner and Herbert Schweinzer",
    	title = "Wahrnehmungsbewusstsein in der {Automation}? {Ein} neuer ``bionischer'' {Denkansatz}",
    	journal = "at - Automatisierungstechnik",
    	publisher = "Oldenbourg",
    	year = 2004,
    	month = "",
    	volume = 52,
    	number = 3,
    	pages = "107-116",
    	doi = "10.1524/auto.52.3.107.27061"
    }
    
  11. Wolfgang Kastner and Horst Scheichelbauer. UPnP connectivity for home and building automation. In Proc. IASTED Intl. Conference on Parallel and Distributed Computing and Networks (PDCN '04). 2004, 619–624. BibTeX

    @inproceedings{pdcn04-upnp,
    	author = "Wolfgang Kastner and Horst Scheichelbauer",
    	title = "{UPnP} connectivity for home and building automation",
    	booktitle = "Proc. IASTED Intl. Conference on Parallel and Distributed Computing and Networks (PDCN '04)",
    	year = 2004,
    	pages = "619--624"
    }
    
  12. Wolfgang Kastner, Peter Palensky, T Rausch and Charlotte Rösener. A closer look on today's home and building networks. In Proc. 7th IEEE Africon Conference in Africa (AFRICON '04) 2. 2004, 1239–44. DOI BibTeX

    @inproceedings{africon04-building_networks,
    	author = {Wolfgang Kastner and Peter Palensky and T. Rausch and Charlotte R{\"o}sener},
    	title = "A closer look on today's home and building networks",
    	booktitle = "Proc. 7th IEEE Africon Conference in Africa (AFRICON '04)",
    	year = 2004,
    	volume = 2,
    	pages = "1239--44",
    	doi = "10.1109/AFRICON.2004.1406889"
    }
    
  13. Elisabeth Brainin, Dietmar Dietrich, Wolfgang Kastner, Peter Palensky and Charlotte Rösener. Neurobionic architecture of automation systems – obstacles and challenges. In Proc. 7th IEEE Africon Conference in Africa (AFRICON'04) 2. 2004, 1219–1222. DOI BibTeX

    @inproceedings{africon04-neurobionic,
    	author = {Elisabeth Brainin and Dietmar Dietrich and Wolfgang Kastner and Peter Palensky and Charlotte R{\"o}sener},
    	title = "Neurobionic architecture of automation systems -- obstacles and challenges",
    	booktitle = "Proc. 7th IEEE Africon Conference in Africa (AFRICON'04)",
    	year = 2004,
    	volume = 2,
    	pages = "1219--1222",
    	doi = "10.1109/AFRICON.2004.1406885"
    }
    
  14. Dietmar Dietrich, Wolfgang Kastner, Thomas Maly, Charlotte Rösener, Gerhard Russ and Herbert Schweinzer. Situation Modeling. In Proc. 5th IEEE Intl. Workshop on Factory Communication Systems (WFCS'04). 2004, 93-102. DOI BibTeX

    @inproceedings{wfcs04-sitmod,
    	author = {Dietmar Dietrich and Wolfgang Kastner and Thomas Maly and Charlotte R{\"o}sener and Gerhard Russ and Herbert Schweinzer},
    	title = "Situation Modeling",
    	booktitle = "Proc. 5th IEEE Intl. Workshop on Factory Communication Systems (WFCS'04)",
    	year = 2004,
    	month = "",
    	pages = "93-102",
    	doi = "10.1109/WFCS.2004.1377687"
    }
    


2003
  1. Herbert Schweinzer and Wolfgang Kastner. Systems with Numerous Low-Cost Sensors: New Tasks and Demands for Fieldbusses. In Proc. 5th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'03). July 2003. BibTeX

    @inproceedings{fet03-tasks_and_demands,
    	author = "Herbert Schweinzer and Wolfgang Kastner",
    	title = "Systems with Numerous Low-Cost Sensors: New Tasks and Demands for Fieldbusses",
    	booktitle = "Proc. 5th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'03)",
    	year = 2003,
    	month = "jul"
    }
    
  2. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Busy Wait Analysis. In Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655. June 2003, 142-152. URL BibTeX

    @inproceedings{bli:busywait,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Busy Wait Analysis}",
    	address = "Toulouse, France",
    	booktitle = "Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655",
    	month = "June",
    	pages = "142-152",
    	year = 2003,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/busywait.pdf"
    }
    
  3. Johann Blieberger and Bernd Burgstaller. Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. In Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655. June 2003, 153-167. URL BibTeX

    @inproceedings{bli:range_check,
    	author = "Johann Blieberger and Bernd Burgstaller",
    	title = "{Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation}",
    	booktitle = "Ada-Europe'2003 International Conference on Reliable Software Technologies, LNCS 2655",
    	month = "June",
    	address = "Toulouse, France",
    	year = 2003,
    	pages = "153-167",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/symrange.pdf"
    }
    
  4. Engin Kirda, Clemens Kerer, Christopher Kruegel and Roman Kurmanowytsch. Web Service Engineering with DIWE. In 29th Euromicro. 2003. BibTeX

    @inproceedings{kruegel38,
    	title = "{Web Service Engineering with DIWE}",
    	author = "Engin Kirda and Clemens Kerer and Christopher Kruegel and Roman Kurmanowytsch",
    	booktitle = "29th Euromicro",
    	year = 2003
    }
    
  5. Christopher Kruegel, Darren Mutz, William Robertson and Fredrik Valeur. Topology-based Detection of Anomalous BGP Messages. In 6th Symposium on Recent Advances in Intrusion Detection (RAID). 2003. BibTeX

    @inproceedings{kruegel37,
    	title = "{Topology-based Detection of Anomalous BGP Messages}",
    	author = "Christopher Kruegel and Darren Mutz and William Robertson and Fredrik Valeur",
    	booktitle = "6th Symposium on Recent Advances in Intrusion Detection (RAID)",
    	year = 2003
    }
    
  6. Christopher Kruegel and Thomas Toth. Using Decision Trees to Improve Signature-based Intrusion Detection. In 6th Symposium on Recent Advances in Intrusion Detection (RAID). 2003. BibTeX

    @inproceedings{kruegel36,
    	title = "{Using Decision Trees to Improve Signature-based Intrusion Detection}",
    	author = "Christopher Kruegel and Thomas Toth",
    	booktitle = "6th Symposium on Recent Advances in Intrusion Detection (RAID)",
    	year = 2003
    }
    
  7. William Robertson, Christopher Kruegel, Darren Mutz and Fredrik Valeur. Run-time Detection of Heap-based Overflows. In 17th Large Installation Systems Administration Conference (LISA). 2003. BibTeX

    @inproceedings{kruegel35,
    	title = "{Run-time Detection of Heap-based Overflows}",
    	author = "William Robertson and Christopher Kruegel and Darren Mutz and Fredrik Valeur",
    	booktitle = "17th Large Installation Systems Administration Conference (LISA)",
    	year = 2003
    }
    
  8. Christopher Kruegel, Darren Mutz, Fredrik Valeur and Giovanni Vigna. On the Detection of Anomalous System Call Arguments. In 8th European Symposium on Research in Computer Security (ESORICS). 2003. BibTeX

    @inproceedings{kruegel34,
    	title = "{On the Detection of Anomalous System Call Arguments}",
    	author = "Christopher Kruegel and Darren Mutz and Fredrik Valeur and Giovanni Vigna",
    	booktitle = "8th European Symposium on Research in Computer Security (ESORICS)",
    	year = 2003
    }
    
  9. Christopher Kruegel and Giovanni Vigna. Anomaly Detection of Web-based Attacks. In 10th ACM Conference on Computer and Communications Security (CCS). 2003. BibTeX

    @inproceedings{kruegel33,
    	title = "{Anomaly Detection of Web-based Attacks}",
    	author = "Christopher Kruegel and Giovanni Vigna",
    	booktitle = "10th ACM Conference on Computer and Communications Security (CCS)",
    	year = 2003
    }
    
  10. Christopher Kruegel, Darren Mutz, William Robertson and Fredrik Valeur. Bayesian Event Classification for Intrusion Detection. In 19th Annual Computer Security Applications Conference (ACSAC). 2003. BibTeX

    @inproceedings{kruegel32,
    	title = "{Bayesian Event Classification for Intrusion Detection}",
    	author = "Christopher Kruegel and Darren Mutz and William Robertson and Fredrik Valeur",
    	booktitle = "19th Annual Computer Security Applications Conference (ACSAC)",
    	year = 2003
    }
    
  11. Wolfgang Kastner. In-home Networks and their Connection to the Outside World. In Proceedings 8th International Conference on Intelligence in Next Generation Networks (ICIN'03). 2003. BibTeX

    @inproceedings{icin03,
    	author = "Wolfgang Kastner",
    	title = "In-home Networks and their Connection to the Outside World",
    	booktitle = "Proceedings 8th International Conference on Intelligence in Next Generation Networks (ICIN'03)",
    	year = 2003,
    	month = ""
    }
    
  12. Wolfgang Kastner and Christian Troger. Interfacing with the EIB/KNX: A RTLinux Device Driver for the TPUART. In Proc. 5th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'03). 2003. BibTeX

    @inproceedings{fet03-eib_rtlinux,
    	author = "Wolfgang Kastner and Christian Troger",
    	title = "Interfacing with the {EIB/KNX}: A {RTLinux} Device Driver for the {TPUART}",
    	booktitle = "Proc. 5th IFAC Intl. Conference on Fieldbus Systems and their Applications (FeT'03)",
    	year = 2003,
    	month = ""
    }
    


2002
  1. Johann Blieberger and Alfred Strohmeier. 7th Ada-Europe International Conference on Reliable Software Technologies, LNCS 2361. Springer-Verlag, June 2002. BibTeX

    @book{bli:AE2002,
    	author = "Johann Blieberger and Alfred Strohmeier",
    	title = "{7th Ada-Europe International Conference on Reliable Software Technologies, LNCS 2361}",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-540-43784-3",
    	month = "June",
    	year = 2002
    }
    
  2. Engin Kirda, Clemens Kerer and Christopher Kruegel. XGuide - A Practical Guide to XML-based Web Engineering. In International Workshop on Web Engineering. 2002. BibTeX

    @inproceedings{kruegel57,
    	title = "{XGuide - A Practical Guide to XML-based Web Engineering}",
    	author = "Engin Kirda and Clemens Kerer and Christopher Kruegel",
    	booktitle = "International Workshop on Web Engineering",
    	year = 2002
    }
    
  3. Thomas Toth and Christopher Kruegel. Connection-history based anomaly detection. In 3rd IEEE Information Assurance Workshop. 2002. BibTeX

    @inproceedings{kruegel56,
    	title = "{Connection-history based anomaly detection}",
    	author = "Thomas Toth and Christopher Kruegel",
    	booktitle = "3rd IEEE Information Assurance Workshop",
    	year = 2002
    }
    
  4. Christopher Kruegel and Thomas Toth. Flexible, Mobile Agent based Intrusion Detection for Dynamic Networks. In European Wireless. 2002. BibTeX

    @inproceedings{kruegel45,
    	title = "{Flexible, Mobile Agent based Intrusion Detection for Dynamic Networks}",
    	author = "Christopher Kruegel and Thomas Toth",
    	booktitle = "European Wireless",
    	year = 2002
    }
    
  5. Christopher Kruegel and Thomas Toth. Distributed Pattern Detection for Intrusion Detection. In Network and Distributed System Security Symposium (NDSS). 2002. BibTeX

    @inproceedings{kruegel44,
    	title = "{Distributed Pattern Detection for Intrusion Detection}",
    	author = "Christopher Kruegel and Thomas Toth",
    	booktitle = "Network and Distributed System Security Symposium (NDSS)",
    	year = 2002
    }
    
  6. Christopher Kruegel, Thomas Toth and Engin Kirda. Service Specific Anomaly Detection for Network Intrusion Detection. In 17th ACM Symposium on Applied Computing (SAC). 2002. BibTeX

    @inproceedings{kruegel43,
    	title = "{Service Specific Anomaly Detection for Network Intrusion Detection}",
    	author = "Christopher Kruegel and Thomas Toth and Engin Kirda",
    	booktitle = "17th ACM Symposium on Applied Computing (SAC)",
    	year = 2002
    }
    
  7. Christopher Kruegel, Fredrik Valeur, Giovanni Vigna and Richard Kemmerer. Stateful Intrusion Detection for High-Speed Networks. In IEEE Symposium on Security and Privacy. 2002. BibTeX

    @inproceedings{kruegel42,
    	title = "{Stateful Intrusion Detection for High-Speed Networks}",
    	author = "Christopher Kruegel and Fredrik Valeur and Giovanni Vigna and Richard Kemmerer",
    	booktitle = "IEEE Symposium on Security and Privacy",
    	year = 2002
    }
    
  8. Pascal Fenkam, Harald Gall, Mehdi Jazayeri and Christopher Kruegel. DPS - An Architectural Style for Development of Secure Software. In Infrastructure Security Conference (InfraSec). 2002. BibTeX

    @inproceedings{kruegel41,
    	title = "{DPS - An Architectural Style for Development of Secure Software}",
    	author = "Pascal Fenkam and Harald Gall and Mehdi Jazayeri and Christopher Kruegel",
    	booktitle = "Infrastructure Security Conference (InfraSec)",
    	year = 2002
    }
    
  9. Thomas Toth and Christopher Kruegel. Accurate Buffer Overflow Detection via Abstract Payload Execution. In 5th Symposium on Recent Advances in Intrusion Detection (RAID). 2002. BibTeX

    @inproceedings{kruegel40,
    	title = "{Accurate Buffer Overflow Detection via Abstract Payload Execution}",
    	author = "Thomas Toth and Christopher Kruegel",
    	booktitle = "5th Symposium on Recent Advances in Intrusion Detection (RAID)",
    	year = 2002
    }
    
  10. Thomas Toth and Christopher Kruegel. Evaluating the Impact of Automated Intrusion Response Mechanisms. In 18th Annual Computer Security Applications Conference (ACSAC). 2002. BibTeX

    @inproceedings{kruegel39,
    	title = "{Evaluating the Impact of Automated Intrusion Response Mechanisms}",
    	author = "Thomas Toth and Christopher Kruegel",
    	booktitle = "18th Annual Computer Security Applications Conference (ACSAC)",
    	year = 2002
    }
    
  11. Roland Lieger. Bounding the Worst-Case Execution Time of General Loops and Recursion. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2002. BibTeX

    @phdthesis{rlieger:WCET,
    	author = "Roland Lieger",
    	title = "{Bounding the Worst-Case Execution Time of General Loops and Recursion}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2002,
    	month = "",
    	url = ""
    }
    
  12. Wolfgang Kastner and Bernd Thallner. Connecting EIB to Linux and Java. In Proc. 6th IEEE Africon Conference in Africa (AFRICON '02). 2002, 273–276. BibTeX

    @inproceedings{africon02-eib_linux_java,
    	author = "Wolfgang Kastner and Bernd Thallner",
    	title = "Connecting {EIB} to {Linux} and {Java}",
    	booktitle = "Proc. 6th IEEE Africon Conference in Africa (AFRICON '02)",
    	year = 2002,
    	pages = "273--276"
    }
    
  13. Wolfgang Kastner and Michael Kunes. Device and network management for PDAs: an SNMP-manager for the Palm OS. In Proc. 4th IEEE Intl. Workshop on Networked Appliances (IWNA'02). 2002, 67–76. DOI BibTeX

    @inproceedings{iwna02-snmp_palm,
    	author = "Wolfgang Kastner and Michael Kunes",
    	title = "Device and network management for {PDAs}: an {SNMP}-manager for the {Palm OS}",
    	booktitle = "Proc. 4th IEEE Intl. Workshop on Networked Appliances (IWNA'02)",
    	year = 2002,
    	pages = "67--76",
    	doi = "10.1109/IWNA.2001.980805"
    }
    
  14. Wolfgang Kastner and Wolfgang Tumfart. Remote control of EIB systems based on virtual shared group objects. In Proc. 4th IEEE International Workshop on Factory Communication Systems (WFCS'02). 2002, 63–70. DOI BibTeX

    @inproceedings{wfcs02-virtual_group_objects,
    	author = "Wolfgang Kastner and Wolfgang Tumfart",
    	title = "Remote control of {EIB} systems based on virtual shared group objects",
    	booktitle = "Proc. 4th IEEE International Workshop on Factory Communication Systems (WFCS'02)",
    	year = 2002,
    	month = "",
    	pages = "63--70",
    	doi = "10.1109/WFCS.2002.1159701"
    }
    
  15. Johann Blieberger. Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real-Time Systems 22(3):183–227, 2002. URL, DOI BibTeX

    @article{bli:dfwcet,
    	author = "Johann Blieberger",
    	title = "Data-Flow Frameworks for Worst-Case Execution Time Analysis",
    	journal = "Real-Time Systems",
    	year = 2002,
    	volume = 22,
    	number = 3,
    	pages = "183--227",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/dfwcetklu.pdf",
    	doi = "10.1023/A:1014535317056"
    }
    


2001
  1. Christopher Kruegel and Thomas Toth. Applying Mobile Agent Technology to Intrusion Detection. In ICSE Workshop on Software Engineering and Mobility. 2001. BibTeX

    @inproceedings{kruegel59,
    	title = "{Applying Mobile Agent Technology to Intrusion Detection}",
    	author = "Christopher Kruegel and Thomas Toth",
    	booktitle = "ICSE Workshop on Software Engineering and Mobility",
    	year = 2001
    }
    
  2. Engin Kirda, Clemens Kerer, Mehdi Jazayeri and Christopher Kruegel. Supporting multi-device enabled services: Challenges and open problems. In 10th IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). 2001. BibTeX

    @inproceedings{kruegel58,
    	title = "{Supporting multi-device enabled services: Challenges and open problems}",
    	author = "Engin Kirda and Clemens Kerer and Mehdi Jazayeri and Christopher Kruegel",
    	booktitle = "10th IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)",
    	year = 2001
    }
    
  3. Christopher Kruegel and Thomas Toth. An efficient, IP based solution to the 'Logical Timestamp Wrapping' problem. In 6th International Conference on Telecommunications (ConTEL). 2001. BibTeX

    @inproceedings{kruegel48,
    	title = "{An efficient, IP based solution to the 'Logical Timestamp Wrapping' problem}",
    	author = "Christopher Kruegel and Thomas Toth",
    	booktitle = "6th International Conference on Telecommunications (ConTEL)",
    	year = 2001
    }
    
  4. Christopher Kruegel, Thomas Toth and Engin Kirda. Sparta - A Mobile Agent based Intrusion Detection System. In IFIP Conference on Network Security (I-NetSec). 2001. BibTeX

    @inproceedings{kruegel47,
    	title = "{Sparta - A Mobile Agent based Intrusion Detection System}",
    	author = "Christopher Kruegel and Thomas Toth and Engin Kirda",
    	booktitle = "IFIP Conference on Network Security (I-NetSec)",
    	year = 2001
    }
    
  5. Christopher Kruegel, Thomas Toth and Clemens Kerer. Decentralized Event Correlation for Intrusion Detection. In International Conference on Information Security and Cryptology (ICISC). 2001. BibTeX

    @inproceedings{kruegel46,
    	title = "{Decentralized Event Correlation for Intrusion Detection}",
    	author = "Christopher Kruegel and Thomas Toth and Clemens Kerer",
    	booktitle = "International Conference on Information Security and Cryptology (ICISC)",
    	year = 2001
    }
    
  6. Thilo Sauter, Dietmar Dietrich and Wolfgang Kastner. EIB – Installation Bus System. Wiley-VCH, 2001. BibTeX

    @book{wiley-eib,
    	title = "{EIB -- Installation Bus System}",
    	author = "Thilo Sauter and Dietmar Dietrich and Wolfgang Kastner",
    	publisher = "Wiley-VCH",
    	address = "Weinheim",
    	publisher2 = "Publicis MCD",
    	year = 2001,
    	comment = "English translation of ISBN 3-7785-2795-9",
    	isbn-10 = "3-89578-175-4",
    	note = "ISBN 3-89578-175-4",
    	isbn-13 = "978-3-89578-175-9"
    }
    
  7. Dietmar Dietrich, Wolfgang Kastner, Thilo Sauter and Oleg Nizamutdinov. \cyr Sistema avtomatizatsii zdani\Ui. Hüthig, 2001. BibTeX

    @book{huethig-eib-russ,
    	title = "\cyr Sistema avtomatizatsii zdani\U{i}",
    	publisher = {H{\"{u}}thig},
    	address = "Heidelberg",
    	year = 2001,
    	author = "Dietmar Dietrich and Wolfgang Kastner and Thilo Sauter and Oleg Nizamutdinov",
    	isbn-10 = "5-88151-296-0",
    	note = "ISBN 3-7785-2795-9",
    	isbn-13 = "978-3-7785-2795-5"
    }
    
  8. Wolfgang Kastner and Markus Leupold. Discovering Internet services: integrating intelligent home automation systems to plug and play networks. In Proc. Intl. Workshop on Innovative Internet Computing Systems (IICS'01) 2060. 2001, 67–78. BibTeX

    @inproceedings{iics01-pnp,
    	author = "Wolfgang Kastner and Markus Leupold",
    	title = "Discovering Internet services: integrating intelligent home automation systems to plug and play networks",
    	booktitle = "Proc. Intl. Workshop on Innovative Internet Computing Systems (IICS'01)",
    	year = 2001,
    	volume = 2060,
    	series = "Lecture Notes in Computer Science (LNCS)",
    	pages = "67--78",
    	publisher = "Springer Verlag"
    }
    
  9. Wolfgang Kastner and Markus Leupold. How dynamic networks work: A short tutorial on spontaneous networks. In Proc. 8th IEEE Intl. Conference on Emerging Technologies and Factory Automation (ETFA'01) 1. 2001, 295–303. DOI BibTeX

    @inproceedings{etfa01-dynamic_networks,
    	author = "Wolfgang Kastner and Markus Leupold",
    	title = "How dynamic networks work: A short tutorial on spontaneous networks",
    	booktitle = "Proc. 8th IEEE Intl. Conference on Emerging Technologies and Factory Automation (ETFA'01)",
    	year = 2001,
    	volume = 1,
    	pages = "295--303",
    	doi = "10.1109/ETFA.2001.996382"
    }
    
  10. Johann Blieberger. Real-Time Properties of Indirect Recursive Procedures. Information and Computation 171:156-182, 2001. URL, DOI BibTeX

    @article{bli:indrtrec,
    	author = "Johann Blieberger",
    	title = "Real-Time Properties of Indirect Recursive Procedures",
    	journal = "Information and Computation",
    	volume = 171,
    	year = 2001,
    	pages = "156-182",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/indrtrec.pdf",
    	doi = "10.1006/inco.2001.3042"
    }
    
  11. Johann Blieberger, Bernd Burgstaller and Gerhard-Helge Schildt. Informatik–-Grundlagen. Forth edition, Springer-Verlag, 2001. BibTeX

    @book{bli:info4,
    	author = "Johann Blieberger and Bernd Burgstaller and Gerhard-Helge Schildt",
    	title = "{Informatik---Grundlagen}",
    	edition = "forth",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-83710-8",
    	year = 2001
    }
    


2000
  1. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In Ada-Europe'2000 International Conference on Reliable Software Technologies. June 2000, 225-237. URL, DOI BibTeX

    @inproceedings{bli:deadlock,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs}",
    	booktitle = "Ada-Europe'2000 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Potsdam, Germany",
    	pages = "225-237",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/tasks.pdf",
    	doi = "10.1007/10722060_21"
    }
    
  2. Wolfgang Kastner and Christopher Kruegel. A new approach for Java in embedded networks. In 3rd IEEE Workshop on Factory Communication Systems. 2000. BibTeX

    @inproceedings{kruegel60,
    	title = "{A new approach for Java in embedded networks}",
    	author = "Wolfgang Kastner and Christopher Kruegel",
    	booktitle = "3rd IEEE Workshop on Factory Communication Systems",
    	year = 2000
    }
    
  3. Wolfgang Kastner and Christopher Kruegel. Improved fieldbus control via middleware technolgy. In 4th Conference on Automatic Control (Controlo). 2000. BibTeX

    @inproceedings{kruegel49,
    	title = "{Improved fieldbus control via middleware technolgy}",
    	author = "Wolfgang Kastner and Christopher Kruegel",
    	booktitle = "4th Conference on Automatic Control (Controlo)",
    	year = 2000
    }
    
  4. Dietmar Dietrich, Wolfgang Kastner and Thilo Sauter. EIB. Hüthig, 2000. BibTeX

    @book{huethig-eib,
    	title = "{EIB}",
    	publisher = {H{\"{u}}thig},
    	address = "Heidelberg",
    	year = 2000,
    	author = "Dietmar Dietrich and Wolfgang Kastner and Thilo Sauter",
    	isbn-10 = "3-7785-2795-9",
    	note = "ISBN 3-7785-2795-9",
    	isbn-13 = "978-3-7785-2795-5"
    }
    
  5. Wolfgang Kastner and Norbert Reiter. Netzmanagement in Feldbussystemen (Network Management in Fieldbus Systems). IT+TI Informationstechnik und Technische Informatik 42(4):45–50, 2000. DOI BibTeX

    @article{itti00-fieldbus_management,
    	author = "Wolfgang Kastner and Norbert Reiter",
    	title = "Netzmanagement in {Feldbussystemen} (Network Management in Fieldbus Systems)",
    	journal = "IT+TI Informationstechnik und Technische Informatik",
    	publisher = "Oldenbourg",
    	year = 2000,
    	volume = 42,
    	pages = "45--50",
    	number = 4,
    	month = "",
    	doi = "10.1524/itit.2000.42.4.45"
    }
    
  6. Wolfgang Kastner. Jini connectivity for fieldbus-systems – a case study for home and building networks. e&i - Elektrotechnik und Informationstechnik 117(5):324–327, 2000. BibTeX

    @article{etit00-jini,
    	author = "Wolfgang Kastner",
    	title = "Jini connectivity for fieldbus-systems -- a case study for home and building networks",
    	journal = "e&i - Elektrotechnik und Informationstechnik",
    	publisher = "Springer Verlag",
    	address = "Wien",
    	year = 2000,
    	volume = 117,
    	pages = "324--327",
    	number = 5
    }
    
  7. Wolfgang Kastner and Ulrich Schmid. How to Teach Matters of Modern Control Systems to Computer Science Students?. In Proc. 5th IFAC Symposium on Advances in Control Education (ACE'00). 2000. BibTeX

    @inproceedings{ace00,
    	author = "Wolfgang Kastner and Ulrich Schmid",
    	title = "How to Teach Matters of Modern Control Systems to Computer Science Students?",
    	booktitle = "Proc. 5th IFAC Symposium on Advances in Control Education (ACE'00)",
    	year = 2000
    }
    
  8. Wolfgang Kastner and Markus Leupold. Dynamic Networking of Hierarchically Structured Systems: The LON2Jini Approach. In Proc. 2nd IEEE International Workshop on Networked Appliances (IWNA'00). 2000. BibTeX

    @inproceedings{iwna00,
    	author = "Wolfgang Kastner and Markus Leupold",
    	title = "Dynamic Networking of Hierarchically Structured Systems: The LON2Jini Approach",
    	booktitle = "Proc. 2nd IEEE International Workshop on Networked Appliances (IWNA'00)",
    	year = 2000
    }
    
  9. Wolfgang Kastner and Christopher Krügel. A new approach for Java in embedded networks. In Proc. 3rd IEEE Intl. Workshop on Factory Communication Systems (WFCS'00). 2000, 19–26. DOI BibTeX

    @inproceedings{wfcs00-embedded_java,
    	author = {Wolfgang Kastner and Christopher Kr{\"u}gel},
    	title = "A new approach for {Java} in embedded networks",
    	booktitle = "Proc. 3rd IEEE Intl. Workshop on Factory Communication Systems (WFCS'00)",
    	year = 2000,
    	pages = "19--26",
    	doi = "10.1109/WFCS.2000.882529"
    }
    
  10. Wolfgang Kastner. Jini connectivity for fieldbus systems. In Proc. 15th IEEE International Symposium on Intelligent Control (ISIC'00). 2000, 229–234. DOI BibTeX

    @inproceedings{isic00-jini,
    	author = "Wolfgang Kastner",
    	title = "Jini connectivity for fieldbus systems",
    	booktitle = "Proc. 15th IEEE International Symposium on Intelligent Control (ISIC'00)",
    	pages = "229--234",
    	year = 2000,
    	month = "",
    	doi = "10.1109/ISIC.2000.882929"
    }
    
  11. Bernhard Scholz, Johann Blieberger and Thomas Fahringer. Symbolic Pointer Analysis for Detecting Memory Leaks. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00). January 2000, 104-113. URL, DOI BibTeX

    @inproceedings{sch:mem,
    	author = "Bernhard Scholz and Johann Blieberger and Thomas Fahringer",
    	title = "{Symbolic Pointer Analysis for Detecting Memory Leaks}",
    	booktitle = "ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)",
    	month = "January",
    	address = "Boston",
    	year = 2000,
    	pages = "104-113",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/pepmfront.pdf",
    	doi = "10.1145/328690.328704"
    }
    
  12. Johann Blieberger, Thomas Fahringer and Bernhard Scholz. Symbolic Cache Analysis for Real-Time Systems. Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis 18(2/3):181-215, 2000. URL, DOI BibTeX

    @article{bli:symcache,
    	author = "Johann Blieberger and Thomas Fahringer and Bernhard Scholz",
    	title = "Symbolic Cache Analysis for Real-Time Systems",
    	journal = "Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis",
    	year = 2000,
    	volume = 18,
    	number = "2/3",
    	pages = "181-215",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/symcache.pdf",
    	doi = "10.1023/A:1008193114940"
    }
    


1999
  1. Johann Blieberger, Johann Klasek and Kühn. Ada Binding to a Shared Object Layer. In Ada-Europe'99 International Conference on Reliable Software Technologies. June 1999, 263-274. URL BibTeX

    @inproceedings{bli:Ada-CORSO,
    	author = {Johann Blieberger and Johann Klasek and eva K{\"u}hn},
    	title = "{Ada Binding to a Shared Object Layer}",
    	booktitle = "Ada-Europe'99 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Santander, Spain",
    	pages = "263-274",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/CORSO.pdf"
    }
    
  2. Johann Blieberger, Bernd Burgstaller and Bernhard Scholz. Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In Ada-Europe'99 International Conference on Reliable Software Technologies. June 1999, 136-145. URL BibTeX

    @inproceedings{bli:alias,
    	author = "Johann Blieberger and Bernd Burgstaller and Bernhard Scholz",
    	title = "{Interprocedural Symbolic Evaluation of Ada Programs with Aliases}",
    	booktitle = "Ada-Europe'99 International Conference on Reliable Software Technologies",
    	month = "June",
    	address = "Santander, Spain",
    	pages = "136-145",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/ada99.pdf"
    }
    
  3. Wolfgang Kastner, Christopher Kruegel and Heinrich Reiter. Jini: Ein guter Geist fuer die Gebaeudesystemtechnik, German Language. In Java Informations Tage (JIT). 1999. BibTeX

    @inproceedings{kruegel51,
    	title = "{Jini: Ein guter Geist fuer die Gebaeudesystemtechnik, German Language}",
    	author = "Wolfgang Kastner and Christopher Kruegel and Heinrich Reiter",
    	booktitle = "Java Informations Tage (JIT)",
    	year = 1999
    }
    
  4. Wolfgang Kastner and Christopher Kruegel. Jini connectivity for EIB home and building networks - from design to implementation. In EIB Scientific Conference. 1999. BibTeX

    @inproceedings{kruegel50,
    	title = "{Jini connectivity for EIB home and building networks - from design to implementation}",
    	author = "Wolfgang Kastner and Christopher Kruegel",
    	booktitle = "EIB Scientific Conference",
    	year = 1999
    }
    
  5. Wolfgang Kastner, Christopher Krügel and Heinrich Reiter. Jini – a good idea for building systems technology. In Proceedings of Java-Informations-Tage 1999 (JIT'99). 1999, 213–222. BibTeX

    @inproceedings{jit99-jini,
    	author = {Wolfgang Kastner and Christopher Kr{\"u}gel and Heinrich Reiter},
    	title = "Jini -- a good idea for building systems technology",
    	booktitle = "Proceedings of Java-Informations-Tage 1999 (JIT'99)",
    	year = 1999,
    	pages = "213--222"
    }
    
  6. W Kastner, C Csebits and M Mayer. Linux in factory automation? Internet controlling of fieldbus systems!. In Proc. 7th IEEE Intl. Conference on Emerging Technologies and Factory Automation (ETFA'99) 1. 1999, 27–31. DOI BibTeX

    @inproceedings{etfa99-linux_fieldbus,
    	author = "W. Kastner and C. Csebits and M. Mayer",
    	title = "Linux in factory automation? {Internet} controlling of fieldbus systems!",
    	booktitle = "Proc. 7th IEEE Intl. Conference on Emerging Technologies and Factory	Automation (ETFA'99)",
    	year = 1999,
    	volume = 1,
    	pages = "27--31",
    	doi = "10.1109/ETFA.1999.815335"
    }
    


1996
  1. Bernhard Scholz. Symbolische Verifikation von Echtzeitprogrammen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, November 1996. BibTeX

    @mastersthesis{scholz:symver,
    	author = "Bernhard Scholz",
    	title = "{Symbolische Verifikation von Echtzeitprogrammen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "nov",
    	url = ""
    }
    
  2. Helmut Reinwein. Analytische Untersuchungen von Schedulingalgorithmen unter Echtzeitbedingungen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 1996. BibTeX

    @mastersthesis{hr:sched,
    	author = "Helmut Reinwein",
    	title = "{Analytische Untersuchungen von Schedulingalgorithmen unter Echtzeitbedingungen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "",
    	url = ""
    }
    
  3. Bernd Burgstaller. The WOOP Preprocessor – An Implementation of Discrete Loops in Ada95. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 1996. BibTeX

    @mastersthesis{bburg:discloop,
    	author = "Bernd Burgstaller",
    	title = "{The WOOP Preprocessor -- An Implementation of Discrete Loops in Ada95}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "",
    	url = ""
    }
    
  4. Roland Lieger and Johann Blieberger. Multi-Staged Discrete Loops for Real-Time Systems. In Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems. 1996, 290–294. URL, DOI BibTeX

    @inproceedings{lie:multistg,
    	author = "Roland Lieger and Johann Blieberger",
    	title = "Multi-Staged Discrete Loops for Real-Time Systems",
    	booktitle = "Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems",
    	year = 1996,
    	address = "l'Aquila",
    	pages = "290--294",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/eumimsdl.pdf",
    	doi = "10.1109/EMWRTS.1996.557943"
    }
    
  5. Johann Blieberger, Roland Lieger and Bernd Burgstaller. Augmenting Ada95 with Additional Real-Time Features. In Proc. of Ada-Europe'96. 1996, 330–341. URL, DOI BibTeX

    @inproceedings{bli:adaeur96,
    	author = "Johann Blieberger and Roland Lieger and Bernd Burgstaller",
    	title = "Augmenting {Ada95} with Additional Real-Time Features",
    	booktitle = "Proc. of Ada-Europe'96",
    	publisher = "LNCS",
    	year = 1996,
    	pages = "330--341",
    	address = "Montreux",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/Ada-Europe_96.pdf",
    	doi = "10.1007/BFb0013500"
    }
    
  6. Johann Blieberger and Roland Lieger. Worst-Case Space and Time Complexity of Recursive Procedures. Real-Time Systems 11(2):115–144, 1996. URL, DOI BibTeX

    @article{bli:rtrecurr,
    	author = "Johann Blieberger and Roland Lieger",
    	title = "Worst-Case Space and Time Complexity of Recursive Procedures",
    	journal = "Real-Time Systems",
    	volume = 11,
    	number = 2,
    	year = 1996,
    	pages = "115--144",
    	url = "http://www.auto.tuwien.ac.at/~blieb/papers/rtrecurr.pdf",
    	doi = "10.1007/BF00365315"
    }
    
  7. Johann Blieberger, Johann Klasek, Alexander Redlein and Gerhard-Helge Schildt. Informatik. Third edition, Springer-Verlag, 1996. BibTeX

    @book{bli:info3,
    	author = "Johann Blieberger and Johann Klasek and Alexander Redlein and Gerhard-Helge Schildt",
    	title = "{Informatik}",
    	edition = "third",
    	publisher = "Springer-Verlag",
    	address = "Vienna, Austria",
    	isbn = "3-211-82860-5",
    	year = 1996
    }
    

Joomla templates by a4joomla