Publications

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

Currently viewing all publications chronologically - back to overwiew...

S. Resch: Composability for Fail-Safe Safety-Critical Systems (PhD Thesis)
reviewers: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26
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, M. Kammerstetter, F. Skopik et al.: Smart Grid Security Analysis: The (SG)² Approach
Smart Grids Week 2014, Graz
bib details

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

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: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part II, LNCS 8806
Springer, 2014, ISBN: 978-3-319-14312-5; 590 pages
bib details doi

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: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part I, LNCS 8805
Springer, 2014, ISBN: 978-3-319-14324-8; 620 pages
bib details doi

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, O. Höftberger, R. Grosu (invited): Cyber-Physical Systems: Theoretical and Practical Challenges
ERCIM NEWS, 2014 (2014), p. 8 - 9
bib details

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

<<   < 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 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>