The SCEAS System
Navigation Menu

Search the dblp DataBase


Jan van Katwijk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sylvia Stuurman, Jan van Katwijk
    Evaluation of Software Architecture for a Control System: A Case Study. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:157-171 [Conf]
  2. Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
    Transformation of UML Specification to XTG. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:247-254 [Conf]
  3. K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Analyzing Schedulability of Astral Specifications using Extended Timed Automata. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1290-1297 [Conf]
  4. Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
    Type Checking BSI/VDM-SL. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:399-425 [Conf]
  5. Nico Plat, Jan van Katwijk, Kees Pronk
    A Case for Structured Analysis/Formal Design. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:81-105 [Conf]
  6. Hans Toetenel, Jan van Katwijk
    Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:547-570 [Conf]
  7. K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Automatic Analysis of Embedded Systems Specified in Astral. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:177-186 [Conf]
  8. K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
    Hybrid specification of control systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:149-0 [Conf]
  9. Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
    Modeling and analysis of complex computer systems-the MTCCS approach. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:423-0 [Conf]
  10. Jan van Katwijk, Eugène Dürr, S. J. Goldsack
    Hybrid Object-Oriented Real-Time Software Development with VDM++. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:17-0 [Conf]
  11. A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma
    SEPDS: A Support Environment for Prototyping Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSI, 1990, pp:652-661 [Conf]
  12. L. Zhang, Jan van Katwijk
    Designing Multi-Processor Real-Time Systems with a Multi-view Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:195-200 [Conf]
  13. John J. Kyaruzi, Jan van Katwijk
    Towards Explicit Representation of Architectural Design Assumptions. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:249-252 [Conf]
  14. John K. Kyaruzi, Jan van Katwijk
    Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:235-242 [Conf]
  15. K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
    Experiences with analysis of formal specifications in Astral. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1997, pp:143-0 [Conf]
  16. K. Brink, Jan van Katwijk, W. J. Toetenel
    Ada 95 as implementation vehicle for formal specifications. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1996, pp:98-105 [Conf]
  17. Jan van Katwijk, W. J. Toetenel
    Comparing formal specifications by measuring. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1995, pp:184-191 [Conf]
  18. B. Noorduin, Jan van Katwijk, Cornelis Pronk
    Gnass: a Gnat-based allocation and scheduling system. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1996, pp:278-285 [Conf]
  19. Ruud C. M. de Rooij, Jan van Katwijk
    An Approach Towards Formal Verification of Object Oriented Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:474-0 [Conf]
  20. Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
    Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:37-52 [Conf]
  21. H. Li, Jan van Katwijk, A. M. Levy
    The Reuse of Software Design and Software Architecture. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:170-177 [Conf]
  22. Sylvia Stuurman, Jan van Katwijk
    On-Line Change Mechanisms. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:80-86 [Conf]
  23. Liesbeth Dusink, Jan van Katwijk
    Reuse Dimensions. [Citation Graph (0, 0)][DBLP]
    SSR, 1995, pp:137-149 [Conf]
  24. Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
    A Timed Automata Semantics for Real-Time UML Specifications. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:88-95 [Conf]
  25. Eugène Dürr, Jan van Katwijk
    VDM++, A Formal Specification Language for OO Designs. [Citation Graph (0, 0)][DBLP]
    TOOLS (7), 1992, pp:63-77 [Conf]
  26. Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
    Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  27. Jan van Katwijk, Hans Toetenel
    Loose Specification of Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1995, v:19, n:1, pp:- [Journal]
  28. Tullio Vardanega, Jan van Katwijk
    Productive engineering of predictable embedded real-time systems: the road to maturity. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:13, pp:745-764 [Journal]
  29. Jan van Katwijk
    Addressing Types and Objects in Ada. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1987, v:17, n:5, pp:319-343 [Journal]
  30. Tullio Vardanega, Jan van Katwijk
    A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:3, pp:235-266 [Journal]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002