Search dblp for Publications

export results for "extracting finite-state model"

 download as .bib file

@inproceedings{DBLP:conf/acss/DebCRPB19,
  author    = {Novarun Deb and
               Nabendu Chaki and
               Mandira Roy and
               Surochita Pal and
               Ankita Bhaumick},
  editor    = {Rituparna Chaki and
               Agostino Cortesi and
               Khalid Saeed and
               Nabendu Chaki},
  title     = {Extracting Business Compliant Finite State Models from {I} * Models},
  booktitle = {Advanced Computing and Systems for Security - Volume Nine, 6th International
               Doctoral Symposium on Applied Computation and Security, {ACSS} 2019,
               Kolkata, India, 12-13 March, 2019},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {995},
  pages     = {39--52},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-981-13-8962-7\_4},
  doi       = {10.1007/978-981-13-8962-7\_4},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acss/DebCRPB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DebCG16,
  author    = {Novarun Deb and
               Nabendu Chaki and
               Aditya Ghose},
  title     = {Extracting finite state models from i\({}^{\mbox{*}}\) models},
  journal   = {J. Syst. Softw.},
  volume    = {121},
  pages     = {265--280},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jss.2016.03.038},
  doi       = {10.1016/j.jss.2016.03.038},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jss/DebCG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SenM16,
  author    = {Tamal Sen and
               Rajib Mall},
  title     = {Extracting finite state representation of Java programs},
  journal   = {Softw. Syst. Model.},
  volume    = {15},
  number    = {2},
  pages     = {497--511},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10270-014-0415-3},
  doi       = {10.1007/s10270-014-0415-3},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sosym/SenM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CorbettDHLPRZ00,
  author    = {James C. Corbett and
               Matthew B. Dwyer and
               John Hatcliff and
               Shawn Laubach and
               Corina S. Pasareanu and
               Robby and
               Hongjun Zheng},
  editor    = {Carlo Ghezzi and
               Mehdi Jazayeri and
               Alexander L. Wolf},
  title     = {Bandera: extracting finite-state models from Java source code},
  booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
               {ICSE} 2000, Limerick Ireland, June 4-11, 2000},
  pages     = {439--448},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/337180.337234},
  doi       = {10.1145/337180.337234},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/CorbettDHLPRZ00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics