Search dblp for Publications

export results for "finite-state concurrent system"

 download as .bib file

@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},
  url          = {https://doi.org/10.1016/j.arcontrol.2023.100902},
  doi          = {10.1016/J.ARCONTROL.2023.100902},
  timestamp    = {Mon, 01 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/arc/Zhang23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1007/s10009-004-0149-6},
  doi          = {10.1007/S10009-004-0149-6},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/PennaIMTZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Clarke94,
  author       = {Edmund M. Clarke},
  editor       = {Robert Valette},
  title        = {Automatic Verification of Finite-state Concurrent Systems},
  booktitle    = {Application and Theory of Petri Nets 1994, 15th International Conference,
                  Zaragoza, Spain, June 20-24, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {815},
  pages        = {1},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58152-9\_1},
  doi          = {10.1007/3-540-58152-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Clarke94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Clarke94,
  author       = {Edmund M. Clarke},
  title        = {Automatic Verification of Finite-State Concurrent Systems},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
                  {(LICS} '94), Paris, France, July 4-7, 1994},
  pages        = {126},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/LICS.1994.316079},
  doi          = {10.1109/LICS.1994.316079},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Clarke94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rex/ClarkeGL93,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  David E. Long},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Verification Tools for Finite-State Concurrent Systems},
  booktitle    = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
                  Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {803},
  pages        = {124--175},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58043-3\_19},
  doi          = {10.1007/3-540-58043-3\_19},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/ClarkeGL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1093/logcom/2.5.605},
  doi          = {10.1093/LOGCOM/2.5.605},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/ClarkeGK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1016/0164-1212(89)90046-0},
  doi          = {10.1016/0164-1212(89)90046-0},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/TitusS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/avmfss/Dill89,
  author       = {David L. Dill},
  editor       = {Joseph Sifakis},
  title        = {Timing Assumptions and Verification of Finite-State Concurrent Systems},
  booktitle    = {Automatic Verification Methods for Finite State Systems, International
                  Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {407},
  pages        = {197--212},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-52148-8\_17},
  doi          = {10.1007/3-540-52148-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/avmfss/Dill89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/ClarkeGK89,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Robert P. Kurshan},
  editor       = {Albert R. Meyer and
                  Michael A. Taitslin},
  title        = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
                  Systems},
  booktitle    = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
                  Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {363},
  pages        = {81--90},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51237-3\_7},
  doi          = {10.1007/3-540-51237-3\_7},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/ClarkeGK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/DaneluttoM88,
  author       = {Marco Danelutto and
                  Andrea Masini},
  editor       = {Egon B{\"{o}}rger and
                  Hans Kleine B{\"{u}}ning and
                  Michael M. Richter},
  title        = {A temporal Logic Approach to Specify and to Prove Properties of Finite
                  State Concurrent Systems},
  booktitle    = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
                  October 3-7, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {385},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0026295},
  doi          = {10.1007/BFB0026295},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/DaneluttoM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1016/0020-0190(86)90071-2},
  doi          = {10.1016/0020-0190(86)90071-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/AptK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1145/5397.5399},
  doi          = {10.1145/5397.5399},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ClarkeES86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/ClarkeBES84,
  author       = {Edmund M. Clarke and
                  Michael C. Browne and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  editor       = {Krzysztof R. Apt},
  title        = {Using Temporal Logic for Automatic Verification of Finite State Systems},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_1},
  doi          = {10.1007/978-3-642-82453-1\_1},
  timestamp    = {Fri, 17 Apr 2020 17:55:08 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/ClarkeBES84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ClarkeES83,
  author       = {Edmund M. Clarke and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  editor       = {John R. Wright and
                  Larry Landweber and
                  Alan J. Demers and
                  Tim Teitelbaum},
  title        = {Automatic Verification of Finite State Concurrent Systems Using Temporal
                  Logic Specifications: {A} Practical Approach},
  booktitle    = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
                  of Programming Languages, Austin, Texas, USA, January 1983},
  pages        = {117--126},
  publisher    = {{ACM} Press},
  year         = {1983},
  url          = {https://doi.org/10.1145/567067.567080},
  doi          = {10.1145/567067.567080},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ClarkeES83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.