Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andriamampianina Aina Randrianarisaina, Olivier Pasquier, Pascal Chargé |
A function approach for simple wireless sensor node energy consumption modeling. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Peter Flake |
Why SystemVeriog? |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Arnaud Laroche, Jérôme Kirscher |
How to survive the verification of the latest generation of automotive system on chip. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem |
A novel approach for assertion based verification of DDR memory protocols. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013 |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With |
Performance analysis method for RT systems: Promartes for autonomous robot. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad |
Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Jan Haase 0001, François Pêcheux |
Model generation for embedded analog/mixed-signal systems. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid |
Fine-grain adaptation for real time embedded systems using UML/MARTE profile. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Jean-Philippe Babau, Martin Radetzki |
Platform based design. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco |
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphène |
Assisting refinement in System-on-Chip design. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | G. Botturi, Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia |
Model-driven design for the development of multi-platform smartphone applications. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
A formal verification framework for Bluespec System Verilog. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Peter Flake, Frank Oppenheimer |
Systemc infrastructure and extensions. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Brahim Hamid |
Split of composite components for distributed applications. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers |
A new assertion property language for analog/mixed-signal circuits. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander |
Rapid virtual prototyping of real-time systems using predictable platform characterizations. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Bastian Haetzer, Martin Radetzki |
Systemc transaction level modeling with transaction events. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Anirudh M. Kaushik, Hiren D. Patel |
Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger |
Multi-paradigm semantics for simulating SysML models using SystemC-AMS. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Joachim Haase, André Lange |
Hybrid dynamical systems for memristor modelling an approach avoiding the terminal-state problem. |
FDL |
2013 |
DBLP BibTeX RDF |
|
1 | Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid |
Scandal: Systemc analysis for nondeterminism anomalies. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber 0001, Josef Weidendorfer |
Invasive computing with iOMP. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Reinhard Schneider 0001, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty |
QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta |
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Marc Michael, Daniel Große, Rolf Drechsler |
Localizing features of ESL models for design understanding. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz |
An efficient refinement strategy exploiting component properties in a cegar process. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm 0001 |
Assertion-based verification of signal processing systems with affine arithmetic. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Adán Kohler, Juan Manuel Castillo-Sanchez, Joachim Gross, Martin Radetzki |
Minimal MPI as programming interface for multicore System-on-Chips. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Yao Li 0009, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
A unified platform for design and verification of mixed-signal systems based on SystemC AMS. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Gilmar S. Beserra, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
Integrating virtual platforms into a heterogeneous MoC-based modeling framework. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Saraju P. Mohanty, Elias Kougianos, Oleg Garitselov, Javier Moreno Molina |
Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL components. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Aleksandar Pajkanovic, Tom J. Kazmierski, Branko Dokic |
Minimum energy point of sub-threshold operated pass-transistor circuits. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase 0001, Christoph Grimm 0001 |
Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Javier Moreno 0003, Markus Damm, Jan Haase 0001, Christoph Grimm 0001, Edgar Holleis |
Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Sebastian Steinhorst, Lars Hedrich |
Analog assertion-based verification on partial state space representations using ASL. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Kirkedal Thomsen |
A functional language for describing reversible logic. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Jürgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schröder-Preikschat |
Invasive computing - Concepts and overheads. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Gael F. Close, Gjalt de Jong |
Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar |
A model-driven methodology for the development of SystemC executable environments. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | |
Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012 |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Christiane Reuther, Karsten Einwich |
A SystemC AMS extension for controlled modules and dynamic step sizes. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico |
Modeling and simulation of secure wireless sensor network. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Rolf Drechsler, Mathias Soeken, Robert Wille |
Formal Specification Level: Towards verification-driven design based on natural language processing. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander |
Formal heterogeneous system modeling with SystemC. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Sumit Adhikari, Florian Schupfer, Christoph Grimm 0001 |
FAst optimization of analog amplifier architecture using simulated annealing. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm 0001 |
Extended framework for system simulation with affine arithmetic. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Arnd Hartmanns |
MODEST - A unified language for quantitative models. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Formal plausibility checks for environment constraints. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | David J. Greaves, Muhammad Mehboob Yasin |
TLM POWER3: Power estimation methodology for SystemC TLM 2.0. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib |
An integrated simulation framework for invasive computing. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Ralph Görgen, Jan-Hendrik Oetjens, Wolfgang Nebel |
Transformation of event-driven HDL blocks for native integration into time-driven system models. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Manuel Harrant, Thomas Nirmaier, Georg Pelz, Fabrizio Dona, Christoph Grimm 0001 |
Configurable load emulation using FPGA and power amplifiers for automotive power ICs. |
FDL |
2012 |
DBLP BibTeX RDF |
|
1 | Jens Brandt 0001, Mike Gemunde, Klaus Schneider 0001, Sandeep K. Shukla, Jean-Pierre Talpin |
Integrating system descriptions by clocked guarded actions. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Sébastien Le Nours, Anthony Barreteau, Olivier Pasquier |
A generic execution model for efficient performance evaluation of system architectures at transaction level. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Marc Michael, Daniel Große, Rolf Drechsler |
Analyzing dependability measures at the Electronic System Level. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Bastian Haetzer, Martin Radetzki |
A case study on message-based discrete event simulation for Transaction Level Modeling. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso |
Hardware performance estimation by dynamic scheduling. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | |
2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011 |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet, Alejandro Chagoya |
Does asynchronous technology bring robustness in synchronous circuit monitoring? |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Ime J. Umoh, Tom J. Kazmierski |
VHDL-AMS model of a dual gate graphene FET. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi |
IP-XACT and marte based approach for partially reconfigurable systems-on-chip. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
A UML based framework for efficient validation of TLM 2 models. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
Semi-formal refinement of heterogeneous embedded systems by foreign model integration. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Sebastian Offermann, Robert Wille, Rolf Drechsler |
Efficient realization of control logic in reversible circuits. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001 |
Schizophrenia and causality in the context of refined clocks. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Aurélien Ribon, Bertrand Le Gal, Christophe Jégo, Dominique Dallet |
Assertion support in high-level synthesis design flow. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Mingyu Ma 0002, Lars Hedrich, Christian Sporrer |
A machine-readable specification of analog circuits for integration into a validation flow. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, Juergen Wuebbelmann |
Integrated model-based approach and test framework for embedded systems. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
Efficient implementation and abstraction of systemc data types for fast simulation. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Sumit Adhikari, Christoph Grimm 0001, Jan Haase 0001 |
Abstract modelling and estimation of a high performance Tobey's PGA. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Mu Zhou, René van Leuken 0001 |
Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Rauf Salimi Khaligh, Martin Radetzki |
A metamodel and semantics for transaction level modeling. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich |
ESL power and performance estimation for heterogeneous MPSOCS using SystemC. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Joseph Wenninger, Javier Moreno 0003, Jan Haase 0001, Christoph Grimm 0001 |
Designing low-power wireless sensor networks. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Fernando Herrera, Eugenio Villar |
A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Frank Poppen, Roland Koppe, Kim Grüttner, Axel Hahn |
Impact simulation of changes to development processes: An ESL case study. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Ivan Shcherbakov, Christian Weis, Norbert Wehn |
Bringing C++ productivity to VHDL world: From language definition to a case study. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Laurence Pierre, Laila Damri |
Improvement of Assertion-Based Verification through the generation of proper test sequences. |
FDL |
2011 |
DBLP BibTeX RDF |
|
1 | Jan Kuper, Christiaan Baaij, Matthijs Kooijman |
Exercises in Architecture Specification Using CLaSH. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Matthias Brettschneider, Tobias Häberlein |
Functional Abstractions for UML Activity Diagrams. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Pablo Peñil, Fernando Herrera, Eugenio Villar |
Formal Foundations for MARTE-SystemC Interoperability. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Jun Zhu 0011, Ingo Sander, Axel Jantsch |
HetMoC: Heterogeneous Modelling in SystemC. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Peter Brunmayr, Jan Haase 0001, Christoph Grimm 0001 |
A Tripartite System Level Design Approach for Design Space Exploration. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | David Rich |
A Solution to the Lack of Multiple Inheritance in SystemVerilog. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Barbara Jobstmann |
Robustness with Respect to Error Specifications. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Kim Grüttner, Kai Hylla, Sven Rosinger, Wolfgang Nebel |
Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Calin Glitia, Julien DeAntoni, Frédéric Mallet |
Logical Time at Work: Capturing Data Dependencies and Platform Constraints. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand |
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Jan Haase 0001, Mario Lang, Christoph Grimm 0001 |
Mixed-Level Simulation of Wireless Sensor Networks. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Mohammad Hosseinabady, José L. Núñez-Yáñez |
SystemC Architectural Transaction Level Modelling for Large NoCs. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Chenxu Zhao, Tom J. Kazmierski |
Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Florian Schupfer, Christoph Grimm 0001, Markus Olbrich, Michael Kärgel, Erich Barke |
Towards Abstract Analysis Techniques for Range Based System Simulations. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | David J. Greaves, M. J. Nam |
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Marie Rouvière, Emmanuelle Bourdel, Sébastien Quintanel, Bertrand Granado |
VHDL-AMS model of RF-Interconnect System for Global On-Chip Communication. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Chenxu Zhao, Tom J. Kazmierski |
SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. |
FDL |
2010 |
DBLP BibTeX RDF |
|
1 | Alexander Finder, Görschwin Fey |
Evaluating Debugging Algorithms from a Qualitative Perspective. |
FDL |
2010 |
DBLP BibTeX RDF |
|