Marc Messing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2008–2026
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | The Munich Quantum Software Company: Developing Production-ready Quantum Computing Software. | Robert Wille, Marcel Walter, Simon Toni Hofmann, Patrick Hopf, Marc Messing, Lukas Burgholzer |
| 2008 | DSD | Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. | Robert Wille, Grschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler |