Search dblp for Publications

export results for "toc:db/journals/fmsd/fmsd52.bht:"

 download as .bib file

@article{DBLP:journals/fmsd/AkrounS18,
  author       = {Lakhdar Akroun and
                  Gwen Sala{\"{u}}n},
  title        = {Automated verification of automata communicating via {FIFO} and bag
                  buffers},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {3},
  pages        = {260--276},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0285-8},
  doi          = {10.1007/S10703-017-0285-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AkrounS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BenerecettiDM18,
  author       = {Massimo Benerecetti and
                  Daniele Dell'Erba and
                  Fabio Mogavero},
  title        = {Solving parity games via priority promotion},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {2},
  pages        = {193--226},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0315-1},
  doi          = {10.1007/S10703-018-0315-1},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BenerecettiDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Broy18,
  author       = {Manfred Broy},
  title        = {Theory and methodology of assumption/commitment based system interface
                  specification and architectural contracts},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {1},
  pages        = {33--87},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0304-9},
  doi          = {10.1007/S10703-017-0304-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Broy18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CimattiDT18,
  author       = {Alessandro Cimatti and
                  Ramiro Demasi and
                  Stefano Tonetta},
  title        = {Tightening the contract refinements of a system architecture},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {1},
  pages        = {88--116},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0312-9},
  doi          = {10.1007/S10703-017-0312-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CimattiDT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KlebanovRU18,
  author       = {Vladimir Klebanov and
                  Philipp R{\"{u}}mmer and
                  Mattias Ulbrich},
  title        = {Automating regression verification of pointer programs by predicate
                  abstraction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {3},
  pages        = {229--259},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0293-8},
  doi          = {10.1007/S10703-017-0293-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KlebanovRU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KupfermanV18,
  author       = {Orna Kupferman and
                  Gal Vardi},
  title        = {On relative and probabilistic finite counterability},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {2},
  pages        = {117--146},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0277-8},
  doi          = {10.1007/S10703-017-0277-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KupfermanV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LutebergetJ18,
  author       = {Bj{\o}rnar Luteberget and
                  Christian Johansen},
  title        = {Efficient verification of railway infrastructure designs against standard
                  regulations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {1},
  pages        = {1--32},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0281-z},
  doi          = {10.1007/S10703-017-0281-Z},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/LutebergetJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MurawskiT18,
  author       = {Andrzej S. Murawski and
                  Nikos Tzevelekos},
  title        = {Algorithmic games for full ground references},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {3},
  pages        = {277--314},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0292-9},
  doi          = {10.1007/S10703-017-0292-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MurawskiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Strichman18,
  author       = {Ofer Strichman},
  title        = {Special issue: program equivalence},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {3},
  pages        = {227--228},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0318-y},
  doi          = {10.1007/S10703-018-0318-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Strichman18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/WestmanN18,
  author       = {Jonas Westman and
                  Mattias Nyberg},
  title        = {Conditions of contracts for separating responsibilities in heterogeneous
                  systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {2},
  pages        = {147--192},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0294-7},
  doi          = {10.1007/S10703-017-0294-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/WestmanN18.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.