Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Jifeng
    Last name: He
    DBLP: 66/3868
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 100 of 189  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jifeng He, Qin Li.
    A Hybrid Relational Modelling Language.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Journal article
    Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su.
    A Survey on Data-Flow Testing.
    ACM Comput. Surv. 2017, Volume 50 (0) 2017
    Journal article
    Huixing Fang, Huibiao Zhu, Jifeng He.
    SMT-Based Symbolic Encoding and Formal Analysis of HML Models.
    MONET 2016, Volume 21 (0) 2016
    Conference paper
    Jifeng He.
    A New Roadmap on Linking Theories of Programming.
    10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 2016 (0) 2016
    Conference paper
    Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su.
    Automated coverage-driven testing: combining symbolic execution and model checking.
    SCIENCE CHINA Information Sciences 2016, Volume 59 (0) 2016
    Conference paper
    Zhenyu Shan, Yingjie Xia, Peipei Hou, Jifeng He.
    Fusing Incomplete Multisensor Heterogeneous Data to Estimate Urban Traffic.
    IEEE MultiMedia 2016, Volume 23 (0) 2016
    Conference paper
    Jifeng He.
    A New Roadmap for Linking Theories of Programming.
    Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 (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
    Journal article
    Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He.
    Modeling and analysis of interactive telemedicine systems.
    ISSE 2015, Volume 11 (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
    Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su.
    Combining Symbolic Execution and Model Checking for Data Flow Testing.
    37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 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
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He.
    Fast LTL Satisfiability Checking by SAT Solvers.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He.
    LTLf satisfiability checking.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He.
    LTLf Satisfiability Checking.
    ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) 2014 (0) 2014
    Conference paper
    Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu 0001.
    Investigating System Survivability from a Probabilistic Perspective.
    IEICE Transactions 2014, Volume 97 (0) 2014
    Conference paper
    Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He.
    A UTP semantic model for Orc language with execution status and fault handling.
    Frontiers of Computer Science 2014, Volume 8 (0) 2014
    Conference paper
    Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang 0001, Jifeng He.
    Aalta: an LTL satisfiability checker over Infinite/Finite traces.
    Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014 2014 (0) 2014
    Conference paper
    Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao.
    Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
    Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014 2014 (0) 2014
    Conference paper
    Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu.
    A Formal Model for a Hybrid Programming Language.
    Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 (0) 2014
    Journal article
    Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He.
    A novel requirement analysis approach for periodic control systems.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Journal article
    Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding.
    Hybrid MARTE statecharts.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim G. Larsen.
    On the Relationship between LTL Normal Forms and Büchi Automata.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Jifeng He.
    A Clock-Based Framework for Construction of Hybrid Systems.
    Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Jifeng He.
    Hybrid Relation Calculus.
    2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 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
    Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He.
    Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.
    Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013, Montreal, QC, Canada, September 29 - October 4, 2013 2013 (0) 2013
    Journal article
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Yinbo Yao, Moshe Y. Vardi, Jifeng He.
    Polsat: A Portfolio LTL Satisfiability Solver.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He.
    LTL Satisfiability Checking Revisited.
    2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013 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
    Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang.
    Formal Specification of Hybrid MARTE Statecharts.
    Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China 2012 (0) 2012
    Conference paper
    Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He.
    A Denotational Model for Instantaneous Signal Calculus.
    Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang.
    ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.
    17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 2012 (0) 2012
    Conference paper
    Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding.
    Spatio-temporal UML Statechart for Cyber-Physical Systems.
    17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 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
    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
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim G. Larsen.
    On the Relationship between LTL Normal Forms and Buechi Automata
    CoRR 2012, Volume 0 (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
    Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu 0001.
    Formal Model of Interrupt Program from a Probabilistic Perspective.
    (0) 2011
    Conference paper
    Lichen Zhang, Jifeng He.
    Aspect-Oriented QoS Specification for Cyber-Physical Systems.
    Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Lichen Zhang, Jifeng He.
    A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems.
    Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Lichen Zhang, Jifeng He.
    MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems.
    Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Yongxin Zhao, Jifeng He.
    Towards a Signal Calculus for Event-Based Synchronous Languages.
    Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Huibiao Zhu, Jifeng He, Jing Li 0002, Jonathan P. Bowen.
    Algebraic approach to linking the semantics of web services.
    ISSE 2011, Volume 7 (0) 2011
    Conference paper
    Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu.
    A Unifying Approach to Validating Specification-Oriented XML Constraints.
    13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 2011 (0) 2011
    Conference paper
    Qin Li, Huibiao Zhu, Jifeng He.
    A Denotational Semantical Model for Orc Language.
    Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio.
    A process algebraic framework for specification and validation of real-time systems.
    Formal Asp. Comput. 2010, Volume 22 (0) 2010
    Conference paper
    Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu.
    SPARDL: A Requirement Modeling Language for Periodic Control System.
    Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 2010 (0) 2010
    Conference paper
    Jifeng He.
    A Probabilistic BPEL-Like Language.
    Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Huibiao Zhu, Fan Yang, Jifeng He.
    Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.
    Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Huibiao Zhu, Jifeng He, Jing Li 0002, Geguang Pu, Jonathan P. Bowen.
    Linking denotational semantics with operational semantics for web services.
    ISSE 2010, Volume 6 (0) 2010
    Book chapter
    Jifeng He.
    Probabilistic Programming with Coordination.
    Reflections on the Work of C. A. R. Hoare. 2010 (0) 2010
    Conference paper
    Jifeng He, C. A. R. Hoare.
    CSP is a retract of CCS.
    Theor. Comput. Sci. 2010, Volume 411 (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
    Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders.
    Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
    33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009 2009 (0) 2009
    Conference paper
    Huibiao Zhu, Yongxin Zhao, Jifeng He.
    Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.
    20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia 2009 (0) 2009
    Conference paper
    Qin Li, Huibiao Zhu, Jifeng He.
    A Formal Perspective for Service Coordination Framework in Service Oriented Architecture.
    20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia 2009 (0) 2009
    Conference paper
    Bernhard K. Aichernig, Jifeng He.
    Mutation testing in UTP.
    Formal Asp. Comput. 2009, Volume 21 (0) 2009
    Conference paper
    Jifeng He.
    Transaction Calculus - (Invited Paper).
    Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 2010 (0) 2008
    Conference paper
    Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin.
    Denotational Approach to an Event-Driven System-Level Language.
    Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 2010 (0) 2008
    Conference paper
    Jifeng He.
    Transaction Calculus.
    Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Jifeng He.
    Service Refinement.
    15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China 2008 (0) 2008
    Conference paper
    Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He.
    Execution Semantics for rCOS.
    15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China 2008 (0) 2008
    Conference paper
    Jing Li 0002, Huibiao Zhu, Jifeng He.
    Specifying and Verifying Web Transactions.
    Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Jifeng He.
    Transaction Calculus.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Qin Li, Huibiao Zhu, Jifeng He.
    Towards the Service Composition Through Buses.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He.
    A Denotational Model for Web Services Choreography.
    Distributed Computing and Internet Technology, 5th International Conference, ICDCIT 2008, New Delhi, India, December 10-12, 2008. Proceedings 2009 (0) 2008
    Conference paper
    Jifeng He.
    Refinement and test case generation in Unifying Theory of Programming.
    24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China 2008 (0) 2008
    Conference paper
    Jing Li 0002, Huibiao Zhu, Jifeng He.
    An Observational Model for Transactional Calculus of Services Orchestration.
    Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Jifeng He.
    Modelling Coordination and Compensation.
    Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Huibiao Zhu, Jifeng He, Jonathan P. Bowen.
    From algebraic semantics to denotational semantics for Verilog.
    ISSE 2008, Volume 4 (0) 2008
    Conference paper
    Jifeng He.
    Service refinement.
    Science in China Series F: Information Sciences 2008, Volume 51 (0) 2008
    Conference paper
    Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He.
    The Validation and Verification of WSCDL.
    14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan 2007 (0) 2007
    Conference paper
    Jifeng He.
    Compensable Programs.
    Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 2007 (0) 2007
    Conference paper
    Huibiao Zhu, Jifeng He, Jing Li 0002.
    Unifying Denotational Semantics with Operational Semantics for Web Services.
    Distributed Computing and Internet Technology, 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20, Proceedings 2007 (0) 2007
    Conference paper
    Jing Li 0002, Huibiao Zhu, Geguang Pu, Jifeng He.
    A Formal Model for Compensable Transactions.
    12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand 2007 (0) 2007
    Conference paper
    Jing Li 0002, Huibiao Zhu, Jifeng He.
    Algebraic Semantics for Compensable Transactions.
    Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Jifeng He.
    Linking Semantic Models.
    Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Jifeng He.
    UTP Semantics for Web Services.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Huibiao Zhu, Jifeng He, Jing Li 0002, Jonathan P. Bowen.
    Algebraic Approach to Linking the Semantics of Web Services.
    Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK 2007 (0) 2007
    Conference paper
    Qin Li, Huibiao Zhu, Jing Li 0002, Jifeng He.
    Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
    Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings 2008 (0) 2007
    Conference paper
    Qin Li, Huibiao Zhu, Jifeng He.
    An Inconsistency Free Formalization of B/S Architecture.
    31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007 (0) 2007
    Conference paper
    Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li 0002.
    An Operational Approach to BPEL-like Programming.
    31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007 (0) 2007
    Conference paper
    Huibiao Zhu, Jifeng He, Jonathan P. Bowen.
    Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
    31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007 (0) 2007
    Conference paper
    Jing Li 0002, Jifeng He, Huibiao Zhu, Geguang Pu.
    Modeling and Verifying Web Services Choreography Using Process Algebra.
    31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007 (0) 2007
    Conference paper
    Jing Li 0002, Huibiao Zhu, Geguang Pu, Jifeng He.
    Looking into Compensable Transactions.
    31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007 (0) 2007
    Conference paper
    Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan.
    A Model of Component-Based Programming.
    International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Bernhard K. Aichernig, Jifeng He.
    Refinement and Test Case Generation in UTP.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 187 (0) 2007
    Conference paper
    Jifeng He, Huibiao Zhu, Geguang Pu.
    A model for BPEL-like languages.
    Frontiers of Computer Science in China 2007, Volume 1 (0) 2007
    Conference paper
    Huibiao Zhu, Geguang Pu, Jifeng He.
    A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 2008 (0) 2006
    Conference paper
    Geguang Pu, Jifeng He, Zongyan Qiu.
    An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
    Proceedings of the 9th IEEE Workshop on Design Diagnostics of Electronic Circuits Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006 2006 (0) 2006
    Conference paper
    Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He.
    Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
    Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Jing Liu, Jifeng He.
    Reactive Component based Service-Oriented Design - A Case Study.
    11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA 2006 (0) 2006
    Conference paper
    Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi 0001.
    Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
    11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA 2006 (0) 2006
    Conference paper
    Huibiao Zhu, Jifeng He, Jonathan P. Bowen.
    From Algebraic Semantics to Denotational Semantics for Verilog.
    11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA 2006 (0) 2006
    Conference paper
    Jing Li 0002, Jifeng He, Geguang Pu, Huibiao Zhu.
    Towards the Semantics for Web Service Choreography Description Language.
    Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao.
    Patterns with Algebraic Properties in BPEL0.
    Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 2006 (0) 2006
    Conference paper
    Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He.
    A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
    Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I 2006 (0) 2006
    Show item 1 to 100 of 189  

    Your query returned 189 matches in the database.