Publications

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

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

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

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

E. Bartocci, L. Bortolussi, G. Sanguinetti: Data-driven Statistical Learning of Temporal Properties
12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Florence, Italy; in: Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS/Springer, vol. 8711 (2014), ISBN: 978-3-319-10511-6, p. 23 - 37
bib details doi

E. Aydin Gol, E. Bartocci, C. Belta: A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
53rd IEEE Inter. Conference on Decision and Control (CDC), Los Angeles; in: Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control, IEEE, 2014, ISBN: 978-1-4799-7746-8, p. 108 - 113
bib details doi

E. Bartocci, L. Bortolussi, S. Smolka: Hybrid Systems and Biology
Information and Computation, 236 (2014), p. 1 - 2
bib details doi

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC), IEEE, 2014, ISSN: 1555-0885, p. 180 - 187
bib details doi

I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner: Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC
The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; in: Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2014, ISBN: 978-1-4799-4827-7, p. 77 - 80
bib details doi

C. Schmittner, T. Gruber, P. Puschner, E. Schoitsch: Security Application of Failure Mode and Effect Analysis (FMEA)
International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; in: Computer Safety, Reliability and Security, Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2, p. 310 - 325
bib details

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; in: Computer Safety, Reliability and Security, Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2, p. 1 - 16
bib details

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