Andreas Grimmer

Orcid: 0000-0002-2297-7328

According to our database1, Andreas Grimmer authored at least 23 papers between 2014 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Robustness Analysis for Droplet-Based Microfluidic Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019
Automated Dimensioning of Networked Labs-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization.
Nano Commun. Networks, 2019

Advanced Simulation of Droplet Microfluidics.
ACM J. Emerg. Technol. Comput. Syst., 2019

Change impact analysis for maintenance and evolution of variable software systems.
Autom. Softw. Eng., 2019

Exact Stimuli Minimization for Simulation-Based Verification.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

2018
Design of Application-Specific Architectures for Networked Labs-on-Chips.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Multi-purpose, multi-level feature modeling of large-scale industrial software systems.
Softw. Syst. Model., 2018

Comparison of switching principles in microfluidic bus networks.
Proceedings of the 5th ACM International Conference on Nanoscale Computing and Communication, 2018

Sound valve-control for programmable microfluidic devices.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017
Formal methods for reasoning and uncertainty reduction in evidential grid maps.
Int. J. Approx. Reason., 2017

Verifikation von Networked Labs-on-Chip Architekturen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Addressing multiple nodes in networked labs-on-chips without payload re-injection.
Proceedings of the IEEE International Conference on Communications, 2017

Stochastic Computing Using Droplet-Based Microfluidics.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

Verification of networked Labs-on-Chip architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation.
Proceedings of the 54th Annual Design Automation Conference, 2017

Exact routing for micro-electrode-dot-array digital microfluidic biochips.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Close-to-optimal placement and routing for continuous-flow microfluidic biochips.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016
Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

2015
Configuration-Aware Change Impact Analysis (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014
Identifying inactive code in product lines with configuration-aware system dependence graphs.
Proceedings of the 18th International Software Product Line Conference, 2014

Behavioral model synthesis of PLC programs from execution traces.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014


  Loading...