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

R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu: XSpeed: Accelerating Reachability Analysis on MultiCore Processors
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 3 - 18
bib details doi

E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti: Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
4th International Workshop on Hybrid Systems Biology (HSB), Madrid; in: Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, LNCS / LNBI / Springer, vol. 9271 (2015), p. 1 - 17
bib details doi

B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador: A TDMA-Based arbitration scheme for mixed-criticality multicore platforms
The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; in: Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, IEEE, 2015, p. 1 - 6
bib details doi

L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz: Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)
12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; in: Proceedings of the 12th International SoC Design Conference (IEEE), 2015
bib details

C. Kloimüllner, P. Papazek, G. Raidl, B. Hu: A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
Eurocast 2015, Gran Canaria, Spain; in: Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory, A. Quesada-Arencibia et al. (ed.); 2015, ISBN: 978-84-606-5438-4, p. 125 - 126
bib details

D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments
RV 2015, the 6th International Conference on Runtime Verification, Vienna; in: Runtime Verification, 6th International Conference (RV 2015), Springer, 9333 (2015), ISBN: 978-3-319-23819-7, p. 201 - 215
bib details doi

D. Ratasich, B. Frömel, O. Höftberger, R. Grosu: Generic Sensor Fusion Package for ROS
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; in: Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, IEEE, 2015, p. 286 - 291
bib details doi

A. Dabrowski, M. Kammerstetter, E. Thamm, E. Weippl, W. Kastner: Leveraging Competitive Gamification for Sustainable Fun and Profit in Security Education
2015 USENIX Summit on Gaming, Games and Gamification in Security Education (3GSE 15), Washington, D.C.; in: Proceedings of the 2015 USENIX Summit on Gaming, Games and Gamification in Security Education, USENIX, 2015
bib details

A. Dabrowski, I. Echizen, E. Weippl: Error-Correcting Codes as Source for Decoding Ambiguity
2nd Workshop on Language Theoretic Security (LangSec), IEEE Security & Privacy, San Jose, California; in: Proceedings of the 2nd Workshop on Language Theoretic Security (LangSec), 2015
bib details

A. Dabrowski, K. Krombholz, E. Weippl, I. Echizen: Smart Privacy Visor: Bridging the Privacy Gap
Workshop on Privacy by Transparency in Data-Centric Services (PTDCS 2015), BIS 2015, Poznan, Poland; in: Business Information Systems Workshops - BIS 2015 International Workshops, Springer International Publishing, 2015, p. 235 - 247
bib details

K. Krombholz, A. Dabrowski, M. Smith, E. Weippl: Ok Glass, Leave me Alone: Towards a Systematization of Privacy Enhancing Technologies for Wearable Computing
1st Workshop on Wearable Security and Privacy, Financial Crypto 2015, Puerto Rico; in: Financial Cryptography and Data Security FC 2015 International Workshops, Springer, 2015, ISBN: 978-3-662-48051-9
bib details

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

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