Jan van Katwijk

48 papers A* 2B 8C 3Misc 1Journal 14Unranked 20

Year	Rank	Type	Title / Venue / Authors
2001	—	`conf`	A Timed Automata Semantics for Real-Time UML Specifications. HCC Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk
2001	—	`conf`	Transformation of UML Specification to XTG. Ershov Memorial Conference Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
2000	J	`jnl`	Concerns on Architecture-Centered Software Development: a Survey. Trans. SDPS John J. Kyaruzi, Jan van Katwijk
2000	B	`conf`	Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. SAFECOMP Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
2000	—	`conf`	Specification of Real-Time Systems in UML. MTCS Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
2000	A*	`conf`	Towards Explicit Representation of Architectural Design Assumptions. ASE John J. Kyaruzi, Jan van Katwijk
1999	J	`jnl`	A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Softw. Pract. Exp. Tullio Vardanega, Jan van Katwijk
1999	B	`conf`	An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA Ruud C. M. de Rooij, Jan van Katwijk
1999	A*	`conf`	Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. ASE John J. Kyaruzi, Jan van Katwijk
1999	J	`jnl`	Parallel and Distributed Real-Time Systems: An Introduction. Parallel Distributed Comput. Pract. Jan van Katwijk, Janusz Zalewski
1999	—	`conf`	Performance comparison of four software architectures for distributed computations. PARCO Jan van Katwijk, Yun Peng, Janusz Zalewski
1999	J	`jnl`	Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. Parallel Distributed Comput. Pract. Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel
1998	—	`conf`	Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1998	—	`conf`	On-Line Change Mechanisms. SIGSOFT FSE Sylvia Stuurman, Jan van Katwijk
1998	J	`jnl`	Productive engineering of predictable embedded real-time systems: the road to maturity. Inf. Softw. Technol. Tullio Vardanega, Jan van Katwijk
1997	—	`conf`	Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1997	C	`conf`	Evaluation of Software Architecture for a Control System: A Case Study. COORDINATION Sylvia Stuurman, Jan van Katwijk
1997	B	`conf`	Experiences with analysis of formal specifications in Astral. RTCSA Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1997	C	`conf`	Hybrid Object-Oriented Real-Time Software Development with VDM ICFEM Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1996	B	`conf`	Ada 95 as implementation vehicle for formal specifications. RTCSA Klaas Brink, Jan van Katwijk, W. J. Toetenel
1996	—	`conf`	Closed World Specification of Embedded Real-Time Controllers. RTS Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel
1996	B	`conf`	Gnass: a Gnat-based allocation and scheduling system. RTCSA B. Noorduin, Jan van Katwijk, Cornelis Pronk
1996	B	`conf`	Modeling and analysis of complex computer systems-the MTCCS approach. ICECCS Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk
1996	—	`conf`	Real Time Formal Specification using VDM++. SBES Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk
1996	—	`conf`	Real time formal specification using VDM WORDS Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1995	B	`conf`	Comparing formal specifications by measuring. RTCSA Jan van Katwijk, W. J. Toetenel
1995	B	`conf`	Hybrid specification of control systems. ICECCS Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel
1995	J	`jnl`	Loose Specification of Real Time Systems. Informatica (Slovenia) Jan van Katwijk, Hans Toetenel
1995	—	`conf`	Reuse Dimensions. SSR Liesbeth M. Dusink, Jan van Katwijk
1994	—	`conf`	Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) L. Zhang, Jan van Katwijk
1994	—	`conf`	Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. SBES L. Zhang, Jan van Katwijk
1993	J	`jnl`	SEAL A simple language for prototyping action-event specifications. Microprocess. Microprogramming Klaas Brink, Ronald Huijsman, Jan van Katwijk
1992	Misc	`ed.`	Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings Ada-Europe Jan van Katwijk
1992	J	`jnl`	Application and benefits of formal methods in software development. Softw. Eng. J. Nico Plat, Jan van Katwijk, Hans Toetenel
1992	—	`conf`	Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT Hans Toetenel, Jan van Katwijk
1992	C	`conf`	The Reuse of Software Design and Software Architecture. SEKE H. Li, Jan van Katwijk, A. M. Levy
1992	—	`conf`	VDM++, A Formal Specification Language for OO Designs. TOOLS (7) Eugène Dürr, Jan van Katwijk
1991	—	`conf`	A Case for Structured Analysis/Formal Design. VDM Europe (1) Nico Plat, Jan van Katwijk, Kees Pronk
1990	—	`conf`	SEPDS: A Support Environment for Prototyping Distributed Systems. ICSI A. M. Levy, Jan van Katwijk, George Pavlidis, F. Tolsma
1990	—	`conf`	Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development Hans Toetenel, Jan van Katwijk, Nico Plat
1990	—	`conf`	Type Checking BSI/VDM-SL. VDM Europe Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
1989	J	`jnl`	Distributed system design using Ada as a tool for prototyping. Microprocessing and Microprogramming A. M. Levy, Adrianus J. van de Goor, Jan van Katwijk
1988	—	`conf`	Asynchronous transfer of control in Ada. IRTAW W. J. Toetenel, Jan van Katwijk
1987	J	`jnl`	Addressing Types and Objects in Ada. Softw. Pract. Exp. Jan van Katwijk
1987	J	`jnl`	Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming Ronald Huijsman, Jan van Katwijk, W. J. Toetenel
1984	J	`jnl`	Practical experiences with automatic repair of syntactical errors or syntactical error repair in the DAS compiler. ACM SIGPLAN Notices Jan van Katwijk
1984	J	`jnl`	The doublet model: run-time model and implementation of Ada types. ACM SIGPLAN Notices Jan van Katwijk, J. van Someren
1983	J	`jnl`	A preprocessor for YACC or a poor man's approach to parsing attributed grammars. ACM SIGPLAN Notices Jan van Katwijk