Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Shengchao
    Last name: Qin
    DBLP: q/ShengchaoQin
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 92 of 92  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu.
    Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.
    Sci. Comput. Program. 2017, Volume 139 (0) 2017
    Conference paper
    Yifeng Zeng, Zhang Zhang, Han The Anh, Iain R. Spears, Shengchao Qin.
    Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building.
    Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 2017 (0) 2017
    Conference paper
    Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li.
    Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017 (0) 2017
    Conference paper
    Mengda He, Viktor Vafeiadis, Shengchao Qin, João Fernando Ferreira.
    Reasoning about Fences and Relaxed Atomics.
    24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016 2016 (0) 2016
    Conference paper
    Yifeng Zeng, Xuefeng Chen, Gao Cong, Shengchao Qin, Jing Tang, Yanping Xiang.
    Maximizing influence under influence loss constraint in social networks.
    Expert Syst. Appl. 2016, Volume 55 (0) 2016
    Conference paper
    Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li.
    Hierarchical Model Predictive Control for Multi-Robot Navigation.
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 2016 (0) 2016
    Conference paper
    Zhiwu Xu, Dongxiao Fan, Shengchao Qin.
    State-Taint Analysis for Detecting Resource Bugs.
    10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 2016 (0) 2016
    Conference paper
    Jingyi Wang, Jun Sun 0001, Shengchao Qin.
    Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin.
    Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
    21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016 2016 (0) 2016
    Conference paper
    Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin.
    Formalization and Verification of the Powerlink Protocol Using CSP.
    23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016 2016 (0) 2016
    Journal article
    Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke.
    Denotational semantics and its algebraic derivation for an event-driven system-level language.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Conference paper
    Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuan-Shun Dai.
    On Information Coverage for Location Category Based Point-of-Interest Recommendation.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Conference paper
    Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin.
    Semantic theories of programs with nested interrupts.
    Frontiers of Computer Science 2015, Volume 9 (0) 2015
    Conference paper
    Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin.
    Termination and non-termination specification inference.
    Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 2015 (0) 2015
    Journal article
    Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu.
    Core Hybrid Event-B I: Single Hybrid Event-B machines.
    Sci. Comput. Program. 2015, Volume 105 (0) 2015
    Conference paper
    Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang.
    Optimal Route Search with the Coverage of Users' Preferences.
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 2015 (0) 2015
    Conference paper
    Jun Sun 0001, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin.
    TLV: abstraction through testing, learning, and validation.
    Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015 2015 (0) 2015
    Conference paper
    Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin.
    GPU Accelerated On-the-Fly Reachability Checking.
    20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 2015 (0) 2015
    Conference paper
    Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He.
    Probabilistic Denotational Semantics for an Interrupt Modelling Language.
    20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 2015 (0) 2015
    Journal article
    Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang.
    Automatically refining partial specifications for heap-manipulating programs.
    Sci. Comput. Program. 2014, Volume 82 (0) 2014
    Conference paper
    Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin.
    Shape Analysis via Second-Order Bi-Abduction.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    João Fernando Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin.
    Automated verification of the FreeRTOS scheduler in Hip/Sleek.
    STTT 2014, Volume 16 (0) 2014
    Conference paper
    Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin.
    Expressive program verification via structured specifications.
    STTT 2014, Volume 16 (0) 2014
    Conference paper
    Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin.
    Choreography Scenario-Based Test Data Generation.
    2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 2014 (0) 2014
    Journal article
    Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen.
    Loop invariant synthesis in a combined abstract domain.
    J. Symb. Comput. 2013, Volume 50 (0) 2013
    Conference paper
    Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang.
    Invariants Synthesis over a Combined Domain for Automated Program Verification.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu.
    Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.
    2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 2013 (0) 2013
    Conference paper
    Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin.
    Algorithms for checking channel passing in web service choreography.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun 0001, Jin Song Dong, Shengchao Qin.
    A UTP Semantics for Communicating Processes with Shared Variables.
    Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun.
    Automated Specification Discovery via User-Defined Predicates.
    Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Yanhong Huang, João Fernando Ferreira, Guanhua He, Shengchao Qin, Jifeng He.
    Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
    Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin.
    Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.
    Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013 2013 (0) 2013
    Conference paper
    Granville Barnett, Shengchao Qin.
    Data-Race-Freedom of Concurrent Programs.
    20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1 2013 (0) 2013
    Conference paper
    Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu.
    Linking the Semantics of BPEL Using Maude.
    20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1 2013 (0) 2013
    Journal article
    Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin.
    Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin.
    Automated verification of shape, size and bag properties via user-defined predicates in separation logic.
    Sci. Comput. Program. 2012, Volume 77 (0) 2012
    Conference paper
    João Fernando Ferreira, Guanhua He, Shengchao Qin.
    Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.
    Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China 2012 (0) 2012
    Conference paper
    Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin.
    Investigating Time Properties of Interrupt-Driven Programs.
    Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu.
    The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
    Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He.
    MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Granville Barnett, Shengchao Qin.
    A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs.
    Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He.
    The stochastic semantics and verification for periodic control systems.
    SCIENCE CHINA Information Sciences 2012, Volume 55 (0) 2012
    Conference paper
    Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin.
    Denotational Semantics for a Probabilistic Timed Shared-Variable Language.
    Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin.
    Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.
    Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers 2013 (0) 2012
    Journal article
    Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu.
    MDM: A Mode Diagram Modeling Framework
    Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. 2012, Volume 105 (0) 2012
    Conference paper
    Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João Fernando Ferreira.
    A Timed CSP Model for the Time-Triggered Language Giotto.
    35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012 2012 (0) 2012
    Conference paper
    Granville Barnett, Shengchao Qin.
    Moverness for Locks and Transactions.
    Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China 2012 (0) 2012
    Conference paper
    Ryuta Arisaka, Shengchao Qin.
    LBI Cut Elimination Proof with BI-MultiCut.
    Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China 2012 (0) 2012
    Conference paper
    Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He.
    Automatically Refining Partial Specifications for Program Verification.
    FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin.
    Structured Specifications for Better Verification of Heap-Manipulating Programs.
    FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin.
    A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.
    Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu.
    Towards an Axiomatic Verification System for JavaScript.
    5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 2011 (0) 2011
    Conference paper
    Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin.
    Verifying pointer safety for programs with unknown calls.
    J. Symb. Comput. 2010, Volume 45 (0) 2010
    Conference paper
    Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin.
    Loop Invariant Synthesis in a Combined Domain.
    Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin.
    Verifying Heap-Manipulating Programs with Unknown Procedure Calls.
    Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin.
    Stack Bound Inference for Abstract Java Bytecode.
    4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 2010 (0) 2010
    Conference paper
    Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin.
    Discovering Specifications for Unknown Procedures - Work in Progress.
    Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010 2012 (0) 2010
    Conference paper
    Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen.
    PTSC: probability, time and shared-variable concurrency.
    ISSE 2009, Volume 5 (0) 2009
    Conference paper
    Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin.
    Memory Usage Verification Using Hip/Sleek.
    Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin.
    An Interval-Based Inference of Variant Parametric Types.
    Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Chenguang Luo, Guanhua He, Shengchao Qin.
    A Heap Model for Java Bytecode to Support Separation Logic.
    15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China 2008 (0) 2008
    Conference paper
    Florin Craciun, Shengchao Qin, Wei-Ngan Chin.
    A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
    Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin.
    Analysing memory resource bounds for low-level programs.
    Proceedings of the 7th International Symposium on Memory Management, ISMM 2008, Tucson, AZ, USA, June 7-8, 2008 2008 (0) 2008
    Conference paper
    Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin.
    Enhancing modular OO verification with separation logic.
    Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 2008 (0) 2008
    Conference paper
    Chenguang Luo, Shengchao Qin, Zongyan Qiu.
    Verifying BPEL-Like Programs with Hoare Logic.
    Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China 2008 (0) 2008
    Conference paper
    Chenguang Luo, Shengchao Qin.
    Separation Logic for Multiple Inheritance.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 212 (0) 2008
    Conference paper
    Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001.
    Timed Automata Patterns.
    IEEE Trans. Software Eng. 2008, Volume 34 (0) 2008
    Conference paper
    Chenguang Luo, Shengchao Qin, Zongyan Qiu.
    Verifying BPEL-like programs with Hoare logic.
    Frontiers of Computer Science in China 2008, Volume 2 (0) 2008
    Conference paper
    Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin.
    Multiple Pre/Post Specifications for Heap-Manipulating Methods.
    Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA 2007 (0) 2007
    Conference paper
    Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin.
    Automated Verification of Shape, Size and Bag Properties.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Shengchao Qin, Guanhua He.
    Linking Object-Z with Spec#.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin.
    Automated Verification of Shape and Size Properties Via Separation Logic.
    Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong.
    Realizing Live Sequence Charts in SystemVerilog.
    First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China 2007 (0) 2007
    Conference paper
    Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin.
    HighSpec: a tool for building and checking OZTA models.
    28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 2006 (0) 2006
    Conference paper
    Jifeng He, Shengchao Qin, Adnan Sherif.
    Constructing Property-Oriented Models for Verification.
    Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers 2006 (0) 2006
    Conference paper
    Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen.
    Integrating Probability with Time and Shared-Variable Concurrency.
    30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA 2006 (0) 2006
    Conference paper
    Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu.
    From Statecharts to Verilog: a formal approach to hardware/software co-specification.
    ISSE 2006, Volume 2 (0) 2006
    Conference paper
    Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang.
    The Semantics and Tool Support of OZTA.
    Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen.
    Verifying safety policies with size properties and alias controls.
    27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA 2005 (0) 2005
    Conference paper
    Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard.
    Memory Usage Verification for OO Programs.
    Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin.
    A Relational Model for Object-Oriented Designs.
    Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings 2004 (0) 2004
    Conference paper
    Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001.
    Timed Patterns: TCOZ to Timed Automata.
    Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin.
    An Automatic Mapping from Statecharts to Verilog.
    Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Jin Song Dong, Shengchao Qin, Jun Sun 0001.
    Generating MSCs from an Integrated Formal Specification Language.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard.
    Region inference for an object-oriented language.
    Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 2004 (0) 2004
    Conference paper
    Shengchao Qin, Wei-Ngan Chin.
    Mapping Statecharts to Verilog for Hardware/Software Co-specification.
    FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Shengchao Qin, Jin Song Dong, Wei-Ngan Chin.
    A Semantic Foundation for TCOZ in Unifying Theories of Programming.
    FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Quan Long, Zongyan Qiu, Shengchao Qin.
    The Equivalence of Statecharts.
    Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang.
    Hardware/Software Partitioning in Verilog.
    Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang.
    An Algebraic Hardware/Software Partitioning Algorithm.
    J. Comput. Sci. Technol. 2002, Volume 17 (0) 2002
    Conference paper
    Shengchao Qin, Zongyan Qiu, Jifeng He.
    Constructing Hardware/Software Interface Using Protocol Converters.
    2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings 2001 (0) 2001
    Conference paper
    Shengchao Qin, Jifeng He.
    Partitioning Program into Hardware and Software.
    8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China 2001 (0) 2001
    Show item 1 to 92 of 92  

    Your query returned 92 matches in the database.