default search action

combined dblp search
author search
venue search
publication search

ask others

Jan van Katwijk

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2001
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/RoubtsovaKRT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/RoubtsovaKRT01
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel:
Transformation of UML Specification to XTG. Ershov Memorial Conference 2001: 247-254
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/ToetenelRK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/ToetenelRK01
Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk:
A Timed Automata Semantics for Real-Time UML Specifications. HCC 2001: 88-95
2000
[j14]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/jid/KyaruziK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jid/KyaruziK00
John J. Kyaruzi, Jan van Katwijk:
Concerns on Architecture-Centered Software Development: a Survey. Trans. SDPS 4(3): 13-35 (2000)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KyaruziK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KyaruziK00
John J. Kyaruzi, Jan van Katwijk:
Towards Explicit Representation of Architectural Design Assumptions. ASE 2000: 249-252
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KatwijkTSAZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KatwijkTSAZ00
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. SAFECOMP 2000: 37-52
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RoubtsovaKTPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RoubtsovaKTPR02
Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij:
Specification of Real-Time Systems in UML. MTCS 2000: 293-305

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j13]
- view
  - electronic edition @ scpe.org
  - no references & citations available
- export record
  dblp key:
  - journals/scpe/KatwijkRST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/KatwijkRST99
Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel:
Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. Parallel Distributed Comput. Pract. 2(1) (1999)
[j12]
- view
  - electronic edition @ scpe.org
  - no references & citations available
- export record
  dblp key:
  - journals/scpe/KatwijkZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/KatwijkZ99
