Search dblp for Publications

• > Home > Search

@article{DBLP:journals/arc/Zhang23,
  author       = {Kuize Zhang},
  title        = {A unified concurrent-composition method to state/event inference and
                  concealment in labeled finite-state automata as discrete-event systems},
  journal      = {Annu. Rev. Control.},
  volume       = {56},
  pages        = {100902},
  year         = {2023}
}

@article{DBLP:journals/sttt/PennaIMTZ04,
  author       = {Giuseppe Della Penna and
                  Benedetto Intrigila and
                  Igor Melatti and
                  Enrico Tronci and
                  Marisa Venturini Zilli},
  title        = {Exploiting transition locality in automatic verification of finite-state
                  concurrent systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {6},
  number       = {4},
  pages        = {320--341},
  year         = {2004}
}

@inproceedings{DBLP:conf/apn/Clarke94,
  author       = {Edmund M. Clarke},
  title        = {Automatic Verification of Finite-state Concurrent Systems},
  booktitle    = {Application and Theory of Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {815},
  pages        = {1},
  publisher    = {Springer},
  year         = {1994}
}

@inproceedings{DBLP:conf/lics/Clarke94,
  author       = {Edmund M. Clarke},
  title        = {Automatic Verification of Finite-State Concurrent Systems},
  booktitle    = {{LICS}},
  pages        = {126},
  publisher    = {{IEEE} Computer Society},
  year         = {1994}
}

@inproceedings{DBLP:conf/rex/ClarkeGL93,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  David E. Long},
  title        = {Verification Tools for Finite-State Concurrent Systems},
  booktitle    = {{REX} School/Symposium},
  series       = {Lecture Notes in Computer Science},
  volume       = {803},
  pages        = {124--175},
  publisher    = {Springer},
  year         = {1993}
}

@article{DBLP:journals/logcom/ClarkeGK92,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Robert P. Kurshan},
  title        = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
                  Systems},
  journal      = {J. Log. Comput.},
  volume       = {2},
  number       = {5},
  pages        = {605--618},
  year         = {1992}
}

@article{DBLP:journals/jss/TitusS89,
  author       = {Gregory B. Titus and
                  Allan M. Stavely},
  title        = {Finding reachable states of finite-state concurrent systems},
  journal      = {J. Syst. Softw.},
  volume       = {9},
  number       = {4},
  pages        = {253--272},
  year         = {1989}
}

@inproceedings{DBLP:conf/avmfss/Dill89,
  author       = {David L. Dill},
  title        = {Timing Assumptions and Verification of Finite-State Concurrent Systems},
  booktitle    = {Automatic Verification Methods for Finite State Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {407},
  pages        = {197--212},
  publisher    = {Springer},
  year         = {1989}
}

@inproceedings{DBLP:conf/ershov/ClarkeGK89,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Robert P. Kurshan},
  title        = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
                  Systems},
  booktitle    = {Logic at Botik},
  series       = {Lecture Notes in Computer Science},
  volume       = {363},
  pages        = {81--90},
  publisher    = {Springer},
  year         = {1989}
}

@inproceedings{DBLP:conf/csl/DaneluttoM88,
  author       = {Marco Danelutto and
                  Andrea Masini},
  title        = {A temporal Logic Approach to Specify and to Prove Properties of Finite
                  State Concurrent Systems},
  booktitle    = {{CSL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {385},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {1988}
}

@article{DBLP:journals/ipl/AptK86,
  author       = {Krzysztof R. Apt and
                  Dexter Kozen},
  title        = {Limits for Automatic Verification of Finite-State Concurrent Systems},
  journal      = {Inf. Process. Lett.},
  volume       = {22},
  number       = {6},
  pages        = {307--309},
  year         = {1986}
}

@article{DBLP:journals/toplas/ClarkeES86,
  author       = {Edmund M. Clarke and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Automatic Verification of Finite-State Concurrent Systems Using Temporal
                  Logic Specifications},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {244--263},
  year         = {1986}
}

@inproceedings{DBLP:conf/nato/ClarkeBES84,
  author       = {Edmund M. Clarke and
                  Michael C. Browne and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Using Temporal Logic for Automatic Verification of Finite State Systems},
  booktitle    = {Logics and Models of Concurrent Systems},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {1984}
}

@inproceedings{DBLP:conf/popl/ClarkeES83,
  author       = {Edmund M. Clarke and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Automatic Verification of Finite State Concurrent Systems Using Temporal
                  Logic Specifications: {A} Practical Approach},
  booktitle    = {{POPL}},
  pages        = {117--126},
  publisher    = {{ACM} Press},
  year         = {1983}
}