Moritz Kleine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | Coordination | CSP as a Coordination Language. | Moritz Kleine |
| 2011 | ICSE | A CSP-based framework for the specification, verification, and implementation of adaptive systems. | Bjrn Bartels, Moritz Kleine |
| 2010 | TASE | Specification, Verification and Implementation of Business Processes Using CSP. | Moritz Kleine, Thomas Gthel |
| 2009 | TASE | Verifying the Implementation of an Operating System Scheduler. | Moritz Kleine, Bjrn Bartels, Thomas Gthel, Sabine Glesner |