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 database1,
Jifeng He
authored at least 205 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Knowl. Based Syst., 2024
2023
IEEE Robotics Autom. Lett., March, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Ont4Sys: Ontology-based 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 Checking-Based 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
Formal Aspects Comput., 2018
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Mob. Networks Appl., 2016
Sci. China Inf. Sci., 2016
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016
2015
Innov. Syst. Softw. Eng., 2015
Denotational semantics and its algebraic derivation for an event-driven system-level 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
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, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Frontiers Comput. Sci., 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
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, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 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 Non-functional Properties of Dependable and Distributed Real-Time 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 High-Assurance Systems Engineering, 2011
2010
Innov. Syst. Softw. Eng., 2010
Formal Aspects Comput., 2010
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level 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
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 Shared-Variable Language.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level 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
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 Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
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 (SEW-31 2007), 2007
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 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 Real-Time Systems, 2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
From Statecharts to Verilog: a formal approach to hardware/software co-specification.
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 (SEW-30 2006), 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
Proceedings of the Knowledge-Based 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 Object-Based 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
Formal Aspects Comput., 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
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 Pre-Compiler Specification for Hardware/Software Co-Design Language.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
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 Real-Time 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 Non-redundancy 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
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 Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 2nd Asia-Pacific 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 Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Integrated Formal Methods, 1999
1998
Unifying theories of programming.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Formal Aspects Comput., 1997
Proceedings of the Euro-Par '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 Euro-Par '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 Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
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 state-based parallel programs - the Dutch National Torus.
Proceedings of the 5th Refinement Workshop, 1992
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992
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
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
Distributed Comput., 1987
1986
1983
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.
Acta Informatica, 1983