Abstract is missing.
- Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC ModelsJens Gladigau, Christian Haubelt, Jürgen Teich. 1-6 [doi]
- Modelling Program-State Machines in SystemCKim Grüttner, Wolfgang Nebel. 7-12 [doi]
- Extending SystemC Clocks to Model SoCThierry Grellier. 13-18 [doi]
- Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSSPhilipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel. 19-24 [doi]
- Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal DecouplingMarkus Damm, Christoph Grimm, Jan Haase, Andreas Herrholz, Wolfgang Nebel. 25-30 [doi]
- Towards a Common HW/SW Interface-Centric and Component-Oriented Specification and Design MethodologyGrégory Gailliard, Hugues Balp, Christophe Jouvray, François Verdier. 31-36 [doi]
- A Latency, Preemption and Data Transfer Accurate Adaptive Transaction Level Model for Efficient Simulation of Pipelined BusesRauf Salimi Khaligh, Martin Radetzki. 37-42 [doi]
- Application - Platform Performance Modeling and EvaluationJari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä. 43-48 [doi]
- A SystemC-based Framework for Modeling and Simulation of Networked Embedded SystemsFranco Fummi, Davide Quaglia, Francesco Stefanni. 49-54 [doi]
- A SystemC Language Extension for High-Level Reconfiguration ModellingAndreas Raabe, Armin Felke. 55-60 [doi]
- Specification of Adaptive HW/SW Systems in SystemCFernando Herrera, Eugenio Villar, Philipp A. Hartmann. 61-65 [doi]
- Towards Compilation of Streaming Programs into FPGA HardwareFranjo Plavec, Zvonko G. Vranesic, Stephen Dean Brown. 67-72 [doi]
- Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited)S. Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt. 73-77 [doi]
- Designing Highly Parameterized Hardware using xHdlMiguel Angel Sánchez, Pedro Echeverría, Francisco Mansilla, Marisa López-Vallejo. 78-83 [doi]
- Formal Transformation of a KPN Specification to a GALS ImplementationSyed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty. 84-89 [doi]
- A Sigma-delta Bandpass ADC Modelling in Superconducting RSFQ Technology with VHDL-AMSRachid Guelaz, Patricia Desgreys, Patrick Loumeau. 90-93 [doi]
- VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit SimulationDafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi. 94-98 [doi]
- SystemC-AMS Modeling of an Electromechanical Harvester of Vibration EnergyKen Caluwaerts, Dimitri Galayko. 99-104 [doi]
- Integrated Requirement Evaluation of Non-Functional System-on-Chip PropertiesAlexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel. 105-110 [doi]
- A Requirements-Driven Simulation Framework for Communication Infrastructures DesignAlessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi. 111-117 [doi]
- VEST - An Intelligent Tool for Timing SoCs Verification Using UML Timing DiagramsAndrzej Pulka, Adam Milik. 118-123 [doi]
- Modeling of Custom-Designed Arithmetic Components for ABL NormalizationEvgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev. 124-129 [doi]
- Contradiction Analysis for Constraint-based Random SimulationDaniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler. 130-135 [doi]
- The Performance of Combining Multiway Decision Graphs and HOL Theorem ProverSa ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. 136-141 [doi]
- A Contract-based Formalism for the Specification of Heterogeneous Systems (invited)Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis. 142-147 [doi]
- Synthesizing Software Defined Radio Components from Rosetta (invited)Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander. 148-153 [doi]
- Event-Triggered vs. Time-Triggered Communications with UML MARTEFrédéric Mallet, Robert de Simone, Laurent Rioux. 154-159 [doi]
- MARTE-based Design of a Multimedia Application and Formal AnalysisAdolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. 160-166 [doi]
- UML 2.0 Interactions with OCL/RT ConstraintsDaniel Calegari, María Victoria Cengarle, Nora Szasz. 167-172 [doi]
- Refining Power Consumption Estimations in the Component-based AADL Design FlowEric Senn, Johann Laurent, Emmanuel Juin, Jean-Philippe Diguet. 173-178 [doi]
- Model Driven Hardware Design: One Step Forward to Cope with the Aerospace Industry NeedsPascal Pampagnin, Pierre Moreau, Rémy Maurice, David Guihal. 179-184 [doi]
- UML Profile for Modeling Product ObservationMathias Funk, Piet van der Putten, Henk Corporaal. 185-190 [doi]
- Scenario-based Validation of Embedded SystemsAngelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni. 191-196 [doi]
- A Model Driven Development Approach for Implementing Reactive Systems in HardwareZhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig. 197-202 [doi]
- Model-based Design Space Exploration for RTES with SysML and MARTEMarcello Mura, Luis Gabriel Murillo, Mauro Prevostini. 203-208 [doi]
- Enabling Automated Code Transformation and Variable TracingChristian Kerstan, Nico Bannow, Wolfgang Rosenstiel. 209-214 [doi]
- Generating MARTE Allocation Models from Activity ThreadsAndreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger. 215-220 [doi]
- Using SystemC for an Extended MATLAB/Simulink Verification FlowKai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel. 221-226 [doi]
- Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited)Jochen Zimmermann, Oliver Bringmann, Joachim Gerlach, Florian Schaefer, Ulrich Nageldinger. 227-232 [doi]
- Comparison of ASCET and UML - Preparations for an Abstract Software ArchitectureDirk Ahrens, Andreas Pfeiffer, Torsten Bertram. 233-234 [doi]
- System Behaviour Capture: from UML to SystemCJoaquín Pérez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vélez. 235-236 [doi]
- A Platform for Requirement Based Formal SpecificationUwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel. 237-238 [doi]
- Using C# Attributes to Describe Hardware Artefacts within KiwiDavid J. Greaves, Satnam Singh. 239-240 [doi]
- Telecommunication Application Modelling with Multi Writer Multi Reader Channels: a Case StudyEtienne Faure, Daniela Genius. 241-242 [doi]
- SpecScribe Analog - A Specification Tool Extension for Heterogeneous SystemsErik Markert, Uwe Proß, Ulrich Heinkel. 243-244 [doi]
- Automotive System Design with Specification and Verification of UncertaintiesChristoph Grimm, Manfred Dietrich. 245-246 [doi]
- Statistical Modeling with SystemC-AMS for Automotive SystemsThomas Markwirth, Joachim Haase, Karsten Einwich. 247-248 [doi]
- The AutoSUN Verification EnvironmentChristoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann. 249-250 [doi]
- RTL Generation of Channel Architecture Templates for a Template-based SoC Design FlowJinhyun Cho, Soonwoo Choi, Soo Chae. 251-252 [doi]
- Formal Specification of Delta MINs for MPSOC in the ACL2 LogicMaissa Elleuch, Yassine Aydi, Mohamed Abid. 253-254 [doi]
- TLM-Based Verification of a Combined Switching Networks-on-Chip RouterMohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem. 255-256 [doi]