Twan Basten
Eindhoven University of Technology(NL)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Real-Time Systems Scheduling, Interconnection Networks and Systems, Formal Methods in Verification
Most-Cited Works
- → Inheritance of workflows: an approach to tackling problems related to change(2002)488 cited
- → Throughput Analysis of Synchronous Data Flow Graphs(2006)264 cited
- → SDF^3: SDF For Free(2006)257 cited
- → Process Algebra: Equational Theories of Communicating Processes(2009)195 cited
- → Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs(2006)183 cited
- → A scenario-aware data flow model for combined long-run average and worst-case performance analysis(2006)170 cited
- → System-scenario-based design of dynamic embedded systems(2009)168 cited