Travelled to:1 × Czech Republic
1 × Germany
1 × Sweden
1 × United Kingdom
Collaborated with:∅ M.Seidl R.Bill P.Kaufmann P.Brosch U.Egly G.Kappel H.Tompits M.Widl M.Wimmer
Talks about:model (2) transform (1) techniqu (1) scenario (1) demonstr (1) specifi (1) qualiti (1) diagram (1) toward (1) specif (1)
Person: Sebastian Gabmeyer
DBLP: Gabmeyer:Sebastian
Contributed to:
2014
2014
20122012Wrote 4 papers:
- SLE-2014-BillGKS #model checking #ocl #specification
- Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
- TAP-2014-Gabmeyer #assurance #quality
- Quality Assurance in MBE Back and Forth (SG), pp. 78–81.
- ASE-2012-Gabmeyer #model transformation #verification
- Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
- TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
- Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.