BibTeX records: Freddy Y. C. Mang

download as .bib file

@inproceedings{DBLP:conf/slip/PuiWMY19,
  author       = {Chak{-}Wa Pui and
                  Gang Wu and
                  Freddy Y. C. Mang and
                  Evangeline F. Y. Young},
  title        = {An Analytical Approach for Time-Division Multiplexing Optimization
                  in Multi-FPGA based Systems},
  booktitle    = {21st {ACM/IEEE} International Workshop on System Level Interconnect
                  Prediction, {SLIP} 2019, Las Vegas, NV, USA, June 1-2, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SLIP.2019.8771330},
  doi          = {10.1109/SLIP.2019.8771330},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/slip/PuiWMY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MangHH07,
  author       = {Freddy Y. C. Mang and
                  Wenting Hou and
                  Pei{-}Hsin Ho},
  title        = {Techniques for Effective Distributed Physical Synthesis},
  booktitle    = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
                  San Diego, CA, USA, June 4-8, 2007},
  pages        = {859--864},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1278480.1278692},
  doi          = {10.1145/1278480.1278692},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MangHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MangH06,
  author       = {Freddy Y. C. Mang and
                  Pei{-}Hsin Ho},
  title        = {Controllability and Cooperativeness Analysis for Automatic Abstraction
                  Refinement},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {763--774},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004091},
  doi          = {10.1142/S0129054106004091},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MangH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MangH04,
  author       = {Freddy Y. C. Mang and
                  Pei{-}Hsin Ho},
  editor       = {Sharad Malik and
                  Limor Fix and
                  Andrew B. Kahng},
  title        = {Abstraction refinement by controllability and cooperativeness analysis},
  booktitle    = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
                  San Diego, CA, USA, June 7-11, 2004},
  pages        = {224--229},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/996566.996630},
  doi          = {10.1145/996566.996630},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MangH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHM02,
  author       = {Arindam Chakrabarti and
                  Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Ed Brinksma and
                  Kim Guldstrand Larsen},
  title        = {Synchronous and Bidirectional Component Interfaces},
  booktitle    = {Computer Aided Verification, 14th International Conference, {CAV}
                  2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2404},
  pages        = {414--427},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45657-0\_34},
  doi          = {10.1007/3-540-45657-0\_34},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChakrabartiAHM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHJM02,
  author       = {Arindam Chakrabarti and
                  Luca de Alfaro and
                  Thomas A. Henzinger and
                  Marcin Jurdzinski and
                  Freddy Y. C. Mang},
  editor       = {Ed Brinksma and
                  Kim Guldstrand Larsen},
  title        = {Interface Compatibility Checking for Software Modules},
  booktitle    = {Computer Aided Verification, 14th International Conference, {CAV}
                  2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2404},
  pages        = {428--441},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45657-0\_35},
  doi          = {10.1007/3-540-45657-0\_35},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChakrabartiAHJM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerKKM02,
  author       = {Thomas A. Henzinger and
                  Sriram C. Krishnan and
                  Orna Kupferman and
                  Freddy Y. C. Mang},
  editor       = {Peter Widmayer and
                  Francisco Triguero Ruiz and
                  Rafael Morales Bueno and
                  Matthew Hennessy and
                  Stephan J. Eidenbenz and
                  Ricardo Conejo},
  title        = {Synthesis of Uninitialized Systems},
  booktitle    = {Automata, Languages and Programming, 29th International Colloquium,
                  {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2380},
  pages        = {644--656},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45465-9\_55},
  doi          = {10.1007/3-540-45465-9\_55},
  timestamp    = {Wed, 11 Sep 2019 13:15:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HenzingerKKM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHM01a,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {The Control of Synchronous Systems, Part {II}},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {566--582},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_38},
  doi          = {10.1007/3-540-44685-0\_38},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroHM01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlurAGHKKMMW01,
  author       = {Rajeev Alur and
                  Luca de Alfaro and
                  Radu Grosu and
                  Thomas A. Henzinger and
                  M. Kang and
                  Christoph M. Kirsch and
                  Rupak Majumdar and
                  Freddy Y. C. Mang and
                  Bow{-}Yaw Wang},
  editor       = {Hausi A. M{\"{u}}ller and
                  Mary Jean Harrold and
                  Wilhelm Sch{\"{a}}fer},
  title        = {{JMOCHA:} {A} Model Checking Tool that Exploits Design Structure},
  booktitle    = {Proceedings of the 23rd International Conference on Software Engineering,
                  {ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
  pages        = {835--836},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICSE.2001.919196},
  doi          = {10.1109/ICSE.2001.919196},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AlurAGHKKMMW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AlfaroHM01,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Vincent Y. Shen and
                  Nobuo Saito and
                  Michael R. Lyu and
                  Mary Ellen Zurko},
  title        = {{MCWEB:} {A} Model-Checking Tool for Web Site Debugging},
  booktitle    = {Poster Proceedings of the Tenth International World Wide Web Conference,
                  {WWW} 10, Hong Kong, China, May 1-5, 2001},
  year         = {2001},
  url          = {http://www10.org/cdrom/posters/1147.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/AlfaroHM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroHM00,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Detecting Errors Before Reaching Them},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {186--201},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_17},
  doi          = {10.1007/10722167\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlfaroHM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHM00,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Catuscia Palamidessi},
  title        = {The Control of Synchronous Systems},
  booktitle    = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
                  University Park, PA, USA, August 22-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1877},
  pages        = {458--473},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_33},
  doi          = {10.1007/3-540-44618-4\_33},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlfaroHM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HenzingerMMR00,
  author       = {Thomas A. Henzinger and
                  Rupak Majumdar and
                  Freddy Y. C. Mang and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Jens Palsberg},
  title        = {Abstract Interpretation of Game Properties},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {220--239},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_12},
  doi          = {10.1007/978-3-540-45099-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HenzingerMMR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurAHM99,
  author       = {Rajeev Alur and
                  Luca de Alfaro and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang},
  editor       = {Jos C. M. Baeten and
                  Sjouke Mauw},
  title        = {Automating Modular Verification},
  booktitle    = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
                  The Netherlands, August 24-27, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1664},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48320-9\_8},
  doi          = {10.1007/3-540-48320-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AlurAHM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurHMQRT98,
  author       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Freddy Y. C. Mang and
                  Shaz Qadeer and
                  Sriram K. Rajamani and
                  Serdar Tasiran},
  editor       = {Alan J. Hu and
                  Moshe Y. Vardi},
  title        = {{MOCHA:} Modularity in Model Checking},
  booktitle    = {Computer Aided Verification, 10th International Conference, {CAV}
                  '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1427},
  pages        = {521--525},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0028774},
  doi          = {10.1007/BFB0028774},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlurHMQRT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics