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

Research Output 1990 2018

Filter
Chapter
2009
1 Downloads (Pure)

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

5 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

Embedded systems
Systems analysis
Hardware
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

Specification languages
Message passing
Product design
Computer hardware
Algebra
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

Embedded systems
Real time systems
Life cycle
Hardware
28 Downloads (Pure)

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
Ideal
71 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
Systems analysis
Specifications
Chemical activation
Switches
Chemical analysis
2006
1 Downloads (Pure)

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 Citation (Scopus)
29 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
Real time systems
Computer hardware
Control systems
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
2 Downloads (Pure)

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

Large scale systems
Specifications

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

Unified Modeling Language
Hardware
Specification languages
Specifications
Modeling languages