Daniel Prun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2019
Best venue rank
Journal Published
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. | Pascal Bger, Sbastien Leriche, Daniel Prun |
| 2015 | EICS | Verification of properties of interactive components from their executable code. | Stphane Chatty, Mathieu Magnaudet, Daniel Prun |
| 2015 | EICS | Using the djnn framework to create and validate interactive components iteratively. | Stphanie Rey, Stphane Conversy, Mathieu Magnaudet, Mathieu Poirier, Daniel Prun, Jean-Luc Vinot, Stphane Chatty |