Search results for "SystemC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	Towards Analog and Mixed-Signal SOC Design with SystemC-AMS.	DELTA	2004	DBLP DOI BibTeX RDF
43	Luc Charest, El Mostapha Aboulhamid, Guy Bois	Using Design Patterns for Type Unification and Introspection in SystemC.	IWSOC	2004	DBLP DOI BibTeX RDF
43	Francesco Bruschi, Fabrizio Ferrandi	Synthesis of Complex Control Structures from Behavioral SystemC Models.	DATE	2003	DBLP DOI BibTeX RDF
43	Grant Martin	SystemC and the Future of Design Languages: Opportunities for Users and Research.	SBCCI	2003	DBLP DOI BibTeX RDF
43	Daniel Große, Görschwin Fey, Rolf Drechsler	Modeling Multi-Valued Circuits in SystemC.	ISMVL	2003	DBLP DOI BibTeX RDF
43	Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino	Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip.	ICCD	2002	DBLP DOI BibTeX RDF
40	Feng Liu 0029, QingPing Tan, Xiaoyu Song, Naeem Abbasi	AOP-based high-level power estimation in SystemC.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	systemc, power estimation, aspectc++
40	Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini	SystemC/C-based model-driven design for embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	UML, SoC, C, SystemC, MDE, ES
40	George Sobral Silveira, Alisson Vasconcelos de Brito, Elmar U. K. Melcher	Functional verification of power gate design in SystemC RTL.	SBCCI	2009	DBLP DOI BibTeX RDF	simulation, SystemC, RTL, functional verification, power gate
40	Christian Schröder, Wolfgang Klingauf, Robert Günzel, Mark Burton, Eric Roesler	Configuration and control of SystemC models using TLM middleware.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	OSCI CCI, greenconfig, greencontrol, control, analysis, configuration, inspection, systemc
40	Andreas Raabe, Philipp A. Hartmann, Joachim K. Anlauf	ReChannel: Describing and simulating reconfigurable hardware in systemC.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	hardware description, simulation, refinement, dynamic reconfiguration, SystemC, Reconfigurable hardware
40	Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhima, Ahmed Amine Jerraya	Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC.	ASP-DAC	2007	DBLP DOI BibTeX RDF	transaction accurate level, hardware/software interface modeling, multiprocessor SoC design, automatic generation tools, system-on-chip, SystemC, abstraction level, architecture exploration
40	Tse-Chen Yeh, Tsung-Yu Ho, Hung-Yu Chen, Ing-Jer Huang	SystemC-Based Design Space Exploration of a 3D Graphics Acceleration SoC for Consumer Electronics.	EUC	2007	DBLP DOI BibTeX RDF	SystemC modeling, 3D graphics SoC, design space exploration, transaction-level modeling
40	John Sanguinetti	A Different View: Hardware Synthesis from SystemC is a Maturing Technology.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	SystemC, hardware synthesis
40	Stephen A. Edwards	Using program specialization to speed SystemC fixed-point simulation.	PEPM	2006	DBLP DOI BibTeX RDF	fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
40	David Déharbe, Sérgio Medeiros 0001	Aspect-oriented design in systemC: implementation and applications.	SBCCI	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, systemC, hardware description languages
40	Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard	Maintaining consistency between systemC and RTL system designs.	DAC	2006	DBLP DOI BibTeX RDF	SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP
40	Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta	An automatic testbench generation tool for a SystemC functional verification methodology.	SBCCI	2004	DBLP DOI BibTeX RDF	Brazilip, SCV, VeriSC, tool, SystemC
40	Carlo Brandolese, William Fornaciari, Fabio Salice	An area estimation methodology for FPGA based designs at systemc-level.	DAC	2004	DBLP DOI BibTeX RDF	area metrics, FPGAs, systemc
37	Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith	SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	System design, hardware/software codesign
37	Paula Herber, Florian Friedemann, Sabine Glesner	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
37	Paolo Destro, Franco Fummi, Graziano Pravadelli	A smooth refinement flow for co-designing HW and SW threads.	DATE	2007	DBLP DOI BibTeX RDF
37	Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil	TLM: Crossing Over From Buzz To Adoption.	DAC	2007	DBLP DOI BibTeX RDF
37	Behzad Akbarpour, Sofiène Tahar	Modeling System C Fixed-Point Arithmetic in HOL.	ICFEM	2003	DBLP DOI BibTeX RDF
37	Alessandro Fin, Franco Fummi, Graziano Pravadelli	Mixing ATPG and property checking for testing HW/SW interfaces.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	model cecking, ATPG, fault simulation
35	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
35	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A model-driven design environment for embedded systems.	DAC	2006	DBLP DOI BibTeX RDF	UML, MDA, SystemC, HW/SW co-design
35	Luigi Pomante	Exploiting polymorphism in HW design: a case study in the ATM domain.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	design, ATM, synthesis, polymorphism, SystemC
33	Cedric Walravens, Yves Vanderperren, Wim Dehaene	ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models.	DAC	2009	DBLP DOI BibTeX RDF	system C, power modeling, activity monitoring
33	Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao	Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures.	ACM Trans. Reconfigurable Technol. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, performance evaluation, partitioning, placement, design-space exploration, Reconfigurable systems
33	Stanislaw Deniziak, Robert Tomaszewski	Rapid Prototyping of NoC Architectures from a SystemC Specification.	DDECS	2008	DBLP DOI BibTeX RDF
33	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	A Mutation Model for the SystemC TLM 2.0 Communication Interfaces.	DATE	2008	DBLP DOI BibTeX RDF
33	Song Chai, Chang Wu, Yubai Li, Zhongming Yang	A NoC Simulation and Verification Platform Based on SystemC.	CSSE (3)	2008	DBLP DOI BibTeX RDF
33	Johan Ditmar, Steve McKeever	Array Synthesis in SystemC Hardware Compilation.	FPL	2007	DBLP DOI BibTeX RDF
33	André Sülflow, Rolf Drechsler	Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC.	ISMVL	2007	DBLP DOI BibTeX RDF
33	Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid	A SystemC Refinement Methodology for Embedded Software.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	modeling hardware/software interfaces, integration, system architectures, Real-time and embedded systems
33	Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta 0001, R. K. Shyamasundar	Compositional interaction specifications for SystemC.	MEMOCODE	2006	DBLP DOI BibTeX RDF
33	Daniel Karlsson, Petru Eles, Zebo Peng	Formal verification of systemc designs using a petri-net based representation.	DATE	2006	DBLP DOI BibTeX RDF
33	Heikki Hurskainen, Jari Nurmi	SystemC Model of an Interoperative GPS/Galileo Code Correlator Channel.	SiPS	2006	DBLP DOI BibTeX RDF
33	Bastien Chopard, Philippe Combes, Julien Zory	A Conservative Approach to SystemC Parallelization.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
33	Martin Holzer 0002, Markus Rupp	Static Code Analysis of Functional Descriptions in SystemC.	DELTA	2006	DBLP DOI BibTeX RDF
33	Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001	Improving SystemC simulation through Petri net reductions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
33	Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger	Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.	MEMOCODE	2005	DBLP DOI BibTeX RDF
33	Wolfgang Klingauf	Systematic Transaction Level Modeling of Embedded Systems with SystemC.	DATE	2005	DBLP DOI BibTeX RDF
33	Ami Castonguay, Yvon Savaria	A HyperTransport Chip-to-Chip Interconnect Tunnel Developed Using SystemC.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
33	Tero Rissa, Adam Donlin, Wayne Luk	Evaluation of SystemC Modelling of Reconfigurable Embedded Systems.	DATE	2004	DBLP DOI BibTeX RDF
33	Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino	Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC.	DATE	2004	DBLP DOI BibTeX RDF
33	Salim Ouadjaout, Dominique Houzet	Easy SoC Design with VCI SystemC Adapters.	DSD	2004	DBLP DOI BibTeX RDF
33	C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel	Object-oriented modeling and synthesis of SystemC specifications.	ASP-DAC	2004	DBLP DOI BibTeX RDF
33	Rohit Jindal, Kshitiz Jain	Verification of Transaction-Level SystemC models using RTL Testbenches.	MEMOCODE	2003	DBLP DOI BibTeX RDF
33	Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli	A SystemC-based Framework for Properties Incompleteness Evaluation.	MTV	2003	DBLP DOI BibTeX RDF
33	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	SystemC-AMS Requirements, Design Objectives and Rationale.	DATE	2003	DBLP DOI BibTeX RDF
33	Fernando Herrera, Hector Posadas, Pablo Sánchez, Eugenio Villar	Systemic Embedded Software Generation from SystemC.	DATE	2003	DBLP DOI BibTeX RDF
33	Holger Vogt	Factory capacity and throughput planning: discrete-event simulation using systemc: interactive semiconductor factory modeling with FabSim.	WSC	2003	DBLP DOI BibTeX RDF
33	Joanne DeGroat, Arun Raman, Bakr Younis	A Design Project for System Design with SystemC.	MSE	2003	DBLP DOI BibTeX RDF
33	Mattias O'Nils, Jan Lundgren, Bengt Oelmann	A SystemC extension for behavioral level quantification of noise coupling in mixed-signal systems.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
33	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	Analog and mixed signal modelling with SystemC-AMS.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
33	Johnny Bjørnsen, Trond Ytterdal	Behavioral modeling and simulation of high-speed analog-to-digital converters using SystemC.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
33	Daniel Große, Rolf Drechsler	Formal verification of LTL formulas for SystemC designs.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
31	Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid	Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC.	ECBS	2010	DBLP DOI BibTeX RDF	Simulation, Modelling, SystemC, Flocking
31	Jeff Hiner, Ashish Shenoy, Roman L. Lysecky, Susan Lysecky, Ann Gordon-Ross	Transaction-Level Modeling for Sensor Networks Using SystemC.	SUTC/UMC	2010	DBLP DOI BibTeX RDF	SystemC profiling, simulation, Sensor networks, transaction-level modeling
31	Jon Pérez 0001, Mikel Azkarate-askasua, Antonio Perez	Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.	EDCC	2010	DBLP DOI BibTeX RDF	safety, fault injection, SystemC, codesign, odometry, IEC-61508
31	Yun-Hung Liaw, Shih-Hao Hung, Chia-Heng Tu	V2X: An Automated Tool for Building SystemC-Based Simulation Environments in Designing Multicore Systems-on-Chips.	ISPA	2010	DBLP DOI BibTeX RDF	Systems-on-Chips, Multicore, translator, SystemC, Verilog, system-level simulation
31	Christian Meise, Christoph Grimm 0001	A SystemC based case study of a sensor application using the BeCom modeling methodology for virtual prototyping.	SBCCI	2004	DBLP DOI BibTeX RDF	SystemC-AMS, behavioral model, virtual prototype
31	Ilia Oussorov, Wolfgang Raab, J. A. Ulrich Hachmann, Alex Kravtsov	Integration of Instruction Set Simulators into SystemC High Level Models.	DSD	2002	DBLP DOI BibTeX RDF	gradual refinement, SystemC, hardware/software codesign, high level modeling
31	Prashant Arora, Rajesh K. Gupta 0001	Design and implementation of a hierarchical exception handling extension to systemC.	CASES	2000	DBLP DOI BibTeX RDF	exception handling, systemC
29	Antonio Genov	Power estimation framework based on SystemC-TLM performance models of SoC interconnect and memory systems. (Estimation de la consommation basée sur les modèles de performance SystemC-TLM des systèmes d'interconnexion et de mémoire des SoC).		2021	RDF
29	Gabriel Busnot	Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models. (Simulation SystemC parallèle et conforme au standard de modèles transactionnels à temps relâché).		2020	RDF
29	Bastian Farkas	Standard Compliant Snapshotting for SystemC Virtual Platforms (Standart-konformes Snapshotting für SystemC Virtuelle Plattformen) (PDF / PS)		2020	DOI RDF
29	Thomas Zimmermann 0006, Mathias Mora, Sebastian Steinhorst, Daniel Mueller-Gritschneder, Andreas Jossen	Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS.	ACM Trans. Design Autom. Electr. Syst.	2019	DBLP DOI BibTeX RDF
29	Rodrigo Cortés Porto	Integration of SystemC-AMS Simulation Platforms into TTool. (Intégration de Plate-formes de Simulation SystemC-AMS dans TTool).		2018	RDF
29	Bruno Kleinert	Virtuelle Smart Home Netzwerkumgebung im Kontext von QEMU und SystemC (Virtual Smart Home network environment in the context of QEMU and SystemC) (PDF / PS)		2017	RDF
29	Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Dietmar Petras, Andreas Hoffmann 0002	SystemC-link: Parallel SystemC simulation using time-decoupled segments.	DATE	2016	DBLP BibTeX RDF
29	Liliana Lilibeth Andrade Porras	Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. (Principes et réalisation d'une interface de synchronisation interopérable entre modèles de calcul SystemC AMS pour le prototypage virtuel optimisé de systèmes multi-disciplines).		2016	RDF
29	Benoit Vernay	System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS).		2016	RDF
29	Abbas Abdulhameed	Combining SysML and SystemC to Simulate and Verify Complex Systems. (Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes).		2016	RDF
29	Jannis Stoppe, Rolf Drechsler	Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications.	Sensors	2015	DBLP DOI BibTeX RDF
29	Nesrine Harrath	A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles).		2014	RDF
29	Wei Li, Dian Zhou, Minghua Li, Binh P. Nguyen, Xuan Zeng 0001	Near-Field Communication Transceiver System Modeling and Analysis Using SystemC/SystemC-AMS With the Consideration of Noise Issues.	IEEE Trans. Very Large Scale Integr. Syst.	2013	DBLP DOI BibTeX RDF
29	Jannis Stoppe, Robert Wille, Rolf Drechsler	Data extraction from SystemC designs using debug symbols and the SystemC API.	ISVLSI	2013	DBLP DOI BibTeX RDF
29	Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Laura Tosoratto, Alessandro Lonardo, Dietmar Petras, Thorsten Grötker	legaSCi: Legacy SystemC Model Integration into Parallel Systemc Simulators.	IPDPS Workshops	2013	DBLP DOI BibTeX RDF
29	Anirudh M. Kaushik, Hiren D. Patel	Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models.	FDL	2013	DBLP BibTeX RDF
29	Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui	A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.	IRI (best papers)	2013	DBLP DOI BibTeX RDF
29	Zhaori Bi, Wei Li, Dian Zhou, Xuan Zeng 0001, Sheng-Guo Wang	Mixed-signal system verification by SystemC/SystemC-AMS and HSIM-VCS in near field communication tag design.	ASICON	2013	DBLP DOI BibTeX RDF
29	Fernando Herrera, Íñigo Ugarte, Eugenio Villar	Towards automated implementation of adaptive systems from abstract SystemC specifications - From SystemC adaptive processes to embedded software and to synthesizable hardware descriptions.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
29	Christian Schröder	Konfigurations-Interoperabilität von Hardware-Software-Modellen in SystemC (Configuration Interoperability of Hardware-Software-Models in SystemC) (PDF / PS)		2011	DOI RDF
29	Amer Habib, François Pêcheux	Modeling and simulation of a manycore PCR-CE lab-on-chip for DNA sequencing using SystemC/SystemC-AMS.	BMAS	2010	DBLP DOI BibTeX RDF
29	Karsten Einwich	Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication Systems.	FDL	2005	DBLP BibTeX RDF
28	Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli	A cosimulation methodology for HW/SW validation and performance estimation.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	HW/SW co-simulation, HW/SW validation, Embedded Systems
28	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer	Verification of Temporal Properties in Automotive Embedded Software.	DATE	2008	DBLP DOI BibTeX RDF
28	Giovanni Beltrame, Cristiana Bolchini, Luca Fossati, Antonio Miele, Donatella Sciuto	ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration.	ASP-DAC	2008	DBLP DOI BibTeX RDF
28	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	Exploiting the ASM Method for Validation & Verification of Embedded Systems.	ABZ	2008	DBLP DOI BibTeX RDF
28	Katalin Popovici, Ahmed Amine Jerraya	Simulink based hardware-software codesign flow for heterogeneous MPSoC.	SCSC	2007	DBLP BibTeX RDF	hardware-software gradual refinement, multimedia applications, abstraction levels
28	Grégory Gailliard, Eric Nicollet, Michel Sarlotte, François Verdier	Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM.	DATE	2007	DBLP DOI BibTeX RDF
28	Anne E. Haxthausen, Jan Peleska 0001	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
28	Ali Ahmadinia, Balal Ahmad, Ahmet T. Erdogan, Tughrul Arslan	System-level Modelling and Analysis of Embedded Reconfigurable Cores for Wireless Systems.	FPL	2007	DBLP DOI BibTeX RDF
28	Xiaoqing Peng, Huibiao Zhu, Jifeng He 0001, Naiyong Jin	An Operational Semantics of an Event-Driven System-Level Simulator.	SEW	2006	DBLP DOI BibTeX RDF
28	Yongxin Zhu 0001, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong	Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing.	RTCSA	2005	DBLP DOI BibTeX RDF
28	Francesco Bruschi, Massimo Bombana	A Design Methodology for the Exploitation of High Level Communication Synthesis.	DATE	2004	DBLP DOI BibTeX RDF
28	Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Riadh Gaiech, Eric Martin 0001	A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration.	DATE	2003	DBLP DOI BibTeX RDF