Huimin Lin

According to our database, Huimin Lin authored at least 52 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

V2P Protection Based on Multi-Sensor Fusion in Foggy Scene.

Jianming Wei, Shumin Liu, Qiuming Liu, Huimin Lin

Proceedings of the ICCDA 2022: The 6th International Conference on Compute and Data Analysis, Virtual Event / Shanghai, China, February 25, 2022

Convolutional neural network for automatic classification of copper alloy metallographs.

Xueyu Huang, Huimin Lin, Huaiyu He

Proceedings of the 18th International Conference on Computational Intelligence and Security, 2022

2021

GTree: an Open-source Tool for Dense Reconstruction of Brain-wide Neuronal Population.

Hang Zhou, Shiwei Li, Anan Li, Qing Huang, Feng Xiong, Ning Li, Jiacheng Han, Hongtao Kang, Yijun Chen, Yun Li, Huimin Lin, Yu-Hui Zhang, Xiaohua Lv, Xiuli Liu, Hui Gong, Qingming Luo, Shaoqun Zeng, Tingwei Quan

Neuroinformatics, 2021

2018

Branching Bisimulation and Concurrent Object Verification.

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu

CoRR, 2017

2016

Proving Linearizability via Branching Bisimulation.

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu

CoRR, 2016

2014

Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media.

Huimin Lin, Huazhong Tang, Wei Cai

J. Comput. Phys., 2014

Metrics for Differential Privacy in Concurrent Systems.

Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2012

A complete symbolic bisimulation for full applied pi calculus.

Jia Liu, Huimin Lin

Theor. Comput. Sci., 2012

Image Approximations to Electrostatic Potentials in Layered Electrolytes/Dielectrics and an Ion-Channel Model.

Huimin Lin, Zhenli Xu, Huazhong Tang, Wei Cai

J. Sci. Comput., 2012

2011

Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.

Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen

Int. J. Softw. Eng. Knowl. Eng., 2011

2010

Proof System for Applied Pi Calculus.

Jia Liu, Huimin Lin

Proceedings of the Theoretical Computer Science, 2010

2009

Environment Abstraction with State Clustering and Parameter Truncating.

Hong Pan, Yi Lv, Huimin Lin

Proceedings of the TASE 2009, 2009

On the integration of metamorphic testing and model checking.

Huai Liu, Daoming Wang, Huimin Lin, Tsong Yueh Chen

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008

Specifying Properties for Modular Pi-Calculus.

Takashi Kitamura, Huimin Lin

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.

Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Stratifying Winning Positions in Parity Games.

Huimin Lin

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Symbolic Bisimulations for Probabilistic Systems.

Peng Wu, Catuscia Palamidessi, Huimin Lin

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Computing Invariants for Parameter Abstraction.

Yi Lv, Huimin Lin, Hong Pan

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Controlling Process Modularity in Mobile Computing.

Takashi Kitamura, Huimin Lin

Proceedings of the Theoretical Aspects of Computing, 2007

Symbolic Test Generation Using a Temporal Logic with Constrained Events.

Daguang Liu, Peng Wu, Huimin Lin

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Model Checking Data Consistency for Cache Coherence Protocols.

Hong Pan, Huimin Lin, Yi Lv

J. Comput. Sci. Technol., 2006

Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.

Peng Wu, Huimin Lin

Int. J. Softw. Eng. Knowl. Eng., 2006

2005

Predicate µ-Calculus for Mobile Ambients.

Huimin Lin

J. Comput. Sci. Technol., 2005

Extended Symbolic Transition Graphs with Assignment.

Weijia Deng, Huimin Lin

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Editorial.

Huimin Lin, Hans-Dieter Ehrich, T. H. Tse

Inf. Softw. Technol., 2004

A predicate spatial logic for mobile processes.

Huimin Lin

Sci. China Ser. F Inf. Sci., 2004

A Predicate Spatial Logic and Model Checking for Mobile Processes.

Huimin Lin

Proceedings of the Theoretical Aspects of Computing, 2004

Formal Methods for Trustworthy Mobile Computing.

Huimin Lin

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Complete inference systems for weak bisimulation equivalences in the pi-calculus.

Huimin Lin

Inf. Comput., 2003

On decidability and model checking for a first order modal logic for value-passing processes.

Rui Xue, Huimin Lin

Sci. China Ser. F Inf. Sci., 2003

2002

A Graphical mu-Calculus and Local Model Checking.

Huimin Lin

J. Comput. Sci. Technol., 2002

Axiomatising timed automata.

Huimin Lin, Wang Yi

Acta Informatica, 2002

Making Timed Automata Communicate.

Jing Chen, Huimin Lin

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2001

Unique fixpoint induction for message-passing process calculi.

Matthew Hennessy, Huimin Lin, Julian Rathke

Sci. Comput. Program., 2001

Model Checking Value-Passing Processes.

Huimin Lin

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

A Symbolic Approach to Value-Passing Processes.

Anna Ingólfsdóttir, Huimin Lin

Proceedings of the Handbook of Process Algebra, 2001

2000

Computing Bisimulations for Finite-Control pi-Calculus.

Huimin Lin

J. Comput. Sci. Technol., 2000

A Complete Axiomatisation for Timed Automata.

Huimin Lin, Wang Yi

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

A Proof System for Timed Automata.

Huimin Lin, Wang Yi

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998

Preface.

Pierre-Louis Curien, Matthew Hennessy, Huimin Lin

J. Comput. Sci. Technol., 1998

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.

Huimin Lin

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

"On-the-fly Instantiation" of Value-passing Processes.

Huimin Lin

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996

Proof Systems for Message-Passing Process Algebras.

Matthew Hennessy, Huimin Lin

Formal Aspects Comput., 1996

Symbolic Transition Graph with Assignment.

Huimin Lin

Proceedings of the CONCUR '96, 1996

1995

Symbolic Bisimulations.

Matthew Hennessy, Huimin Lin

Theor. Comput. Sci., 1995

PAM: A Process Algebra Manipulator.

Huimin Lin

Formal Methods Syst. Des., 1995

Unique Fixpoint Induction for Mobile Processes.

Huimin Lin

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1993

Procedural Implementation of Algebraic Specification.

Huimin Lin

ACM Trans. Program. Lang. Syst., 1993

A Verification Tool for Value-Passing Processes.

Huimin Lin

Proceedings of the Protocol Specification, 1993

1992

An Interactive Proof Tool for Process Algebras.

Huimin Lin

Proceedings of the STACS 92, 1992

1990

Modelling Multiple Inheritance with Colimits.

Huimin Lin, Man-Chi Pong

Formal Aspects Comput., 1990