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

S. Bogomolov, D. Donze, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle: Abstraction-Based Guided Search for Hybrid Systems
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), p. 117 - 134
bib details doi

H. Isakovic, A. Wasicek: Secure Channels in an Integrated MPSoC Architecture
39th Annual Conference of the IEEE Industrial Electronics Society, Wien; in: Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE, 2013, ISSN: 1553-572x, p. 4488 - 4493
bib details doi pdf

G. Tzenakis, A. Papatriantafyllou, H. Vandierendonck, P. Pratikakis, D. Nikolopoulos: BDDT: Block-Level Dynamic Dependence Analysis for Task-Based Parallelism
10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, Stockholm, Sweden; in: Advanced Parallel Processing Technologies, 10th International Symposium, APPT 2013, Revised Selected Papers, C. Wu, A. Cohen (ed.); Springer, LNCS 8299 (2013), ISBN: 978-3-642-45292-5, p. 17 - 31
bib details doi

E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: On the Robustness of Temporal Properties for Stochastic Models
HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; in: Proceedings of the Second International Workshop on Hybrid Systems and Biology, Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 2075-2180, p. 3 - 19
bib details doi pdf

M. Wimmer, M. Pöter, J. Träff: The Pheet Task-Scheduling Framework on the Intel(R) Xeon Phi(TM)Coprocessor and other Multicore Architectures
Workshop on Multithreaded Architectures and Applications (MTAAP 2013) in conjunction with IPDPS 2013, Boston, Massachusetts, USA; in: Proceedings of the 2013 IEEE 27th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum, IEEE Computer Society, 2013, ISBN: 978-0-7695-4979-8, p. 1587 - 1596
bib details doi

M. Volcic, A. Schöbel, J. Blieberger: Kronecker Algebra based Modelling of Railway Operation
MT-ITS, Dresden; in: Proceedings of the MT-ITS 2013, TUDpress, Verkehrstelematik 3 (2013), ISBN: 978-3-944331-34-8, p. 345 - 356
bib details

M. Kofler, F. Iglesias Vazquez, W. Kastner: An ontology for representation of user habits and building context in future smart homes
20th Workshop on Intelligent Computing in Engineering, Vienna; in: Proceedings EG-ICE 2013, 2013, p. 1 - 10
bib details

F. Iglesias Vazquez, W. Kastner: A Global Approach of Habit Profiles for Smart Home Control
13th International Conference of the International Building Performance Simulation Association, Chambéry, France; in: Proceedings BS2013, 2013; 8 pages
bib details pdf

S. Kandl, S. Chandrashekar: Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Proceedings, 2013
bib details pdf

M. Wimmer: Wait-free Hyperobjects for Task-parallel Programming Systems
IEEE 27th International Symposium on Parallel and Distributed Processing (IPDPS 2013), Boston, Massachusetts, USA; in: Proceedings of the IEEE 27th International Symposium on Parallel and Distributed Processing (IPDPS 2013), IEEE Computer Society, 2013, ISBN: 978-1-4673-6066-1, p. 803 - 812
bib details doi

E. Bartocci, L. Bortolussi, L. Nenzi: A temporal logic approach to modular design of synthetic biological circuits
CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; in: Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, LNCS/Springer, vol. 8130 (2013), ISBN: 978-3-642-40707-9, p. 164 - 178
bib details doi

K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu: Runtime Verification with Particle Filtering
RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; in: Proc. of RV 2013, the Fourth International Conference on Runtime Verification, LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4, p. 149 - 166
bib details doi

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra as a Frame for Optimisation of Railway Operation
21st International Scientific Conference - Transport 2013, Sofia; in: Mechanics Transport Communications, Mechanics Transport Communications/VTU Print, 11/3/Sofia (2013), ISSN: 1312-3823, p. 57 - 63
bib details

O. Höftberger, R. Obermaisser: Ontology-based Runtime Reconfiguration of Distributed Embedded Real-Time Systems
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details doi pdf

M. Elshuber, S. Kandl, P. Puschner: Improving System-Level Verification of SystemC Models with SPIN
1st French Singaporean Workshop on Formal Methods and Applications, Singapore; in: 1st French Singaporean Workshop on Formal Methods and Applications, 2013, ISBN: 978-3-939897-56-9; 6 pages
bib details doi

B. Huber, D. Prokesch, P. Puschner: Combined WCET analysis of bitcode and machine code using control-flow relation graphs
Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; in: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, The Association for Computing Machinery, 2013, ISBN: 978-1-4503-2085-6, p. 163 - 172
bib details doi

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0, p. 209 - 226
bib details doi pdf

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra and its Broad Applications in Railway Systems
EURO-ZEL 2013, Zilina; in: EURO-ZEL 2013: Recent Challenges for European Railways, University of Zilina, Zilina (2013), ISBN: 978-80-263-0380-0, p. 275 - 282
bib details

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Work-stealing with Configurable Scheduling Strategies
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China; in: Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, ACM, 2013, ISBN: 978-1-4503-1922-5, p. 315 - 316
bib details doi

T. Polzer, A. Steininger, J. Lechner: Muller C-Element Metastability Containment
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; in: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2, p. 103 - 112
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 >   >>