J. van Katwijk | TU Delft Repository

Jv

J. van Katwijk

Book chapter (4)

Conference paper (20)

Journal article (5)

Report (1)

30 records found

1

An approach to evaluate real-time software architectures for safety-critical systems

Conference paper (2003) - J. van Katwijk (author), B Sandén (author), J Zalewski (author)

A new benchmark for distributed real-time systems: some experimental results

Conference paper (2003) - D Guo (author), J. van Katwijk (author), J Zalewski (author)

A timed automata semantics for Real-Time UML specifications

Conference paper (2001) - WJ Toetenel (author), E Roubtsova (author), J. van Katwijk (author)

Practice of real-time software architecture: Collider, satellites, and tanks combined

Conference paper (2001) - J. van Katwijk (author), JJ Schwartz (author), J Zalewski (author)

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

Book chapter (2001) - J. van Katwijk (author), et. al. (author)

Parallel and distributed real-time systems: an introduction

Book chapter (2001) - J. van Katwijk (author), J Zalewski (author)

Transformation of UML specification to XTG

Conference paper (2001) - E Roubtsova (author), J. van Katwijk (author), RCM de Rooij (author), WJ Toetenel (author)

GNSS extensions: intermediate interference robustness report deliverable D7 for shine

Report (2001) - AJRM Coenen (author), PB Ober (author), H Reijmers (author), J. van Katwijk (author)

Specification of real-time systems in UML

Journal article (2000) - E Roubtsova (author), J. van Katwijk (author), WJ Toetenel (author), C. Pronk (author), RCM de Rooij (author)

Formal specification of a safety shell in real-time control practice

Conference paper (2000) - A-E-K Sahraoui (author), E Anderson (author), J. van Katwijk (author), J Zalewski (author)

Towards explicit representation of architectural design assumption

Conference paper (2000) - JK Kyaruzi (author), J. van Katwijk (author)

Specification and verification of a safty shell with statcharts and extended timed graphs

Conference paper (2000) - J. van Katwijk (author), WJ Toetenel (author), AEK Sahaoui (author), E Anderson (author), J Zalewski (author)

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

Journal article (2000) - J. van Katwijk (author), RCM de Rooij (author), S Stuurman (author), WJ Toetenel (author)

Parallel and distributed real-time systems: an introduction

Journal article (2000) - J. van Katwijk (author), J Zalewski (author)

Some observations on teaching and industry at Delft University of Technology

Conference paper (2000) - J. van Katwijk (author)

ACL: an approach to formal verification of real time systems

Conference paper (2000) - RCM de Rooij (author), RF Lutje Spelberg (author), J. van Katwijk (author)

Concerns on architecture-centered software development: a survey

Journal article (2000) - JK Kyaruzi (author), J. van Katwijk (author)

Empirical evaluation of ontological commitments for ADLs

Conference paper (2000) - JK Kyaruzi (author), J. van Katwijk (author)

Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems

Conference paper (2000) - W Gerhardt-Hackl (author), J. van Katwijk (author), E Essenius (author)

Industrial concerns for architecture-centered software development

Conference paper (2000) - JK Kyaruzi (author), J. van Katwijk (author)