Search dblp for Publications

export results for "toc:db/conf/charme/charme1995.bht:"

 download as .bib file

@inproceedings{DBLP:conf/charme/BarringerGMW95,
  author       = {Howard Barringer and
                  Graham Gough and
                  Brian Monahan and
                  Alan R. Williams},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Formal support for the {ELLA} hardwar description language},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {225--245},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_14},
  doi          = {10.1007/3-540-60385-9\_14},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/BarringerGMW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Bolignano95,
  author       = {Dominique Bolignano},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {A partial-order approach to the verification of concurrent systems:
                  checking liveness properties},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {278--292},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_17},
  doi          = {10.1007/3-540-60385-9\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Bolignano95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/CabodiQC95,
  author       = {Gianpiero Cabodi and
                  Stefano Quer and
                  Paolo Camurati},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Transforming boolean relations by symbolic encoding},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {161--170},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_10},
  doi          = {10.1007/3-540-60385-9\_10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/CabodiQC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/CorellaLCZS95,
  author       = {Francisco Corella and
                  Michel Langevin and
                  Eduard Cerny and
                  Zijian Zhou and
                  Xiaoyu Song},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {State enumeration with abstract descriptions of state machines},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {146--160},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_9},
  doi          = {10.1007/3-540-60385-9\_9},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/charme/CorellaLCZS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Curzon95,
  author       = {Paul Curzon},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Problems encountered in the machine-assisted proof of hardware},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {56--70},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_4},
  doi          = {10.1007/3-540-60385-9\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Curzon95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/DeharbeB95,
  author       = {David D{\'{e}}harbe and
                  Dominique Borrione},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Semantics of a verification-oriented subset of {VHDL}},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {293--310},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_18},
  doi          = {10.1007/3-540-60385-9\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/DeharbeB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/EisenbieglerK95,
  author       = {Dirk Eisenbiegler and
                  Ramayya Kumar},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Formally embedding existing high level synthesis algorithms},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {71--83},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_5},
  doi          = {10.1007/3-540-60385-9\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/EisenbieglerK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Encrenaz95,
  author       = {Emmanuelle Encrenaz},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application
                  to Symbolic Model Checking},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {328--342},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_20},
  doi          = {10.1007/3-540-60385-9\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Encrenaz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Goossens95,
  author       = {Kees G. W. Goossens},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Reasoning about {VHDL} using operational and observational semantics},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {311--327},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_19},
  doi          = {10.1007/3-540-60385-9\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Goossens95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/HungarGD95,
  author       = {Hardi Hungar and
                  Orna Grumberg and
                  Werner Damm},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {What if model checking must be truly symbolic},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_1},
  doi          = {10.1007/3-540-60385-9\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/HungarGD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/MalerP95,
  author       = {Oded Maler and
                  Amir Pnueli},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Timing analysis of asynchronous circuits using timed automata},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {189--205},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_12},
  doi          = {10.1007/3-540-60385-9\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/MalerP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/McFarlandK95,
  author       = {Michael C. McFarland and
                  Thaddeus J. Kowalski},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Symbolic analysis and verification of {CPA} descriptions},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {103--123},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_7},
  doi          = {10.1007/3-540-60385-9\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/McFarlandK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/MeloB95,
  author       = {Ana Cristina Vieira de Melo and
                  Howard Barringer},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {A foundation for formal reuse of hardware},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {124--145},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_8},
  doi          = {10.1007/3-540-60385-9\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/MeloB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/NicolaFGLR95,
  author       = {Rocco De Nicola and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Salvatore Larosa and
                  Gioia Ristori},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Verifying hardware components within {JACK}},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {246--260},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_15},
  doi          = {10.1007/3-540-60385-9\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/NicolaFGLR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/Pierre95,
  author       = {Laurence Pierre},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Describing and verifying synchronous circuits with the Boyer-Moore
                  theorem prover},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {35--55},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_3},
  doi          = {10.1007/3-540-60385-9\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/Pierre95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/SternD95,
  author       = {Ulrich Stern and
                  David L. Dill},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Automatic verification of the {SCI} cache coherence protocol},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {21--34},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_2},
  doi          = {10.1007/3-540-60385-9\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/SternD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/SternD95a,
  author       = {Ulrich Stern and
                  David L. Dill},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Improved probabilistic verification by hash compaction},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {206--224},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_13},
  doi          = {10.1007/3-540-60385-9\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/SternD95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/TasiranHB95,
  author       = {Serdar Tasiran and
                  Ramin Hojati and
                  Robert K. Brayton},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Language containment of non-deterministic \emph{omega}-automata},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {261--277},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_16},
  doi          = {10.1007/3-540-60385-9\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/TasiranHB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/WahbaB95,
  author       = {Ayman M. Wahba and
                  Dominique Borrione},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Design error diagnosis in sequential circuits},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {171--188},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_11},
  doi          = {10.1007/3-540-60385-9\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/WahbaB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/WangM95,
  author       = {Li{-}Guo Wang and
                  Michael Mendler},
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Formal design of a class of computers},
  booktitle    = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  pages        = {84--102},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9\_6},
  doi          = {10.1007/3-540-60385-9\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/WangM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/charme/1995,
  editor       = {Paolo Camurati and
                  Hans Eveking},
  title        = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
                  Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
                  Germany, October 2-4, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {987},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60385-9},
  doi          = {10.1007/3-540-60385-9},
  isbn         = {3-540-60385-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/1995.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.