2008 |
5 | EE | Einar Broch Johnsen,
Ingrid Chieh Yu:
Backwards type analysis of asynchronous method calls.
J. Log. Algebr. Program. 77(1-2): 40-59 (2008) |
2007 |
4 | EE | Anders Moen Hagalisletto,
Joakim Bjørk,
Ingrid Chieh Yu,
På Enger:
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4): 444-460 (2007) |
2006 |
3 | EE | Ingrid Chieh Yu,
Einar Broch Johnsen,
Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol.
FMOODS 2006: 202-217 |
2 | EE | Einar Broch Johnsen,
Olaf Owe,
Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci. 365(1-2): 23-66 (2006) |
2004 |
1 | EE | Anders Moen Hagalisletto,
Ingrid Chieh Yu:
Large scale construction of railroad models from specifications.
SMC (7) 2004: 6212-6219 |