Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/BertrandBBC18,
  author       = {Nathalie Bertrand and
                  Patricia Bouyer and
                  Thomas Brihaye and
                  Pierre Carlier},
  title        = {When are stochastic transition systems tameable?},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {41--96},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.03.004},
  doi          = {10.1016/J.JLAMP.2018.03.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BertrandBBC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BezdekBCB18,
  author       = {Peter Bezdek and
                  Nikola Benes and
                  Ivana Cern{\'{a}} and
                  Jiri Barnat},
  title        = {On clock-aware {LTL} parameter synthesis of timed automata},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {114--142},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.05.004},
  doi          = {10.1016/J.JLAMP.2018.05.004},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BezdekBCB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DaillerHMM18,
  author       = {Sylvain Dailler and
                  David Hauzar and
                  Claude March{\'{e}} and
                  Yannick Moy},
  title        = {Instrumenting a weakest precondition calculus for counterexample generation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {97--113},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.05.003},
  doi          = {10.1016/J.JLAMP.2018.05.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DaillerHMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/El-HokayemFJ18,
  author       = {Antoine El{-}Hokayem and
                  Yli{\`{e}}s Falcone and
                  Mohamad Jaber},
  title        = {Modularizing behavioral and architectural crosscutting concerns in
                  formal component-based systems - Application to the Behavior Interaction
                  Priority framework},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {143--177},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.05.005},
  doi          = {10.1016/J.JLAMP.2018.05.005},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/El-HokayemFJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Krivulin18,
  author       = {Nikolai Krivulin},
  title        = {Complete algebraic solution of multidimensional optimization problems
                  in tropical semifield},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {26--40},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.05.002},
  doi          = {10.1016/J.JLAMP.2018.05.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Krivulin18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Ramezanifarkhani18,
  author       = {Toktam Ramezanifarkhani and
                  Olaf Owe and
                  Shukun Tokas},
  title        = {A secrecy-preserving language for distributed and object-oriented
                  systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {99},
  pages        = {1--25},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.04.001},
  doi          = {10.1016/J.JLAMP.2018.04.001},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Ramezanifarkhani18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}