Search dblp for Publications

• > Home > Search

@article{DBLP:journals/vlc/AttiogbeR23,
  author       = {J. Christian Attiogb{\'{e}} and
                  J{\'{e}}r{\^{o}}me Rocheteau},
  title        = {Correctness of IoT-based systems: From a {DSL} to a mechanised analysis},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101239},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101239},
  doi          = {10.1016/J.COLA.2023.101239},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/AttiogbeR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/BoubaWOB23,
  author       = {Khaoula Bouba and
                  Abderrahim Ait Wakrime and
                  Yassine Ouhammou and
                  R{\'{e}}douane Benaini},
  title        = {A transformation methodology for Capella to Event-B models with {DSL}
                  verification},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101241},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101241},
  doi          = {10.1016/J.COLA.2023.101241},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/BoubaWOB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/KamniBGHO23,
  author       = {Soulimane Kamni and
                  Antoine Bertout and
                  Emmanuel Grolleau and
                  Gautier Hattenberger and
                  Yassine Ouhammou},
  title        = {Easing the tuning of drone autopilots through a model-based framework},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101240},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101240},
  doi          = {10.1016/J.COLA.2023.101240},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/KamniBGHO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/SoueiHDSA23,
  author       = {Wafa Ben Slama Souei and
                  Chiraz El Hog and
                  Raoudha Ben Djemaa and
                  Layth Sliman and
                  Ikram Amous Ben Amor},
  title        = {Towards smart contract distributed directory based on the uniform
                  description language},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101225},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101225},
  doi          = {10.1016/J.COLA.2023.101225},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/SoueiHDSA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/StDenis23,
  author       = {Richard St{-}Denis},
  title        = {A comparison of three solver-aided programming languages: {\(\alpha\)}Rby,
                  ProB, and Rosette},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101238},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101238},
  doi          = {10.1016/J.COLA.2023.101238},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/StDenis23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/VaroumasPVC23,
  author       = {Steven Varoumas and
                  Basile Pesin and
                  Beno{\^{\i}}t Vaugon and
                  Emmanuel Chailloux},
  title        = {Programming microcontrollers through high-level abstractions: The
                  OMicroB project},
  journal      = {J. Comput. Lang.},
  volume       = {77},
  pages        = {101228},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cola.2023.101228},
  doi          = {10.1016/J.COLA.2023.101228},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/VaroumasPVC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}