 | 2011 |
|---|
| 46 |       | Robert G. Merkel,
Daoming Wang,
Huimin Lin,
Tsong Yueh Chen:
Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
International Journal of Software Engineering and Knowledge Engineering 21(2): 289-307 (2011) |
| 2010 |
|---|
| 45 | | Jia Liu,
Huimin Lin:
Proof System for Applied Pi Calculus.
IFIP TCS 2010: 229-243 |
| 44 | | Jia Liu,
Huimin Lin:
A Complete Symbolic Bisimulation for Full Applied Pi Calculus.
SOFSEM 2010: 552-563 |
| 2009 |
|---|
| 43 |  | Huai Liu,
Daoming Wang,
Huimin Lin,
Tsong Yueh Chen:
On the integration of metamorphic testing and model checking.
IADIS AC (2) 2009: 299-302 |
| 42 | | Hong Pan,
Yi Lv,
Huimin Lin:
Environment Abstraction with State Clustering and Parameter Truncating.
TASE 2009: 73-80 |
| 2008 |
|---|
| 41 | | Huimin Lin:
Stratifying Winning Positions in Parity Games.
Petri Nets 2008: 9-11 |
| 40 | | 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 |
| 39 | | Takashi Kitamura,
Huimin Lin:
Specifying Properties for Modular Pi-Calculus.
TASE 2008: 201-208 |
| 2007 |
|---|
| 38 | | 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 |
| 37 | | Takashi Kitamura,
Huimin Lin:
Controlling Process Modularity in Mobile Computing.
ICTAC 2007: 246-259 |
| 36 | | Yi Lv,
Huimin Lin,
Hong Pan:
Computing Invariants for Parameter Abstraction.
MEMOCODE 2007: 29-38 |
| 35 | | Peng Wu,
Catuscia Palamidessi,
Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems.
QEST 2007: 179-188 |
| 2006 |
|---|
| 34 | | 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) |
| 33 | | Hong Pan,
Huimin Lin,
Yi Lv:
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol. 21(5): 765-775 (2006) |
| 2005 |
|---|
| 32 | | Weijia Deng,
Huimin Lin:
Extended Symbolic Transition Graphs with Assignment.
COMPSAC (1) 2005: 227-232 |
| 31 | | Peng Wu,
Huimin Lin:
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.
QSIC 2005: 3-10 |
| 30 | | Huimin Lin:
Predicate µ-Calculus for Mobile Ambients.
J. Comput. Sci. Technol. 20(1): 95-104 (2005) |
| 2004 |
|---|
| 29 | | Huimin Lin:
Formal Methods for Trustworthy Mobile Computing.
COMPSAC 2004: 500 |
| 28 | | Huimin Lin:
A Predicate Spatial Logic and Model Checking for Mobile Processes.
ICTAC 2004: 36-36 |
| 27 | | Huimin Lin,
Hans-Dieter Ehrich,
T. H. Tse:
Editorial.
Information & Software Technology 46(15): 987-988 (2004) |
| 26 | | Huimin Lin:
A predicate spatial logic for mobile processes.
Science in China Series F: Information Sciences 47(3): 394-408 (2004) |
| 2003 |
|---|
| 25 | | Huimin Lin:
Complete inference systems for weak bisimulation equivalences in the pi-calculus.
Inf. Comput. 180(1): 1-29 (2003) |
| 24 | | Rui Xue,
Huimin Lin:
On decidability and model checking for a first order modal logic for value-passing processes.
Science in China Series F: Information Sciences 46(1): 45-59 (2003) |
| 2002 |
|---|
| 23 | | Jing Chen,
Huimin Lin:
Making Timed Automata Communicate.
10th Anniversary Colloquium of UNU/IIST 2002: 337-351 |
| 22 | | Huimin Lin,
Wang Yi:
Axiomatising timed automata.
Acta Inf. 38(4): 277-305 (2002) |
| 21 | | Huimin Lin:
A Graphical mu-Calculus and Local Model Checking.
J. Comput. Sci. Technol. 17(6): 665-671 (2002) |
| 2001 |
|---|
| 20 | | Huimin Lin:
Model Checking Value-Passing Processes.
APSEC 2001: 3- |
| 19 | | Matthew Hennessy,
Huimin Lin,
Julian Rathke:
Unique fixpoint induction for message-passing process calculi.
Sci. Comput. Program. 41(3): 241-275 (2001) |
| 2000 |
|---|
| 18 | | Huimin Lin,
Wang Yi:
A Complete Axiomatisation for Timed Automata.
FSTTCS 2000: 277-289 |
| 17 | | Huimin Lin,
Wang Yi:
A Proof System for Timed Automata.
FoSSaCS 2000: 208-222 |
| 16 | | Huimin Lin:
Computing Bisimulations for Finite-Control pi-Calculus.
J. Comput. Sci. Technol. 15(1): 1-9 (2000) |
| 1998 |
|---|
| 15 | | Huimin Lin:
"On-the-fly Instantiation" of Value-passing Processes.
FORTE 1998: 215-230 |
| 14 | | Huimin Lin:
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.
ICALP 1998: 443-454 |
| 13 | | Pierre-Louis Curien,
Matthew Hennessy,
Huimin Lin:
Preface.
J. Comput. Sci. Technol. 13(6): 481 (1998) |
| 1996 |
|---|
| 12 | | Huimin Lin:
Symbolic Transition Graph with Assignment.
CONCUR 1996: 50-65 |
| 11 | | Matthew Hennessy,
Huimin Lin:
Proof Systems for Message-Passing Process Algebras.
Formal Asp. Comput. 8(4): 379-407 (1996) |
| 1995 |
|---|
| 10 | | Huimin Lin:
Unique Fixpoint Induction for Mobile Processes.
CONCUR 1995: 88-102 |
| 9 | | Huimin Lin:
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.
TAPSOFT 1995: 187-201 |
| 8 | | Huimin Lin:
PAM: A Process Algebra Manipulator.
Formal Methods in System Design 7(3): 243-259 (1995) |
| 7 | | Matthew Hennessy,
Huimin Lin:
Symbolic Bisimulations.
Theor. Comput. Sci. 138(2): 353-389 (1995) |
| 1993 |
|---|
| 6 | | Matthew Hennessy,
Huimin Lin:
Proof Systems for Message-Passing Process Algebras.
CONCUR 1993: 202-216 |
| 5 | | Huimin Lin:
A Verification Tool for Value-Passing Processes.
PSTV 1993: 79-92 |
| 4 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page