Bjrn Metzler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2023
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICCBR | Trust me, I am an Expert: Predicting the Credibility of Experts for Statements. | Markus Nilles, Lorik Dumani, Bjrn Metzler, Ralf Schenkel |
| 2008 | ICFEM | Decomposition for Compositional Verification. | Bjrn Metzler, Heike Wehrheim, Daniel Wonisch |
| 2007 | IFM | Decomposing Integrated Specifications for Verification. | Bjrn Metzler |