Planned Publications
From Wiki.overturetool.org
Potential Outlets (conferences, Journals, special issues)
Please record the submission deadline and event dates explicitly, then just give a link to to the outlet.
- 21 January submission: ABZ VDM Track [1]
- 17 February submission: FormSERA [2]
- 5 March submission: FM 2012 [3]
- 16 March submission: COMETS 2012 [4]
- 4 April submission: FMICS [5]
- 7 May submission: 10th Overture Workshop [6]
Planned (note the lead author and approximate date)
- DESTECS paper on fault modelling in VDM and in co-sim framework (John and Ken, 1st half of 2012)
- VDMCore semantics (Peter, Claus, Anne Haxthausen, Kenneth and Erik for ??).
- Lessons learned from AST restructuring (Kenneth, Augusto, Peter for ??)
In preparation
- Paper path case study (Marcel & Jozef) for Journal of Systems and Software, first draft end of September.
- VDM-RT with dynamic reconfiguration extension (Claus Ballegaard and Peter, for FM'12)
- Comparison of DESTECS and Ptolomy (Sune, Ken and post-doc from Berkley for ACM Transactions on Modeling and Computer Simulation)
- DESTECS Co-simulation semantics (Kenneth, Joey, Peter and Angelika Mader, for FM'12)
In review
- Combining VDM with Executable Code (Claus, Kenneth and Peter, ultimo 2011 FOR ABZ)
- DE-first collective transport (Ken, for ABZ)
- Using Executable VDM++ Models in an Industrial Application (Sune, for ABZ)
- Using VDM in a Co-Simulation Setting for an Industrial Conveyor System (Kim Bjerge and Peter, for IFM'12)
In press
- Interpreter and Deterministic Scheduling (Kenneth, with Nick and Peter for the ICFEM 2011 conference)
- DESTECS project introduction (Peter, Jan Broenink, Marcel, et al.), awaiting entry into ACM Digital Library
- DESTECS paper on "DE-first" co-simulation development (John, Peter, Ken, Marcel) accepted for MSCS. Draft available as media:MSCSpaperOvertureTRDraft.pdf
- DESTECS paper on fault modelling and co-simulation (Ken, John, Carl) accepted for ERCIM/EWICS/Cyberphysical Systems Workshop at SAFECOMP 2011. Draft available as media:Collaborative_comodelling_tr.pdf, and will be Newcastle TR 1280. The papers will be published afterwards in ERCIM Proceedings.
Recently Appeared (versions where possible to go on the Overture Publications Page)
Papers are listed here only until they appear on the Overture Publications page.
- Japanese Translation of VDM++ Book (Sako)
- 2 VDM++ application papers (Kurita and Shin) for SEC journal in Japan
