Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/icse/0001P0NS19,
  author       = {Ajay Krishna and
                  Michel Le Pallec and
                  Radu Mateescu and
                  Ludovic Noirie and
                  Gwen Sala{\"{u}}n},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Rigorous design and deployment of IoT applications},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {21--30},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00011},
  doi          = {10.1109/FORMALISE.2019.00011},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/0001P0NS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/AhmadMHT19,
  author       = {Waqar Ahmad and
                  Shahid Ali Murtza and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {On the formalization of importance measures using {HOL} theorem proving},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {109--118},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00021},
  doi          = {10.1109/FORMALISE.2019.00021},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/AhmadMHT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/Al-BatainehR19,
  author       = {Omar I. Al{-}Bataineh and
                  Mark Reynolds},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Epistemic model checking of distributed commit protocols with byzantine
                  faults},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {51--60},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00014},
  doi          = {10.1109/FORMALISE.2019.00014},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/Al-BatainehR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/CordyLLC19,
  author       = {Maxime Cordy and
                  Axel Legay and
                  Sami Lazreg and
                  Philippe Collet},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Towards sampling and simulation-based analysis of featured weighted
                  automata},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {61--64},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00015},
  doi          = {10.1109/FORMALISE.2019.00015},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/CordyLLC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GhalePN19,
  author       = {Milad K. Ghale and
                  Dirk Pattinson and
                  Michael Norrish},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Modular synthesis of verified verifiers of computation with {STV}
                  algorithms},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {85--94},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00018},
  doi          = {10.1109/FORMALISE.2019.00018},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/GhalePN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/IvanovS19,
  author       = {Dmitry Ivanov and
                  Sibylle Schupp},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Static analysis for worst-case battery utilization},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {1--10},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00009},
  doi          = {10.1109/FORMALISE.2019.00009},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/IvanovS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/LoowM19,
  author       = {Andreas L{\"{o}}{\"{o}}w and
                  Magnus O. Myreen},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {A proof-producing translator for verilog development in {HOL}},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {99--108},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00020},
  doi          = {10.1109/FORMALISE.2019.00020},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LoowM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/LourencoFP19,
  author       = {Cl{\'{a}}udio Belo Louren{\c{c}}o and
                  Maria Jo{\~{a}}o Frade and
                  Jorge Sousa Pinto},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {A generalized program verification workflow based on loop elimination
                  and {SA} form},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {75--84},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00017},
  doi          = {10.1109/FORMALISE.2019.00017},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LourencoFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/PedersenC19,
  author       = {Jan B{\ae}kgaard Pedersen and
                  Kevin Chalmers},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Verifying channel communication correctness for a multi-core cooperatively
                  scheduled runtime using {CSP}},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {65--74},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00016},
  doi          = {10.1109/FORMALISE.2019.00016},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/PedersenC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RaelijohnFS19,
  author       = {Erick Raelijohn and
                  Michalis Famelis and
                  Houari A. Sahraoui},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {A vision for helping developers use APIs by leveraging temporal patterns},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {95--98},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00019},
  doi          = {10.1109/FORMALISE.2019.00019},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/RaelijohnFS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RatiuGS19,
  author       = {Daniel Ratiu and
                  Marco Gario and
                  Hannes Schoenhaar},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {{FASTEN:} an open extensible framework to experiment with formal specification
                  approaches: using language engineering to develop a multi-paradigm
                  specification environment for NuSMV},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {41--50},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00013},
  doi          = {10.1109/FORMALISE.2019.00013},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/RatiuGS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/TranMLYNXJ19,
  author       = {Hoang{-}Dung Tran and
                  Patrick Musau and
                  Diego Manzanas Lopez and
                  Xiaodong Yang and
                  Luan Viet Nguyen and
                  Weiming Xiang and
                  Taylor T. Johnson},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Parallelizable reachability analysis algorithms for feed-forward neural
                  networks},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {31--40},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00012},
  doi          = {10.1109/FORMALISE.2019.00012},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/TranMLYNXJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/YalcinkayaG19,
  author       = {Beyazit Yalcinkaya and
                  Ebru Aydin Gol},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Clock reduction in timed automata while preserving design parameters},
  booktitle    = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  pages        = {11--20},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FormaliSE.2019.00010},
  doi          = {10.1109/FORMALISE.2019.00010},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/YalcinkayaG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse/2019formalise,
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Nancy A. Day and
                  Matteo Rossi},
  title        = {Proceedings of the 7th International Workshop on Formal Methods in
                  Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
                  27, 2019},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8792827/proceeding},
  isbn         = {978-1-7281-3373-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2019formalise.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.