Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Hoofdstuk
2007

Embedded systems modeling, analysis and synthesis

Brand, van den, M. G. J., Engelen, L. J. P., Hamilton, M., Levytskyy, A. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. P. M. (redactie). Eindhoven: Embedded Systems Institute, blz. 99-112

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Iteration and primitive recursion in categorical terms

Geuvers, J. H. & Poll, E., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, E., Capretta, V., Geuvers, H. & Niqui, M. (redactie). blz. 101-114

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Downloads (Pure)

Model-based testing of hybrid systems

Osch, van, M. P. W. J., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (redactie). Eindhoven : Embedded Systems Institute: Embedded Systems Institute, blz. 129-141

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (redactie). Boca Raton: Chapman & Hall/CRC Press, blz. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Test-based modeling

Willemse, T. A. C., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (redactie). Eindhoven: Embedded Systems Institute, blz. 143-161

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Wiskunde en creativiteit

Verhoeff, T., 2007, Liber Amicorum Jan de Graaf. Meer, van der, J. C. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 132-136

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2006

Signalling in IF-games : a tricky business

Janssen, T. M. V. & Dechesne, F., 2006, The Age of Alternative Logics : Assessing the Philosophy of Logic and Mathematics Today. Benthem, van, J. F. A. K., Heinzmann, G., Rebuschi, M. & Visser, H. (redactie). Dordrecht: Kluwer, blz. 221-241 (Logic, Epistemology, and the Unity of Science; vol. 3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

9 Citaten (Scopus)
2005

alpha-logic

Gabbay, M. J. & Gabbay, M., 2005, We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. Artemov, S. N., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (redactie). College Publications, blz. 731-764

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

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. (redactie). Stanford CA, USA: CSLI, blz. 163-171 (CSLI Studies in Computational Linguistics).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Finite equational bases in process algebra : results and open questions

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 338-367 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

33 Citaten (Scopus)

Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning

Gabbay, M. & Gabbay, M. J., 2005, We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. Artemov, S. N., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (redactie). College Publications, blz. 701-730

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Hard real-time development environments

Baeten, J. C. M., Baufreton, P., Benveniste, A., Boutin, S., Bouyssounouse, B., Brière, D., Caspi, P., Damm, W., Fuchs, E., Gafni, V., Gautier, T., Goshen, D., Gruensteidl, G., Halbwachs, N., Kopetz, H., Larsen, K. G., Le Berre, H., Leupers, R., Nielsen, B., Olderog, E-R. & 13 anderen, Papadopoulos, Y., Peti, P., Pisecky, M., Puschner, P., Rennhack, J., Sangiovanni-Vincentelli, A., Scheidler, C., Skou, A., Sorel, Y., Virnich, U., Vogel-Heuser, B., Wilhelm, R. & Willemse, T. A. C., 2005, Embedded systems design: the ARTIST roadmap for research and development. Bouyssounouse, B. & Sifakis, J. (redactie). Berlin: Springer, blz. 1-102 (Lecture Notes in Computer Science; vol. 3436).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Model theory for process algebra

Bergstra, J. A. & Middelburg, C. A., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middelkoop, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 445-495 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

5 Citaten (Scopus)

Reducing right-hand sides for termination

Zantema, H., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 173-197 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

8 Citaten (Scopus)
2 Downloads (Pure)

Timing the untimed : terminating successfully while being conservative

Baeten, J. C. M., Mousavi, M. R. & Reniers, M. A., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 251-279 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

Update semantics for security protocols

Hommersom, A., Meyer, J-JC. & Vink, de, E. P., 2005, Information, Interaction, and Agency. Hoek, van der, W. (redactie). New York: Springer, blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
2004

Hoe veilig is PGP?

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

Probabilistic automata : system types, parallel composition and comparison

Sokolova, A. & Vink, de, E. P., 2004, Validation of Stochastic Systems : A Guide to Current Research. Baier, C. & et al., X. (redactie). Berlin: Springer, blz. 1-43 (Lecture Notes in Computer Science; vol. 2925).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

63 Citaten (Scopus)
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. (redactie). Taylor and Francis Ltd., blz. 189- (Topics in Computer Mathematics; vol. 9).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

De Bruijn's Automath and pure type systems

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Thirty Five Years of Automating Mathematics. Kamareddine, F. D. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 71-124 (Applied Logic Series; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Hoare logic with explicit contexts

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Phenom

Loenen, van, E. J., Jong, de, N., Dijk, E. O., Hoven, van den, E. A. W. H., Qian, Y. & Teixeira, D. O., 2003, The new everyday : views on ambient intelligence. Aarts, E. H. L. & Marzano, S. (redactie). Rotterdam: Uitgeverij 010, blz. 302-303

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

Termination

Zantema, H., 2003, Term Rewriting Systems. Terese, X. (redactie). Cambridge: Cambridge University Press, blz. 181-259 (Cambridge Tracts in Theoretical Computer Science; vol. 55).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Downloads (Pure)
2002

A menagerie of constants in process algebra

Baeten, J. C. M., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 11-20

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Bits, trits, qits, pits of hits

Groote, J. F., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 89-92 226 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)

Building metric structures with the Maes-factor

Hartog, den, J. I. & Vink, de, E. P., 2002, Liber amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. & Klint, P. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 93-107

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)

