Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rsp/rsp2009.bht:"
@inproceedings{DBLP:conf/rsp/AndrycTK09, author = {Kevin Andryc and Russell Tessier and Patrick Kelly}, title = {An Interactive Approach to Timing Accurate {PCI-X} Simulation}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {181--187}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.9}, doi = {10.1109/RSP.2009.9}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/AndrycTK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/AoumeurBS09, author = {Nasreddine Aoumeur and Kamel Barkaoui and Gunter Saake}, title = {Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {18--25}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.22}, doi = {10.1109/RSP.2009.22}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/AoumeurBS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/CarnevaliDRV09, author = {Laura Carnevali and Dario D'Amico and Lorenzo Ridi and Enrico Vicario}, title = {Automatic Code Generation from Real-Time Systems Specifications}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {102--105}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.24}, doi = {10.1109/RSP.2009.24}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/CarnevaliDRV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/Chagoya-GarzonGRPRLVP09, author = {Alexandre Chagoya{-}Garzon and Xavier Guerin and Fr{\'{e}}d{\'{e}}ric Rousseau and Fr{\'{e}}d{\'{e}}ric P{\'{e}}trot and Davide Rossetti and Alessandro Lonardo and Piero Vicini and Pier Stanislao Paolucci}, title = {Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {48--54}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.12}, doi = {10.1109/RSP.2009.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/Chagoya-GarzonGRPRLVP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/ChuongLS09, author = {Lieu My Chuong and Siew Kei Lam and Thambipillai Srikanthan}, title = {Area-Time Estimation of Controller for Porting C-Based Functions onto {FPGA}}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {145--151}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.15}, doi = {10.1109/RSP.2009.15}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/ChuongLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/ColeGK09, author = {John Cole and Larry Garey and Kenneth B. Kent}, title = {Rapid Prototyping Projection Algorithms with {FPGA} Technology}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {95--101}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.37}, doi = {10.1109/RSP.2009.37}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/ColeGK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/DashS09, author = {Santanu Kumar Dash and Thambipillai Srikanthan}, title = {Instruction Cache Tuning for Embedded Multitasking Applications}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {152--158}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.16}, doi = {10.1109/RSP.2009.16}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/DashS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/GlasKMB09, author = {Benjamin Glas and Alexander Klimm and Klaus D. M{\"{u}}ller{-}Glaser and J{\"{u}}rgen Becker}, title = {Configuration Measurement for FPGA-based Trusted Platforms}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {123--129}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.28}, doi = {10.1109/RSP.2009.28}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/GlasKMB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/HeinzHM09, author = {Matthias Heinz and Verena Hoss and Klaus D. M{\"{u}}ller{-}Glaser}, title = {Physical Layer Extraction of FlexRay Configuration Parameters}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {173--180}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.13}, doi = {10.1109/RSP.2009.13}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/HeinzHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/HillenbrandM09, author = {Martin Hillenbrand and Klaus D. M{\"{u}}ller{-}Glaser}, title = {An Approach to Supply Simulations of the Functional Environment of ECUs for Hardware-in-the-Loop Test Systems Based on EE-architectures Conform to {AUTOSAR}}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {188--195}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.14}, doi = {10.1109/RSP.2009.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/HillenbrandM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/JaberKABMP09, author = {Chafic Jaber and Andreas Kanstein and Ludovic Apvrille and Amer Baghdadi and Patricia Le Moenner and Renaud Pacalet}, title = {High-Level System Modeling for Rapid {HW/SW} Architecture Exploration}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {88--94}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.27}, doi = {10.1109/RSP.2009.27}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/JaberKABMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/JafriBJ09, author = {Atif Raza Jafri and Amer Baghdadi and Michel J{\'{e}}z{\'{e}}quel}, title = {Rapid Prototyping of ASIP-based Flexible {MMSE-IC} Linear Equalizer}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {130--133}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.17}, doi = {10.1109/RSP.2009.17}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/JafriBJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/JakkaDYDMC09, author = {Bhasker Jakka and Dillip Dash and Caner Yalcin and Ly Dang and Omar Mire and Aldo Cometti}, title = {A Flexible High Throughput {FPGA} Based Prototype Platform for {RW} Channel Development}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {41--47}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.38}, doi = {10.1109/RSP.2009.38}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/JakkaDYDMC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/KuhneBP09, author = {Ulrich K{\"{u}}hne and Sven Beyer and Christian Pichler}, title = {Generating an Efficient Instruction Set Simulator from a Complete Property Suite}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {109--115}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.19}, doi = {10.1109/RSP.2009.19}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/KuhneBP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/LarabiMM09, author = {Zahir Larabi and Yves Mathieu and St{\'{e}}phane Mancini}, title = {Efficient Data Access Management for FPGA-Based Image Processing SoCs}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {159--165}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.20}, doi = {10.1109/RSP.2009.20}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/LarabiMM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/LeeBW09, author = {Dongwon Lee and Shuvra S. Bhattacharyya and Wayne H. Wolf}, title = {High-Performance Buffer Mapping to Exploit {DRAM} Concurrency in Multiprocessor {DSP} Systems}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {137--144}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.34}, doi = {10.1109/RSP.2009.34}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/LeeBW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/LibbyK09, author = {Joseph C. Libby and Kenneth B. Kent}, title = {A Methodology for Rapid Optimization of HandelC Specifications}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {81--87}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.31}, doi = {10.1109/RSP.2009.31}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/LibbyK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/MichalisID09, author = {Michalis Platsis and Ioannis Papaefstathiou and Dimitrios Meintanis}, title = {Design and Implementation of an {UWB} Digital Transmitter Based on the Multiband {OFDM} Physical Layer Proposal}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {166--169}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.10}, doi = {10.1109/RSP.2009.10}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/MichalisID09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/PavlatosDP09, author = {Christos Pavlatos and Alexandros C. Dimopoulos and George K. Papakonstantinou}, title = {A Formal Method for Rapid SoC Prototyping}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {34--37}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.25}, doi = {10.1109/RSP.2009.25}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/PavlatosDP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/PorterVKNKS09, author = {Joseph Porter and P{\'{e}}ter V{\"{o}}lgyesi and Nicholas Kottenstette and Harmon Nine and Gabor Karsai and Janos Sztipanovits}, title = {An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {3--10}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.32}, doi = {10.1109/RSP.2009.32}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/PorterVKNKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/PouillonBMPG09, author = {Nicolas Pouillon and Alexandre B{\'{e}}coulet and Aline Vieira de Mello and Fran{\c{c}}ois P{\^{e}}cheux and Alain Greiner}, title = {A Generic Instruction Set Simulator {API} for Timed and Untimed Simulation and Debug of MP2-SoCs}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {116--122}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.11}, doi = {10.1109/RSP.2009.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/PouillonBMPG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/ReisF09, author = {Tiago de Albuquerque Reis and Ant{\^{o}}nio Augusto Fr{\"{o}}hlich}, title = {Operating System Support for Difference-Based Partial Hardware Reconfiguration}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {75--80}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.33}, doi = {10.1109/RSP.2009.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/ReisF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/RenaultKH09, author = {Xavier Renault and Fabrice Kordon and J{\'{e}}r{\^{o}}me Hugues}, title = {Adapting Models to Model Checkers, {A} Case Study : Analysing {AADL} Using Time or Colored Petri Nets}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {26--33}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.30}, doi = {10.1109/RSP.2009.30}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/RenaultKH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/SaadBB09, author = {Jean Saad and Amer Baghdadi and Frantz Bodereau}, title = {FPGA-based Radar Signal Processing for Automotive Driver Assistance System}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {196--199}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.26}, doi = {10.1109/RSP.2009.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/SaadBB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/SanderGRBM09, author = {Oliver Sander and Benjamin Glas and Christoph Roth and J{\"{u}}rgen Becker and Klaus D. M{\"{u}}ller{-}Glaser}, title = {Testing of an {FPGA} Based C2X-Communication Prototype with a Model Based Traffic Generation}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {68--71}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.29}, doi = {10.1109/RSP.2009.29}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/SanderGRBM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/SchneiderMH09, author = {Sven Schneider and Andr{\'{e}} Meisel and Wolfram Hardt}, title = {Communication-Aware Hierarchical Online-Placement in Heterogeneous Reconfigurable Systems}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {61--67}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.23}, doi = {10.1109/RSP.2009.23}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/SchneiderMH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/SinghJPS09, author = {Amit Kumar Singh and Wu Jigang and Alok Prakash and Thambipillai Srikanthan}, title = {Efficient Heuristics for Minimizing Communication Overhead in NoC-based Heterogeneous MPSoC Platforms}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {55--60}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.18}, doi = {10.1109/RSP.2009.18}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/SinghJPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsp/SulflowKFGD09, author = {Andr{\'{e}} S{\"{u}}lflow and Ulrich K{\"{u}}hne and G{\"{o}}rschwin Fey and Daniel Gro{\ss}e and Rolf Drechsler}, title = {WoLFram- {A} Word Level Framework for Formal Verification}, booktitle = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, pages = {11--17}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RSP.2009.21}, doi = {10.1109/RSP.2009.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsp/SulflowKFGD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rsp/2009, title = {Proceedings of the Twentienth {IEEE/IFIP} International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, {RSP} 2009, Paris, France, 23-26 June 2009}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://ieeexplore.ieee.org/xpl/conhome/5158481/proceeding}, isbn = {978-0-7695-3690-3}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rsp/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.