Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jeroen Voeten
2010 – today
- 2011
[j8]Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal: Error computation for predictable real-time software synthesis. Simulation 87(4): 334-350 (2011)- [c28]Jeroen Voeten, T. Hendriks, Bart D. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, K. Kotterink, C. van Huët: Predicting Timing Performance of Advanced Mechatronics Control Systems. COMPSAC Workshops 2011: 206-210
- [c27]Bart D. Theelen, Marc Geilen, Jeroen Voeten: Performance Model Checking Scenario-Aware Dataflow. FORMATS 2011: 43-59
- 2010
- [c26]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56
- [c25]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174
2000 – 2009
- 2009
- [j7]Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink: Concurrent Design of Embedded Control Software. ECEASST 21 (2009)
- [j6]Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal: Patterns for Automatic Generation of Soft Real-time System Models. Simulation 85(11-12): 709-734 (2009)
- 2008
- [c24]Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans: An Executable Interface Specification for Industrial Embedded System Design. QSIC 2008: 37-44
- 2007
- [j5]Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Predictable real-time software synthesis. Real-Time Systems 36(3): 159-198 (2007)
- [c23]Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal: A model-driven design approach for mechatronic systems. ACSD 2007: 127-136
- [c22]Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten: Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. MEMOCODE 2007: 139-148
- 2006
- [c21]Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal: Branching-Time Property Preservation Between Real-Time Systems. ATVA 2006: 260-275
- [c20]Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal: Reusing Real-Time Systems Design Experience. FDL 2006: 375-381
- [c19]Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE 2006: 185-194
- [c18]Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Correctness-preserving synthesis for real-time control software. QSIC 2006: 65-73
- [c17]Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal: Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA 2006: 106-109
- [c16]Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal: Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. SAMOS 2006: 206-215
- 2005
- [c15]Oana Florescu, Jeroen Voeten, Henk Corporaal: Synthesis for Unified Control- and Data-Oriented Models. FDL 2005: 531-543
- 2004
- [c14]Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal: Error Estimation in Model-Driven Development for Real-Time Software. FDL 2004: 228-240
- [c13]Jinfeng Huang, Jeroen Voeten, Andre Ventevogel: Predictability in Real-time System Development (1) Semantics Support from Development Languages . FDL 2004: 264-278
- [c12]Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel: Predictability in Real-time System Development (2) A Case Study . FDL 2004: 278-289
- [c11]Oana Florescu, Jeroen Voeten, Henk Corporaal: A Unified Model for Analysis of Real-Time Properties. ISoLA (Preliminary proceedings) 2004: 220-226
- 2003
- [j4]Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer: Performance modelling of a network processor using POOSL. Computer Networks 41(5): 667-684 (2003)
- [c10]Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven: Platform-independent Design for Embedded Real-time Systems . FDL 2003: 318-330
- [c9]M. Verhappen, Jeroen Voeten, P. H. A. van der Putten: Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. FDL 2003: 330-342
- [c8]Jinfeng Huang, Jeroen Voeten, Marc Geilen: Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003: 163-171
- 2002
- [j3]
- [c7]M. Verhappen, P. H. A. van der Putten, Jeroen Voeten: On the Fundamental Design Gap in Terabit per Second Packet Switching. DSD 2002: 371-379
- 2001
- [j2]Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens: Object-oriented modelling and specification using SHE. Comput. Lang. 27(1/3): 19-38 (2001)
- [j1]Jeroen Voeten: On the fundamental limitations of transformational design. ACM Trans. Design Autom. Electr. Syst. 6(4): 533-552 (2001)
- 2000
- [c6]Jeroen Voeten, Harald P. E. Vranken: Behavior-Preserving Transformations for Design-for-Test. EUROMICRO 2000: 1193-
- [c5]
1990 – 1999
- 1999
- [c4]Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen: Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO 1999: 1463-1467
- [c3]P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens: System Level Models for Real-Time Communication. EUROMICRO 1999: 1496-
- 1998
- [c2]Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens: System Level Modelling for Hardware/Software Systems. EUROMICRO 1998: 10154-10161
- 1996
- [c1]Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens: Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. EUROMICRO 1996: 19-27
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:57 CET by the dblp team