Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan van Katwijk
@inproceedings{DBLP:conf/ershov/RoubtsovaKRT01,
author = {Ella E. Roubtsova and
Jan van Katwijk and
Ruud C. M. de Rooij and
Hans Toetenel},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Transformation of {UML} Specification to {XTG}},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {247--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_25},
doi = {10.1007/3-540-45575-2\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/RoubtsovaKRT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ToetenelRK01,
author = {Hans Toetenel and
Ella E. Roubtsova and
Jan van Katwijk},
title = {A Timed Automata Semantics for Real-Time {UML} Specifications},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995243},
doi = {10.1109/HCC.2001.995243},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/ToetenelRK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/KyaruziK00,
author = {John J. Kyaruzi and
Jan van Katwijk},
title = {Concerns on Architecture-Centered Software Development: a Survey},
journal = {Trans. {SDPS}},
volume = {4},
number = {3},
pages = {13--35},
year = {2000},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid4-3-02},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/KyaruziK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KyaruziK00,
author = {John J. Kyaruzi and
Jan van Katwijk},
title = {Towards Explicit Representation of Architectural Design Assumptions},
booktitle = {The Fifteenth {IEEE} International Conference on Automated Software
Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
pages = {249--252},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASE.2000.873670},
doi = {10.1109/ASE.2000.873670},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KyaruziK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KatwijkTSAZ00,
author = {Jan van Katwijk and
Hans Toetenel and
Abd{-}El{-}Kader Sahraoui and
Eric Anderson and
Janusz Zalewski},
editor = {Floor Koornneef and
Meine van der Meulen},
title = {Specification and Verification of a Safety Shell with Statecharts
and Extended Timed Graphs},
booktitle = {Computer Safety, Reliability and Security, 19th International Conference,
{SAFECOMP} 2000, Rotterdam, The Netherlands, October 24-27, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1943},
pages = {37--52},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40891-6\_4},
doi = {10.1007/3-540-40891-6\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KatwijkTSAZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RoubtsovaKTPR02,
author = {Ella E. Roubtsova and
Jan van Katwijk and
W. J. Toetenel and
Cornelis Pronk and
Ruud C. M. de Rooij},
editor = {Flavio Corradini and
Paola Inverardi},
title = {Specification of Real-Time Systems in {UML}},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2000, Satellite Workshop of {CONCUR} 2000, State College,
PA, USA, August 26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {3},
pages = {293--305},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80753-4},
doi = {10.1016/S1571-0661(05)80753-4},
timestamp = {Thu, 01 Dec 2022 09:45:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RoubtsovaKTPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/KatwijkRST99,
author = {Jan van Katwijk and
Ruud C. M. de Rooij and
Sylvia Stuurman and
Hans Toetenel},
title = {Software Development and Verification of Dynamic Real-Time Distributed
Systems Based on the Radio Broadcast Paradigm},
journal = {Scalable Comput. Pract. Exp.},
volume = {2},
number = {1},
year = {1999},
url = {http://www.scpe.org/index.php/scpe/article/view/116},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/KatwijkRST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/KatwijkZ99,
author = {Jan van Katwijk and
Janusz Zalewski},
title = {Parallel and Distributed Real-Time Systems: An Introduction},
journal = {Scalable Comput. Pract. Exp.},
volume = {2},
number = {1},
year = {1999},
url = {http://www.scpe.org/index.php/scpe/article/view/109},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/KatwijkZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/VardanegaK99,
author = {Tullio Vardanega and
Jan van Katwijk},
title = {A Software Process for the Construction of Predictable On-Board Embedded
Real-Time Systems},
journal = {Softw. Pract. Exp.},
volume = {29},
number = {3},
pages = {235--266},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1097-024X(199903)29:3\&\#60;235::AID-SPE231\&\#62;3.0.CO;2-7},
doi = {10.1002/(SICI)1097-024X(199903)29:3\&\#60;235::AID-SPE231\&\#62;3.0.CO;2-7},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/VardanegaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KyaruziK99,
author = {John J. Kyaruzi and
Jan van Katwijk},
title = {Beyond Components-Connections-Constraints: Dealing with Software Architecture
Difficulties},
booktitle = {The 14th {IEEE} International Conference on Automated Software Engineering,
{ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
pages = {235--242},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASE.1999.802279},
doi = {10.1109/ASE.1999.802279},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KyaruziK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/KatwijkPZ99,
author = {Jan van Katwijk and
Yun Peng and
Janusz Zalewski},
editor = {Erik H. D'Hollander and
Gerhard R. Joubert and
Frans J. Peters and
Henk J. Sips},
title = {Performance comparison of four software architectures for distributed
computations},
booktitle = {Parallel Computing: Fundamentals {\&} Applications, Proceedings
of the Conference ParCo'99, 17-20 August 1999, Delft, The Netherlands},
pages = {582--589},
publisher = {Imperial College Press},
year = {1999},
timestamp = {Tue, 28 May 2013 07:39:29 +0200},
biburl = {https://dblp.org/rec/conf/parco/KatwijkPZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/RooijK99,
author = {Ruud C. M. de Rooij and
Jan van Katwijk},
title = {An Approach Towards Formal Verification of Object Oriented Real-Time
Systems},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {474},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811301},
doi = {10.1109/RTCSA.1999.811301},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/RooijK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/VardanegaK98,
author = {Tullio Vardanega and
Jan van Katwijk},
title = {Productive engineering of predictable embedded real-time systems:
the road to maturity},
journal = {Inf. Softw. Technol.},
volume = {40},
number = {13},
pages = {745--764},
year = {1998},
url = {https://doi.org/10.1016/S0950-5849(98)00108-6},
doi = {10.1016/S0950-5849(98)00108-6},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/VardanegaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BrinkBKST98,
author = {Klaas Brink and
Leon J. G. Bun and
Jan van Katwijk and
Ronald F. Lutje Spelberg and
W. J. Toetenel},
title = {Automatic Analysis of Embedded Systems Specified in Astral},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.656139},
doi = {10.1109/HICSS.1998.656139},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BrinkBKST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StuurmanK98,
author = {Sylvia Stuurman and
Jan van Katwijk},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {On-Line Change Mechanisms},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {80--86},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288257},
doi = {10.1145/288195.288257},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/StuurmanK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/StuurmanK97,
author = {Sylvia Stuurman and
Jan van Katwijk},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Evaluation of Software Architecture for a Control System: {A} Case
Study},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {157--171},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_79},
doi = {10.1007/3-540-63383-9\_79},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/StuurmanK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BrinkKST97,
author = {Klaas Brink and
Jan van Katwijk and
Ronald F. Lutje Spelberg and
W. J. Toetenel},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
title = {Analyzing Schedulability of Astral Specifications using Extended Timed
Automata},
booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
Passau, Germany, August 26-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {1290--1297},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0002885},
doi = {10.1007/BFB0002885},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europar/BrinkKST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KatwijkDG97,
author = {Jan van Katwijk and
Eug{\`{e}}ne D{\"{u}}rr and
Stephen J. Goldsack},
title = {Hybrid Object-Oriented Real-Time Software Development with VDM\({}^{\mbox{++}}\)},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {17--27},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630393},
doi = {10.1109/ICFEM.1997.630393},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KatwijkDG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BrinkKST97,
author = {Klaas Brink and
Jan van Katwijk and
Ronald F. Lutje Spelberg and
W. J. Toetenel},
title = {Experiences with analysis of formal specifications in Astral},
booktitle = {4th International Workshop on Real-Time Computing Systems and Applications
{(RTCSA} '97), 27-29 October 1997, Taipei, Taiwan},
pages = {143},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/RTCSA.1997.629191},
doi = {10.1109/RTCSA.1997.629191},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BrinkKST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BrinkBKT96,
author = {Klaas Brink and
Leon J. G. Bun and
Jan van Katwijk and
W. J. Toetenel},
title = {Closed World Specification of Embedded Real-Time Controllers},
booktitle = {Proceedings of the Eighth Euromicro Workshop on Real-Time Systems,
{RTS} 1996, L'Aquila, Italy, June 12-14, 1996},
pages = {194--199},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMWRTS.1996.557887},
doi = {10.1109/EMWRTS.1996.557887},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BrinkBKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ToetenelSSK96,
author = {Hans Toetenel and
Ronald F. Lutje Spelberg and
Sylvia Stuurman and
Jan van Katwijk},
title = {Modeling and analysis of complex computer systems-the {MTCCS} approach},
booktitle = {2nd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
pages = {423},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICECCS.1996.558488},
doi = {10.1109/ICECCS.1996.558488},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ToetenelSSK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BrinkKT96,
author = {Klaas Brink and
Jan van Katwijk and
W. J. Toetenel},
title = {Ada 95 as implementation vehicle for formal specifications},
booktitle = {Third International Workshop on Real-Time Computing Systems Application
{(RTCSA} '96), October 30 - November 01, 1996, Seoul, Korea},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTCSA.1996.554966},
doi = {10.1109/RTCSA.1996.554966},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BrinkKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NoorduinKP96,
author = {B. Noorduin and
Jan van Katwijk and
Cornelis Pronk},
title = {Gnass: a Gnat-based allocation and scheduling system},
booktitle = {Third International Workshop on Real-Time Computing Systems Application
{(RTCSA} '96), October 30 - November 01, 1996, Seoul, Korea},
pages = {278--285},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTCSA.1996.554987},
doi = {10.1109/RTCSA.1996.554987},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NoorduinKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/DurrGK96,
author = {Eug{\`{e}}ne D{\"{u}}rr and
Stephen J. Goldsack and
Jan van Katwijk},
editor = {Paulo C{\'{e}}sar Masiero and
Jos{\'{e}} Carlos Maldonado},
title = {Real Time Formal Specification using {VDM++}},
booktitle = {Proceedings of the 10th Brazilian Symposium on Software Engineering,
{SBES} 1996, S{\~{a}}o Carlos, SP, Brazil, October 14-18, 1996},
pages = {57--72},
publisher = {{SBC}},
year = {1996},
url = {https://doi.org/10.5753/sbes.1996.24437},
doi = {10.5753/SBES.1996.24437},
timestamp = {Wed, 17 Jan 2024 09:54:28 +0100},
biburl = {https://dblp.org/rec/conf/sbes/DurrGK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/KatwijkDG96,
author = {Jan van Katwijk and
Eug{\`{e}}ne D{\"{u}}rr and
Stephen J. Goldsack},
title = {Real time formal specification using VDM\({}^{\mbox{++}}\)},
booktitle = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
Dependable Systems, February 1-2, 1996, Laguna Beach, California,
{USA}},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WORDS.1996.506257},
doi = {10.1109/WORDS.1996.506257},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/KatwijkDG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/KatwijkT95,
author = {Jan van Katwijk and
Hans Toetenel},
title = {Loose Specification of Real Time Systems},
journal = {Informatica (Slovenia)},
volume = {19},
number = {1},
year = {1995},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/KatwijkT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BrinkBKT95,
author = {Klaas Brink and
Leon J. G. Bun and
Jan van Katwijk and
W. J. Toetenel},
title = {Hybrid specification of control systems},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {149},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479321},
doi = {10.1109/ICECCS.1995.479321},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BrinkBKT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KatwijkT95,
author = {Jan van Katwijk and
W. J. Toetenel},
title = {Comparing formal specifications by measuring},
booktitle = {2nd International Workshop on Real-Time Computing Systems and Applications,
October 25 - 27, 1995, Tokyo, Japan},
pages = {184--191},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/RTCSA.1995.528770},
doi = {10.1109/RTCSA.1995.528770},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KatwijkT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/DusinkK95,
author = {Liesbeth M. Dusink and
Jan van Katwijk},
editor = {Mansur H. Samadzadeh and
Mansour Kazerooni{-}Zand},
title = {Reuse Dimensions},
booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability,
SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, {USA}},
pages = {137--149},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/211782.211828},
doi = {10.1145/211782.211828},
timestamp = {Thu, 03 Feb 2022 13:12:45 +0100},
biburl = {https://dblp.org/rec/conf/ssr/DusinkK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ZhangK94,
author = {L. Zhang and
Jan van Katwijk},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Designing Multi-Processor Real-Time Systems with a Multi-view Approach},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {195--200},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ZhangK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/ZhangK94,
author = {L. Zhang and
Jan van Katwijk},
editor = {Roberto Antonio Rodrigues de Almeida and
Roberto Tom Price},
title = {Towards a viewpoint oriented design methodology for Multi-processor
Real-Time Systems},
booktitle = {Proceedings of the 8th Brazilian Symposium on Software Engineering,
{SBES} 1994, Curitiba, PR, Brazil, October 26-27, 1994},
pages = {223--250},
publisher = {{SBC}},
year = {1994},
url = {https://doi.org/10.5753/sbes.1994.24470},
doi = {10.5753/SBES.1994.24470},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/ZhangK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BrinkHK93,
author = {Klaas Brink and
Ronald Huijsman and
Jan van Katwijk},
title = {{SEAL} {A} simple language for prototyping action-event specifications},
journal = {Microprocess. Microprogramming},
volume = {38},
number = {1-5},
pages = {87--95},
year = {1993},
url = {https://doi.org/10.1016/0165-6074(93)90130-D},
doi = {10.1016/0165-6074(93)90130-D},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/BrinkHK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PlatKT92,
author = {Nico Plat and
Jan van Katwijk and
Hans Toetenel},
title = {Application and benefits of formal methods in software development},
journal = {Softw. Eng. J.},
volume = {7},
number = {5},
pages = {335--346},
year = {1992},
url = {https://doi.org/10.1049/sej.1992.0034},
doi = {10.1049/SEJ.1992.0034},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/PlatKT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ToetenelK92,
author = {Hans Toetenel and
Jan van Katwijk},
editor = {Jan Vytopil},
title = {Stepwise Development of Model-Oriented Real-Time Specifications from
Action/Event Models},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {547--570},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_30},
doi = {10.1007/3-540-55092-5\_30},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ToetenelK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiKL92,
author = {H. Li and
Jan van Katwijk and
A. M. Levy},
title = {The Reuse of Software Design and Software Architecture},
booktitle = {SEKE'92, The 4th International Conference on Software Engineering
and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
pages = {170--177},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SEKE.1992.227932},
doi = {10.1109/SEKE.1992.227932},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LiKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/DurrK92,
author = {Eug{\`{e}}ne D{\"{u}}rr and
Jan van Katwijk},
editor = {Georg Heeg and
Boris Magnusson and
Bertrand Meyer},
title = {VDM++, {A} Formal Specification Language for {OO} Designs},
booktitle = {{TOOLS} 1992: 7th International Conference on Technology of Object-Oriented
Languages and Systems, Dortmund, Germany, Europe},
pages = {63--77},
publisher = {Prentice Hall},
year = {1992},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/DurrK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/1992,
editor = {Jan van Katwijk},
title = {Ada: Moving Towards 2000, 11th Ada-Europe International Conference,
Zandvoort, The Netherlands, June 1-5, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {603},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55585-4},
doi = {10.1007/3-540-55585-4},
isbn = {3-540-55585-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatKP91,
author = {Nico Plat and
Jan van Katwijk and
Kees Pronk},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Case for Structured Analysis/Formal Design},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {81--105},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_8},
doi = {10.1007/3-540-54834-3\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatHKOPT90,
author = {Nico Plat and
Ronald Huijsman and
Jan van Katwijk and
Gertjan van Oosten and
Kees Pronk and
Hans Toetenel},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Type Checking {BSI/VDM-SL}},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {399--425},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_21},
doi = {10.1007/3-540-52513-0\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatHKOPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/ToetenelKP90,
author = {Hans Toetenel and
Jan van Katwijk and
Nico Plat},
editor = {Mark Moriconi},
title = {Structured analysis - formal design, using stream and object oriented
formal specifications},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {118--127},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99830},
doi = {10.1145/99569.99830},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmsd/ToetenelKP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsi/LevyKPT90,
author = {A. M. Levy and
Jan van Katwijk and
George Pavlidis and
F. Tolsma},
editor = {Peter A. Ng and
C. V. Ramamoorthy and
Laurence C. Seifert and
Raymond T. Yeh},
title = {{SEPDS:} {A} Support Environment for Prototyping Distributed Systems},
booktitle = {Proceedings of the First International Conference on Systems Integration,
Morristown, NJ, USA, April 1990},
pages = {652--661},
publisher = {{IEEE} Computer Society},
year = {1990},
timestamp = {Tue, 26 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsi/LevyKPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LevyGK89,
author = {A. M. Levy and
Adrianus J. van de Goor and
Jan van Katwijk},
title = {Distributed system design using Ada as a tool for prototyping},
journal = {Microprocessing and Microprogramming},
volume = {27},
number = {1-5},
pages = {221--230},
year = {1989},
url = {https://doi.org/10.1016/0165-6074(89)90050-1},
doi = {10.1016/0165-6074(89)90050-1},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/LevyGK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ToetenelK88,
author = {W. J. Toetenel and
Jan van Katwijk},
editor = {John Barnes},
title = {Asynchronous transfer of control in Ada},
booktitle = {Proceedings of the Second International Workshop on Real-Time Ada
Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
pages = {65--69},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/58612.59378},
doi = {10.1145/58612.59378},
timestamp = {Thu, 31 Mar 2022 11:11:48 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/ToetenelK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HuijsmanKT87,
author = {Ronald Huijsman and
Jan van Katwijk and
W. J. Toetenel},
title = {Performance aspects of Ada tasking in embedded systems},
journal = {Microprocess. Microprogramming},
volume = {21},
number = {1-5},
pages = {301--309},
year = {1987},
url = {https://doi.org/10.1016/0165-6074(87)90054-8},
doi = {10.1016/0165-6074(87)90054-8},
timestamp = {Fri, 05 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/HuijsmanKT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Katwijk87,
author = {Jan van Katwijk},
title = {Addressing Types and Objects in Ada},
journal = {Softw. Pract. Exp.},
volume = {17},
number = {5},
pages = {319--343},
year = {1987},
url = {https://doi.org/10.1002/spe.4380170503},
doi = {10.1002/SPE.4380170503},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Katwijk87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/KatwijkS84,
author = {Jan van Katwijk and
J. van Someren},
title = {The doublet model: run-time model and implementation of Ada types},
journal = {{ACM} {SIGPLAN} Notices},
volume = {19},
number = {1},
pages = {78--92},
year = {1984},
url = {https://doi.org/10.1145/948415.948425},
doi = {10.1145/948415.948425},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/KatwijkS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Katwijk84,
author = {Jan van Katwijk},
title = {Practical experiences with automatic repair of syntactical errors
or syntactical error repair in the {DAS} compiler},
journal = {{ACM} {SIGPLAN} Notices},
volume = {19},
number = {9},
pages = {37--48},
year = {1984},
url = {https://doi.org/10.1145/948596.948603},
doi = {10.1145/948596.948603},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Katwijk84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Katwijk83,
author = {Jan van Katwijk},
title = {A preprocessor for {YACC} or a poor man's approach to parsing attributed
grammars},
journal = {{ACM} {SIGPLAN} Notices},
volume = {18},
number = {10},
pages = {12--15},
year = {1983},
url = {https://doi.org/10.1145/988175.988178},
doi = {10.1145/988175.988178},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Katwijk83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-21 17:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
