Software Engineering and Technology

Research output

Content available in repository 1973 2014 2018 2019 2020 2021 2022 2023 2024 2025

• 637 Conference contribution
• 260 Article
• 79 EngD Thesis
• 50 Report
• 185 More
  • 40 Chapter
  • 35 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 22 Book editing
  • 18 Paper
  • 13 Editorial
  • 8 Foreword/editorial
  • 7 Poster
  • 5 Conference article
  • 5 Software
  • 5 Preprint
  • 3 Book
  • 3 Inaugural/farewell speech
  • 3 Abstract
  • 3 Other
  • 3 Book review
  • 3 Review article
  • 2 Other contribution
  • 2 Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
  • 1 Comment/Letter to the editor
  • 1 Literature review
  • 1 Web publication/site
  • 1 Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 2002

  Component specification and composition in a UML based tool

  Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 6th Multiconference on Systemics, Cybernetics and Informatics: International Conference on Information Systems, Analysis and Synthesis (SCI'2002/ISAS'2002, Orlando FL, July 14-17, 2002). Callaos, N., Zhao, R., Sanchez, B. & Lesso, W. (eds.). International Institute of Informatics and Systemics (IIIS), Vol. 18. p. 136-144

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Consistent specification of interface suites in UML

  Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2002, In: Software and Systems Modeling. 1, 2, p. 98-112

  Research output: Contribution to journal › Article › Academic › peer-review
  1 Downloads (Pure)

• Directly constructing minimal DFAs : combining two algorithms by Brzozowski

  Watson, B. W., 2002, In: South African Computer Journal. 29, p. 17-23

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Regular Expression 100%
  • Deterministic Finite Automaton 100%
  • Brzozowski's Algorithm 100%
  • Design for Assembly 100%
  • Refines 100%
  339 Downloads (Pure)

• Finding the median under IOI conditions

  Horváth, G. & Verhoeff, T., 2002, In: Informatics in Education. 1, p. 73-92

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  73 Downloads (Pure)

• Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

  Watson, B. W. (Editor) & Wood, D. (Editor), 2002, Berlin: Springer. 288 p. (Lecture notes in computer science; vol. 2494)(CIAA : international conference on implementation and application of automata; vol. 6)

  Research output: Book/Report › Book editing › Academic

• In memoriam Edsger W. Dijkstra 1930-2002

  Boyer, R. S., Feijen, W. H. J., Gries, D., Hoare, C. A. R., Misra, J., Moore, J. & Richards, H., 2002, In: Communications of the ACM. 45, 10, p. 21-22

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Downloads (Pure)

• Interface suites as contracts : composition of contracts in UML

  Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Karelse, F. (ed.). Utrecht, The Netherlands: STW Technology Foundation, p. 203-210

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File

  • Model 100%
  • Roles 50%
  • Systems Design 50%
  62 Downloads (Pure)

• On computing a longest path in a tree

  Eindhoven Tuesday Afternoon Club, 2002, In: Information Processing Letters. 81, 2, p. 93-96

  Research output: Contribution to journal › Article › Academic › peer-review
  42 Citations (Scopus)

  3 Downloads (Pure)

• The 43rd International Mathematical Olympiad : a reflective report on IMO 2002

  Verhoeff, T., 2002, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0211)

  Research output: Book/Report › Report › Academic

  Open Access

  File

  • Reflective 100%
  • Leadership 100%
  • Dutch 100%
  • Alcoholic Beverages 100%
  • Observer 50%
  1739 Downloads (Pure)
• 2001

  A prototype of a UML based Tool for Component Specification

  Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2001, 2nd Workshop on Embedded Systems PROGRESS 2001, Book of Abstracts. Karelse, F. (ed.). p. 32-32

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

• A specification model for interface suites

  Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2001, The unified modeling language : modeling languages, concepts, and tools ; 4th international conference, Toronto, Canada, October 1 - 5, 2001 ; proceedings / "UML" 2001s 4th International Conference on Modeling Languages, Concepts, and Tools, Toronto, Canada, October 1-5, 2001). Gogolla, M. & Kobryn, C. (eds.). Berlin: Springer, p. 457-471 (Lecture Notes in Computer Science; vol. 2185).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Specification Model 100%
  • Consistency Check 100%
  3 Citations (Scopus)
• 2000

  Improving partial order reductions for universal branching time properties

  Penczek, W., Szreter, M., Gerth, R. T. & Kuiper, R., 2000, In: Fundamenta Informaticae. 43, 1-4, p. 245-267

  Research output: Contribution to journal › Article › Academic › peer-review

  29 Citations (Scopus)

