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

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

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

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems
Forum on specification & Design Languages (FDL), Munich, Germany; in: Proceedings of the Forum on Specification & Design Languages (FDL 2014), 2014
bib details

B. Cilku, P. Puschner et al.: A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms
2 nd International Workshop on Mixed Criticality Systems (WMC14), Rome, Italy; in: Proceedings of the 2 nd International Workshop on Mixed Criticality Systems, 2014, p. 27 - 32
bib details pdf

B. Cilku, P. Puschner: Designing a Time-Predictable Memory Hierarchy for Single-Path Code
7 th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS14), Rome, Italy; in: Designing a Time-Predictable Memory Hierarchy for Single-Path Code, 2014, p. 9 - 14
bib details pdf

B. Cilku, B. Frömel, P. Puschner: A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors
12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISBN: 978-1-4799-4906-9, p. 147 - 151
bib details doi pdf

D. Schachinger, M. Jung, W. Kastner: KNX and Model-Driven Engineering
KNX Scientific Conference 2014, Wiesbaden, Germany; in: Proceedings of the KNX Scientific Conference, 2014; 12 pages
bib details

W. Steiner, F. Bonomi, H. Kopetz: Towards synchronous deterministic channels for the Internet of Things
IEEE World Forum on Internet of Things 2014 (WF-IoT2014), Seoul, Korea; in: Proc. of the IEEE World Forum on Internet of Things 2014 (WF-IoT2014), IEEE, 2014, p. 433 - 436
bib details doi

H. Kopetz: A Conceptual Model for the Information Transfer in System of Systems
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing, 2014, ISSN: 1555-0885, p. 17 - 24
bib details doi

A. Wasicek, O. Höftberger, M. Elshuber, H. Isakovic, A Fleck: Virtual CAN Lines in an Integrated MPSoC Architecture
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISSN: 1555-0885, p. 158 - 165
bib details doi

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions using SysML
Forum on specification & Design Languages (FDL), Munich, Germany; in: Proceedings of the Forum on Specification & Design Languages (FDL 2014), 2014
bib details

S. Kandl, J. Forey: Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award)
Seventh International Conference on Dependability (DEPEND 2014), Lisbon, Portugal; in: Proceedings of the Seventh International Conference on Dependability (DEPEND 2014), 2014, ISBN: 978-1-61208-378-0
bib details

C. Kloimüllner, P. Papazek, B. Hu, G. Raidl: Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case.
Evolutionary Computation in Combinatorial Optimization (EvoCOP), Granada; in: Evolutionary Computation in Combinatorial Optimization, C. Blum, G. Ochoa (ed.); Springer Berlin Heidelberg, 8600 (2014), ISBN: 978-3-662-44319-4, p. 73 - 84
bib details doi pdf

P. Papazek, C. Kloimüllner, B. Hu, G. Raidl: Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid.
Parallel Problem solving from Nature - PPSN XIII, Ljubljana; in: Parallel Problem Solving from nature - PPSN XIII, T. Bartz - Beielstein, J. Branke, B. Filipic, J. Smith (ed.); Lecture Notes in Computer Science, Springer International Publishing, 8672 (2014), ISBN: 978-3-319-10761-5, p. 792 - 801
bib details doi pdf

D. Prokesch, B. Huber, P. Puschner: Towards Automated Generation of Time-Predictable Code
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; in: 14th International Workshop on Worst-Case Execution Time Analysis, Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9, p. 103 - 112
bib details doi pdf

S. Hunold, A. Carpen-Amarie, J. Träff: Reproducible MPI Micro-Benchmarking Isn´t As Easy As You Think (Best Paper Award)
21st European MPI Users' Group Meeting, EuroMPI/ASIA 2014, Kyoto, Japan; in: Proceedings of the 21st European MPI Users' Group Meeting, J. Dongarra, Y. Ishikawa, A. Hori (ed.); ACM, New York, NY, USA (2014), ISBN: 978-1-4503-2875-3, p. 69 - 76
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 >   >>