Jan van Katwijk

According to our database, Jan van Katwijk authored at least 47 papers between 1983 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

A Timed Automata Semantics for Real-Time UML Specifications.

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Transformation of UML Specification to XTG.

Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the Perspectives of System Informatics, 2001

2000

Concerns on Architecture-Centered Software Development: a Survey.

John J. Kyaruzi, Jan van Katwijk

Trans. SDPS, 2000

Specification of Real-Time Systems in UML.

Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.

Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski

Proceedings of the Computer Safety, 2000

Towards Explicit Representation of Architectural Design Assumptions.

John J. Kyaruzi, Jan van Katwijk

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems.

Tullio Vardanega, Jan van Katwijk

Softw. Pract. Exp., 1999

Parallel and Distributed Real-Time Systems: An Introduction.

Jan van Katwijk, Janusz Zalewski

Scalable Comput. Pract. Exp., 1999

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.

Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel

Scalable Comput. Pract. Exp., 1999

An Approach Towards Formal Verification of Object Oriented Real-Time Systems.

Ruud C. M. de Rooij, Jan van Katwijk

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Performance comparison of four software architectures for distributed computations.

Jan van Katwijk, Yun Peng, Janusz Zalewski

Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties.

John J. Kyaruzi, Jan van Katwijk

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Productive engineering of predictable embedded real-time systems: the road to maturity.

Tullio Vardanega, Jan van Katwijk

Inf. Softw. Technol., 1998

On-Line Change Mechanisms.

Sylvia Stuurman, Jan van Katwijk

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Automatic Analysis of Embedded Systems Specified in Astral.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Experiences with analysis of formal specifications in Astral.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺.

Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Analyzing Schedulability of Astral Specifications using Extended Timed Automata.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Evaluation of Software Architecture for a Control System: A Case Study.

Sylvia Stuurman, Jan van Katwijk

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Real time formal specification using VDM⁺⁺.

Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Real Time Formal Specification using VDM++.

Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

Gnass: a Gnat-based allocation and scheduling system.

B. Noorduin, Jan van Katwijk, Cornelis Pronk

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Ada 95 as implementation vehicle for formal specifications.

Klaas Brink, Jan van Katwijk, W. J. Toetenel

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Modeling and analysis of complex computer systems-the MTCCS approach.

Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Closed World Specification of Embedded Real-Time Controllers.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Loose Specification of Real Time Systems.

Jan van Katwijk, Hans Toetenel

Informatica (Slovenia), 1995

Reuse Dimensions.

Liesbeth M. Dusink, Jan van Katwijk

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Comparing formal specifications by measuring.

Jan van Katwijk, W. J. Toetenel

Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

Hybrid specification of control systems.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems.

L. Zhang, Jan van Katwijk

Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Designing Multi-Processor Real-Time Systems with a Multi-view Approach.

L. Zhang, Jan van Katwijk

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

SEAL A simple language for prototyping action-event specifications.

Klaas Brink, Ronald Huijsman, Jan van Katwijk

Microprocess. Microprogramming, 1993

1992

Application and benefits of formal methods in software development.

Nico Plat, Jan van Katwijk, Hans Toetenel

Softw. Eng. J., 1992

VDM++, A Formal Specification Language for OO Designs.

Eugène Dürr, Jan van Katwijk

Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

The Reuse of Software Design and Software Architecture.

H. Li, Jan van Katwijk, A. M. Levy

Proceedings of the SEKE'92, 1992

Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.

Hans Toetenel, Jan van Katwijk

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

A Case for Structured Analysis/Formal Design.

Nico Plat, Jan van Katwijk, Kees Pronk

Proceedings of the VDM '91, 1991

1990

SEPDS: A Support Environment for Prototyping Distributed Systems.

A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma

Proceedings of the First International Conference on Systems Integration, 1990

Structured analysis - formal design, using stream and object oriented formal specifications.

Hans Toetenel, Jan van Katwijk, Nico Plat

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Type Checking BSI/VDM-SL.

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel

Proceedings of the VDM '90, 1990

1989

Distributed system design using Ada as a tool for prototyping.

A. M. Levy, Adrianus J. van de Goor, Jan van Katwijk

Microprocessing and Microprogramming, 1989

1988

Asynchronous transfer of control in Ada.

W. J. Toetenel, Jan van Katwijk

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987

Addressing Types and Objects in Ada.

Jan van Katwijk

Softw. Pract. Exp., 1987

Performance aspects of Ada tasking in embedded systems.

Ronald Huijsman, Jan van Katwijk, W. J. Toetenel

Microprocess. Microprogramming, 1987

1984

The doublet model: run-time model and implementation of Ada types.

Jan van Katwijk, J. van Someren

ACM SIGPLAN Notices, 1984

Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler.

Jan van Katwijk

ACM SIGPLAN Notices, 1984

1983

A preprocessor for YACC or a poor man's approach to parsing attributed grammars.

Jan van Katwijk

ACM SIGPLAN Notices, 1983