Jan van Katwijk, Janusz Zalewski:
Parallel and Distributed Real-Time Systems: An Introduction. Parallel Distributed Comput. Pract. 2(1) (1999)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/VardanegaK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/VardanegaK99
Tullio Vardanega, Jan van Katwijk:
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Softw. Pract. Exp. 29(3): 235-266 (1999)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KyaruziK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KyaruziK99
John J. Kyaruzi, Jan van Katwijk:
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE 1999: 235-242
[c27]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/parco/KatwijkPZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parco/KatwijkPZ99
Jan van Katwijk, Yun Peng, Janusz Zalewski:
Performance comparison of four software architectures for distributed computations. PARCO 1999: 582-589
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/RooijK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/RooijK99
Ruud C. M. de Rooij, Jan van Katwijk:
An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA 1999: 474-
1998
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/VardanegaK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/VardanegaK98
Tullio Vardanega, Jan van Katwijk:
Productive engineering of predictable embedded real-time systems: the road to maturity. Inf. Softw. Technol. 40(13): 745-764 (1998)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/BrinkBKST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/BrinkBKST98
Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel:
Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) 1998: 177-186
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/StuurmanK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/StuurmanK98
Sylvia Stuurman, Jan van Katwijk:
On-Line Change Mechanisms. SIGSOFT FSE 1998: 80-86
1997
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/StuurmanK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/StuurmanK97
Sylvia Stuurman, Jan van Katwijk:
Evaluation of Software Architecture for a Control System: A Case Study. COORDINATION 1997: 157-171
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/BrinkKST97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/BrinkKST97
Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel:
Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par 1997: 1290-1297
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KatwijkDG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KatwijkDG97
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺. ICFEM 1997: 17-27
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/BrinkKST97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/BrinkKST97
Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel:
Experiences with analysis of formal specifications in Astral. RTCSA 1997: 143-
1996
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/BrinkBKT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/BrinkBKT96
Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel:
Closed World Specification of Embedded Real-Time Controllers. RTS 1996: 194-199
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ToetenelSSK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ToetenelSSK96
Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS 1996: 423-
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/BrinkKT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/BrinkKT96
Klaas Brink, Jan van Katwijk, W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications. RTCSA 1996: 98-105
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/NoorduinKP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/NoorduinKP96
B. Noorduin, Jan van Katwijk, Cornelis Pronk:
Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/DurrGK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/DurrGK96
Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk:
Real Time Formal Specification using VDM++. SBES 1996: 57-72
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/words/KatwijkDG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/KatwijkDG96
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Real time formal specification using VDM⁺⁺. WORDS 1996: 17-24
1995
[j9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/informaticaSI/KatwijkT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/KatwijkT95
Jan van Katwijk, Hans Toetenel:
Loose Specification of Real Time Systems. Informatica (Slovenia) 19(1) (1995)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BrinkBKT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BrinkBKT95
Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel:
Hybrid specification of control systems. ICECCS 1995: 149-
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/KatwijkT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/KatwijkT95
Jan van Katwijk, W. J. Toetenel:
Comparing formal specifications by measuring. RTCSA 1995: 184-191
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ssr/DusinkK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssr/DusinkK95
Liesbeth M. Dusink, Jan van Katwijk:
Reuse Dimensions. SSR 1995: 137-149
1994
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip/ZhangK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/ZhangK94
L. Zhang, Jan van Katwijk:
Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) 1994: 195-200
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/ZhangK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/ZhangK94
L. Zhang, Jan van Katwijk:
Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. SBES 1994: 223-250
1993
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/BrinkHK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/BrinkHK93
Klaas Brink, Ronald Huijsman, Jan van Katwijk:
SEAL A simple language for prototyping action-event specifications. Microprocess. Microprogramming 38(1-5): 87-95 (1993)
1992
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/PlatKT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/PlatKT92
Nico Plat, Jan van Katwijk, Hans Toetenel:
Application and benefits of formal methods in software development. Softw. Eng. J. 7(5): 335-346 (1992)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/ToetenelK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/ToetenelK92
Hans Toetenel, Jan van Katwijk:
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT 1992: 547-570
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/LiKL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LiKL92
H. Li, Jan van Katwijk, A. M. Levy:
The Reuse of Software Design and Software Architecture. SEKE 1992: 170-177
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tools/DurrK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/DurrK92
Eugène Dürr, Jan van Katwijk:
VDM++, A Formal Specification Language for OO Designs. TOOLS (7) 1992: 63-77
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/1992
Jan van Katwijk:
Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Lecture Notes in Computer Science 603, Springer 1992, ISBN 3-540-55585-4 [contents]
1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PlatKP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PlatKP91
Nico Plat, Jan van Katwijk, Kees Pronk:
A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105
1990
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PlatHKOPT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PlatHKOPT90
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel:
Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsd/ToetenelKP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsd/ToetenelKP90
Hans Toetenel, Jan van Katwijk, Nico Plat:
Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development 1990: 118-127
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsi/LevyKPT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsi/LevyKPT90
A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma:
SEPDS: A Support Environment for Prototyping Distributed Systems. ICSI 1990: 652-661

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/LevyGK89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/LevyGK89
A. M. Levy, Adrianus J. van de Goor, Jan van Katwijk:
Distributed system design using Ada as a tool for prototyping. Microprocessing and Microprogramming 27(1-5): 221-230 (1989)
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/ToetenelK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/ToetenelK88
W. J. Toetenel, Jan van Katwijk:
Asynchronous transfer of control in Ada. IRTAW 1988: 65-69
1987
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/HuijsmanKT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/HuijsmanKT87
Ronald Huijsman, Jan van Katwijk, W. J. Toetenel:
Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming 21(1-5): 301-309 (1987)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/Katwijk87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/Katwijk87
Jan van Katwijk:
Addressing Types and Objects in Ada. Softw. Pract. Exp. 17(5): 319-343 (1987)
1984
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/KatwijkS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/KatwijkS84
Jan van Katwijk, J. van Someren:
The doublet model: run-time model and implementation of Ada types. ACM SIGPLAN Notices 19(1): 78-92 (1984)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Katwijk84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Katwijk84
Jan van Katwijk:
Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler. ACM SIGPLAN Notices 19(9): 37-48 (1984)
1983
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Katwijk83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Katwijk83
Jan van Katwijk:
A preprocessor for YACC or a poor man's approach to parsing attributed grammars. ACM SIGPLAN Notices 18(10): 12-15 (1983)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.