Daniel Plagge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2016
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SEFM | LTL Model Checking under Fairness in ProB. | Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge |
| 2012 | FM | Validating B, Z and TLA + Using ProB and Kodkod. | Daniel Plagge, Michael Leuschel |
| 2011 | ICFEM | On Fitting a Formal Method into Practice. | Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lsch, Daniel Plagge |
| 2009 | FM | Automated Property Verification for Large Scale B Models. | Michael Leuschel, Jrme Falampin, Fabian Fritz, Daniel Plagge |
| 2007 | IFM | Validating Z Specifications Using the ProBAnimator and Model Checker. | Daniel Plagge, Michael Leuschel |
| 2007 | ISoLA | Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. | Michael Leuschel, Daniel Plagge |