Page Areas:



Additional Information:

ISMVL

Hier den Alternativtext zum Bild eingeben!

In May 2018, we are organizing the 48th IEEE International Symposium on Multiple-Valued Logic in Linz. Find out more at this page!

Contact

Johannes Kepler University Linz
Integrated Circuit and System Design
Univ.-Prof. Dr. Robert Wille
Altenberger Straße 69 | SCP3 0405
4040 Linz | Austria
robert.wille@jku.at
Tel: +43 732 2468 4739

Map and directions to JKU


Position Indication:

Content

Andreas Grimmer

DI Andreas Grimmer

DI Andreas Grimmer (Back to Team Overview)
PhD Student

Science Park 3, 4th floor, room 0417
Phone: +43 732 2468 4746
andreas.grimmer(/\t)jku.at

Tab Navigation appendant to Information

Tutorials

  1. W. Haselmayr, R. Wille, and A. Grimmer. Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for Two-Phase Flow Microfluidics. In Conference on Miniaturized Systems for Chemistry and Life Sciences (MicroTAS), 2017.

Journals

  1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Design of Application-Specific Architectures for Networked Labs-on-Chips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 37(1): 193-202, 2018. PDF
  2. A. Grimmer, J. Clemens, and R. Wille. Formal Methods for Reasoning and Uncertainty Reduction in Evidential Grid Maps. International Journal of Approximate Reasoning (IJA), 87:23-39, 2017. PDF
  3. D. Rabiser, H. Prähofer, P. Grünbacher, M. Petruzelka, K. Eder, F. Angerer, M. Kromoser, A. Grimmer. Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems. Journal on Software and Systems Modeling, 2016.

Conferences

  1. W. Haselmayr, M. Hamidovic, A. Grimmer, and R. Wille. Fast and Flexible Drug Screening Using a Pure Hydrodynamic Droplet Control. In European Conference on MicroFluidics, 2018. PDF
  2. A. Grimmer, B. Klepic, T.-Y. Ho, and R. Wille. Sound Valve-Control for Programmable Microfluidic Devices. In Asia and South Pacific Design Automation Conference (ASP-DAC), 2018. Acceptance rate: 32%. PDF
  3. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. A Discrete Model for Networked Labs-on-Chip: Linking the Physical World to Design Automation. In Design Automation Conference (DAC), 50:1-50:6, 2017. Acceptance rate: 24%. PDF
  4. W. Haselmayr, A. Biral, A. Grimmer, A. Zanella, A. Springer, R. Wille. Addressing Multiple Nodes in Networked Lab-on-a-Chips without Payload Re-injection. In International Conference on Communications (ICC), 1-6, 2017. PDF
  5. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Verification of Networked Labs-on-Chip Architectures. In Design, Automation and Test in Europe (DATE), 1679-1684, 2017. Acceptance rate: 24%. PDF
  6. W. Haselmayr, A. Grimmer, and R. Wille. Stochastic Computing Using Droplet-Based Microfluidics. In International Conference on Computer Aided Systems Theory (EUROCAST), 2017. PDF
  7. A. Grimmer, Q. Wang, H. Yao, T.-Y. Ho, and R. Wille. Close-to-Optimal Placement and Routing for Continuous-Flow Microfluidic Biochips. In Asia and South Pacific Design Automation Conference (ASP-DAC), 530-535, 2017. Acceptance rate: 31%. PDF
  8. O. Keszocze, Z. Li, A. Grimmer, R. Wille, K. Chakrabarty, and R. Drechsler. Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. In Asia and South Pacific Design Automation Conference (ASP-DAC), 708-713, 2017. Acceptance rate: 31%. PDF
  9. A. Grimmer, F. Angerer, H. Prähofer, P. Grünbacher. Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned. In Int'l. Conf. on Software Analysis, Evolution, and Reengineering, 2016.
  10. F. Angerer, A. Grimmer, H. Prähofer, P. Grünbacher. Configuration-Aware Change Impact Analysis. In Int'l. Conf. on Automated Software Engineering, 2015. Acceptance rate: 20%.
  11. F. Angerer, H. Prähofer, D. Lettner, A. Grimmer, P. Grünbacher. Identifying Inactive Code in Product Lines with Configuration-Aware System Dependence Graphs. In Int'l. Conf. on Software Product Lines, 2014.
  12. H. Prähofer, R. Schatz, A. Grimmer. Behavioral Model Synthesis of PLC Programs from Execution Traces. In Emerging Technology and Factory Automation, 2014.

Peer-reviewed Workshops

  1. A. Grimmer, W. Haselmayr, A. Springer, R. Wille. Verifikation von Networked Labs-on-Chip Architekturen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2017.