| 2007 | A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. | Martin Schickel, Martin Oberknig, Martin Schweikert, Hans Eveking |
| 2007 | Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. | Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofine Tahar |
| 2007 | An Integrated SystemC Debugging Environment. | Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rlke |
| 2007 | A Configurable Transaction Level Model of a Generic Interconnection Part of Embedded Systems Used in an ESL Design Library. | Parisa Razaghi, Shahrzad Mirkhani, Zainalabedin Navabi |
| 2007 | Mapping SysML to SystemC. | Waseem Raslan, Ahmed Sameh |
| 2007 | Modelling Alternatives for Cycle Approximate Bus TLMs. | Martin Radetzki, Rauf Salimi Khaligh |
| 2007 | Protocol Bus Modeling using inheritance with TLM2.0. | Hector Posadas, David Quijano, Eugenio Villar, Marcos Martnez |
| 2007 | Grid Based Fast Falsification For Bounded Property Checking. | Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2007 | SC2 StateCharts to SystemC: Automatic Executable Models Generation. | Marcello Mura, Marco Paolieri |
| 2007 | Asynchronous online-monitoring of logical and temporal assertions. | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
| 2007 | Common HDL-Matlab Simulation Environment. | Adam Milik, Andrzej Pulka |
| 2007 | A Metamodeling based Framework for Architectural Modeling and Simulator Generation. | Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla |
| 2007 | Modeling of immediate vs. delayed data communications: from AADL to UML Marte. | Frdric Mallet, Charles Andr, Robert de Simone |
| 2007 | Proposal for a Bond Graph Based Model of Computation in SystemC-AMS. | Torsten Mhne, Alain Vachoux |
| 2007 | SystemC-based Simulation of the MICAS Architecture. | Johan Lilius, Ivan Porres, Kim Sandstrm, Dragos Truscan |
| 2007 | Automatic High Level Assertion Generation and Synthesis for Embedded System Design. | Lun Li, Frank P. Coyle, Mitchell A. Thornton |
| 2007 | Non-Linear Circuit Simulation using MATLAB. | Steven P. Levitan, Jose A. Martinez, Donald M. Chiarulli |
| 2007 | SystemC-WMS modeling of control techniques for switching amplifiers targeting polar RF transmitters. | Tommasso Leonardi, Massimo Conti, Eva Vidal, Eduard Alarcn |
| 2007 | SystemC workload model generation from UML for performance simulation. | Jari Kreku, Mika Hoppari, Kari Tiensyrj, Per Andersson |
| 2007 | C-based System Development of Asynchronous Distributed Systems. | Mario Korte, Frank Slomka |
| 2007 | Timed Asynchronous Circuits Modeling using SystemC. | Cedric Koch-Hofer, Marc Renaudin |
| 2007 | Autometic Generation of SystemC Transactors from AsmL Specification. | Tareq Hasan Khan, Ali Habibi, Sofine Tahar, Otmane At Mohamed |
| 2007 | Transactor-based Formal Verification of Real-time Embedded Systems. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2007 | Granularity Issues in Transaction Level Modelling Digital Signal Processing Applications. | Sylvain Huet, Sbastien Le Nours, Olivier Pasquier, Emmanuel Casseau |
| 2007 | APDL: A Processor Description Language For Design Space Exploration of Embedded Processors. | Nima Honarmand, Hasan Sohofi, Maghsoud Abbaspour, Zainalabedin Navabi |