Manuel Fähndrich

Available identifiers

zbMath Open fahndrich.manuelMaRDI QIDQ988564

List of research outcomes

Publication	Date of Publication	Type
Statically checkable pattern abstractions	2017-08-21	Paper
Type-base flow analysis	2015-03-17	Paper
Projection merging	2015-03-17	Paper
Checking compatibility of bit sizes in floating point comparison operations	2014-07-22	Paper
Eventually consistent transactions	2012-06-22	Paper
Static contract checking with abstract interpretation	2011-01-21	Paper
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses	2010-08-18	Paper
Static deadlock prevention in dynamically configured communication networks	2009-07-27	Paper
Type-based flow analysis and context-free language reachability	2008-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4779114	2003-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2722056	2001-07-11	Paper
Detecting races in relay ladder logic programs	2000-01-01	Paper

Research outcomes over time

This page was built for person: Manuel Fähndrich