Name Card

Full name Familienname, Vorname
Bill, Robert
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bill Robert - 2020 - Model integration by hybrid model virtualization.pdf.jpgBill, Robert Model integration by hybrid model virtualizationThesis Hochschulschrift 2020
2Bill, Robert ; Fleck, Martin ; Troya, Javier ; Mayerhofer, Tanja ; Wimmer, Manuel A Local and Global Tour on MOMoTArtikel Article 2019
3Bill, Robert ; Neubauer, Patrick ; Wimmer, Manuel Virtual Textual Model Composition for Supporting Versioning and Aspect-OrientationKonferenzbeitrag Inproceedings 2017
4Bill, Robert ; Mazak, Alexandra ; Wimmer, Manuel ; Vogel-Heuser, Birgit On the Need for Temporal Model RepositoriesKonferenzbeitrag Inproceedings2017
5Neubauer, Patrick ; Bill, Robert ; Wimmer, Manuel ; Mayerhofer, Tanja Automated generation of consistency-achieving model editorsKonferenzbeitrag Inproceedings 2017
6Neubauer, Patrick ; Bill, Robert ; Wimmer, Manuel Modernizing Domain-Specific Languages with XMLText and IntellEditKonferenzbeitrag Inproceedings 2017
7Bill, Robert ; Gogolla, Martin ; Wimmer, Manuel On Leveraging UML/OCL for Model SynchronizationKonferenzbeitrag Inproceedings 2016
8Bill, Robert ; Wimmer, Manuel Programming against Multi-Version Metamodels: A Model Differencing and Virtualization ApproachKonferenzbeitrag Inproceedings 2015
9Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsKonferenzbeitrag Inproceedings 2014
10Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina MocOCL: A Model Checker for CTL-Extended OCL SpecificationsBericht Report2014
11Bill, Robert ; Steyskal, Simon ; Wimmer, Manuel ; Kappel, Gerti On Synergies between Model Transformations and Semantic Web TechnologiesKonferenzbeitrag Inproceedings 2014
12Bill Robert - 2014 - Towards software model checking in the context of...pdf.jpgBill, Robert Towards software model checking in the context of model-driven engineeringThesis Hochschulschrift 2014
13Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsBericht Report2014
14Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013