• Verification of object oriented programs using class invariants

  Huizing, C. & Kuiper, R., 2000, Fundamental Approaches to Software Engineering (Proceedings Third International Conference, FASE2000; held as part of ETAPS2000, Berlin, Germany, March 25-April 2, 2000). Maibaum, T. S. E. (ed.). Berlin: Springer, p. 208-221 (Lecture Notes in Computer Science; vol. 1783).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Proof System 100%
  • Oriented Program 100%
  • Class Invariant 100%
  • Proof Rule 100%
  • Dynamic Binding 66%
  2 Downloads (Pure)
• 1999

  A partial order approach to branching time logic model checking

  Gerth, R. T., Kuiper, R., Peled, D. & Penczek, W., 1999, In: Information and Computation. 150, 2, p. 132-152

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • State Space 100%
  • Partial Order 100%
  • Branching Time Logic 100%
  • Model Checking 100%
  • Temporal Logic 33%
  53 Citations (Scopus)

• Model-based specification of design patterns

  Bijlsma, A., Geldrop - van Eijk, van, H. P. J., Gool, van, L. C. M., Hemerik, C., Huizing, C., Kuiper, R., Roosmalen, van, O. S., Woude, van der, J. C. S. P. & Zwaan, G., 1999, In: Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 1999, p. 9-14

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  80 Downloads (Pure)

• Specifying deadlines with continuous time using deontic and temporal logic

  Dignum, F. P. M. & Kuiper, R., 1999, In: International Journal of Electronic Commerce. 3, 2, p. 67-86 19 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Temporal Logic 100%
  • Temporal Framework 100%
  • Continuous Time 100%
  • e-Commerce 33%
  • discrete-time 33%
• 1998

  An investigation into deontics of durative actions

  Dignum, F. P. M., Meyer, J.-J. & Kuiper, R., 1998, Proceedings 4th international conference on deontic logic in computer science. p. 179-198

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Obligations and dense time for specifying deadlines

  Dignum, F. P. M. & Kuiper, R., 1998, Proceedings of Thirty-First Hawaii International Conference on System Sciences (HICSS, Hawaii, USA, January 6-9, 1998). Dolk, D. R. (ed.). Institute of Electrical and Electronics Engineers, p. 186-195 10 p. 648312

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Temporal Framework 100%
  • Discrete Time 100%
  • discrete-time 33%
  8 Citations (Scopus)

• Partial-order reduction techniques for real-time model checking

  Dams, D. R., Gerth, R. T., Knaack, B. T. & Kuiper, R., 1998, In: Formal Aspects of Computing. 10, 5-6, p. 469-482

  Research output: Contribution to journal › Article › Academic › peer-review

  • Feature Space 100%
  • Partial Order Reduction 100%
  • Model Checking 100%
  • High Dimensionality 50%
  • Storage Requirement 50%
  23 Citations (Scopus)

• Partial-order reduction techniques for real-time model checking

  Dams, D. R., Gerth, R. T., Knaack, B. T. & Kuiper, R., 1998, Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998. Groote, J. F., Luttik, B. & Wamel, van, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 157-169

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Specifying deadlines with obligations and dense time

  Dignum, F. P. M. & Kuiper, R., 1998, In: International Journal of Electronic Commerce. 3, 2, p. 67-85

  Research output: Contribution to journal › Article › Academic › peer-review

  • Temporal Framework 100%
  • e-Commerce 33%
  • discrete-time 33%
  • Continuous Time 33%
• 1997

  $\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

  Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9715)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  114 Downloads (Pure)

• Grootschalig gebruik van laptop computers

  Verhoeff, T., 1997, Technische Universiteit Eindhoven.

  Research output: Other contribution › Other research output

  File
  60 Downloads (Pure)

• Tools for the construction of correct programs : an overview

  Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computing science reports; vol. 9706)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  125 Downloads (Pure)
• 1995

  A taxonomy of sublinear multiple keyword pattern matching algorithms

  Watson, B. W. & Zwaan, G., 1995, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9513)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  376 Downloads (Pure)

