Search results for "Henk Corporaal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cedric Nugteren, Henk Corporaal	The boat hull model: enabling performance prediction for parallel computing prior to code development.	Conf. Computing Frontiers	2012	DBLP DOI BibTeX RDF
1	Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Modeling static-order schedules in synchronous dataflow graphs.	DATE	2012	DBLP BibTeX RDF
1	Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal	Playing games with scenario- and resource-aware SDF graphs through policy iteration.	DATE	2012	DBLP BibTeX RDF
1	Dongrui She, Yifan He, Bart Mesman, Henk Corporaal	Scheduling for register file energy minimization in explicit datapath architectures.	DATE	2012	DBLP BibTeX RDF
1	Cedric Nugteren, Henk Corporaal	The boat hull model: adapting the roofline model to enable performance prediction for parallel computing.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Chantal Ykman-Couvreur, Vincent Nollet, Francky Catthoor, Henk Corporaal	Fast multidimension multichoice knapsack heuristic for MP-SoC runtime management.	ACM Trans. Embedded Comput. Syst.	2011	DBLP DOI BibTeX RDF
1	Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal	Error computation for predictable real-time software synthesis.	Simulation	2011	DBLP DOI BibTeX RDF
1	Yu Pu, Yifan He, Zhenyu Ye, Sebastian M. Londono, Anteneh A. Abbo, Richard P. Kleihorst, Henk Corporaal	From Xetal-II to Xetal-Pro: On the Road Toward an Ultralow-Energy and High-Throughput SIMD Processor.	IEEE Trans. Circuits Syst. Video Techn.	2011	DBLP DOI BibTeX RDF
1	Cedric Nugteren, Henk Corporaal, Bart Mesman	Skeleton-based automatic parallelization of image processing algorithms for GPUs.	ICSAMOS	2011	DBLP DOI BibTeX RDF
1	Ahsan Shabbir, Akash Kumar, Bart Mesman, Henk Corporaal	Distributed resource management for concurrent execution of multimedia applications on MPSoC platforms.	ICSAMOS	2011	DBLP DOI BibTeX RDF
1	Yifan He, Dongrui She, Bart Mesman, Henk Corporaal	MOVE-Pro: A low power and high code density TTA architecture.	ICSAMOS	2011	DBLP DOI BibTeX RDF
1	Maurice Peemen, Bart Mesman, Henk Corporaal	Efficiency Optimization of Trainable Feature Extractors for a Consumer Platform.	ACIVS	2011	DBLP DOI BibTeX RDF
1	Yifan He, Zhenyu Ye, Dongrui She, Bart Mesman, Henk Corporaal	Feasibility Analysis of Ultra High Frame Rate Visual Servoing on FPGA and SIMD Processor.	ACIVS	2011	DBLP DOI BibTeX RDF
1	Gert-Jan van den Braak, Cedric Nugteren, Bart Mesman, Henk Corporaal	Fast Hough Transform on GPUs: Exploration of Algorithm Trade-Offs.	ACIVS	2011	DBLP DOI BibTeX RDF
1	Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal	Iteration-Based Trade-Off Analysis of Resource-Aware SDF.	DSD	2011	DBLP DOI BibTeX RDF
1	Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling.	DSD	2011	DBLP DOI BibTeX RDF
1	Martijn Koedam, Sander Stuijk, Henk Corporaal	Exploiting Inter and Intra Application Dynamism to Save Energy.	DSD	2011	DBLP DOI BibTeX RDF
1	Henk Corporaal, Sander Stuijk (eds.)	14th International Workshop on Software and Compilers for Embedded Systems, SCOPES '11, St. Goar, Germany, June 27-28, 2011	SCOPES	2011	DBLP BibTeX RDF
1	Cedric Nugteren, Gert-Jan van den Braak, Henk Corporaal, Bart Mesman	High performance predictable histogramming on GPUs: exploring and evaluating algorithm trade-offs.	GPGPU	2011	DBLP DOI BibTeX RDF
1	Ahsan Shabbir, Sander Stuijk, Akash Kumar, Henk Corporaal, Bart Mesman	An MPSoC design approach for multiple use-cases of throughput constrainted applications.	Conf. Computing Frontiers	2011	DBLP DOI BibTeX RDF
1	Firew Siyoum, Benny Akesson, Sander Stuijk, Kees Goossens, Henk Corporaal	Resource-Efficient Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration.	RTCSA	2011	DBLP DOI BibTeX RDF
1	Roel Jordans, Firew Siyoum, Sander Stuijk, Akash Kumar, Henk Corporaal	An Automated Flow to Map Throughput Constrained Applications to a MPSoC.	PPES	2011	DBLP DOI BibTeX RDF
1	Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij, Henk Corporaal	Resynchronization of Cyclo-Static Dataflow graphs.	DATE	2011	DBLP DOI BibTeX RDF
1	Peng Qiao, Henk Corporaal, Menno Lindwer	A 0.964mW digital hearing aid system.	DATE	2011	DBLP BibTeX RDF
1	Stefan J. Geuns, Marco Jan Gerrit Bekooij, Tjerk Bijlsma, Henk Corporaal	Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems.	DATE	2011	DBLP DOI BibTeX RDF
1	Zhenyu Ye, Henk Corporaal, Pieter Jonker	PhD forum: A cyber-physical system approach to embedded visual servoing.	ICDSC	2011	DBLP DOI BibTeX RDF
1	Zhenyu Ye, Yifan He, Roel Pieters, Bart Mesman, Henk Corporaal, Pieter Jonker	Demo: An embedded vision system for high frame rate visual servoing.	ICDSC	2011	DBLP DOI BibTeX RDF
1	Ahsan Shabbir, Akash Kumar, Sander Stuijk, Bart Mesman, Henk Corporaal	CA-MPSoC: An automated design flow for predictable multi-processor architectures for multiple applications.	Journal of Systems Architecture - Embedded Systems Design	2010	DBLP DOI BibTeX RDF
1	Yu Pu, Jose de Jesus Pineda de Gyvez, Henk Corporaal, Yajun Ha	An Ultra-Low-Energy Multi-Standard JPEG Co-Processor in 65 nm CMOS With Sub/Near Threshold Supply Voltage.	J. Solid-State Circuits	2010	DBLP DOI BibTeX RDF
1	Akash Kumar, Bart Mesman, Henk Corporaal, Yajun Ha	Iterative Probabilistic Performance Prediction for Multi-Application Multiprocessor Systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Vincent Nollet, Diederik Verkest, Henk Corporaal	A Safari Through the MPSoC Run-Time Management Jungle.	Signal Processing Systems	2010	DBLP DOI BibTeX RDF
1	Tim Drijvers, Carlos A. Alba Pinto, Henk Corporaal, Bart Mesman, Gert-Jan van den Braak	Fast Huffman decoding by exploiting data level parallelism.	ICSAMOS	2010	DBLP DOI BibTeX RDF
1	Gert-Jan van den Braak, Bart Mesman, Henk Corporaal	Compile-time GPU memory access optimizations.	ICSAMOS	2010	DBLP DOI BibTeX RDF
1	Yifan He, Yu Pu, Richard P. Kleihorst, Zhenyu Ye, Anteneh A. Abbo, Sebastian M. Londono, Henk Corporaal	Xetal-Pro: an ultra-low energy and high throughput SIMD processor.	DAC	2010	DBLP DOI BibTeX RDF	Xetal-Pro, hybrid memory system, SIMD, low-energy
1	Ahsan Shabbir, Sander Stuijk, Akash Kumar, Bart D. Theelen, Bart Mesman, Henk Corporaal	A predictable communication assist.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	fpga's, communication, predictable, dma, ca, mp-soc
1	Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal	Automated bottleneck-driven design-space exploration of media processing systems.	DATE	2010	DBLP BibTeX RDF
1	Andrew Nelson, Andreas Hansson, Henk Corporaal, Kees G. W. Goossens	Conservative application-level performance analysis through simulation of MPSoCs.	ESTImedia	2010	DBLP DOI BibTeX RDF
1	Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Thermal-aware scratchpad memory design and allocation.	ICCD	2010	DBLP DOI BibTeX RDF
1	Jari Heikkinen, Jarmo Takala, Henk Corporaal	Dictionary-based program compression on customizable processor architectures.	Microprocessors and Microsystems - Embedded Hardware Design	2009	DBLP DOI BibTeX RDF
1	Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal	Patterns for Automatic Generation of Soft Real-time System Models.	Simulation	2009	DBLP DOI BibTeX RDF
1	Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal	Quality-of-service trade-off analysis for wireless sensor networks.	Perform. Eval.	2009	DBLP DOI BibTeX RDF
1	Martin Palkovic, Francky Catthoor, Henk Corporaal	Trade-offs in loop transformations.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Data transfer and storage exploration, cost components, optimization, loop transformations, trade-offs
1	Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere	System-scenario-based design of dynamic embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	dynamic nature, system scenarios, real-time systems, embedded systems, Design methodology, energy reduction
1	Martin Palkovic, Henk Corporaal, Francky Catthoor	Dealing with data dependent conditions to enable general global source code transformations.	IJES	2009	DBLP DOI BibTeX RDF
1	Aylin Koca, Mathias Funk, Evangelos Karapanos, Anne Rozinat, Wil M. P. van der Aalst, Henk Corporaal, Jean-Bernard Martens, Piet van der Putten, A. J. M. M. Weijters, Aarnout Brombacher	Soft reliability: an interdisciplinary approach with a user-system focus.	Quality and Reliability Eng. Int.	2009	DBLP DOI BibTeX RDF
1	Ahsan Shabbir, Akash Kumar, Bart Mesman, Henk Corporaal	Performance evaluation of concurrently executing parallel applications on multi-processor systems.	ICSAMOS	2009	DBLP DOI BibTeX RDF
1	Yu Pu, Jose de Jesus Pineda de Gyvez, Henk Corporaal, Yajun Ha	An ultra-low-energy/frame multi-standard JPEG co-processor in 65nm CMOS with sub/near-threshold power supply.	ISSCC	2009	DBLP DOI BibTeX RDF
1	Mathias Funk, Anne Rozinat, Ana Karla Alves de Medeiros, Piet van der Putten, Henk Corporaal, Wil M. P. van der Aalst	Improving Product Usage Monitoring and Analysis with Semantic Concepts.	UNISCON	2009	DBLP DOI BibTeX RDF	Product monitoring, semantic process mining, ontologies, process mining, log analysis
1	H. W. M. van Moll, Henk Corporaal, Víctor Reyes, Marleen Boonen	Fast and accurate protocol specific bus modeling using TLM 2.0.	DATE	2009	DBLP BibTeX RDF
1	Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal	QoS Management for Wireless Sensor Networks with a Mobile Sink.	EWSN	2009	DBLP DOI BibTeX RDF
1	Mathias Funk, Piet van der Putten, Henk Corporaal	Analytics for the internet of things.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	remote observation, evaluation, user experience, internet of things
1	Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal	Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.	ESTImedia	2009	DBLP DOI BibTeX RDF
1	Frank E. B. Ophelders, Marco Bekooij, Henk Corporaal	A tuneable software cache coherence protocol for heterogeneous MPSoCs.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	performance, design, reliability
1	Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesman, Henk Corporaal	Multiprocessor systems synthesis for multiple use-cases of multiple applications on FPGA.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	multi-application, multiple use-cases, synchronous data-flow graphs, FPGA, multiprocessor systems, multimedia systems, design exploration
1	Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha	Analyzing composability of applications on MPSoC platforms.	Journal of Systems Architecture - Embedded Systems Design	2008	DBLP DOI BibTeX RDF
1	Vincent Nollet, Prabhat Avasare, Hendrik Eeckhaut, Diederik Verkest, Henk Corporaal	Run-Time Management of a MPSoC Containing FPGA Fabric Tiles.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	dynamic voltage scheduling, application scenarios, embedded systems, soft real-time
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Application Scenarios in Streaming-Oriented Embedded-System Design.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF
1	Ahsan Shabbir, Akash Kumar, Bart Mesman, Henk Corporaal	Enabling MPSoC Design Space Exploration on FPGAs.	IMTIC	2008	DBLP DOI BibTeX RDF	FPGAs, MPSoC, FIFO, FSL
1	Mathias Funk, Piet van der Putten, Henk Corporaal	Specification for User Modeling with Self-Observing Systems.	ACHI	2008	DBLP DOI BibTeX RDF	interactive product, self-observatoin, distributed system, user modeling, specification language, visual language
1	Michael Koch, Zoran Zivkovic, Richard P. Kleihorst, Henk Corporaal	Distributed Smart Camera Calibration Using Blinking LED.	ACIVS	2008	DBLP DOI BibTeX RDF	Blinking LED Detection, Distributed Calibration
1	Yifan He, Zoran Zivkovic, Richard P. Kleihorst, Alexander Danilin, Henk Corporaal, Bart Mesman	Real-Time Hough Transform on 1-D SIMD Processors: Implementation and Architecture Exploration.	ACIVS	2008	DBLP DOI BibTeX RDF
1	Raymond Frijns, Hamed Fatemi, Bart Mesman, Henk Corporaal	DC-SIMD : Dynamic communication for SIMD processors.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Yu Pu, Jose de Jesus Pineda de Gyvez, Henk Corporaal, Yajun Ha	Statistical noise margin estimation for sub-threshold combinational circuits.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Mathias Funk, Piet van der Putten, Henk Corporaal	UML Profile for Modeling Product Observation.	FDL	2008	DBLP DOI BibTeX RDF
1	Mathias Funk, Piet van der Putten, Henk Corporaal	Model Interpretation for Executable Observation Specifications.	SEKE	2008	DBLP BibTeX RDF
1	Yifan He, Zoran Zivkovic, Richard P. Kleihorst, Alexander Danilin, Henk Corporaal	Real-time implementations of Hough Transform on SIMD architecture.	ICDSC	2008	DBLP DOI BibTeX RDF
1	Anteneh A. Abbo, Vincent Jeanne, Martin Ouwerkerk, Caifeng Shan, Ralph Braspenning, Abhiram Ganesh, Henk Corporaal	Mapping facial expression recognition algorithms on a low-power smart camera.	ICDSC	2008	DBLP DOI BibTeX RDF
1	Frank E. B. Ophelders, Samarjit Chakraborty, Henk Corporaal	Intra- and inter-processor hybrid performance modeling for MPSoC architectures.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	simulation, performance analysis, system-on-chip
1	Kristof Denolf, Marco Jan Gerrit Bekooij, Johan Cockx, Diederik Verkest, Henk Corporaal	Exploiting the Expressiveness of Cyclo-Static Dataflow to Model Multimedia Implementations.	EURASIP J. Adv. Sig. Proc.	2007	DBLP DOI BibTeX RDF
1	Andrei Terechko, Henk Corporaal	Inter-cluster communication in VLIW architectures.	TACO	2007	DBLP DOI BibTeX RDF	intercluster communication, pipelining, Instruction-level parallelism, register allocation, VLIW, instruction scheduler, optimizing compiler, clock frequency, cluster assignment
1	Kristof Denolf, Adrian Chirila-Rus, Paul R. Schumacher, Robert D. Turney, Kees A. Vissers, Diederik Verkest, Henk Corporaal	A Systematic Approach to Design Low-Power Video Codec Cores.	EURASIP J. Emb. Sys.	2007	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
1	Chantal Ykman-Couvreur, Vincent Nollet, Théodore Marescaux, Erik Brockmeyer, Francky Catthoor, Henk Corporaal	Design-time application mapping and platform exploration for MP-SoC customised run-time management.	IET Computers & Digital Techniques	2007	DBLP DOI BibTeX RDF
1	Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesman, Henk Corporaal	Multi-processor System-level Synthesis for Multiple Applications on Platform FPGA.	FPL	2007	DBLP DOI BibTeX RDF
1	Yu Pu, Jose de Jesus Pineda de Gyvez, Henk Corporaal, Yajun Ha	Vt balancing and device sizing towards high yield of sub-threshold static logic gates.	ISLPED	2007	DBLP DOI BibTeX RDF	variability, sub-threshold
1	Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal	A model-driven design approach for mechatronic systems.	ACSD	2007	DBLP DOI BibTeX RDF
1	Théodore Marescaux, Erik Brockmeyer, Henk Corporaal	The Impact of Higher Communication Layers on NoC Supported MP-SoCs.	NOCS	2007	DBLP DOI BibTeX RDF
1	Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.	DAC	2007	DBLP DOI BibTeX RDF
1	Akash Kumar, Bart Mesman, Henk Corporaal, Bart D. Theelen, Yajun Ha	A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices.	DAC	2007	DBLP DOI BibTeX RDF
1	Théodore Marescaux, Henk Corporaal	Introducing the SuperGT Network-on-Chip; SuperGT QoS: more than just GT.	DAC	2007	DBLP DOI BibTeX RDF
1	Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest, Henk Corporaal	Very wide register: an asymmetric register file organization for low power embedded processors.	DATE	2007	DBLP DOI BibTeX RDF
1	Akash Kumar, Andreas Hansson, Jos Huisken, Henk Corporaal	Interactive presentation: An FPGA design flow for reconfigurable network-based multi-processor systems on chip.	DATE	2007	DBLP DOI BibTeX RDF
1	Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal	Analysing qos trade-offs in wireless sensor networks.	MSWiM	2007	DBLP DOI BibTeX RDF
1	Martin Palkovic, Erik Brockmeyer, Peter Vanbroekhoven, Henk Corporaal, Francky Catthoor	Systematic Preprocessing of Data Dependent Constructs for Embedded Systems.	J. Low Power Electronics	2006	DBLP DOI BibTeX RDF
1	Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst	RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications.	J. Embedded Computing	2006	DBLP BibTeX RDF
1	Wouter Caarls, Pieter P. Jonker, Henk Corporaal	Skeletons and Asynchronous RPC for Embedded Data and Task Parallel Image Processing.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Profiling Driven Scenarion Detection and Prediction for Multimedia Applications.	ICSAMOS	2006	DBLP DOI BibTeX RDF
1	Chantal Ykman-Couvreur, Vincent Nollet, Théodore Marescaux, Erik Brockmeyer, Francky Catthoor, Henk Corporaal	Pareto-Based Application Specification for MP-SoC Customized Run-Time Management.	ICSAMOS	2006	DBLP DOI BibTeX RDF
1	Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal	Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.	SAMOS	2006	DBLP DOI BibTeX RDF
1	Tom Vander Aa, Murali Jayapala, Henk Corporaal, Francky Catthoor, Geert Deconinck	Instruction Transfer And Storage Exploration for Low Energy VLIWs.	SiPS	2006	DBLP DOI BibTeX RDF
1	Vincent Nollet, Prabhat Avasare, Diederik Verkest, Henk Corporaal	Exploiting Hierarchical Configuration to Improve Run-Time MPSoC Task Assignment.	ERSA	2006	DBLP BibTeX RDF
1	Akash Kumar, Bart Mesman, Henk Corporaal, Jef L. van Meerbergen, Yajun Ha	Global Analysis of Resource Arbitration for MPSoC.	DSD	2006	DBLP DOI BibTeX RDF
1	Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker	Run-time reconfiguration of communication in SIMD architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Wouter Caarls, Pieter P. Jonker, Henk Corporaal	Algorithmic skeletons for stream programming in embedded heterogeneous parallel image processing applications.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal	Branching-Time Property Preservation Between Real-Time Systems.	ATVA	2006	DBLP DOI BibTeX RDF
1	Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten	Dynamic-SIMD for lens distortion compensation.	ASAP	2006	DBLP DOI BibTeX RDF
1	Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal	Reusing Real-Time Systems Design Experience.	FDL	2006	DBLP BibTeX RDF
1	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Strengthening Property Preservation in Concurrent Real-Time Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Correctness-preserving synthesis for real-time control software.	QSIC	2006	DBLP DOI BibTeX RDF

Publications of "Henk Corporaal" ( http://dblp.L3S.de/Authors/Henk_Corporaal )