• The Computer Art of Mason's Mark Design with VanDeGraphGenerator 

  Buch

  Frühwirth, Thom (Universität Ulm, 2018-07-30)

  
  

• Study Design Template for Identifying Usability Issues in Graphical Modeling Tools 

  Beitrag zu einer Konferenz

  Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias; Rukzio, Enrico (Universität Ulm, 2018)

  
  

• Blended Modelling - What, why and how 

  Beitrag zu einer Konferenz

  Ciccozzi, Federico; Tichy, Matthias; Vangheluwe, Hans; Weyns, Danny (Universität Ulm, 2019)

  
  

• Verlässliche Software im 21. Jahrhundert 

  Wissenschaftlicher Artikel

  Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan (Universität Ulm, 2018)

  
  

• Insights for Improving Diagram Editing Gained from an Empirical Study 

  Beitrag zu einer Konferenz

  Stegmaier, Michael; Raschke, Alexander; Tichy, Matthias; Meßner, Eva-Maria; Hajian, Sara; Feldengut, Anna (Universität Ulm, 2019)

  
  

• A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations 

  Beitrag zu einer Konferenz

  Tichy, Matthias; Ege, Florian (Universität Ulm, 2019)

  
  

• A Hybrid Editor for Fast Robot Mission Prototyping 

  Beitrag zu einer Konferenz

  Tichy, Matthias; Witte, Thomas (Universität Ulm, 2019)

  
  

• Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking 

  Beitrag zu einer Konferenz

  Raschke, Alexander (Universität Ulm, 2009)

  
  

• Introducing Aspect-Oriented Specification for Abstract State Machines 

  Beitrag zu einer Konferenz

  Dausend, Marcel; Raschke, Alexander (Universität Ulm, 2014)

  
  

• An SMT approach to bounded reachability analysis of model programs 

  Beitrag zu einer Konferenz

  Veanes, Margus; Bjorner, Nikolaj; Raschke, Alexander (Universität Ulm, 2008)

  
  

View more