Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Freddy Y. C. Mang
@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} }
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.