Search dblp for Publications

• > Home > Search

@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}
}