Skip to content

Martin Schweikert

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2007–2007

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2007FDLA Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.Martin Schickel, Martin Oberknig, Martin Schweikert, Hans Eveking
2007MEMOCODEMulti-Level Assertion-Based Design.Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler