Twan Basten

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

Iteration-Based Trade-Off Analysis of Resource-Aware SDF.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling.

[BibT_eX]

[DOI]

Morteza Damavandpeyma

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Designing next-generation real-time streaming systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.

[BibT_eX]

[DOI]

Nikola Trcka

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Editorial: Model-driven embedded-system design.

[BibT_eX]

[DOI]

Rolf Ernst

ACM Trans. Embed. Comput. Syst., 2010

Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Real-time step motor emulator for hardware-in-the-loop simulation.

[BibT_eX]

[DOI]

Proceedings of the SummerSim '10, 2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A pareto-algebraic framework for signal power optimization in global routing.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010

Predicting the throughput of multiprocessor applications under dynamic workload.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computer Design, 2010

Thermal-aware scratchpad memory design and allocation.

[BibT_eX]

[DOI]

Morteza Damavandpeyma

Proceedings of the 28th International Conference on Computer Design, 2010

A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Automated bottleneck-driven design-space exploration of media processing systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Simultaneous budget and buffer size computation for throughput-constrained task graphs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Body Area Networks, 2010

Kahn Process Networks and a Reactive Extension.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

System-scenario-based design of dynamic embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Quality-of-service trade-off analysis for wireless sensor networks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2009

Fast simulation methods to predict wireless sensor network performance.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2009

Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2009

QoS Management for Wireless Sensor Networks with a Mobile Sink.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 6th European Conference, 2009

Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.

[BibT_eX]

[DOI]

Hamid Shojaei

Proceedings of the 46th Design Automation Conference, 2009

2008

Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2008

Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2008

Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip.

[BibT_eX]

[DOI]

Bart D. Theelen

J. Syst. Archit., 2008

Analyzing concurrency in streaming applications.

[BibT_eX]

[DOI]

J. Syst. Archit., 2008

A monitoring-aware network-on-chip design flow.

[BibT_eX]

[DOI]

J. Syst. Archit., 2008

Application Scenarios in Streaming-Oriented Embedded-System Design.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2008

Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Parametric Throughput Analysis of Synchronous Data Flow Graphs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

SPaC: a symbolic pareto calculator.

[BibT_eX]

[DOI]

Hamid Shojaei

Phillip Stanley-Marbell

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007

An Algebra of Pareto Points.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Analysing qos trade-offs in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2007

Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

Latency Minimization for Synchronous Data Flow Graphs.

[BibT_eX]

[DOI]

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

A calculator for Pareto points.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Congestion-controlled best-effort communication for networks-on-chip.

[BibT_eX]

[DOI]

Jan Willem van den Brand

Calin Ciordas

Kees Goossens

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

2006

RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications.

[BibT_eX]

[DOI]

J. Embed. Comput., 2006

Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Profiling Driven Scenarion Detection and Prediction for Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of 2006 International Conference on Embedded Computer Systems: Architectures, 2006

A scenario-aware data flow model for combined long-run average and worst-case performance analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

NoC monitoring: impact on the design flow.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

Run-time reconfiguration of communication in SIMD architectures.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Liveness and Boundedness of Synchronous Data Flow Graphs.

[BibT_eX]

[DOI]

Bart D. Theelen

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication.

[BibT_eX]

[DOI]

Bart D. Theelen

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

Dynamic-SIMD for lens distortion compensation.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Application-Specific Systems, 2006

SDF<sup>3</sup>: SDF For Free.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

Throughput Analysis of Synchronous Data Flow Graphs.

[BibT_eX]

[DOI]

A. J. M. Moonen

Marco Bekooij

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

An event-based monitoring service for networks on chip.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2005

Iterative compilation for energy reduction.

[BibT_eX]

[DOI]

J. Embed. Comput., 2005

Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications.

[BibT_eX]

[DOI]

Milan Pastrnak

Marco Bekooij

Peter H. N. de With

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Predictable embedding of large data structures in multiprocessor networks-on-chip.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

Automatic scenario detection for improved WCET estimation.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

Minimising buffer requirements of synchronous dataflow graphs with model checking.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

Intra-task scenario-aware voltage scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Compilers, 2005

Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures.

[BibT_eX]

[DOI]

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2005

2004

Cluster-Based Partial-Order Reduction.

[BibT_eX]

[DOI]

Dragan Bosnacki

Autom. Softw. Eng., 2004

An event-based network-on-chip monitoring service.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Reactive process networks.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

Static resource models for code-size efficient embedded processors.

[BibT_eX]

[DOI]

Qin Zhao

Bart Mesman

ACM Trans. Embed. Comput. Syst., 2003

Analyzing Concurrency in Computational Networks.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

PARS: A Process Algebra with Resources and Schedulers.

[BibT_eX]

[DOI]

Michel A. Reniers

Michel R. V. Chaudron

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Requirements on the Execution of Kahn Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Scaling into Ambient Intelligence.

[BibT_eX]

[DOI]

Luca Benini

Anantha P. Chandrakasan

Proceedings of the 2003 Design, 2003

Task-level timing models for guaranteed performance in multiprocessor networks-on-chip.

[BibT_eX]

[DOI]

Marco Bekooij

Bart Mesman

Proceedings of the International Conference on Compilers, 2003

Deciding Life-Cycle Inheritance on Petri Nets.

[BibT_eX]

[DOI]

H. M. W. Verbeek

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

CAST - A Task-Level Concurrency Analysis Tool.

[BibT_eX]

[DOI]

Jan Ypma

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.

[BibT_eX]

[DOI]

Michel A. Reniers

Michel R. V. Chaudron

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Ambient intelligence - impact on embedded system design.

[BibT_eX]

Harmke de Groot

Kluwer, ISBN: 978-1-4020-7668-8, 2003

2002

Inheritance of workflows: an approach to tackling problems related to change.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Using Aspect-GAMMA in the design of embedded systems.

[BibT_eX]

[DOI]

Giovanni Russello

Michel R. V. Chaudron

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models.

[BibT_eX]

[DOI]

Qin Zhao

Bart Mesman

Proceedings of the 2002 Design, 2002

2001

Inheritance of behavior.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2001

Diagnosing Workflow Processes using Woflan.

[BibT_eX]

[DOI]

H. M. W. Verbeek

Comput. J., 2001

Enhancing Partial-Order Reduction via Process Clustering.

[BibT_eX]

[DOI]

Dragan Bosnacki

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Static resource models of instruction sets.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Inheritance of Dynamic Behavior: Development of a Groupware Editor.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2001, 2001

Partial-Order Process Algebra (and its Relation to Petri Nets).

[BibT_eX]

[DOI]

Jos C. M. Baeten

Proceedings of the Handbook of Process Algebra, 2001

1999

Process Algebra in PVS.

[BibT_eX]

[DOI]

Jozef Hooman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Adaptive Workflow-On the Interplay between Flexibility and Support.

[BibT_eX]

H. M. W. Verbeek

Peter A. C. Verkoulen

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

1997

Parsing Partially Ordered Multisets.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1997

Vector Time and Causality Among Abstract Events in Distributed Computations.

[BibT_eX]

[DOI]

Distributed Comput., 1997

Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions.

[BibT_eX]

[DOI]

Comput. J., 1997

Life-Cycle Inheritance: A Petri-Net-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Branching Bisimilarity is an Equivalence Indeed!

[BibT_eX]

[DOI]

Inf. Process. Lett., 1996

1995

Simulating and analyzing railway interlockings in ExSpect.

[BibT_eX]

[DOI]

Roland N. Bol

IEEE Parallel Distributed Technol. Syst. Appl., 1995

An Algebraic Semantics for Hierarchical P/T Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Breakpoints and Time in Distributed Computations.

[BibT_eX]

[DOI]