Sven Weber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SEW | Dogfooding the Formal Semantics of mCRL2. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2011 | FMICS | Transforming SOS Specifications to Linear Processes. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
| 2011 | SLE | Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. | Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy |