1. 1999
  2. Experiments in using model checking for schedulability analysis

    de Rooij, R. C. M. 1999 ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 158-164 7 p.

    Research output: Scientific - peer-reviewConference contribution

  3. Experiments with parametric verification of real-time systems

    Lutje Spelberg, R. F., de Rooij, R. C. M. & Toetenel, W. J. 1999 Proceedings. B Werner (ed.). Los Alamitos: IEEE Computer Society, p. 123-131 9 p.

    Research output: Scientific - peer-reviewConference contribution

  4. Extending the susi system with negative knowledge

    Vromans, B., van Vark, R. J., Rueber, B. & Kellner, A. 1999 Eurospeech'99: proceedings. Vol. 6.. Bonn: European Speech Communication Association (ESCA), p. 2667-2670 4 p.

    Research output: Scientific - peer-reviewConference contribution

  5. FLB: Fast Load Balancing for distributed-memory machines

    Radulescu, A. & van Gemund, A. J. C. 1999 Proceedings. D Panda & N Shiratori (eds.). Los Alamitos: IEEE Computer Society, p. 534-541 8 p.

    Research output: Scientific - peer-reviewConference contribution

  6. Flexible and robust control of logistic processes

    Valk, J. M. 1999 Proceedings 5th TRAIL annual congress 1999 Part 3. PHL Bovy (ed.). Delft: Delft University Press, p. 1-12 12 p.

    Research output: Scientific - peer-reviewConference contribution

  7. Formalization of the protein production by means of Petri nets

    Barjis, J. & Barjis, I. 1999 Proceedings. Los Alamitos: IEEE Computer Society, p. 4-9 6 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Four years experience with a course on interdisciplinary teamwork in multimedia design

    Kunst, S., van der Mast, C. A. P. G. & Sodoyer, B. R. 1999 Engineering education: rediscovering the centre: proceedings. A Hagström (ed.). Zurich: Hochschulverlag, p. 147-152 6 p.

    Research output: Scientific - peer-reviewConference contribution

  9. GMDH-based financial forecasting on a hypercube parallel computer

    Water, P. R. & Kerckhoffs, E. J. H. 1999 ESS'99: simulation in industry. G Horton, D Möller & U Rüde (eds.). Delft: Society for Computer Simulation International, p. 586-596 11 p.

    Research output: Scientific - peer-reviewConference contribution

  10. Gebruik van meerdere ontwikkelomgevingen binnen één project: problematiek rond CASE

    Mooten, H. & Dahanayake, A. N. W. 1999 Delft: Faculteit Informatietechnologie en Systemen. 35 p.

    Research output: ProfessionalReport

  11. Gebruik van meerdere ontwikkelomgevingen binnen één project: problematiek rond positionering van produkten

    Mooten, H. & Dahanayake, A. N. W. 1999 Delft: Faculteit Informatietechnologie en Systemen. 11 p.

    Research output: ProfessionalReport