Skip to content

Michael Ries

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2009–2018

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2018MODELSMathematical Programming for Anomaly Analysis of Clafer Models.Markus Weckesser, Malte Lochau, Michael Ries, Andy Schrr
2017OOPSLATowards complete consistency checks of Clafer models.Markus Weckesser, Malte Lochau, Michael Ries, Andy Schrr
2009ETFAAutomatic Device Configuration for Ethernet Ring Redundancy Protocols.Oliver Kleineberg, Michael Ries, Markus Rentschler, Max Felser