• 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)

  
  

• Glass Unlock: Enhancing Security of Smartphone Unlocking through Leveraging a Private Near-eye Display 

  Beitrag zu einer Konferenz

  Winkler, Christian; Gugenheimer, Jan; De Luca, Alexander; Haas, Gabriel; Speidel, Philipp; Dobbelstein, David; Rukzio, Enrico (Universität Ulm, 2015)

  
  

• Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All 

  Beitrag zu einer Konferenz

  Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; Biundo, Susanne (Universität Ulm, 2015)

  
  

• Onset-related differences in neural substrates of tinnitus-related distress: the anterior cingulate cortex in late-onset tinnitus, and the frontal cortex in early-onset tinnitus 

  Wissenschaftlicher Artikel

  Song, Jae-Jin; Vanneste, Sven; Schlee, Winfried; Van de Heyning, Paul; De Ridder, Dirk (Universität Ulm, 2015)

  
  

• Zur Synthese von echtzeitfähigen flachheitsbasierten Ansteuer- und Regelstrategien unter systematischer Berücksichtigung von Beschränkungen 

  Dissertation

  Joos, Steffen (Universität Ulm, 2020)

  
  

• VIVACE: A framework for the systematic evaluation of variability support in process-aware information systems 

  Wissenschaftlicher Artikel

  Ayora, Clara; Torres, Victoria; Weber, Barbara; Reichert, Manfred; Pelechano, Vicente (Universität Ulm, 2015)

  
  

• A Model Based Motion Planning Framework For Automated Vehicles in Structured Environments 

  Beitrag zu einer Konferenz

  Graf, Maximilian; Speidel, Oliver; Dietmayer, Klaus (Universität Ulm, 2019)

  
  

• A Subjective-Logic-based Reliability Estimation Mechanism for Cooperative Information with Application to IV's Safety 

  Beitrag zu einer Konferenz

  Mueller, Johannes; Gabb, Michael; Buchholz, Michael (Universität Ulm, 2019)

  
  

View more