Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/AlpuenteBEGS23,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Santiago Escobar and
                  D. Gal{\'{a}}n and
                  Julia Sapi{\~{n}}a},
  title        = {Safety enforcement via programmable strategies in Maude},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100849},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100849},
  doi          = {10.1016/J.JLAMP.2023.100849},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/AlpuenteBEGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BrodaMMR23,
  author       = {Sabine Broda and
                  Ant{\'{o}}nio Machiavelo and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Location automata for synchronised shuffle expressions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100847},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100847},
  doi          = {10.1016/J.JLAMP.2023.100847},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BrodaMMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/ChenZCZM23,
  author       = {Jinfu Chen and
                  Chi Zhang and
                  Saihua Cai and
                  Lin Zhang and
                  Liang Ma},
  title        = {A memory-related vulnerability detection approach based on vulnerability
                  model with Petri Net},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100859},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100859},
  doi          = {10.1016/J.JLAMP.2023.100859},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/ChenZCZM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/HorpacsiBT23,
  author       = {D{\'{a}}niel Horp{\'{a}}csi and
                  P{\'{e}}ter Bereczky and
                  Simon J. Thompson},
  title        = {Program equivalence in an untyped, call-by-value functional language
                  with uncurried functions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100857},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100857},
  doi          = {10.1016/J.JLAMP.2023.100857},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/HorpacsiBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/LaveauxW23,
  author       = {Maurice Laveaux and
                  Tim A. C. Willemse},
  title        = {Decomposing monolithic processes in a process algebra with multi-actions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100858},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100858},
  doi          = {10.1016/J.JLAMP.2023.100858},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/LaveauxW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/MartinMartinMRRR23,
  author       = {Enrique Martin{-}Martin and
                  Manuel Montenegro and
                  Adri{\'{a}}n Riesco and
                  Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
                  Rub{\'{e}}n Rubio},
  title        = {Verification of the {ROS} NavFn planner using executable specification
                  languages},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100860},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100860},
  doi          = {10.1016/J.JLAMP.2023.100860},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/MartinMartinMRRR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/SavanovicG23,
  author       = {Zorica Savanovic and
                  Letterio Galletta},
  title        = {A type language for distributed reactive components governed by communication
                  protocols},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {132},
  pages        = {100848},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100848},
  doi          = {10.1016/J.JLAMP.2023.100848},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/SavanovicG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}