Jifeng He
Affiliations: East China Normal University, Shanghai, China
 United Nations University, International Institute for Software Technology, Macau
 Oxford University, Computing Laboratory, UK
 University of York, Department of Computer Science, UK
According to our database^{1},
Jifeng He
authored at least 204 papers
between 1983 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on viaf.org

on id.loc.gov

on dnb.info

on dl.acm.org
On csauthors.net:
Bibliography
2023
IEEE Robotics Autom. Lett., March, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Ont4Sys: Ontologybased tool of Semantic Representation and Verification for Traceability Models.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
2022
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
2021
CCF Trans. High Perform. Comput., 2021
2020
IEEE Trans. Intell. Transp. Syst., 2020
Statistical Model CheckingBased Evaluation and Optimization for Cloud Workflow Resource Allocation.
IEEE Trans. Cloud Comput., 2020
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.
Formal Aspects Comput., 2020
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
2019
IEEE Trans. Reliab., 2019
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.
ACM Trans. Softw. Eng. Methodol., 2019
Frontiers Comput. Sci., 2019
Robustness Verification of Classification Deep Neural Networks via Linear Programming.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019
2018
A new roadmap for linking theories of programming and its applications on GCL and CSP.
Sci. Comput. Program., 2018
J. Log. Comput., 2018
An explicit transition system construction approach to LTL satisfiability checking.
Formal Aspects Comput., 2018
Proceedings of the Symposium on RealTime and Hybrid Systems, 2018
2017
ACM Comput. Surv., 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Mob. Networks Appl., 2016
Automated coveragedriven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci., 2016
Proceedings of the Unifying Theories of Programming  6th International Symposium, 2016
2015
Innov. Syst. Softw. Eng., 2015
Frontiers Comput. Sci., 2015
Denotational semantics and its algebraic derivation for an eventdriven systemlevel language.
Formal Aspects Comput., 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
2014
IEICE Trans. Inf. Syst., 2014
Frontiers Comput. Sci., 2014
CoRR, 2014
Proceedings of the Unifying Theories of Programming  5th International Symposium, 2014
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE22), Hong Kong, China, November 16, 2014
Proceedings of the ECAI 2014  21st European Conference on Artificial Intelligence, 1822 August 2014, Prague, Czech Republic, 2014
2013
Frontiers Comput. Sci., 2013
Frontiers Comput. Sci., 2013
CoRR, 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the Theoretical Aspects of Computing  ICTAC 2013, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Boundoriented parallel pruning approaches for efficient resource constrained scheduling of highlevel synthesis.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Linking operational semantics and algebraic semantics for a probabilistic timed sharedvariable language.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for SafetyCritical Systems, 2012
CoRR, 2012
CoRR, 2012
Sci. China Inf. Sci., 2012
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Software Engineering and Formal Methods  10th International Conference, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
2011
Innov. Syst. Softw. Eng., 2011
MDA Approach for Nonfunctional Properties of Dependable and Distributed RealTime Systems.
Proceedings of the Convergence and Hybrid Information Technology, 2011
Proceedings of the Convergence and Hybrid Information Technology, 2011
Proceedings of the Convergence and Hybrid Information Technology, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 13th IEEE International Symposium on HighAssurance Systems Engineering, 2011
2010
Theor. Comput. Sci., 2010
Innov. Syst. Softw. Eng., 2010
A process algebraic framework for specification and validation of realtime systems.
Formal Aspects Comput., 2010
Generating Denotational Semantics from Algebraic Semantics for EventDriven SystemLevel Language.
Proceedings of the Unifying Theories of Programming  Third International Symposium, 2010
Proceedings of the Unifying Theories of Programming  Third International Symposium, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Innov. Syst. Softw. Eng., 2009
Formal Aspects Comput., 2009
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed SharedVariable Language.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
LocalityBased Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an EventDriven SystemLevel Language.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
2008
Innov. Syst. Softw. Eng., 2008
Sci. China Ser. F Inf. Sci., 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008
Proceedings of the Distributed Computing and Internet Technology, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the 15th AsiaPacific Software Engineering Conference (APSEC 2008), 2008
2007
Frontiers Comput. Sci. China, 2007
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW31 2007), 2007
Algebraic Approach to Operational Semantics and ObservationOriented Semantics for a Timed SharedVariable Language with Probability.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW31 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Distributed Computing and Internet Technology, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Formal Methods and Hybrid RealTime Systems, 2007
Proceedings of the 14th AsiaPacific Software Engineering Conference (APSEC 2007), 2007
2006
Theor. Comput. Sci., 2006
From Statecharts to Verilog: a formal approach to hardware/software cospecification.
Innov. Syst. Softw. Eng., 2006
Proceedings of the 11th Refinement Workshop, 2006
Sci. China Ser. F Inf. Sci., 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW30 2006), 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW30 2006), 2006
Proceedings of the KnowledgeBased Intelligent Information and Engineering Systems, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the Formal Methods for Open ObjectBased Distributed Systems, 2006
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006
Proceedings of the Advances in Computer Science, 2006
2005
Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Aspects Comput., 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Integrating Theories and Techniques for Program Modelling, Design and Verification.
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005
2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Resource Models and PreCompiler Specification for Hardware/Software CoDesign Language.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
A Framework for Specification and Validation of RealTime Systems Using <i>Circus</i> Actions.
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Distributed Computing and Internet Technology, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.
Formal Aspects Comput., 2003
Proceedings of the Workshop on the Compositional Verification of UML Models, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the Formal Methods and Software Engineering, 2003
2002
J. Comput. Sci. Technol., 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Soundness, Completeness and Nonredundancy of Operational Semantics for Verilog Based on Denotational Semantics.
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002
2001
An Approach to the Specification and Verification of a Hardware Compilation Scheme.
J. Supercomput., 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 2nd AsiaPacific Conference on Quality Software (APAQS 2001), 2001
2000
An Operational Semantics of a Simulator Algorithm.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
Algebraic derivation of an operational semantics.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
Proceedings of the 7th AsiaPacific Software Engineering Conference (APSEC 2000), 2000
1999
Inf. Sci., 1999
Proceedings of the 6th International Workshop on RealTime Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Integrated Formal Methods, 1999
Proceedings of the FM'99  Formal Methods, 1999
Proceedings of the ECOOP'99, 1999
1998
Unifying theories of programming.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Sci. Comput. Program., 1997
Formal Aspects Comput., 1997
Proceedings of the EuroPar '97 Parallel Processing, 1997
Linking Theories in Probabilistic Programming.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997
1996
Proceedings of the EuroPar '96 Parallel Processing, 1996
1994
Theor. Comput. Sci., 1994
Formal Aspects Comput., 1994
Proceedings of the 6th Refinement Workshop, 1994
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
1993
Inf. Process. Lett., 1993
Acta Informatica, 1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the Correct Hardware Design and Verification Methods, 1993
1992
A case study in formally developing statebased parallel programs  the Dutch National Torus.
Proceedings of the 5th Refinement Workshop, 1992
Proceedings of the Fourth Euromicro workshop on RealTime Systems, 1992
1991
Math. Struct. Comput. Sci., 1991
1990
Proceedings of the Programming Language Implementation and Logic Programming, 1990
A Theory of Synchrony and Asynchrony.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Formal Aspects Comput., 1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989
1987
Inf. Process. Lett., 1987
Inf. Process. Lett., 1987
Distributed Comput., 1987
Commun. ACM, 1987
1986
Proceedings of the ESOP 86, 1986
1983
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.
Acta Informatica, 1983