• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Chapter
2019

Model analytics for industrial MDE ecosystems

Babur, Ö., Suresh, A., Alberts, W., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 273-316 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2018

A master class on recursion

Verhoeff, T., 6 Sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). Springer, Vol. 11011. p. 610-633 24 p. (Lecture Notes in Computer Science; vol. 11011).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
1 Citation (Scopus)
2 Downloads (Pure)
2016

Towards a proof method for paradigm

Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Lecture Notes in Computer Science ed. Berlin: Springer, Vol. 9660. p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Verifying a verifier: on the formal correctness of an LTS transformation verification technique

de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, p. 383-400 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)
2015

Reducing the cost of grammar-based testing using pattern coverage

Hentz, C., Vinju, J. J. & Moreira, A. M., 2015, Testing Software and Systems, ICTSS 2015. El-Fakih, K., Barlas, G. & Yevtushenko, N. (eds.). Vol. 9447. p. 71-85 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)
2014

A modeling approach to support safety assurance in the automotive domain

Luo, Y., Van den Brand, M., Engelen, L. & Klabbers, M., 1 Jan 2014, Progress in Systems Engineering.. Selvaraj, H., Zydek, D. & Chmaj, G. (eds.). Springer, p. 339-345 7 p. (Advances in Intelligent Systems and Computing; vol. 366).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)
2010

A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
2005

Combining regular expressions with near-optimal automata

Watson, B. W., Frishert, M. & Cleophas, L. G. W. A., 2005, Inquiries into Words, Constraints and Contexts (Festschrift in the Honour of Professor Kimmo Koskenniemi on his 60th Birthday). Arppe, A. & et al., X. (eds.). Stanford CA, USA: CSLI, p. 163-171 (CSLI Studies in Computational Linguistics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2004

Hoe veilig is PGP?

Verhoeff, T., 2004, WIRE Jarenboek 2001-2003. Eindhoven: WIRE, p. 37-42

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

1 Downloads (Pure)
2003

A new recursive incremental algorithm for building minimal acyclic deterministic finite automata

Watson, B. W., 2003, Grammars and automata for string processes : from mathematics and computer science to biology, and back : essays in honour of Gheorghe Paun. Martin-Vide, C. & Mitrana, V. (eds.). Taylor and Francis Ltd., p. 189- (Topics in Computer Mathematics; vol. 9).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Hoare logic with explicit contexts

Franssen, M. G. J., 2003, Thirty five years of automating mathematics. Kamareddine, F. D. (ed.). Dordrecht: Kluwer Academic Publishers, p. 125-148 (Applied Logic Series; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1995

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 proceedingChapterProfessional

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 proceedingChapterAcademic

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 proceedingChapterProfessional

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 proceedingChapterProfessional

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 proceedingChapterAcademic

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 proceedingChapterAcademic

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 proceedingChapterAcademic