| SpecC: Specification language and methodology DD Gajski, J Zhu, R Dömer, A Gerstlauer, S Zhao Springer Science & Business Media, 2012 | 918 | 2012 |
| System design: a practical guide with SpecC A Gerstlauer, R Dömer, J Peng, DD Gajski Springer Science & Business Media, 2012 | 202 | 2012 |
| System-on-chip environment: A SpecC-based framework for heterogeneous MPSoC design R Dömer, A Gerstlauer, J Peng, D Shin, L Cai, H Yu, S Abdi, DD Gajski EURASIP Journal on Embedded Systems 2008, 1-13, 2008 | 162 | 2008 |
| OSCAR: Optimum simultaneous scheduling, allocation and resource binding based on integer programming B Landwehr, P Marwedel, R Dömer Dekanat Informatik, Univ. 9, 90-95, 1994 | 125 | 1994 |
| The SpeC language reference manual R Domer, J Zhu, DD Gajski | 118 | 1998 |
| Hardware-dependent software: principles and practice R Domer Springer, 2009 | 116 | 2009 |
| Syntax and semantics of the SpecC+ language J Zhu, R Domer, DD Gajski | 83 | 1997 |
| Essential issues in codesign DD Gajski, J Zhu, R Dömer Hardware/Software Co-Design: Principles and Practice, 1-45, 1997 | 78 | 1997 |
| Feature based recognition of traffic video streams for online route tracing C Busch, R Domer, C Freytag, H Ziegler VTC'98. 48th IEEE Vehicular Technology Conference. Pathway to Global …, 1998 | 64 | 1998 |
| Quantitative analysis of the speed/accuracy trade-off in transaction level modeling G Schirner, R Dömer ACM Transactions on Embedded Computing Systems (TECS) 8 (1), 1-29, 2009 | 60 | 2009 |
| Quantitative analysis of transaction level models for the AMBA bus G Schirner, R Domer Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006 | 57 | 2006 |
| Introducing preemptive scheduling in abstract RTOS models using result oriented modeling G Schirner, R Dömer Proceedings of the conference on Design, automation and test in Europe, 122-127, 2008 | 54 | 2008 |
| System-level communication modeling for network-on-chip synthesis A Gerstlauer, D Shin, R Dömer, DD Gajski Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005 | 54 | 2005 |
| Out-of-order parallel simulation for ESL design W Chen, X Han, R Dömer 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 141-146, 2012 | 53 | 2012 |
| Built-in chaining: Introducing complex components into architectural synthesis P Marwedel, B Landwehr, R Domer Proceedings of ASP-DAC'97: Asia and South Pacific Design Automation …, 1997 | 53 | 1997 |
| Embedded software generation from system level design languages H Yu, R Domer, D Gajski ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004 | 51 | 2004 |
| C-based interactive RTL design methodology D Shin, A Gerstlauer, R Dömer, D Gajski Center for Embedded Computer Systems, 2003 | 50 | 2003 |
| Automatic generation of transaction level models for rapid design space exploration D Shin, A Gerstlauer, J Peng, R Dömer, DD Gajski Proceedings of the 4th international conference on Hardware/software …, 2006 | 46 | 2006 |
| Abstract, multifaceted modeling of embedded processors for system level design G Schirner, A Gerstlauer, R Domer 2007 Asia and South Pacific Design Automation Conference, 384-389, 2007 | 45 | 2007 |
| The formal execution semantics of SpecC W Mueller, R Dömer, A Gerstlauer Proceedings of the 15th international symposium on system synthesis, 150-155, 2002 | 44 | 2002 |
Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at AustinEmail verificata su ece.utexas.edu
