Huimin Lin

According to our database1, Huimin Lin
  • authored at least 52 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.
CoRR, 2017

2016
Proving Linearizability via Branching Bisimulation.
CoRR, 2016

2014
Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media.
J. Comput. Physics, 2014

Metrics for Differential Privacy in Concurrent Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2012
A complete symbolic bisimulation for full applied pi calculus.
Theor. Comput. Sci., 2012

Image Approximations to Electrostatic Potentials in Layered Electrolytes/Dielectrics and an Ion-Channel Model.
J. Sci. Comput., 2012

2011
Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
International Journal of Software Engineering and Knowledge Engineering, 2011

2010
A Complete Symbolic Bisimulation for Full Applied Pi Calculus.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Proof System for Applied Pi Calculus.
Proceedings of the Theoretical Computer Science, 2010

2009
Environment Abstraction with State Clustering and Parameter Truncating.
Proceedings of the TASE 2009, 2009

On the integration of metamorphic testing and model checking.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008
Specifying Properties for Modular Pi-Calculus.
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.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Stratifying Winning Positions in Parity Games.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Symbolic Bisimulations for Probabilistic Systems.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Computing Invariants for Parameter Abstraction.
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.
Proceedings of the Theoretical Aspects of Computing, 2007

Symbolic Test Generation Using a Temporal Logic with Constrained Events.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol., 2006

Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.
International Journal of Software Engineering and Knowledge Engineering, 2006

2005
Predicate µ-Calculus for Mobile Ambients.
J. Comput. Sci. Technol., 2005

Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Extended Symbolic Transition Graphs with Assignment.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Editorial.
Information & Software Technology, 2004

A predicate spatial logic for mobile processes.
Science in China Series F: Information Sciences, 2004

A Predicate Spatial Logic and Model Checking for Mobile Processes.
Proceedings of the Theoretical Aspects of Computing, 2004

Formal Methods for Trustworthy Mobile Computing.
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.
Inf. Comput., 2003

On decidability and model checking for a first order modal logic for value-passing processes.
Science in China Series F: Information Sciences, 2003

2002
A Graphical mu-Calculus and Local Model Checking.
J. Comput. Sci. Technol., 2002

Axiomatising timed automata.
Acta Inf., 2002

Making Timed Automata Communicate.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2001
Unique fixpoint induction for message-passing process calculi.
Sci. Comput. Program., 2001

Model Checking Value-Passing Processes.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
Computing Bisimulations for Finite-Control pi-Calculus.
J. Comput. Sci. Technol., 2000

A Complete Axiomatisation for Timed Automata.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

A Proof System for Timed Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998
Preface.
J. Comput. Sci. Technol., 1998

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

"On-the-fly Instantiation" of Value-passing Processes.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996
Proof Systems for Message-Passing Process Algebras.
Formal Asp. Comput., 1996

Symbolic Transition Graph with Assignment.
Proceedings of the CONCUR '96, 1996

1995
Symbolic Bisimulations.
Theor. Comput. Sci., 1995

PAM: A Process Algebra Manipulator.
Formal Methods in System Design, 1995

Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Unique Fixpoint Induction for Mobile Processes.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1993
Procedural Implementation of Algebraic Specification.
ACM Trans. Program. Lang. Syst., 1993

A Verification Tool for Value-Passing Processes.
Proceedings of the Protocol Specification, 1993

Proof Systems for Message-Passing Process Algebras.
Proceedings of the CONCUR '93, 1993

1992
An Interactive Proof Tool for Process Algebras.
Proceedings of the STACS 92, 1992

1991
PAM: A Process Algebra Manipulator.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Modelling Multiple Inheritance with Colimits.
Formal Asp. Comput., 1990


  Loading...