| 2008 |
|---|
| 32 | EE | Huimin Lin:
Stratifying Winning Positions in Parity Games.
Petri Nets 2008: 9-11 |
| 31 | | Tsong Yueh Chen,
Huimin Lin,
Robert G. Merkel,
Daoming Wang:
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
SEKE 2008: 16-21 |
| 30 | EE | Takashi Kitamura,
Huimin Lin:
Specifying Properties for Modular Pi-Calculus.
TASE 2008: 201-208 |
| 2007 |
|---|
| 29 | EE | Daguang Liu,
Peng Wu,
Huimin Lin:
Symbolic Test Generation Using a Temporal Logic with Constrained Events.
Formal Methods and Hybrid Real-Time Systems 2007: 467-471 |
| 28 | EE | Takashi Kitamura,
Huimin Lin:
Controlling Process Modularity in Mobile Computing.
ICTAC 2007: 246-259 |
| 27 | EE | Yi Lv,
Huimin Lin,
Hong Pan:
Computing Invariants for Parameter Abstraction.
MEMOCODE 2007: 29-38 |
| 26 | EE | Peng Wu,
Catuscia Palamidessi,
Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems.
QEST 2007: 179-188 |
| 2006 |
|---|
| 25 | EE | Peng Wu,
Huimin Lin:
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.
International Journal of Software Engineering and Knowledge Engineering 16(5): 727-746 (2006) |
| 24 | EE | Hong Pan,
Huimin Lin,
Yi Lv:
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol. 21(5): 765-775 (2006) |
| 2005 |
|---|
| 23 | EE | Weijia Deng,
Huimin Lin:
Extended Symbolic Transition Graphs with Assignment.
COMPSAC (1) 2005: 227-232 |
| 22 | EE | Peng Wu,
Huimin Lin:
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.
QSIC 2005: 3-10 |
| 21 | EE | Huimin Lin:
Predicate µ-Calculus for Mobile Ambients.
J. Comput. Sci. Technol. 20(1): 95-104 (2005) |
| 2004 |
|---|
| 20 | EE | Huimin Lin:
Formal Methods for Trustworthy Mobile Computing.
COMPSAC 2004: 500 |
| 19 | EE | Huimin Lin:
A Predicate Spatial Logic and Model Checking for Mobile Processes.
ICTAC 2004: 36-36 |
| 18 | | Huimin Lin,
Hans-Dieter Ehrich,
T. H. Tse:
Editorial.
Information & Software Technology 46(15): 987-988 (2004) |
| 2003 |
|---|
| 17 | EE | Huimin Lin:
Complete inference systems for weak bisimulation equivalences in the pi-calculus.
Inf. Comput. 180(1): 1-29 (2003) |
| 2002 |
|---|
| 16 | EE | Jing Chen,
Huimin Lin:
Making Timed Automata Communicate.
10th Anniversary Colloquium of UNU/IIST 2002: 337-351 |
| 15 | EE | Huimin Lin,
Wang Yi:
Axiomatising timed automata.
Acta Inf. 38(4): 277-305 (2002) |
| 14 | EE | Huimin Lin:
A Graphical mu-Calculus and Local Model Checking.
J. Comput. Sci. Technol. 17(6): 665-671 (2002) |
| 2001 |
|---|
| 13 | EE | Huimin Lin:
Model Checking Value-Passing Processes.
APSEC 2001: 3- |
| 2000 |
|---|
| 12 | EE | Huimin Lin,
Wang Yi:
A Complete Axiomatisation for Timed Automata.
FSTTCS 2000: 277-289 |
| 11 | EE | Huimin Lin,
Wang Yi:
A Proof System for Timed Automata.
FoSSaCS 2000: 208-222 |
| 10 | EE | Huimin Lin:
Computing Bisimulations for Finite-Control pi-Calculus.
J. Comput. Sci. Technol. 15(1): 1-9 (2000) |
| 1998 |
|---|
| 9 | | Huimin Lin:
"On-the-fly Instantiation" of Value-passing Processes.
FORTE 1998: 215-230 |
| 8 | EE | Huimin Lin:
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.
ICALP 1998: 443-454 |
| 1996 |
|---|
| 7 | | Huimin Lin:
Symbolic Transition Graph with Assignment.
CONCUR 1996: 50-65 |
| 1995 |
|---|
| 6 | | Huimin Lin:
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.
TAPSOFT 1995: 187-201 |
| 5 | | Huimin Lin:
PAM: A Process Algebra Manipulator.
Formal Methods in System Design 7(3): 243-259 (1995) |
| 1993 |
|---|
| 4 | EE | Huimin Lin:
Procedural Implementation of Algebraic Specification.
ACM Trans. Program. Lang. Syst. 15(5): 876-895 (1993) |
| 1992 |
|---|
| 3 | | Huimin Lin:
An Interactive Proof Tool for Process Algebras.
STACS 1992: 617-618 |
| 1991 |
|---|
| 2 | | Huimin Lin:
PAM: A Process Algebra Manipulator.
CAV 1991: 136-146 |
| 1990 |
|---|
| 1 | | Huimin Lin,
Man-Chi Pong:
Modelling Multiple Inheritance with Colimits.
Formal Asp. Comput. 2(4): 301-311 (1990) |
