The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Huimin Lin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  27. Stratifying Winning Positions in Parity Games. [Citation Graph (, )][DBLP]


  28. On the integration of metamorphic testing and model checking. [Citation Graph (, )][DBLP]


  29. Symbolic Bisimulations for Probabilistic Systems. [Citation Graph (, )][DBLP]


  30. Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. [Citation Graph (, )][DBLP]


  31. A Complete Symbolic Bisimulation for Full Applied Pi Calculus. [Citation Graph (, )][DBLP]


  32. Environment Abstraction with State Clustering and Parameter Truncating. [Citation Graph (, )][DBLP]


  33. Specifying Properties for Modular Pi-Calculus. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002