| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rauf Salimi Khaligh, Martin Radetzki |
A Latency, Preemption and Data Transfer Accurate Adaptive Transaction Level Model for Efficient Simulation of Pipelined Buses.  |
FDL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Pérez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vélez |
System Behaviour Capture: from UML to SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kerstan, Nico Bannow, Wolfgang Rosenstiel |
Enabling Automated Code Transformation and Variable Tracing. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel |
A Platform for Requirement Based Formal Specification. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä |
Application - Platform Performance Modeling and Evaluation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Faure, Daniela Genius |
Telecommunication Application Modelling with Multi Writer Multi Reader Channels: a Case Study. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
MARTE-based Design of a Multimedia Application and Formal Analysis. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guelaz, Patricia Desgreys, Patrick Loumeau |
A Sigma-delta Bandpass ADC Modelling in Superconducting RSFQ Technology with VHDL-AMS. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Greaves, Satnam Singh |
Using C# Attributes to Describe Hardware Artefacts within Kiwi. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
Specification of Adaptive HW/SW Systems in SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, María Victoria Cengarle, Nora Szasz |
UML 2.0 Interactions with OCL/RT Constraints. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Grimm 0001, Manfred Dietrich |
Automotive System Design with Specification and Verification of Uncertainties. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Waseem Raslan, Ahmed Sameh |
Mapping SysML to SystemC. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler |
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Leran Wang, Chenxu Zhao, Tom J. Kazmierski |
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Parisa Razaghi, Shahrzad Mirkhani, Zainalabedin Navabi |
A Configurable Transaction Level Model of a Generic Interconnection Part of Embedded Systems Used in an ESL Design Library. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lun Li, Frank P. Coyle, Mitchell A. Thornton |
Automatic High Level Assertion Generation and Synthesis for Embedded System Design. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jens Brandt 0001, Klaus Schneider 0001 |
How Different are Esterel and SystemC?. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jari Kreku, Mika Hoppari, Kari Tiensyrjä, Per Andersson |
SystemC workload model generation from UML for performance simulation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Cedric Koch-Hofer, Marc Renaudin |
Timed Asynchronous Circuits Modeling using SystemC. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser |
MARTE: UML-based Hardware Design from Modelling to Simulation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Grid Based Fast Falsification For Bounded Property Checking. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steven P. Levitan, Jose A. Martinez, Donald M. Chiarulli |
Non-Linear Circuit Simulation using MATLAB. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar |
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Agosta, Gerardo Pelosi |
A Domain Specific Language for Cryptography. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert de Simone, Charles André |
Time Modeling in MARTE. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mark Burton, James Aldis, Robert Günzel, Wolfgang Klingauf |
Transaction Level Modelling: A reflection on what TLM is and how TLMs may be classified. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mohamad Alassir, Julien Denoulet, Gabriel Vasilescu, Olivier Romain, Romain Arnaud, Patrick Garda |
Modeling Field Bus Communications for Automotive Applications. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ernst Christen, David Bedrosian, Joachim Haase |
Statistical Modeling with VHDL-AMS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed |
Autometic Generation of SystemC Transactors from AsmL Specification. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
Asynchronous online-monitoring of logical and temporal assertions. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tommasso Leonardi, Massimo Conti, Eva Vidal, Eduard Alarcón |
SystemC-WMS modeling of control techniques for switching amplifiers targeting polar RF transmitters. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Staffan Berg |
Algorithmic Test Generation - a New Approach to testbench Creation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nima Honarmand, Hasan Sohofi, Maghsoud Abbaspour, Zainalabedin Navabi |
APDL: A Processor Description Language For Design Space Exploration of Embedded Processors. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Eugenio Villar, Christoph Grimm 0001, Markus Damm, Jan Haase 0001 |
A general approach to the interoperability of HetSC and SystemC-AMS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Darius Grabowski, Markus Olbrich, Christoph Grimm 0001, Erich Barke |
Range Arithmetics to Speed up Reachability Analysis of Analog Systems. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | David H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier, Behzad Bordbar |
Compiling UML State Diagrams into VHDL: An Experiment in Using Model Driven Development. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert Günzel, Wolfgang Klingauf, James Aldis |
Combinatorial Dependencies in Transaction Level Models. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pierre Boulet, Philippe Marquet, Éric Piel, Julien Taillard |
Repetitive Allocation Modelling with MARTE. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Claus Brunzema, Wolfgang Nebel |
CSP with Synthesisable SystemC(tm) and OSSS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ayman M. Wahba, Islam A. M. El-Maddah |
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hector Posadas, David Quijano, Eugenio Villar, Marcos Martínez |
Protocol Bus Modeling using inheritance with TLM2.0. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Mallet, Charles André, Robert de Simone |
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking |
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mario Korte, Frank Slomka |
C-based System Development of Asynchronous Distributed Systems. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser |
Model Transformations from a Data Parallel Formalism towards Synchronous Languages. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel Karlsson, Petru Eles, Zebo Peng |
Transactor-based Formal Verification of Real-time Embedded Systems. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Adam Milik, Andrzej Pulka |
Common HDL-Matlab Simulation Environment. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Torsten Mähne, Alain Vachoux |
Proposal for a Bond Graph Based Model of Computation in SystemC-AMS. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan |
SystemC-based Simulation of the MICAS Architecture. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marcello Mura, Marco Paolieri |
SC2 StateCharts to SystemC: Automatic Executable Models Generation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Per Andersson, Martin Höst |
UML and SystemC - Comparison and Mapping Rules for Automatic Code Generation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla |
A Metamodeling based Framework for Architectural Modeling and Simulator Generation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
A complete SystemC UML profile with dynamic features for behavioral descriptions. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Huet, Sébastien Le Nours, Olivier Pasquier, Emmanuel Casseau |
Granularity Issues in Transaction Level Modelling Digital Signal Processing Applications. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Julio Cano, Natividad Martínez Madrid, Ralf Seepold, Fernando López Aguilar |
Model-driven development of embedded system on heterogeneous platforms. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Uhle, Karsten Einwich, Joachim Haase |
Efficient Transient Simulation of Lossy Coupled Interconnects in Digital Communication Applications. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luis Baldez, Sascha de Pena, Joan Vidal |
The Unified Models Methodology: Applications to Inkjet Printing. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke |
An Integrated SystemC Debugging Environment. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tero Arpinen, Mikko Setälä, Petri Kukkala, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen |
Modeling Embedded Software Platforms with a UML Profile. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich |
Mapping Actor-Oriented Models to TLM Architectures. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juergen Weber, Andreas C. Lemke, Andreas Lehmler, Mario Anton, Sorin A. Huss |
Mixed-Level Modeling Using Configurable MOS Transistor Models. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Thomas, Sébastien Gérard, Jérôme Delatour, François Terrier |
Software Real-time Resource Modeling. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Radetzki, Rauf Salimi Khaligh |
Modelling Alternatives for Cycle Approximate Bus TLMs. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jens Brandt 0001, Klaus Schneider 0001 |
System Description Aspects as Syntactic Sugar. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Agosta, Marco D. Santambrogio, Seda Ogrenci Memik |
Adaptive Metrics for System-Level Functional Partitioning. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joachim Haase |
Baseband Modeling Using Multidimensional Networks in VHDL-AMS. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten |
Case Study on Transaction Level Modeling. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yannick Hervé, Patricia Desgreys |
Functional Virtual Prototyping Design Flow and VHDL-AMS. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Corinne Bestory, François Marc, Hervé Levi, Yves Danto |
Multi-level Modeling of Hot Carrier Injection for Reliability. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | D. Moisuc, S. Revol, Colin F. Snook |
UML User Interface to a Proof-based Hardware Design Flow. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Markus Winterholer |
Design Structure Analysis and Transaction-based Co-Verification. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cornelia Grabbe, Claus Brunzema, Kim Grüttner, Thorsten Schubert, Frank Oppenheimer |
Overview of the ICODES Project. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Katell Morin-Allory, Dominique Borrione |
On-line Monitoring of Properties Built on Regular Expressions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Subhek Garg, Marcello Lajolo |
C-based Design of a Flexible Wrapper for Tiled Networks On Chip. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Morgan Madec, Wilfried Uhring, Yannick Hervé |
VHDL-AMS Model of Ferroelectric Liquid Crystals. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manfred Mücke, Guido Hafeli |
A Bitwidth-aware HDL Extension. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal |
Reusing Real-Time Systems Design Experience. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michel Metzger, Frédéric Bastien, Frédéric Rousseau 0001, Julie Vachon, El Mostapha Aboulhamid |
A Verification Tool Implementation using Introspection Mechanism. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt |
Non-Intrusive High-level SystemC Debugging. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-based Visual Component Composition Framework. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan F. Sevillano, Andoni Irizar, Igone Vélez, K. Tomasena |
Efficient Monte Carlo Simulation Using SystemC. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giovanna Ferrera, Anne-Marie Fouilliart, Joachim Gerlach |
Industrial Partners Expectations from the ICODES Methodology. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner |
UML-based Automatic Code Generation for Hybrid CPU-FPGA. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Julio Medlina, Patricia López Martínez, José María Drake |
Towards a UML Profile for Real-Time Modelling. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joachim Falk, Christian Haubelt, Jürgen Teich |
Efficient Representation and Simulation of Model-Based Designs. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Torsten Mähne, Alain Vachoux |
ModelLib: A Web-Based Platform for Collecting Behavioural Models. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang |
SystemC-A Modeling of an Automotive Seating Vibration Isolation System. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thorsten Schubert, Wolfgang Nebel |
The Quiny SystemC Front End: Self-Synthesising Designs. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Karsten Einwich, Jens Bastian, Christoph Clauß, Uwe Eichler, Peter Schneider |
SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mohamad Alassir, Julien Denoulet, Olivier Romain, Patrick Garda |
Modelling and Simulation of an I2C Bus Controller in SystemC-AMS. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Klingauf, Manuel Geffken |
Design Structure Analysis and Transaction Recording in SystemC. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen |
Transaction Level Modeling in Communication Engine Design. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Niemann, Christian Haubelt |
Formalizing TLM with Communicating State Machines. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit |
IP Library For Temporal SystemC Assertions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining Metadata for Composability of IPs from SystemC IP Library. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke |
Using Sequential Equations to Improve Efficiency and Robustness. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fabien Prégaldiny, Christophe Lallement, B. Diagne, Jean-Michel Sallese, François Krummenacher |
Compact Modeling of Emerging Technologies with VHDL-AMS. |
FDL |
2006 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license