Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jan van Katwijk

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hans Toetenel

> Home > Persons > Jan van Katwijk

Publications

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
[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
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. Scalable Comput. Pract. Exp. 2(1) (1999)
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
1997
[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
[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
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
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
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
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)

a service of

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.