default search action
Search dblp for Publications
export results for "prototype verification system"
@phdthesis{DBLP:phd/dnb/Bruns23, author = {Niklas Bruns}, title = {Virtual prototype centric verification for embedded system development}, school = {University of Bremen, Germany}, year = {2023} }
@inproceedings{DBLP:conf/fsen/Domenici23, author = {Andrea Domenici}, title = {Towards a Basic Theory for Partial Differentiation in the Prototype Verification System}, booktitle = {{FSEN}}, series = {Lecture Notes in Computer Science}, volume = {14155}, pages = {18--24}, publisher = {Springer}, year = {2023} }
@phdthesis{DBLP:phd/dnb/Hassan21, author = {Muhammad Hassan}, title = {Enhanced modern virtual prototype based verification flow for heterogeneous systems}, school = {University of Bremen, Germany}, year = {2021} }
@inproceedings{DBLP:conf/glvlsi/HerdtGWGD20, author = {Vladimir Herdt and Daniel Gro{\ss}e and Jonas Wloka and Tim G{\"{u}}neysu and Rolf Drechsler}, title = {Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes}, booktitle = {{ACM} Great Lakes Symposium on {VLSI}}, pages = {101--106}, publisher = {{ACM}}, year = {2020} }
@phdthesis{DBLP:phd/dnb/Herdt19, author = {Vladimir Herdt}, title = {Efficient modeling, verification and analysis techniques to enhance the virtual prototype based design flow for embedded systems}, school = {University of Bremen, Germany}, year = {2019} }
@inproceedings{DBLP:conf/dsd/GoliD19, author = {Mehran Goli and Rolf Drechsler}, title = {Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes}, booktitle = {{DSD}}, pages = {522--529}, publisher = {{IEEE}}, year = {2019} }
@inproceedings{DBLP:journals/corr/abs-1912-10632, author = {Paolo Masci and C{\'{e}}sar A. Mu{\~{n}}oz}, title = {An Integrated Development Environment for the Prototype Verification System}, booktitle = {F-IDE@FM}, series = {{EPTCS}}, volume = {310}, pages = {35--49}, year = {2019} }
@inproceedings{DBLP:conf/nafips/GebreyohannesKH18, author = {Solomon Gebreyohannes and Ali Karimoddini and Abdollah Homaifar and Albert C. Esterline}, title = {Formal Verification of a Fuzzy Rule-Based Classifier Using the Prototype Verification System}, booktitle = {{NAFIPS}}, series = {Communications in Computer and Information Science}, volume = {831}, pages = {1--12}, publisher = {Springer}, year = {2018} }
@article{DBLP:journals/jar/OliveiraGA17, author = {Ana Cristina Rocha Oliveira and Andr{\'{e}} Luiz Galdino and Mauricio Ayala{-}Rinc{\'{o}}n}, title = {Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System}, journal = {J. Autom. Reason.}, volume = {58}, number = {2}, pages = {231--251}, year = {2017} }
@article{DBLP:journals/ipl/BernardeschiD16, author = {Cinzia Bernardeschi and Andrea Domenici}, title = {Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System}, journal = {Inf. Process. Lett.}, volume = {116}, number = {6}, pages = {409--415}, year = {2016} }
@inproceedings{DBLP:conf/iscc/BernardeschiDM16, author = {Cinzia Bernardeschi and Andrea Domenici and Paolo Masci}, title = {Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System}, booktitle = {{ISCC}}, pages = {135--140}, publisher = {{IEEE} Computer Society}, year = {2016} }
@inproceedings{DBLP:conf/isie/LiXXY14, author = {Binbin Li and Dandan Xu and Dianguo Xu and Rongfeng Yang}, title = {Prototype design and experimental verification of modular multilevel converter based back-to-back system}, booktitle = {{ISIE}}, pages = {626--630}, publisher = {{IEEE}}, year = {2014} }
@inproceedings{DBLP:conf/IEEEisic/SaydaT08a, author = {Atalla F. Sayda and James H. Taylor}, title = {A Multi-agent System for Integrated Control and Asset Management of Petroleum Production Facilities - Part 2: Prototype Design Verification}, booktitle = {{ISIC}}, pages = {169--175}, publisher = {{IEEE}}, year = {2008} }
@inproceedings{DBLP:conf/tridentcom/AmdeSMYC08, author = {Manish Amde and Jaewook Shim and Joel Marciano and Kenneth Y. Yun and Rene L. Cruz}, title = {A low {SINR} synchronization system for direct-sequence spread-spectrum communications: radio prototype, verification testbed and experimental results}, booktitle = {{TRIDENTCOM}}, pages = {25}, publisher = {{ICST}}, year = {2008} }
@article{DBLP:journals/dsonline/PedroLB07, author = {Luis Pedro and Levi Lucio and Didier Buchs}, title = {System Prototype and Verification Using Metamodel-Based Transformations}, journal = {{IEEE} Distributed Syst. Online}, volume = {8}, number = {4}, year = {2007} }
@inproceedings{DBLP:conf/issoc/EckartS06, author = {Thomas Eckart and Martin Schnieringer}, title = {Development and Verification of Embedded Firmware using Virtual System Prototypes}, booktitle = {SoC}, pages = {1}, publisher = {{IEEE}}, year = {2006} }
@inproceedings{DBLP:conf/rsp/PedroLB06, author = {Luis Pedro and Levi Lucio and Didier Buchs}, title = {Principles for System Prototype and Verification Using Metamodel Based Transformations}, booktitle = {{IEEE} International Workshop on Rapid System Prototyping}, pages = {10--17}, publisher = {{IEEE} Computer Society}, year = {2006} }
@article{DBLP:journals/spe/Frieder92, author = {Ophir Frieder}, title = {A Parallel Database-driven Protocol Verification System Prototype}, journal = {Softw. Pract. Exp.}, volume = {22}, number = {3}, pages = {245--264}, year = {1992} }
@inproceedings{DBLP:conf/cade/OwreRS92, author = {Sam Owre and John M. Rushby and Natarajan Shankar}, title = {{PVS:} {A} Prototype Verification System}, booktitle = {{CADE}}, series = {Lecture Notes in Computer Science}, volume = {607}, pages = {748--752}, publisher = {Springer}, year = {1992} }
@inproceedings{DBLP:conf/stacs/Soriano88, author = {Amelia Soriano}, title = {Prototype de Venus: Un Outil d'Aide {\`{a}} la Verification de Systemes Communicants}, booktitle = {{STACS}}, series = {Lecture Notes in Computer Science}, volume = {294}, pages = {401--402}, publisher = {Springer}, year = {1988} }
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.