BibSonomy :: author  ::

bookmarks

publications

(11)

• Computing refactorings of state machines.
  Alexander Pretschner and Wolfgang Prenninger Software and System Modeling 6 381-399 (2007)
  to dblp by dblp on 2008-03-31 00:00:00
  | URL | BibTeX  
• One evaluation of model-based testing and its automation.
  Alexander Pretschner and Wolfgang Prenninger and Stefan Wagner and Christian Kühnel and M. Baumgartner and B. Sostawa and R. Zölch and Thomas Stauner ICSE 392-401 (2005)
  to dblp by dblp and 1 other person on 2007-09-10 00:00:00
  | URL | BibTeX  
• Computing Refactorings of Behavior Models.
  Alexander Pretschner and Wolfgang Prenninger MoDELS 126-141 (2005)
  to dblp by dblp on 2005-11-09 00:00:00
  | URL | BibTeX  
• Case Studies.
  Wolfgang Prenninger and Mohammad El-Ramly and Marc Horstmann Model-Based Testing of Reactive Systems 439-461 (2004)
  to dblp by dblp on 2005-10-04 00:00:00
  | URL | BibTeX  
• Abstractions for Model-Based Testing.
  Wolfgang Prenninger and Alexander Pretschner Electr. Notes Theor. Comput. Sci. 116 59-71 (2005)
  to dblp by dblp on 2005-05-13 00:00:00
  | URL | BibTeX  
• Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
  Ingolf Krüger and Wolfgang Prenninger and Robert Sandner and Manfred Broy SoftSpez Final Report 29-47 (2004)
  to dblp by dblp on 2004-09-24 00:00:00
  | URL | BibTeX  
• Broadcast MSCs.
  Ingolf Krüger and Wolfgang Prenninger and Robert Sandner Formal Asp. Comput. 16 194-209 (2004)
  to dblp by dblp on 2004-08-18 00:00:00
  | URL | BibTeX  
• Camera System to Detect the Orientation of a Corner Cube in Real Time.
  Karl M. Filz and Markus Vincze and J. P. Prenninger ICRA 1713-1718 (1995)
  to dblp by dblp on 2004-02-05 00:00:00
  | URL | BibTeX  
• A Laser Tracking System to Measure Position and Orientation of Robot End Effectors Under Motion.
  Markus Vincze and J. P. Prenninger and H. Gander I. J. Robotic Res. 13 305-314 (1994)
  to dblp by dblp on 2004-02-02 00:00:00
  | URL | BibTeX  
• Contactless Position and Orientation Measurement of Robot End-Effectors.
  J. P. Prenninger and Markus Vincze and H. Gander ICRA (1) 180-185 (1993)
  to dblp by dblp on 2002-11-11 00:00:00
  | URL | BibTeX