Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thao Dang 0001, Tarik Nahhal |
Randomized Simulation of Hybrid Systems For Circuit Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 9-15, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Martin Radetzki |
SystemC TLM Transaction Modelling and Dispatch for Active Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 203-209, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Martin Schickel, Volker Nimbler, Martin Braun 0001, Hans Eveking |
On Consistency and Completeness of Property-Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 241-248, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti |
A Model-driven Co-design Flow for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 345-351, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Thilo Brause, Kaiping Zeng, Sorin A. Huss |
Supporting AMS-System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 99-104, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Wolfgang Mueller |
UML - The Emerging Hardware Description Language? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 335-335, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet |
UML2 Profile for Modeling Controlled Data Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 359-367, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
A Case Study on Automated Generation of Integration Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 278-284, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Rédha Hamouche, Rémy Kocik |
Metamodel-based Methodology for Real-Time Embedded Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 395-403, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Kim Grüttner, Cornelia Grabbe, Thorsten Schubert, Claus Brunzema, Frank Oppenheimer |
OSSS-Channels: Modelling and Synthesis of Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 327-335, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä |
Layered UML Workload and SystemC Platform Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 223-229, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Massimo Conti, S. Marinelli, Giovanni B. Vece, S. Oricione |
SystemC Modeling of a Dynamic Power Management Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 229-235, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Andreas Thuy, Leandro Soares Indrusiak, Manfred Glesner |
Applying Communication Patterns to Actor-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 407-409, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson |
A Method for Terminal Platform Architecture Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 351-359, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Klaus Strohmenger, Martin Bücker 0001 |
Token-based OSCI SystemC Simulator for Architecture Dimensioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 237-239, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | |
Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![ECSI, 978-3-00-019710-9 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Sylvain Huet, Emmanuel Casseau, Olivier Pasquier, Sébastien Le Nours |
Hardware Communication Refinement in Digital Signal Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 177-185, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Rüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm 0001 |
A Framework for the Design of Heterogenous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 119-121, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Francesco Bruschi, Fabrizio Ferrandi |
A SystemC-based Framework of Communication Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 319-327, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | D. Guihal, L. Andrieux |
VHDL-AMS Model Generation from Other HDL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 77-83, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Fernando Herrera, Eugenio Villar |
Extension of the SystemC Kernel for Simulation Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 161-168, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock |
Verification-Oriented Behavioral Modeling of Non-Linear Analog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 53-60, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Lingfei Zhou, Yves-André Chapuis, Yannick Hervé |
VHDL-AMS Modeling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 41-46, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Sitvanit Ruah |
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 263-264, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Mauro Prevostini, Sivakumar Ganesan |
Bridging the Gap Between SysML and Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 389-395, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Ewout Martens, Georges G. E. Gielen |
Generic Behavioral Modeling of Analog and Mixed-Signal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 15-23, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Rajeev Kumar 0004, Rahul Chaudhry, Dipankar Das 0002, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti 0001 |
SystemC Modeling and Validation of A RISC Processor System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 189-197, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Wilhelm Heupke |
Semi-Symbolic Analysis of Accuracy at System Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 3-9, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Karsten Einwich |
Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 49-60, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ralf Kakerow |
Modelling Technologies for Disruptive Communication System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 81-89, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | André C. Nácul, Marcello Lajolo, T. Givarjis |
Interface-Centric Abstraction Level for Rapid HW/SW Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 329-341, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Xianqiang Ren, Tom J. Kazmierski |
Linearly graded behavioural analogue performance models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 147-153, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Richard Hoffer, Frank Baszynski |
Implementation of a SystemC based Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 269-273, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | |
Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![ECSI The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Lossan Bonde, Pierre Boulet, Jean-Luc Dekeyser |
Traceability and Interoperability in Models Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 543-555, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Johan Lilius, Dragos Truscan |
Using feature models to automate model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 511-515, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Luis Avila, Rolando Dölling, Thomas Ifström, Peter Jores, Wolfgang Rosenstiel |
Toward seamless top-down of A/MS systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 165-172, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Lobna Kriaa, S. Adriano, Emmanuel Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin 0001, Dominique Heller, Farhat Thabet, Anne-Marie Fouilliart |
SystemCmantic: A high level Modelling and Co-Design Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 341-353, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Samy Meftali, Anouar Dziri, Luc Charest, Philippe Marquet, J. Deskeyser |
SOAP Based Distributed Simulation Environment for SoC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 283-291, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
Modelling Environment for Heterogeneous Systems based on MoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 291-303, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Lothar Thiele |
Analitic Performance Analysis of Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 31-33, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Paul Muller, Yusuf Leblebici |
Jitter Tolerance Analysis of Clock and Data Recovery Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 143-147, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Thomas Bollaert |
Leveraging the efficiency of C-Based Design with Catapult-C . ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 419-429, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Francesco Bruschi, Federico Moro, Donatella Sciuto |
Mapping Interface Method Calls over OCP Buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 279-283, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Tim Kogel, Anssi Haverinen |
OCP TLM for Architectural Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 225-244, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Hiren D. Patel, Sandeep K. Shukla |
Towards Behavioural Hierarchy Extensions for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 361-373, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Yu Liu, Satoshi Komatsu, Masahiro Fujita |
AMS Extensions for Timed/Untimed System-Level Design Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 77-81, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Erik Markert, Göran Herrmann, Dietmar Müller 0001 |
System model of an inertial navigation system using SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 73-77, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Robert Pasko, Luc Rynders |
Building heterogeneous plaftorm simulators in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 257-269, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Fernando Herrera, Eugenio Villar |
Mixing Synchronous Reactive and Untimed Models of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 315-329, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Rainer Zimmermann |
ENIAC & ARTEMIS Technology Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 1-2, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | G. Gassara, Ahmed Fakhfakh, M. Abdellaoui, Nouri Masmoudi, Yannick Hervé |
Top-down hierarchical design flow application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 111-120, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Torsten Mähne |
Creating Virtual Prototypes of Complex Micro-Electro-Mechanical Transducers using Reduced-Order Modelling Methods and VHDL-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 209-223, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Efficient and Customizable Integration of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 385-397, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
Modelling Heterogeneous Embedded Systems in DFCarts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 441-453, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Wilhelm Heupke, Christoph Grimm 0001, Klaus Waldschmidt |
Semi-Symbollic Simulation of Nonlinear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 121-132, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | David Navarro, D. Ramat, Fabien Mieyeville, Ian O'Connor, Frédéric Gaffiot, Laurent Carrel |
VHDL & VHDL-AMS Modelling and Simulation of a CMOS Imager IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 179-183, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Giovanni B. Vece, Massimo Conti, Simone Orcioni |
Devices modelling in SystemC based on behaviour separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 245-257, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer |
Automatic Generation of a Verification Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 153-165, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ewald Hessel, Klaus Panreck, Joachim Haase, André Schneider, Steffen Scholz |
Development of VHDL-AMS Libraries for Automative Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 101-111, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Patrick Birrer, Walter Hartong |
Incorporating SystemC in Analog/Mixed-Signal Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 173-178, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Giovanni Agosta, Francesco Bruschi, Donatella Sciuto |
Aspect Orientation in System Level Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 397-401, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ian O'Connor, Faress Tissafi-Drissi, G. Revy, Frédéric Gaffiot |
UML/XML based approach to hierarchical AMS Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 89-101, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | L. Negri, A. Chiarini |
Power Modelling and Simulation Flow for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 555-567, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Marília Lima, Francielle Santos, João Bione, Tiago Lins, Edna Barros |
IpPROCESS: a Development Process for Soft IP-Cord. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 487-499, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Antoni Portero, Lluís Ribas, Jordi Carrabina |
Hardware Synthesis of Parallel Machines from SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 353-361, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Oana Florescu, Jeroen Voeten, Henk Corporaal |
Synthesis for Unified Control- and Data-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 531-543, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | M. Burford, Tom J. Kazmierski |
A VHDL-AMS based Time-Domain Skin Depth Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 197-209, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Dieter Monjau, Mathias Sporer |
Meta Modelling of Embedded Systems using Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 499-511, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Roberto Ziller |
An Application of Generalized Supervisor Synthesis to the Control of a Call Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 429-431, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | A. Clouard |
Overcoming issues to reach full adoption and benefit of C/C++based system design methodologies in real System-on-Chip projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 223-224, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel, Axel Siebenborn, Oliver Bringmann 0001 |
SystemC-Based Communication and Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 33-48, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Zhonghai Lu, Ingo Sander, Axel Jantsch |
Refinement of Perfectly Synchronous Communication Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 453-465, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Simone Orcioni, Giorgio Biagetti, Massimo Conti |
SystemC-WMS: A Wave Mixed Signal Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 61-73, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Salima Feki, Ahmed Fakhfakh, Yannick Hervé, Abdelmajid Oualha, Nouri Masmoudi |
VHDL-AMS virtual prototyping in power electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 183-189, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Peter Green, Kinika Tasie-Amadi |
Integrating Model-Checking with UML-based SoC Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 567-579, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Andrés Takach, Bryan Bowyer, Thomas Bollaert |
C-Based Hardware Design for Wireless Applications . ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 409-419, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Yves Vanderperren, Wim Dehaene |
The SysML profile for embedded system modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 589-598, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | David Antonio-Torres, Paul F. Newbury, Paul F. Lister |
Executable Specification of Novel Display Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 273-279, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Mostafa Naderi, Zainalabedin Navabi |
Combination of Assertion and HSAT Methods For Automated Test Vectors Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 479-485, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
An HW/SW Co-design Environment based on UML and SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 515-519, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ernst Christen |
Tolerance Models in Hardware Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 133-143, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Francesco Regazzoni 0001, André C. Nácul, Marcello Lajolo |
Automatic synthesis of the Hardware/Software Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 401-405, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Corrado Marino, Luca Fanucci, Francesco Iozzi, Massimiliano Forliti, Alessandro Rocchi, A. Giambastiani, Marco De Marinis |
VHDL-AMS Modelling and System Verification Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 189-196, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | J. Vennin, S. Penain, Luc Charest, Samy Meftali, Jean-Luc Dekeyser |
Embed Scripting inside SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 373-385, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Hedia B. Ben, Fabrice Jumel, Jean-Philippe Babau |
Formal Evaluation of Quality of Service for Data Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 579-589, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | D. Borionne, M. Liu, P. Ostier, Laurent Fesquet |
PSL-based online monitoring of digital systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 465-479, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | C. Berhouzoz, Francois Corthay, Thomas Sterren, R. Stainer, M. Reider |
Compiled and Synthesized UML, a practical Approach for Codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 519-531, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier |
Architecture description in related standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 599-609, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
SystemCXML: An Exstensible SystemC Front end Using XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 405-409, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Cristiano C. de Araújo, Edna Barros, Rodolfo Azevedo, Guido Araujo |
Processor Centric Specification and Modelling of MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 303-315, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Pascal Pampagnin |
Trends and Challenges in Avionics Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings, pp. 3-4, 2005, ECSI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Patricia Desgreys, Yannick Hervé, Jean Oudinot, S. Snaidero, Mohamed Karray |
SoC modelling for virtual prototyping with VHDL-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 168-180, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | |
Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![ECSI The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Elena Martín, Laura Barrachina, Carles Ferrer 0001 |
Practical Case Example of Inertial MEMS Modeling with VHDL-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 158-168, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Paul F. Lister, Vincenzo Trignano, Milke C. Bassett |
UML-Executable Functional Models of electronic systems in the VIPERS Virtual Prototyping Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 325-337, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Enabling SystemC Verification using Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 649-661, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Dragos Truscan |
A Model-driven Approach to Configuration of TTA-based Protocol Processing Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 204-216, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohammed Ramdani, Jean-Luc Levant |
Early Prediction of Conducted-Mode Emission of complex IC's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 135-144, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi |
SystemVerilog: Interface Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 505-518, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|