Name Card

Full name Familienname, Vorname
Gabmeyer, Sebastian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-15 of 15 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti A Feature-Based Classification of Formal Verification Techniques for Software ModelsArtikel Article 2019
2Gabmeyer Sebastian - 2015 - New model checking techniques for software systems...pdf.jpgGabmeyer, Sebastian New model checking techniques for software systems modeled with graphs and graph transformationsThesis Hochschulschrift 2015
3Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsKonferenzbeitrag Inproceedings 2014
4Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina MocOCL: A Model Checker for CTL-Extended OCL SpecificationsBericht Report2014
5Gabmeyer, Sebastian Quality Assurance in MBE Back and ForthKonferenzbeitrag Inproceedings 2014
6Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Feature-Based Classification of Formal Verification Techniques for Software ModelsBericht Report2014
7Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsBericht Report2014
8Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Classification of Model Checking-Based Verification Approaches for Software ModelsKonferenzbeitrag Inproceedings 2013
9Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013
10Gabmeyer, Sebastian Formal verification techniques for model transformations specified by-demonstrationKonferenzbeitrag Inproceedings 2012
11Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina On Formalizing EMF Modeling Operations with Graph TransformationsKonferenzbeitrag Inproceedings 2012
12Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
13Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
14Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2011
15Gabmeyer, Sebastian Formalization of the Operation Recorder based on graph transformation theoryThesis Hochschulschrift2011