| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum |
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.  |
FDL  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Arndt, Thomas Uhle, Karsten Einwich, Ingmar Neumann |
Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz |
Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Régis Leveugle |
Early Robustness Evaluation of Digital Integrated Systems. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rauf Salimi Khaligh, Martin Radetzki |
A Dynamic Load Balancing Method for Parallel Simulation of Accuracy Adaptive TLMs. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Monica Rafaila, Jérôme Kirscher, Christian Decker, Georg Pelz, Christoph Grimm 0001 |
Design of Experiments for Reliable Operation of Electronics in Automotive Applications. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermüller |
An Architecture for Deploying Model Based Testing in Embedded Systems. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kevin Marquet, Bageshri Karkare, Matthieu Moy |
A Theoretical and Experimental Review of SystemC Front-ends. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | François Pêcheux, Amer Habib |
Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert Wille, Sebastian Offermann, Rolf Drechsler |
SyReC: A Programming Language for Synthesis of Reversible Circuits. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng |
Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Stattelmann, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Le Nours, Anthony Barreteau, Olivier Pasquier |
Modeling Technique for Simulation Time Speed-up of Performance Computation in Transaction Level Models. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sumit Adhikari, Christoph Grimm 0001 |
Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bo Wang, Ian O'Connor, Emmanuel Drouard, Lioua Labrak |
Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann |
An Accelerated Mixed-Signal Simulation Kernel for SystemC. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | André Seffrin, Alexander Biedermann, Sorin A. Huss |
Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato |
Modeling of Communication Infrastructure for Design-Space Exploration. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Eugenio Villar, Fernando Herrera, Víctor Fernández 0001 |
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm 0001 |
Mixed Signal Simulation with SystemC and Saber. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault |
Formal Verification of Timed VHDL Programs. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Adam Morawiec, Jinnie Hinderscheit (eds.) |
Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | André Sülflow |
Bounded Fault Tolerance Checking. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann |
A re-use methodology for formal SoC protocol compliance verification. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Abdulhadi Shoufan, Sorin Alexander Huss |
Understanding physical models in VHDL-AMS. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marius Monton, Jordi Carrabina, Mark Burton |
Mixed simulation kernels for high performance virtual platforms. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Monica Rafaila, Christoph Decker, Georg Pelz, Christian Grimm |
Design of experiments for effective pre-silicon verification of automotive electronics. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich |
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone |
IP-XACT components with abstract time characterization. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marius Monton, Jakob Engblom, Mark Burton |
Checkpoint and Restore for SystemC models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
Fast and unified SystemC AMS - HDL simulation. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini |
Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jun Ye, Tun Li, QingPing Tan |
The application of Aspectual Feature Module in the development and verification of SystemC models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tom J. Kazmierski, Dafeng Zhou, Bashir M. Al-Hashimi |
HSPICE implementation of a numerically efficient model of CNT transistor. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Massimo Conti, Giovanni B. Vece, Sara Colazilli |
Extension of SystemC framework towards power analysis. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maxim Smirnov, Andres Takach |
A SystemC superset for high-level synthesis. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Terrasson, Renaud Briand, Skandar Basrour, Valérie Dupé |
A top-down approach for the design of low-power microsensor nodes for wireless sensor network. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Eugenio Villar |
Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Ferro, Laurence Pierre |
ISIS: Runtime verification of TLM platforms. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Torsten Mähne, Alain Vachoux, Frédéric Giroud, Matteo Contaldo |
A VHDL-AMS modeling methodology for top-down/bottom-up design of RF systems. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marko Rößler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher |
Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hans-Peter Löb, Christian Sauer 0001 |
Exploration of embedded memories in SoCs using SystemC-based functional performance models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla |
EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler |
SMT-based stimuli generation in the SystemC Verification library. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Anthony Barreteau, Sébastien Le Nours, Olivier Pasquier, Jean Paul Calvez |
Transaction level modeling of an adaptive multi-standard and multi-application radio communication system. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alain Greiner, Etienne Faure, Nicolas Pouillon, Daniela Genius |
A generic hardware / software communication middleware for streaming applications on shared memory multi processor systems-on-chip. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | M. Cheikhwafa, Sébastien Le Nours, Olivier Pasquier, Jean Paul Calvez |
Transaction level modeling of a FlexRay communication network. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Subayal Khan, Susanna Pantsar-Syväniemi, Jari Kreku, Kari Tiensyrjä, Juha-Pekka Soininen |
Linking GENESYS application architecture modelling with platform performance simulation. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Karner, Christian Steger, Reinhold Weiss, Eric Armengaud |
Optimizing HW/SW Co-simulation based on run-time model switching. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adán Kohler, Martin Radetzki |
A SystemC TLM2 model of communication in wormhole switched Networks-On-Chip. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | H. Gregor Molter, André Seffrin, Sorin Alexander Huss |
DEVS2VHDL: Automatic transformation of XML-specified DEVS Model of Computation into synthesizable VHDL code. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chenxu Zhao, Tom J. Kazmierski |
Analysis of sense finger dynamics for accurate ΣΔ MEMS accelerometer modelling in VHDL-AMS. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bayram Kurumahmut, Gökhan Kabukcu, Roza Ghamari, Arda Yurdakul |
Design automation model for application-specific processors on reconfigurable fabric. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joachim Haase, Ewald Hessel, Heinz-Theo Mammen |
Proposal to extend frequency domain analysis in VHDL-AMS. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Toczek, Dominique Houzet, Stéphane Mancini |
Another take on functional system-level design and modeling. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Markus Winterholer, Florian Schäfer |
Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Langer, Ulrich Heinkel |
High level synthesis using operation properties. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rami Khouri, Benjamin Nicolle, Lucas Alves Da Silva, William Tatinian, Gilles Jacquemod |
Evaluation of SystemC-AMS modeling capabilities of RF front-end non-linearities: satellite receiver case study. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Haase 0001, Markus Damm, Johann Glaser, Javier Moreno 0003, Christoph Grimm 0001 |
SystemC-based power simulation of wireless sensor networks. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Khaled Alsayeg, Katell Morin-Allory, Laurent Fesquet |
RAT-based formal verification of QDI asynchronous controllers. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Markwirth, Joachim Haase, Karsten Einwich |
Statistical Modeling with SystemC-AMS for Automotive Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi |
A Requirements-Driven Simulation Framework for Communication Infrastructures Design. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhyun Cho, Soonwoo Choi, Soo-Ik Chae |
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Gladigau, Christian Haubelt, Jürgen Teich |
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |
Formal Transformation of a KPN Specification to a GALS Implementation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt 0004 |
Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited). |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
Scenario-based Validation of Embedded Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Fummi, Davide Quaglia, Francesco Stefanni |
A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler |
Contradiction Analysis for Constraint-based Random Simulation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franjo Plavec, Zvonko G. Vranesic, Stephen Dean Brown |
Towards Compilation of Streaming Programs into FPGA Hardware. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig |
A Model Driven Development Approach for Implementing Reactive Systems in Hardware. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander |
Synthesizing Software Defined Radio Components from Rosetta (invited). |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Zimmermann, Oliver Bringmann 0001, Joachim Gerlach, Florian Schaefer, Ulrich Nageldinger |
Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited). |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Raabe, Armin Felke |
A SystemC Language Extension for High-Level Reconfiguration Modelling. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Grüttner, Wolfgang Nebel |
Modelling Program-State Machines in SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Ahrens, Andreas Pfeiffer, Torsten Bertram |
Comparison of ASCET and UML - Preparations for an Abstract Software Architecture. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Senn, Johann Laurent, Emmanuel Juin, Jean-Philippe Diguet |
Refining Power Consumption Estimations in the Component-based AADL Design Flow. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maissa Elleuch, Yassine Aydi, Mohamed Abid |
Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Caluwaerts, Dimitri Galayko |
SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Gailliard, Hugues Balp, Christophe Jouvray, François Verdier |
Towards a Common HW/SW Interface-Centric and Component-Oriented Specification and Design Methodology. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini |
Model-based Design Space Exploration for RTES with SysML and MARTE. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Markert, Uwe Proß, Ulrich Heinkel |
SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane |
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Grimm 0001, Klaus Gravogl, Florian Schupfer, Ingmar Neumann |
The AutoSUN Verification Environment. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Pulka, Adam Milik |
VEST - An Intelligent Tool for Timing SoCs Verification Using UML Timing Diagrams. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem |
TLM-Based Verification of a Combined Switching Networks-on-Chip Router. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Angel Sánchez, Pedro Echeverría, Francisco Mansilla, Marisa López-Vallejo |
Designing Highly Parameterized Hardware using xHdl. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Robert de Simone, Laurent Rioux |
Event-Triggered vs. Time-Triggered Communications with UML MARTE. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
Using SystemC for an Extended MATLAB/Simulink Verification Flow. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings |
FDL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger |
Generating MARTE Allocation Models from Activity Threads. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Damm, Christoph Grimm 0001, Jan Haase 0001, Andreas Herrholz, Wolfgang Nebel |
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Grellier |
Extending SystemC Clocks to Model SoC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Viehl, Björn Sander, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel |
Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Pampagnin, Pierre Moreau, Rémy Maurice, David Guihal |
Model Driven Hardware Design: One Step Forward to Cope with the Aerospace Industry Needs. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi |
VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Funk, Piet van der Putten, Henk Corporaal |
UML Profile for Modeling Product Observation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license