Search dblp for Publications

export results for "liveness constraint"

 download as .bib file

@inproceedings{DBLP:conf/indiaSE/MilloMR11,
  author    = {Jean{-}Vivien Millo and
               Swarup Mohalik and
               S. Ramesh},
  editor    = {Arun Bahulkar and
               K. Kesavasamy and
               T. V. Prabhakar and
               Gautam M. Shroff},
  title     = {Integrated analysis of software product lines: a constraint based
               framework for consistency, liveness, and commonness checking},
  booktitle = {Proceeding of the 4th Annual India Software Engineering Conference,
               {ISEC} 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011},
  pages     = {41--50},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1953355.1953361},
  doi       = {10.1145/1953355.1953361},
  timestamp = {Sun, 22 Mar 2020 17:29:08 +0100},
  biburl    = {https://dblp.org/rec/conf/indiaSE/MilloMR11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/BrzezinskiKW11,
  author    = {Jerzy Brzezinski and
               Michal Kalewski and
               Dariusz Wawrzyniak},
  editor    = {Roman Wyrzykowski and
               Jack J. Dongarra and
               Konrad Karczewski and
               Jerzy Wasniewski},
  title     = {On Time Constraints of Reliable Broadcast Protocols for Ad Hoc Networks
               with the Liveness Property},
  booktitle = {Parallel Processing and Applied Mathematics - 9th International Conference,
               {PPAM} 2011, Torun, Poland, September 11-14, 2011. Revised Selected
               Papers, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7203},
  pages     = {40--49},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-31464-3\_5},
  doi       = {10.1007/978-3-642-31464-3\_5},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/ppam/BrzezinskiKW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Control99,
  title     = {Corrections to "A Method for the Synthesis of Controllers to Handle
               Safety, Liveness, and Real-Time Constraints" and "Tracking in Clutter
               with Strongest Neighbor Measurements - Part {I:} Theoretical Analysis"},
  journal   = {{IEEE} Trans. Autom. Control.},
  volume    = {44},
  number    = {4},
  pages     = {886},
  year      = {1999},
  url       = {https://doi.org/10.1109/TAC.1999.754841},
  doi       = {10.1109/TAC.1999.754841},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tac/Control99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Prasetya93,
  author    = {I. S. W. B. Prasetya},
  editor    = {Jeffrey J. Joyce and
               Carl{-}Johan H. Seger},
  title     = {Formalization of Variables Access Constraints to Support Compositionality
               of Liveness Properties},
  booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
               Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {780},
  pages     = {324--337},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57826-9\_145},
  doi       = {10.1007/3-540-57826-9\_145},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tphol/Prasetya93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics