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

C. Fiedler, Franz Preyser, W. Kastner: Simulation of RPDEVS Models of Logic Gates
ASIM Workshop STS/GMMS 2019, Braunschweig; in: ASIM Workshop 2019 Simulation Technischer System Grundlagen und Methoden in Modellbildung und Simulation, Arbeitsgemeinschaft Simulation ASIM in der Gesellschaft für Informatik GI, ARGESIM Report 57 (2019), ISBN: 978-3-901608-06-3, p. 129 - 134
bib details doi pdf

F. Kamhuber, T. Sobottka, B. Heinzl, W. Sihn: An Efficient Multi-Objective Hybrid Simheuristic Approach for Advanced Rolling Horizon Production Planning
Winter Simulation Conference 2019 (WSC2019), Maryland, USA; in: Proceedings of the 2019 Winter Simulation Conference, 2019
bib details

G. Steindl, B. Heinzl, W. Kastner: A Novel Ontology-Based Smart Service Architecture for Data-Driven Model Development
Eleventh International Conference on Information, Process, and Knowledge Management (eKNOW 2019), Athens, Greece; in: Proceedings of the Eleventh International Conference on Information, Process, and Knowledge Management (eKNOW 2019), 2019
bib details

Franz Preyser, B. Heinzl, W. Kastner: RPDEVS Abstract Simulator
2019 Workshop der ASIM-Fachgruppen STS und GMMS, Braunschweig; in: Tagungsband 2019 Workshop der ASIM-Fachgruppen STS und GMMS, ARGESIM Verlag Wien, 2019, ISBN: 978-3-901608-06-3, p. 141 - 146
bib details doi

A. Schöbel, C. Schöbel, J. Blieberger, M. Stefan: Benchmark of delays simulated by OpenTrack and calculated by Kronecker Algebra
Science and Traffic Development (ZIRP 2019), Opatija; in: Proceedings of the International Scientific Conference "The Science and Development of Transport", Faculty of Transport and Traffic SciencesUniversity of Zagreb, 2019, p. 371 - 375
bib details pdf

H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger: CPS/IoT Ecosystem: Indoor Vertical Farming System
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), IEEE Xplore, 2019, ISSN: 0747-668x, p. 47 - 52
bib details doi pdf

H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic: Sensyml: Simulation Environment for large-scale IoT Applications
45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; in: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, IEEE Xplore, 2019, ISBN: 978-1-7281-4878-6, p. 3024 - 3030
bib details doi pdf

C. Hirsch, E. Bartocci, R. Grosu: Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), 2019, ISSN: 0747-668x, p. 97 - 102
bib details doi

I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2019, p. 357 - 374
bib details pdf

N. Bertrand, I. Konnov, M. Lazić, J. Widder: Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
30th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019, p. 33:1 - 33:15
bib details doi pdf

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta: Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
2019 IEEE Conference on Decision and Control (CDC), Nice, France; in: Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control, IEEE, 2019
bib details pdf

E. Bartocci, D. Beyer, P. Black et al.: TOOLympics 2019: An Overview of Competitions in Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 3 - 24
bib details doi pdf

E. Bartocci, Y. Falcone, G. Reger (invited): International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 41 - 49
bib details doi pdf

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic (invited): Automatic Failure Explanation in CPS Models
17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; in: Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods, 11724 (2019), p. 69 - 86
bib details doi pdf

H. Kong, E. Bartocci, Y. Jiang, T. Henzinger (invited): Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; in: Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750 (2019), p. 123 - 141
bib details doi pdf

P. Piho, F. Margetiny, E. Bartocci, R. Ribchester, J. Hillston (invited): Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting
17th International Conference on Computational Methods in Systems Biology, Trieste; in: Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, 11773 (2019), p. 120 - 139
bib details doi pdf

E. Bartocci, L. Kovacs, S. Stankovic: Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; in: Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, 11781 (2019), p. 255 - 276
bib details doi pdf

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timing and Power Analysis
2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; in: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), 2019, ISBN: 978-1-7281-2103-1, p. 1 - 8
bib details doi

J. Maier, M Függer, T. Nowak, U. Schmid: Transistor-Level Analysis of Dynamic Delay Models
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 76 - 85
bib details doi

J. Maier, A. Steininger: Efficient Metastability Characterization for Schmitt-Triggers
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 124 - 133
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 >   >>