Search dblp for Publications

export results for "toc:db/conf/icse/formalise2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icse/Aguirre17,
  author       = {Nazareno Aguirre},
  title        = {Efficient SAT-Based Software Analysis: From Automated Testing to Automated
                  Verification and Repair},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {2},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.21},
  doi          = {10.1109/FORMALISE.2017.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Aguirre17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/BaePR17,
  author       = {Sora Bae and
                  Joonyoung Park and
                  Sukyoung Ryu},
  title        = {Partition-Based Coverage Metrics and Type-Guided Search in Concolic
                  Testing for JavaScript Applications},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {72--78},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.10},
  doi          = {10.1109/FORMALISE.2017.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BaePR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/BergheYSJ17,
  author       = {Alexander van Den Berghe and
                  Koen Yskout and
                  Riccardo Scandariato and
                  Wouter Joosen},
  title        = {A Model for Provably Secure Software Design},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {3--9},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.6},
  doi          = {10.1109/FORMALISE.2017.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BergheYSJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/CimitileMMNSV17,
  author       = {Aniello Cimitile and
                  Fabio Martinelli and
                  Francesco Mercaldo and
                  Vittoria Nardone and
                  Antonella Santone and
                  Gigliola Vaglini},
  title        = {Model Checking for Mobile Android Malware Evolution},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {24--30},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.4},
  doi          = {10.1109/FORMALISE.2017.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CimitileMMNSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/CledouB17,
  author       = {Guillermina Cledou and
                  Lu{\'{\i}}s Soares Barbosa},
  title        = {Modeling Families of Public Licensing Services: {A} Case Study},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {37--43},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.8},
  doi          = {10.1109/FORMALISE.2017.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CledouB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/FahrenbergL17,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured Weighted Automata},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {51--57},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.2},
  doi          = {10.1109/FORMALISE.2017.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FahrenbergL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GeorgetJTPT17,
  author       = {Laurent Georget and
                  Mathieu Jaume and
                  Frederic Tronel and
                  Guillaume Piolle and
                  Val{\'{e}}rie Viet Triem Tong},
  title        = {Verifying the Reliability of Operating System-Level Information Flow
                  Control Systems in Linux},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {10--16},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.1},
  doi          = {10.1109/FORMALISE.2017.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GeorgetJTPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GnesiPM17,
  author       = {Stefania Gnesi and
                  Nico Plat and
                  Hern{\'{a}}n C. Melgratti},
  title        = {5th {FME} Workshop on Formal Methods in Software Engineering (FormaliSE
                  2017)},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.15},
  doi          = {10.1109/FORMALISE.2017.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GnesiPM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HalderPMS17,
  author       = {Raju Halder and
                  Jos{\'{e}} Proen{\c{c}}a and
                  Nuno Macedo and
                  Andr{\'{e}} Santos},
  title        = {Formal Verification of ROS-Based Robotic Applications Using Timed-Automata},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {44--50},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.9},
  doi          = {10.1109/FORMALISE.2017.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HalderPMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/KhaireddineZM17,
  author       = {Besma Khaireddine and
                  Aleksandr Zakharchenko and
                  Ali Mili},
  title        = {A Generic Algorithm for Program Repair},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {65--71},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.7},
  doi          = {10.1109/FORMALISE.2017.7},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KhaireddineZM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/MooreL17,
  author       = {Nicholas Moore and
                  Mark Lawford},
  title        = {Correct Safety Critical Hardware Descriptions via Static Analysis
                  and Theorem Proving},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {58--64},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.11},
  doi          = {10.1109/FORMALISE.2017.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MooreL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/ShimizuYNUKB17,
  author       = {Koichi Shimizu and
                  Teruyoshi Yamaguchi and
                  Tsunato Nakai and
                  Takeshi Ueda and
                  Nobuhiro Kobayashi and
                  Beno{\^{\i}}t Boyer},
  title        = {A Trusted Approach to Design a Network Monitor},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {17--23},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.3},
  doi          = {10.1109/FORMALISE.2017.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ShimizuYNUKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/SiqueiraSS17,
  author       = {F{\'{a}}bio Levy Siqueira and
                  Thiago C. de Sousa and
                  Paulo S{\'{e}}rgio Muniz Silva},
  title        = {Using {BDD} and {SBVR} to Refine Business Goals into an Event-B Model:
                  {A} Research Idea},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {31--36},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.5},
  doi          = {10.1109/FORMALISE.2017.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/SiqueiraSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse/2017formalise,
  title        = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7965807/proceeding},
  isbn         = {978-1-5386-0422-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2017formalise.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.