The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jeroen Voeten" ( http://dblp.L3S.de/Authors/Jeroen_Voeten )

  Author page on DBLP  Author page in RDF  Community of Jeroen Voeten in ASPL-2

Publication years (Num. hits)
1996-2003 (15) 2004-2008 (15) 2009-2015 (18) 2016-2018 (8)
Publication types (Num. hits)
article(11) inproceedings(45)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 19 keywords

Results
Found 57 publication records. Showing 56 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. Search on Bibsonomy DSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems. Search on Bibsonomy SCOPES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. Search on Bibsonomy FDL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1W. Geelen, Duarte Antunes, Jeroen Voeten, Ramon R. H. Schiffelers, W. P. M. H. Heemels The Impact of Deadline Misses on the Control Performance of High-End Motion Control Systems. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten xCPS: a tool to explore cyber physical systems. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers Compositional specification of functionality and timing of manufacturing systems. Search on Bibsonomy FDL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriela Breaban, Martijn Koedam, Jeroen Voeten, Kees Goossens An embedded CAN controller for a vehicle networking course project. Search on Bibsonomy WESE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers Communication aware multiprocessor binding for shared memory systems. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers Iterative robust multiprocessor scheduling. Search on Bibsonomy RTNS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers Modular model-based supervisory controller design for wafer logistics in lithography machines. Search on Bibsonomy MoDELS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten xCPS: A tool to eXplore Cyber Physical Systems. Search on Bibsonomy WESE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal Modeling resource sharing using FSM-SADF. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers Robustness analysis of multiprocessor schedules. Search on Bibsonomy ICSAMOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vidya V. Parappurath, Jeroen Voeten, Kees C. Kotterink Calibration Error Bound Estimation in Performance Modeling. Search on Bibsonomy DSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. Search on Bibsonomy DSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Raymond Frijns, A. L. J. Kamp, Sander Stuijk, Jeroen Voeten, M. Bontekoe, K. J. A. Gemei, Henk Corporaal Dataflow-Based Multi-ASIP Platform Approach for Digital Control Applications. Search on Bibsonomy DSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten Model-based specification, analysis and synthesis of servo controllers for lithoscanners. Search on Bibsonomy MPM@MoDELS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal Error computation for predictable real-time software synthesis. Search on Bibsonomy Simulation The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bart D. Theelen, Marc Geilen, Jeroen Voeten Performance Model Checking Scenario-Aware Dataflow. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten, T. Hendriks, Bart D. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, Kees C. Kotterink, C. van Huët Predicting Timing Performance of Advanced Mechatronics Control Systems. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten UPPAAL in Practice: Quantitative Verification of a RapidIO Network. Search on Bibsonomy ISoLA (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Li Li, Jozef Hooman, Jeroen Voeten Connecting Technical and Non-technical Views of System Architectures. Search on Bibsonomy GreenCom/CPSCom The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten From POOSL to UPPAAL: Transformation and Quantitative Analysis. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF POOSL, performance, verification, transformation, quantitative analysis, UPPAAL
1Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink Concurrent Design of Embedded Control Software. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal Patterns for Automatic Generation of Soft Real-time System Models. Search on Bibsonomy Simulation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans An Executable Interface Specification for Industrial Embedded System Design. Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Henk Corporaal Predictable real-time software synthesis. Search on Bibsonomy Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Real-time systems, Formal methods, Program synthesis
1Bart 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. Search on Bibsonomy MEMOCODE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal A model-driven design approach for mechatronic systems. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal Reusing Real-Time Systems Design Experience. Search on Bibsonomy FDL The full citation details ... 2006 DBLP  BibTeX  RDF
1Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal Branching-Time Property Preservation Between Real-Time Systems. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Henk Corporaal Correctness-preserving synthesis for real-time control software. Search on Bibsonomy QSIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bart 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. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal Strengthening Property Preservation in Concurrent Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. Search on Bibsonomy SAMOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oana Florescu, Jeroen Voeten, Henk Corporaal Synthesis for Unified Control- and Data-Oriented Models. Search on Bibsonomy FDL The full citation details ... 2005 DBLP  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel Predictability in Real-time System Development (2) A Case Study . Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Andre Ventevogel Predictability in Real-time System Development (1) Semantics Support from Development Languages . Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
1Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal Error Estimation in Model-Driven Development for Real-Time Software. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
1Oana Florescu, Jeroen Voeten, Henk Corporaal A Unified Model for Analysis of Real-Time Properties. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer Performance modelling of a network processor using POOSL. Search on Bibsonomy Computer Networks The full citation details ... 2003 DBLP  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven Platform-independent Design for Embedded Real-time Systems . Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
1M. Verhappen, Jeroen Voeten, P. H. A. van der Putten Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
1Jinfeng Huang, Jeroen Voeten, Marc Geilen Real-time Property Preservation in Approximations of Timed Systems. Search on Bibsonomy MEMOCODE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten Performance evaluation with temporal rewards. Search on Bibsonomy Perform. Eval. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bart D. Theelen, Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens, Harm J. S. Dorren Concurrent Support of Higher-Layer Protocols over WDM. Search on Bibsonomy Photonic Network Communications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1M. Verhappen, P. H. A. van der Putten, Jeroen Voeten On the Fundamental Design Gap in Terabit per Second Packet Switching. Search on Bibsonomy DSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens Object-oriented modelling and specification using SHE. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten On the fundamental limitations of transformational design. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF syntactic variance problem, formal methods, high-level synthesis, Completeness, transformational design
1Jeroen Voeten, Harald P. E. Vranken Behavior-Preserving Transformations for Design-for-Test. Search on Bibsonomy EUROMICRO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten Temporal Rewards for Performance Evaluation. Search on Bibsonomy ICALP Satellite Workshops The full citation details ... 2000 DBLP  BibTeX  RDF
1Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen Software Synthesis for System Level Design Using Process Execution Trees. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF system level design language, simulation, operational semantics, software synthesis
1P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens System Level Models for Real-Time Communication. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens System Level Modelling for Hardware/Software Systems. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license