Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

T. Frühwirth, F. Pauker, A. Fernbach, I. Ayatollahi, W. Kastner, B. Kittl: Guarded state machines in OPC UA
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON), 2015; 6 pages
bib details

T. Frühwirth, L. Krammer, W. Kastner: Dependability Demands and State of the Art in the Internet of Things
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg; in: Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2015; 4 pages
bib details

T. Frühwirth, W. Steiner, B. Stangl: TTEthernet SW-based End System for AUTOSAR
10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany; in: Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015; 8 pages
bib details

I. Konnov, H. Veith, J. Widder: SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; in: Computer Aided Verification, LNCS Springer, 9206 (2015), ISBN: 978-3-319-21689-8, p. 85 - 102
bib details doi

D. Schachinger, C. Stampfel, W. Kastner: Interoperable integration of building automation systems using RESTful BACnet Web services
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the Conference of the IEEE Industrial Electronics Society, 2015; 6 pages
bib details

D. Schachinger, W. Kastner: Model-Driven Integration of Building Automation Systems into Web Service Gateways
11th IEEE World Conference on Factory Communication Systems (WFCS 2015), Palma de Mallorca; in: Proceedings of the IEEE World Conference on Factory Communication Systems, 2015; 8 pages
bib details doi

D. Schachinger, S. Gaida, W. Kastner: Smart grid communication at the interface of customer buildings with focus on demand response
International Symposium on Smart Electric Distribution Systems and Technologies (EDST 2015), Vienna, Austria; in: Proceedings of the International Symposium on Smart Electric Distribution Systems and Technologies, 2015; 6 pages
bib details doi

Kieu Giang, P. Ferschin, M. Di Angelo: Medieval Craftsmen at Castle Waldenfels
Digital Heritage 2015, Granada, Spain; in: 2nd International Congress on Digital Heritage, IEEE Computer Society, 2015, ISBN: 978-1-5090-0047-0
bib details pdf

P. Ferschin, M. Di Angelo, G. Brunner: Rapid Prototyping for Kinetic Architecture
7th International Conference on Robotics, Automation and Mechatronics (RAM), Angkor Wat, Cambodia; in: 7th International Conference on Robotics, Automation and Mechatronics (RAM), IEEE Computer Society, 2015, ISBN: 978-1-4673-7336-4, p. 118 - 123
bib details pdf

J. Träff, F. Lübbe: Specification Guideline Violations by MPI_Dims_create
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 2 pages
bib details doi

S. Hunold, A. Carpen-Amarie: On the Impact of Synchronizing Clocks and Processes on Benchmarking MPI Collectives
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

J. Träff, F. Lübbe, A. Rougier, S. Hunold: Isomorphic, Sparse MPI-like Collective Communication Operations for Parallel Stencil Computations
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

M. Kalany, J. Träff: Efficient, Optimal MPI Datatype Reconstruction for Vector and Index Types
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta: SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 189 - 198
bib details doi

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Kastner, M. Vincze: Coordination of an Autonomous Fleet
Austrian Robotics Workshop (ARW), Klagenfurt; in: Proceedings of the Austrian Robotics Workshop 2015, 2015; 2 pages
bib details

S. Kandl (invited): How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations
Design, Automation and Test in Europe Conference (DATE), Grenoble, France; in: DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain, 2015
bib details

M. Wimmer, J. Gruber, J. Träff, P. Tsigas: The Lock-Free k-LSM Relaxed Priority Queue
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA; in: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, A. Cohen, D. Grove (ed.); ACM, 2015, ISBN: 978-1-4503-3205-7, p. 277 - 278
bib details doi

S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details

M. Lindorfer, M. Neugschwandtner, L. Weichselbaum, Y. Fratantonio, V. van der Veen, Ch. Platzer: Andrubis - 1,000,000 Apps Later: A View on Current Android Malware Behaviors
Proceedings of the 3rd International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security (BADGERS), IEEE, 2014, ISBN: 978-1-4799-8308-7, p. 3 - 17
bib details doi pdf

M. Lindorfer, V. Volanis, A. Sisto, M. Neugschwandtner, E. Athanasopoulos, F. Maggi, Ch. Platzer, S. Zanero, S. Ioannidis: AndRadar: Fast Discovery of Android Applications in Alternative Markets
Proceedings of the 11th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), Springer, LNCS 8550, 2014, ISBN: 978-3-319-08508-1, p. 51 - 71
bib details doi pdf

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 >   >>