Search dblp for Publications

export results for "prototype verification system"

 download as .bib file

@phdthesis{DBLP:phd/dnb/Bruns23,
  author       = {Niklas Bruns},
  title        = {Virtual prototype centric verification for embedded system development},
  school       = {University of Bremen, Germany},
  year         = {2023},
  url          = {https://d-nb.info/1299573150},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dnb/Bruns23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/Domenici23,
  author       = {Andrea Domenici},
  editor       = {Hossein Hojjat and
                  Erika {\'{A}}brah{\'{a}}m},
  title        = {Towards a Basic Theory for Partial Differentiation in the Prototype
                  Verification System},
  booktitle    = {Fundamentals of Software Engineering - 10th International Conference,
                  {FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14155},
  pages        = {18--24},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42441-0\_2},
  doi          = {10.1007/978-3-031-42441-0\_2},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/Domenici23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://d-nb.info/1242680888},
  timestamp    = {Thu, 04 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dnb/Hassan21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/glvlsi/HerdtGWGD20,
  author       = {Vladimir Herdt and
                  Daniel Gro{\ss}e and
                  Jonas Wloka and
                  Tim G{\"{u}}neysu and
                  Rolf Drechsler},
  editor       = {Tinoosh Mohsenin and
                  Weisheng Zhao and
                  Yiran Chen and
                  Onur Mutlu},
  title        = {Verification of Embedded Binaries using Coverage-guided Fuzzing with
                  SystemC-based Virtual Prototypes},
  booktitle    = {{GLSVLSI} '20: Great Lakes Symposium on {VLSI} 2020, Virtual Event,
                  China, September 7-9, 2020},
  pages        = {101--106},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3386263.3406899},
  doi          = {10.1145/3386263.3406899},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/glvlsi/HerdtGWGD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://d-nb.info/1211641988},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Herdt19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/GoliD19,
  author       = {Mehran Goli and
                  Rolf Drechsler},
  title        = {Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes},
  booktitle    = {22nd Euromicro Conference on Digital System Design, {DSD} 2019, Kallithea,
                  Greece, August 28-30, 2019},
  pages        = {522--529},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DSD.2019.00081},
  doi          = {10.1109/DSD.2019.00081},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/GoliD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1912-10632,
  author       = {Paolo Masci and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Rosemary Monahan and
                  Virgile Prevosto and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {An Integrated Development Environment for the Prototype Verification
                  System},
  booktitle    = {Proceedings Fifth Workshop on Formal Integrated Development Environment,
                  F-IDE@FM 2019, Porto, Portugal, 7th October 2019},
  series       = {{EPTCS}},
  volume       = {310},
  pages        = {35--49},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.310.5},
  doi          = {10.4204/EPTCS.310.5},
  timestamp    = {Sat, 09 Apr 2022 12:27:07 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-10632.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nafips/GebreyohannesKH18,
  author       = {Solomon Gebreyohannes and
                  Ali Karimoddini and
                  Abdollah Homaifar and
                  Albert C. Esterline},
  editor       = {Guilherme A. Barreto and
                  Ricardo Coelho},
  title        = {Formal Verification of a Fuzzy Rule-Based Classifier Using the Prototype
                  Verification System},
  booktitle    = {Fuzzy Information Processing - 37th Conference of the North American
                  Fuzzy Information Processing Society, {NAFIPS} 2018, Fortaleza, Brazil,
                  July 4-6, 2018, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {831},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-95312-0\_1},
  doi          = {10.1007/978-3-319-95312-0\_1},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nafips/GebreyohannesKH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1007/s10817-016-9376-2},
  doi          = {10.1007/S10817-016-9376-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/OliveiraGA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1016/j.ipl.2016.02.001},
  doi          = {10.1016/J.IPL.2016.02.001},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BernardeschiD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
                  Italy, June 27-30, 2016},
  pages        = {135--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISCC.2016.7543728},
  doi          = {10.1109/ISCC.2016.7543728},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/BernardeschiDM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE}
                  2014, Istanbul, Turkey, June 1-4, 2014},
  pages        = {626--630},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISIE.2014.6864684},
  doi          = {10.1109/ISIE.2014.6864684},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isie/LiXXY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {2008 {IEEE} International Symposium on Intelligent Control, {ISIC}
                  2008, San Antonio, TX, USA, September 3-5, 2008},
  pages        = {169--175},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISIC.2008.4635951},
  doi          = {10.1109/ISIC.2008.4635951},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEisic/SaydaT08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tridentcom/AmdeSMYC08,
  author       = {Manish Amde and
                  Jaewook Shim and
                  Joel Marciano and
                  Kenneth Y. Yun and
                  Rene L. Cruz},
  editor       = {Miguel Ponce de Leon},
  title        = {A low {SINR} synchronization system for direct-sequence spread-spectrum
                  communications: radio prototype, verification testbed and experimental
                  results},
  booktitle    = {4th International Conference on Testbeds {\&} Research Infrastructures
                  for the DEvelopment of NeTworks {\&} COMmunities {(TRIDENTCOM}
                  2008), March 18-20, 2008, Innsbruck, Austria},
  pages        = {25},
  publisher    = {{ICST}},
  year         = {2008},
  url          = {https://doi.org/10.4108/tridentcom.2008.3137},
  doi          = {10.4108/TRIDENTCOM.2008.3137},
  timestamp    = {Tue, 27 Nov 2018 16:10:54 +0100},
  biburl       = {https://dblp.org/rec/conf/tridentcom/AmdeSMYC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1109/MDSO.2007.22},
  doi          = {10.1109/MDSO.2007.22},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dsonline/PedroLB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issoc/EckartS06,
  author       = {Thomas Eckart and
                  Martin Schnieringer},
  title        = {Development and Verification of Embedded Firmware using Virtual System
                  Prototypes},
  booktitle    = {International Symposium on System-on-Chip, SoC 2006, Tampere, Finland,
                  November 13-16, 2006},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISSOC.2006.322007},
  doi          = {10.1109/ISSOC.2006.322007},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/issoc/EckartS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2006), 14-16 June 2006, Chania, Crete, Greece},
  pages        = {10--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RSP.2006.29},
  doi          = {10.1109/RSP.2006.29},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/PedroLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1002/spe.4380220304},
  doi          = {10.1002/SPE.4380220304},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Frieder92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/OwreRS92,
  author       = {Sam Owre and
                  John M. Rushby and
                  Natarajan Shankar},
  editor       = {Deepak Kapur},
  title        = {{PVS:} {A} Prototype Verification System},
  booktitle    = {Automated Deduction - CADE-11, 11th International Conference on Automated
                  Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {607},
  pages        = {748--752},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55602-8\_217},
  doi          = {10.1007/3-540-55602-8\_217},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/OwreRS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Soriano88,
  author       = {Amelia Soriano},
  editor       = {Robert Cori and
                  Martin Wirsing},
  title        = {Prototype de Venus: Un Outil d'Aide {\`{a}} la Verification de Systemes
                  Communicants},
  booktitle    = {{STACS} 88, 5th Annual Symposium on Theoretical Aspects of Computer
                  Science, Bordeaux, France, February 11-13, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {294},
  pages        = {401--402},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0035867},
  doi          = {10.1007/BFB0035867},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Soriano88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.