Daniel Bruns
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2013
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CADE | Dynamic Logic with Trace Semantics. | Bernhard Beckert, Daniel Bruns |
| 2013 | LOPSTR | Information Flow in Object-Oriented Software. | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2012 | KI | Formal Semantics of Model Fields in Annotation-Based Specifications. | Bernhard Beckert, Daniel Bruns |
| 2010 | CADE | Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). | Bernhard Beckert, Daniel Bruns, Sarah Grebing |