Jan van Katwijk

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
A Timed Automata Semantics for Real-Time UML Specifications.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Transformation of UML Specification to XTG.
Proceedings of the Perspectives of System Informatics, 2001

2000
Concerns on Architecture-Centered Software Development: a Survey.
Trans. SDPS, 2000

Specification of Real-Time Systems in UML.
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.
Proceedings of the Computer Safety, 2000

Towards Explicit Representation of Architectural Design Assumptions.
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.
Softw. Pract. Exp., 1999

Parallel and Distributed Real-Time Systems: An Introduction.
Parallel Distributed Comput. Pract., 1999

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.
Parallel Distributed Comput. Pract., 1999

An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
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.
Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties.
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.
Inf. Softw. Technol., 1998

On-Line Change Mechanisms.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Automatic Analysis of Embedded Systems Specified in Astral.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997
Experiences with analysis of formal specifications in Astral.
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<sup>++</sup>.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Analyzing Schedulability of Astral Specifications using Extended Timed Automata.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Evaluation of Software Architecture for a Control System: A Case Study.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Real time formal specification using VDM<sup>++</sup>.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Real Time Formal Specification using VDM++.
Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

Gnass: a Gnat-based allocation and scheduling system.
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.
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.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Closed World Specification of Embedded Real-Time Controllers.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Loose Specification of Real Time Systems.
Informatica (Slovenia), 1995

Reuse Dimensions.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Comparing formal specifications by measuring.
Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

Hybrid specification of control systems.
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.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Designing Multi-Processor Real-Time Systems with a Multi-view Approach.
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.
Microprocess. Microprogramming, 1993

1992
Application and benefits of formal methods in software development.
Softw. Eng. J., 1992

VDM++, A Formal Specification Language for OO Designs.
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.
Proceedings of the SEKE'92, 1992

Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991
A Case for Structured Analysis/Formal Design.
Proceedings of the VDM '91, 1991

1990
SEPDS: A Support Environment for Prototyping Distributed Systems.
Proceedings of the First International Conference on Systems Integration, 1990

Structured analysis - formal design, using stream and object oriented formal specifications.
Proceedings of the Conference proceedings on Formal methods in software development, 1990

Type Checking BSI/VDM-SL.
Proceedings of the VDM '90, 1990

1989
Distributed system design using Ada as a tool for prototyping.
Microprocessing and Microprogramming, 1989

1988
Asynchronous transfer of control in Ada.
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987
Addressing Types and Objects in Ada.
Softw. Pract. Exp., 1987

Performance aspects of Ada tasking in embedded systems.
Microprocess. Microprogramming, 1987

1984
The doublet model: run-time model and implementation of Ada types.
ACM SIGPLAN Notices, 1984

Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler.
ACM SIGPLAN Notices, 1984

1983
A preprocessor for YACC or a poor man's approach to parsing attributed grammars.
ACM SIGPLAN Notices, 1983


  Loading...