Message Sequence Charts in the software engineering process

Mauw, S., Reniers, M. A. & Willemse, T. A. C., 2002, Handbook of Software Engineering and Knowledge Engineering. Chang, S. K. (redactie). Singapore: World Scientific, Vol. 1. blz. 437-464

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

2001

A process algebra for Interworkings

Mauw, S. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 1269-1327

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Discrete time process algebra and the semantics of SDL

Bergstra, J. A., Middelburg, C. A. & Usenko, Y. S., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 1209-1268

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Partial-order process algebra (and its relation to Petri nets)

Baeten, J. C. M. & Basten, T., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 769-872

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Process algebra with timing : real time and discrete time

Baeten, J. C. M. & Middelburg, C. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. J. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 627-684

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

2000

Discrete time process algebra with silent step

Baeten, J. C. M., Bergstra, J. A. & Reniers, M. A., 2000, Proof, language and interaction: essays in honour of Robin Milner. Plotkin, G., Stirling, C. & Tofte, M. (redactie). Cambridge MA, USA: MIT Press, blz. 535-569 35 blz. (Foundations of Computing).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1998

Formal semantics of Message Sequence Charts

Mauw, S. & Reniers, M. A., 1998, Annex B to ITU Recommendation Z.120. ITU, X. (redactie). ITU, 76 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)
1997

Discrete-time process algebra with empty process

Baeten, J. C. M. & Vereijken, J. J., 1997, Dat is dus heel interessant : liber amicorum voor Paul Klint. Brune, M., Deursen, van, A. & Heering, J. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 5-24

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
28 Downloads (Pure)

Why men (and octopuses) cannot juggle a four ball cascade

Engels, A. G. & Mauw, S., 1997, Dat is dus heel interessant. Liber Amicorum Paul Klint 25 jaar SMC/CWI. Brune, M., Deursen, van, A. & Heering, J. (redactie). blz. 109-115

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1996

Message Sequence Chart (MSC)

Mauw, S., 1996, Draft Recommandation Z. 120. ITU, ITU. (redactie). blz. 74-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Static Semantics of Message Sequence Charts

Reniers, M. A., 1996, Annex C to ITU Recommendation Z.120. ITU, ITU. (redactie). blz. 52-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1995

Algebraic Semantics of Message Sequence Charts

Mauw, S. & Reniers, M. A., 1995, Annex B to ITU Recommendation Z.120. ITU, X. (redactie). ITU, 50 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 149-156

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 129-138

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Some simple calculations in relative discrete time process algebra

Baeten, J. C. M. & Bergstra, J. A., 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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 67-74

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
25 Downloads (Pure)

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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 307-313

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Traces and logic

Penczek, W. & Kuiper, R., 1995, The Book of Traces. Diekert, V. & Rozenberg, G. (redactie). Singapore: World Scientific, blz. 307-390

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 161-175

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1994

Strong normalization in a typed lambda calculus with lambda structured types

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 389-468 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)

Twenty-five years of Automath research

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 3-54 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

22 Citaten (Scopus)
2 Downloads (Pure)

Typed lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, R. P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (redactie). Frankfurt am Main: Peter Lang, blz. 168-199

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)

Type systems : basic ideas and applications

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (redactie). Amsterdam: North-Holland Publishing Company, blz. 229-247 (Studies in Logic; vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Untyped lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (redactie). Frankfurt am Main: Peter Lang, blz. 132-167

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)
1991

A flexible processor-store interface : an exercise in hardware design

Hoogerwoord, R. R., 1991, C.S. Scholten dedicata : van oude machines en nieuwe denkwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (redactie). Schoonhoven: Academic Service, blz. 101-108

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic