Full name Familienname, Vorname
Gogolla, Martin
 

Results 1-5 of 5 (Search time: 0.002 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
2Van Mierlo, Simon ; Bousse, Erwan ; Vangheluwe, Hans ; Wimmer, Manuel ; Verbrugge, Clark ; Gogolla, Martin ; Tichy, Matthias ; Blouin, Arnaud Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)Konferenzbeitrag Inproceedings2017
3Bill, Robert ; Gogolla, Martin ; Wimmer, Manuel On Leveraging UML/OCL for Model SynchronizationKonferenzbeitrag Inproceedings 2016
4Dubois, Cathrine ; Famelis, Michalis ; Gogolla, Martin ; Nobrega, Leonel ; Ober, Ileana ; Seidl, Martina ; Völter, Markus Research Questions for Validation and Verification in the Context of Model-Based EngineeringKonferenzbeitrag Inproceedings 2013
5Vallecillo, Antonio ; Gogolla, Martin ; Burgueño, Loli ; Wimmer, Manuel ; Hamann, Lars Formal Specification and Testing of Model TransformationsKonferenzbeitrag Inproceedings2012