4 papers:
- ASE-2011-MehlitzTU #model checking #named #user interface
- JPF-AWT: Model checking GUI applications (PCM, OT, MU), pp. 584–587.
- ICSE-2006-CanforaSZ #java
- Developing and executing java AWT applications on limited devices with TCPTE (GC, GDS, EZ), pp. 787–790.
- WCRE-2004-CanforaSZ #java #migration #towards
- Toward Seamless Migration of Java AWT-Based Applications to Personal Wireless Devices (GC, GDS, EZ), pp. 38–47.
- HT-2001-Wideroos #process #tool support
- Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool — work in progress (KW), pp. 35–36.