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

A. Fernbach, W. Kastner, S. Mätzler, M. Wollschlaeger: An OPC UA Information Model for Cross-Domain Vertical Integration in Automation Systems
19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, Spain; in: Proceedings of the 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'14), IEEE, 2014, ISBN: 978-1-4799-4845-1; 8 pages
bib details

S. Ibrahim, D. Moise, H. Chihoub, A. Carpen-Amarie, L. Bougé, G. Antoniu: Towards Efficient Power Management in MapReduce: Investigation of CPU-Frequencies Scaling on Power Efficiency in Hadoop
1st International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2014 held in conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France; in: Adaptive Resource Management and Scheduling for Cloud Computing, 1st International Workshop, ARMS-CC 2014 held in conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Revised Selected Papers, LNCS 8907, F. Pop, M. Potop-Butucaru (ed.); Springer International Publishing, LNCS 8907 (2014), ISBN: 978-3-319-13463-5, p. 147 - 164
bib details doi

A. Carpen-Amarie, A. Rougier, F. Lübbe: Stepping Stones to Reproducible Research: A Study of Current Practices in Parallel Computing
1st International Workshop on Reproducibility in Parallel Computing (REPPAR 2014) in conjunction with Euro-Par 2014, Porto Portugal; in: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part I, LNCS 8805, L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander (ed.); Springer International Publishing, LNCS 8805 (2014), ISBN: 978-3-319-14324-8, p. 499 - 510
bib details doi

B. Heinzl, W. Kastner, M. Rößler, F. Bleicher, F. Dür, I. Kovacic, I. Leobner, N. Popper: Interdisziplinäre Optimierung der Energieeffizienz in Fertigungsbetrieben mittels Co-Simulation
ASIM-Workshop der STS/GMMS 2014, Robert Bosch Zentrum für Leistungselektronik, Reutlingen-Rommelsbach; in: ASIM-Workshop der STS/GMMS 2014, J. Scheible, I. Bausch-Gall, C. Deatcu (ed.); ARGESIM Verlag Wien, 1/1/Wien (2014), ISBN: 978-3-901608-43-8; 4 pages
bib details

R. Najvirt, A. Steininger: Equivalence of Clock Gating and Synchronization with Applicability to GALS Communication
24th International Workshop on Power and Timing Modeling, Optimization and Simulation, Isles Balears, Spain; in: Proceedings of the 24th International Workshop on Power and Timing Modeling, Optimization and Simulation, IEEE, 2014, ISBN: 978-1-4799-5412-4; 8 pages
bib details doi

A. Steininger, V. S. Veeravalli, D. Alexandrescu, E. Costenaro, L. Anghel: Exploring the State Dependent SET Sensitivity of Asynchronous Logic - The Muller-Pipeline Example
2014 32nd IEEE International Conference on Computer Design (ICCD), Seoul, Korea; in: Proceedings of the 2014 32nd IEEE International Conference on Computer Design (ICCD), IEEE, 2014, ISBN: 978-1-4799-6492-5; 7 pages
bib details doi

V. S. Veeravalli, A. Steininger: Long Term On-Chip Monitoring of SET Pulsewidths in a Fully Digital ASIC
22nd Austrian Workshop on Microelectronics, Graz; in: Proceedings of the 22nd Austrian Workshop on Micorelectronics, IEEE, 2014, ISBN: 978-1-4799-7243-2; 6 pages
bib details doi

M. Kammerstetter, M. Müllner, D. Burian, Ch. Platzer, W. Kastner: Breaking Integrated Circuit Device Security through Test Mode Silicon Reverse Engineering
21st ACM Conference on Computer and Communications Security (ACM CCS), Scottsdale, Arizona, USA; in: Proceeedings of the 21st ACM Conference on Computer and Communications Security (ACM CCS), 2014; 9 pages
bib details doi

L. Langer, J. Göllner, C. Meurers, A. Peer, M. Kammerstetter et al.: Importance of Risk Management for the Security of Smart Grids
European Meetings on Cybernetics and Systems Research EMCSR 2014, Vienna; in: European Meetings on Cybernetics and Systems Research EMCSR 2014, 2014, p. 1 - 5
bib details

M. Kammerstetter, L. Langer, F. Skopik, F. Kupzog, W. Kastner: Practical Risk Assessment Using a Cumulative Smart Grid Model
3rd International Conference on Smart Grids and Green IT Systems (SMARTGREENS), Barcelona; in: 3rd International Conference on Smart Grids and Green IT Systems (SMARTGREENS), 2014; 12 pages
bib details

J. Göllner, C. Meurers, A. Peer, L. Langer, M. Kammerstetter: Bedeutung des Risikomanagements für die Sicherheit von Smart Grids
13th SYMPOSIUM ENERGY INNOVATION (EnInnov2014), Graz; in: 13th SYMPOSIUM ENERGY INNOVATION (EnInnov2014), 2014; 10 pages
bib details

R. Willmann, S. Biffl, E. Serral Asensio: Determining Qualified Production Processes for New Product Ramp-up using Semantic Web Technologies
14th International Conference on Knowledge Technologies and Data-Driven Business (I-KNOW), Graz; in: Proceedings of the 14th International Conference on Knowledge Technologies and Data-Driven Business (I-KNOW), ACM, 2014, ISBN: 978-1-4503-2769-5
bib details

R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump: Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems
Haifa Verification Conference HVC 2014, Haifa, Isral; in: Proc. of HVC'14, the Haifa Verification Conference, 2014
bib details pdf

R. Grosu, D. Peled, C. Ramakrishnan, S. Smolka, S. Stoller, J. Yang: Using Statistical Model Checking for Measuring Systems
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; in: Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2014
bib details pdf

R. Grosu, A. Islam, A. Murthy, A. Girard, S. Smolka: Compositionality Results for Cardiac Cell Dynamics
HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol, Berlin; in: Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control, 2014, ISBN: 978-1-4503-2732-9, p. 243 - 252
bib details pdf

I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu: Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control
Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; in: Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, IARIA, 2014, ISBN: 978-1-61208-335-3, p. 52 - 58
bib details

E. Bartocci, R. DeFrancisco, S. Smolka: Towards a GPGPU-parallel SPIN model checker
21th International SPIN Symposium on Model Checking of Software, San Jose, California; in: SPIN 2014: International SPIN Symposium on Model Checking of Software, ACM, 2014, ISBN: 978-1-4503-2452-6, p. 87 - 96
bib details doi

E. Bartocci, B. Bonakdarpour, Y. Falcone (invited): First International Competition of Software for Runtime Verification
14th International Conference on Runtime Verification, Canada; in: Proc. of RV 2014: the 14th International Conference on Runtime Verification, 2014, p. 1 - 9
bib details doi

E. Bartocci, S. Gao, S. Smolka (invited): Medical Cyber-Physical Systems - (Track Introduction)
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; in: Proc. of ISoLA: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2014, p. 353 - 355
bib details doi

S. Bufo, E. Bartocci, G. Sanguinetti, M. Borelli, U. Lucangelo, L. Bortolussi (invited): Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients
6th International Symposium On Leveraging Applications of Formal Methods, Corfu', Greece; in: Proc. of ISoLA: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2014, p. 391 - 403
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 >   >>