• Categorical fixed point calculus

  Backhouse, R. C., Bijsterveld, M. L. L., Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 1995, Category Theory and Computer Science (Proceedings 6th International Conference, CTCS'96, Cambridge, UK, August 7-11, 1995). Pitt, D. H., Rydeheard, D. E. & Johnstone, P. (eds.). Berlin: Springer, p. 159-179 (Lecture Notes in Computer Science; vol. 953).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Calculus 100%
  • Fixed Points 100%
  • Lattices 50%
  • Category Theory 50%
  28 Citations (Scopus)

  1 Downloads (Pure)

• Fixed-point calculus

  Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S. & Woude, van der, J. C. S. P., 1995, In: Information Processing Letters. 53, 3, p. 131-136

  Research output: Contribution to journal › Article › Academic › peer-review

  • Calculus 100%
  • Fixed Points 100%
  • Incentives 100%
  • Galois Connection 33%
  • Point Theorem 33%
  1 Citation (Scopus)

  3 Downloads (Pure)

• Grammaire à la grand-mère

  Geldrop - van Eijk, van, H. P. J., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 149-156

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

• Phase synchronization for a string of machines

  Eindhoven Tuesday Afternoon Club, 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 129-138

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

• The lost group chart and related problems

  Verhoeff, T., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 307-313

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  • Group 100%

• Type theory and the seven steps towards object-based happiness

  Hemerik, C., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 161-175

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  • Happiness 100%
• 1994

  A theory of delay-insensitive systems

  Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 137 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File
  473 Downloads (Pure)

• The testing paradigm applied to network structure

  Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computing science notes; vol. 9410)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  65 Downloads (Pure)
• 1993

  A continuous version of the prisoner's dilemma

  Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9302)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  300 Downloads (Pure)

• CPO-models for second order lambda calculus with recursive types and subtyping

  Poll, E., Hemerik, C. & Eikelder, ten, H. M. M., 1993, In: Informatique Théorique et Applications / Theoretical Informatics and Applications. 27, 3, p. 221-260

  Research output: Contribution to journal › Article › Academic › peer-review

  1 Downloads (Pure)

• Quicksort for linked lists

  Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computing science notes; vol. 9303)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  79 Downloads (Pure)
• 1992

  A taxonomy of keyword pattern matching algorithms

  Watson, B. W. & Zwaan, G., 1992, Eindhoven: Technische Universiteit Eindhoven. 50 p. (Computing science notes; vol. 9227)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  741 Downloads (Pure)
• 1991

  An introduction to the relational calculus

  Feijen, W. H. J. & Gasteren, van, A. J. M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (eds.). Schoonhoven: Academic Service, p. 57-81

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Stone Formation 100%
  • Calculi 100%

• C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

  Feijen, W. H. J. (Editor) & Gasteren, van, A. J. M. (Editor), 1991, Schoonhoven: Academic Service. 247 p.

  Research output: Book/Report › Book editing › Professional
• 1990

  A little exercise in deriving multiprograms

  Feijen, W. H. J., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 119-126 (Texts and monographs in computer science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Exercise 100%

• The problem of the majority network

  Bijlsma, A., Bulterman, R. W., Feijen, W. H. J., Scholten, C. S. & Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 112-118 (Texts and monographs in computer science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Networks 100%

• Types in lambda calculi and programming languages

  Barendregt, H. P. & Hemerik, C., 1990, Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990). Jones, N. D. (ed.). Berlin: Springer, p. 1-35 (Lecture Notes in Computer Science; vol. 432).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
• 1989

  Bottom-up tree acceptors

  Hemerik, C. & Katoen, J. P., 1989, In: Science of Computer Programming. 13, 1, p. 51-72

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  12 Citations (Scopus)

• Characterizations of delay-insensitive communication protocols

  Verhoeff, T., 1989, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 8906)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  85 Downloads (Pure)

• Parallel computations

  Zwaan, G., 1989, Eindhoven: Technische Universiteit Eindhoven. 184 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File
  333 Downloads (Pure)

• Some category theoretical properties related to a model for a polymorphic lambda-calculus

  Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 8903)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  76 Downloads (Pure)
• 1988

  A method of programming

  Dijkstra, E. W. & Feijen, W. H. J., 1988, Amsterdam: Addison-Wesley. 188 p.

  Research output: Book/Report › Book › Professional

• An introduction to the category-theoretic solution of recursive domain equations

  Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 p. (Computing science notes; vol. 8815)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  471 Downloads (Pure)

• A parallel program that generates the Möbius sequence

  Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 8801)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  58 Downloads (Pure)

• Bottum-up tree acceptors

  Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computing science notes; vol. 8816)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  94 Downloads (Pure)