If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2009

Quality in model driven engineering

Punter, H. T., Voeten, J. P. M. & Huang, J., 2009, Model-driven software development : integrating quality assurance. Rech, J. & Bunse, C. (eds.). New York: Information Science Reference, p. 37-56

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Y-chart based system design: a discussion on approaches

Lapalme, J., Theelen, B. D., Stoimenov, N., Voeten, J. P. M., Thiele, L. & Aboulhamid, E. M., 2009, Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu'es. Montreal, Canada: Universite de Montreal, p. 23-56 36 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Downloads (Pure)
2008

Parallel object-oriented specification language

Florescu, O., Voeten, J. P. M., Theelen, B. D., Geilen, M. C. W. & Corporaal, H., 2008, ARTIST Survey of Programming Languages. Burns, A. (ed.). s.l.: ARTIST2, Network of Excellence on Embedded System Design

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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. (ed.). Eindhoven: Embedded Systems Institute, p. 99-112

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Ideals : an introduction to the project and the book

Engelen, van, R. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. & Engelen, van, R. (eds.). Eindhoven: Embedded Systems Institute, p. 1-22

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
32 Downloads (Pure)

Reusing systems design experience through modelling patterns

Florescu, O., Voeten, J. P. M., Verhoef, M. & Corporaal, H., 2007, Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL'06. Huss, S. A. (ed.). Dordrecht: Springer, p. 339-358

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
77 Downloads (Pure)
2006

Model-driven design of real-time systems

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2006, Boderc: Model-Based Design of Real-Time Systems: a collaborative research project for multi-disciplinary design analysis of high-tech systems. Heemels, M. & Muller, G. (eds.). Eindhoven: Embedded Systems Institute, p. 161-170 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Property-preserving synthesis for unified conrol- and data-oriented models.

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2006, Applications of Specification and Design Languages for SoCs.. Vachoux, A. (ed.). Berlin: Springer, p. 247-262 16 p.

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

Open Access
File
1 Citation (Scopus)
34 Downloads (Pure)
2004

Platform-independent design for embedded real-time system

Huang, J., Voeten, J. P. M., Ventevogel, A. & Bokhoven, van, L. J., 2004, Languages for System Specification. Grimm, C. (ed.). Dordrecht: Kluwer Academic Publishers, p. 35-50 16 p.

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

2003

An abstract modeling approach towards system-level design-space exploration.

Wijk, van, F. N., Voeten, J. P. M. & Berg, ten, A. J. W. M., 2003, System Specification and Design Languages : Best of FDL'02. Villar, E. & Mermet, J. (eds.). Dordrecht: Kluwer Academic Publishers, p. 267-282 16 p.

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

2 Downloads (Pure)

Using the SHE method for UML-based performance modelling.

Theelen, B. D., Putten, van der, P. H. A. & Voeten, J. P. M., 2003, System Specification and Design Languages : Best of FDL'02. Villar, E. & Mermet, J. (eds.). Dordrecht: Kluwer Academic Publishers, p. 143-160 18 p.

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