Collaborated with:F.Erata B.Tekinerdogan A.Goknil C.Gardent B.Gyawali A.Shimorina Y.Lussaud A.Monceaux
Talks about:model (2) synchron (1) platform (1) document (1) configur (1) writer (1) semant (1) reason (1) formal (1) trace (1)
Person: Geylani Kardas
DBLP: Kardas:Geylani
Contributed to:
2017
2017Wrote 2 papers:
- ASE-2017-ErataGGSLTKM #documentation #framework #named #platform
- ModelWriter: text and model-synchronized document engineering platform (FE, CG, BG, AS, YL, BT, GK, AM), pp. 907–912.
- ESEC-FSE-2017-ErataGTK #automation #configuration management #reasoning #semantics
- A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.