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

Research Output

Filter
Report
2008

Scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W., Stuijk, S., Gheorghita, V., Basten, T., Voeten, J. P. M. & Ghamarian, A. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 p. (ES reports; vol. 2008-08)

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)
2006

Modelling patterns for analysis and design of real-time systems

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 25 p. (ES reports; vol. 2006-05)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

Towards stronger property preservation in real-time system synthesis

Florescu, O., Huang, J., Voeten, J. P. M. & Corporaal, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 21 p. (ES reports; vol. 2006-02)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)
2005

Predicting implementation accuracy for real-time control systems

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 18 p. (ES reports; vol. 2005-09)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)
2000

Assessment of POOSL Modelling; Performance Analysis for System-level Design

Theelen, B. D., Voeten, J. P. M. & Bokhoven, van, L. J., 2000, Eindhoven: Technische Universiteit Eindhoven. 28 p.

Research output: Book/ReportReportAcademic

Guidelines for System-level Methods and Tools; Performance analysis for System-level Design.

Theelen, B. D. & Voeten, J. P. M., 2000, Eindhoven: Technische Universiteit Eindhoven. 20 p.

Research output: Book/ReportReportAcademic

Modelling the MPSR Switch System using POOSL; Performance Analysis for System-level Design

Theelen, B. D. & Voeten, J. P. M., 2000, Eindhoven: Technische Universiteit Eindhoven. 70 p.

Research output: Book/ReportReportAcademic

1995

CCS and time : a practical and comprehensible approach to a performance evaluation of finite state CCS descriptions

Voeten, J. P. M. & van Rangelrooij, A., 1995, Eindhoven: Eindhoven University of Technology. 67 p. (EUT report. E, Fac. of Electrical Engineering; vol. 95-E-292)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

POOSL : an object-oriented specification language for the analysis and design of hardware/software systems

Voeten, J. P. M., 1995, Eindhoven: Eindhoven University of Technology. 41 p. (EUT report. E, Fac. of Electrical Engineering; vol. 95-E-290)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

Semantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems

Voeten, J. P. M., 1995, Eindhoven: Eindhoven University of Technology. 77 p. (EUT report. E, Fac. of Electrical Engineering; vol. 95-E-293)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)
1994

CCSTOOL2 : an expansion, minimization and verification tool for finite state CCS descriptions

van Rangelrooij, A. & Voeten, J. P. M., 1994, Eindhoven: Eindhoven University of Technology. 64 p. (EUT report. E, Fac. of Electrical Engineering; vol. 94-E-284)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)
1990

Een filter voor de Calcomp elektrostatische plotter

Kersic, R. J. P. & Voeten, J. P. M., 1990, Eindhoven: Technische Universiteit Eindhoven. 70 p. (Computing centre note; vol. 47)

Research output: Book/ReportReportPopular

Open Access
File
35 Downloads (Pure)