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. Najvirt, A. Steininger: How to Synchronize a Pausible Clock to a Reference
21st IEEE International Symposium on Asynchronous Circuits and Systems, Mountain View, CA; in: 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015; 8 pages
bib details

A. Papatriantafyllou: Energy Characterization and Optimization of Parallel Prefix-Sums Kernels
3rd Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2015) in conjunction with Euro-Par 2015, Vienna, Austria; in: Euro-Par 2015: Parallel Processing Workshops, Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers, S. Hunold, A. Costan, D. Gimenez, A. Iosup, L. Ricci, G. Gomez Requena, V. Scarano, A. Varbanescu, S. Scott, S. Lankes, J. Weidendorfer, M. Alexander (ed.); Springer International Publishing, LNCS 9523 (2015), ISBN: 978-3-319-27307-5, p. 685 - 696
bib details doi

A. Fernbach, W. Granzer, W. Kastner: Knowledge Based Building and Energy Management
e-nova: Nachhaltige Gebäude, Pinkafeld; in: Nachhaltige Gebäude, Leykam, Graz (2015), ISBN: 978-3-7011-0350-8, p. 123 - 130
bib details

F. Andren, T. Strasser, W. Kastner: From textual programming to IEC 61499 artifacts: Towards a model-driven engineering approach for smart grid applications
2015 IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge; in: INDIN, IEEE, 2015, p. 1524 - 1530
bib details

R. Najvirt, M Függer, T. Nowak, U. Schmid, M. Hofbauer, K. Schweiger: Experimental Validation of a Faithful Binary Circuit Model
Great Lakes Symposium on VLSI (GLSVLSI'15), Pittsburgh, Pennsylvania, USA; in: Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI'15), 2015, ISBN: 978-1-4503-3474-7, p. 355 - 360
bib details doi

M Függer, R. Najvirt, T. Nowak, U. Schmid: Towards binary circuit models that faithfully capture physical solvability
Design, Automation & Test in Europe Conference & Exhibition (DATE'15), Grenoble, France; in: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE'15), 2015, ISBN: 978-3-9815370-4-8, p. 1455 - 1460
bib details

H. Kopetz (invited): Simplification Principles in the Design of Cyber-Physical System-of-Systems
Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris; in: Complex Systems Design & Management, Springer International Publishing, 2015, ISBN: 978-3-319-26109-6, p. 39 - 51
bib details doi

H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli: Towards an Understanding of Emergence in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 214 - 219
bib details doi

H. Kopetz, B. Frömel, O. Höftberger: Direct versus Stigmergic Information Flow in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 36 - 41
bib details doi

W. Kastner (invited): Integration von Gebäudeautomationssystemen in das Internet der Dinge
Industriebauseminar: Integrale Planung für Industriebau 4.0, Wien; in: Integrale Planung, 2015, ISBN: 9783903015036, p. 294 - 301
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
The international Conference on NETworked sYStems, Agadir, Marokko; in: NETYS2015, Springer LNCS, 9466 (2015), ISBN: 978-3-319-26849-1
bib details doi

K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu: Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
54th IEEE Conference on Decision and Control, Osaka, Japan; in: Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, IEEE Computer Society, 2015, ISBN: 978-1-4799-7884-7, p. 6978 - 6985
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic: From Signal Temporal Logic to FPGA Monitors
13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; in: Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2015, p. 218 - 227
bib details doi

S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu: Abstraction-based Parameter Synthesis for Multiaffine Systems
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 19 - 35
bib details doi

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

<<   < 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 >   >>