| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Huimin Lin |
Proof System for Applied Pi Calculus. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Huimin Lin |
A Complete Symbolic Bisimulation for Full Applied Pi Calculus. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huai Liu, Daoming Wang, Huimin Lin, Tsong Yueh Chen |
On the integration of metamorphic testing and model checking. |
IADIS AC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hong Pan, Yi Lv, Huimin Lin |
Environment Abstraction with State Clustering and Parameter Truncating. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Stratifying Winning Positions in Parity Games. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Takashi Kitamura, Huimin Lin |
Specifying Properties for Modular Pi-Calculus. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, process algebra, Modal Logics |
| 1 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Kitamura, Huimin Lin |
Controlling Process Modularity in Mobile Computing. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
process modularity, bisimulation-preorder, interaction-costs, Mobile computing |
| 1 | Daguang Liu, Peng Wu 0002, Huimin Lin |
Symbolic Test Generation Using a Temporal Logic with Constrained Events. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Wu 0002, Catuscia Palamidessi, Huimin Lin |
Symbolic Bisimulations for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Wu 0002, Huimin Lin |
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. |
International Journal of Software Engineering and Knowledge Engineering |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Pan, Huimin Lin, Yi Lv |
Model Checking Data Consistency for Cache Coherence Protocols. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
value-passing, symbolic transition graphs, model checking, concurrent systems, cache coherence protocols |
| 1 | Huimin Lin |
Predicate µ-Calculus for Mobile Ambients. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
model checking, mu-calculus, fixpoints, spatial logic, mobile ambients |
| 1 | Weijia Deng, Huimin Lin |
Extended Symbolic Transition Graphs with Assignment. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
value-passing, symbolic transition graphs, bisimulation checking, model checking, verification, process algebra, Concurrent systems |
| 1 | Peng Wu 0002, Huimin Lin |
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
A predicate spatial logic for mobile processes. |
Science in China Series F: Information Sciences |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin, Hans-Dieter Ehrich, T. H. Tse |
Editorial. |
Information & Software Technology |
2004 |
DBLP BibTeX RDF |
|
| 1 | Huimin Lin |
A Predicate Spatial Logic and Model Checking for Mobile Processes. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Formal Methods for Trustworthy Mobile Computing. (PDF / PS) |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Complete inference systems for weak bisimulation equivalences in the pi-calculus. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin, Wang Yi |
Axiomatising timed automata. |
Acta Inf. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
A Graphical mu-Calculus and Local Model Checking. |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Chen, Huimin Lin |
Making Timed Automata Communicate. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
value-passing, timed symbolic transition graph, real-time, timed automata |
| 1 | Matthew Hennessy, Huimin Lin, Julian Rathke |
Unique fixpoint induction for message-passing process calculi. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Model Checking Value-Passing Processes. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
value- passing processes, verification algorithms, Model checking, mu-calculus |
| 1 | Huimin Lin |
Computing Bisimulations for Finite-Control pi-Calculus. |
J. Comput. Sci. Technol. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin, Wang Yi |
A Proof System for Timed Automata. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin, Wang Yi |
A Complete Axiomatisation for Timed Automata. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Matthew Hennessy, Huimin Lin |
Preface. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
"On-the-fly Instantiation" of Value-passing Processes. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Huimin Lin |
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin |
Proof Systems for Message-Passing Process Algebras. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Symbolic Transition Graph with Assignment. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin |
Symbolic Bisimulations. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
PAM: A Process Algebra Manipulator. |
Formal Methods in System Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Unique Fixpoint Induction for Mobile Processes. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
Procedural Implementation of Algebraic Specification. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
abstract implementation, Spec, program refinement, procedural abstraction |
| 1 | Matthew Hennessy, Huimin Lin |
Proof Systems for Message-Passing Process Algebras. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
A Verification Tool for Value-Passing Processes. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Huimin Lin |
An Interactive Proof Tool for Process Algebras. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin |
PAM: A Process Algebra Manipulator. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Lin, Man-Chi Pong |
Modelling Multiple Inheritance with Colimits. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")