Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/re/WalterHPR17,
  author       = {Benedikt Walter and
                  Jakob Hammes and
                  Marco Piechotta and
                  Stephan Rudolph},
  editor       = {Ana Moreira and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Jane Hayes and
                  Barbara Paech},
  title        = {A Formalization Method to Process Structured Natural Language to Logic
                  Expressions to Detect Redundant Specification and Test Statements},
  booktitle    = {25th {IEEE} International Requirements Engineering Conference, {RE}
                  2017, Lisbon, Portugal, September 4-8, 2017},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/RE.2017.38},
  doi          = {10.1109/RE.2017.38},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/WalterHPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/ParkCY00,
  author       = {Jonghoon Park and
                  Wan Kyun Chung and
                  Youngil Youm},
  title        = {Unified Motion Specification and Control of Kinematically Redundant
                  Manipulators},
  booktitle    = {Proceedings of the 2000 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
                  {USA}},
  pages        = {3945--3951},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ROBOT.2000.845346},
  doi          = {10.1109/ROBOT.2000.845346},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ParkCY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/ParkCY95,
  author       = {Jonghoon Park and
                  Wan Kyun Chung and
                  Youngil Youm},
  title        = {Specification and control of motion for kinematically redundant manipulators},
  booktitle    = {Proceedings of {IEEE/RSJ} International Conference on Intelligent
                  Robots and Systems, {IROS} 1995, August 5 - 9, 1995, Pittsburgh, PA,
                  {USA}},
  pages        = {89--94},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/IROS.1995.525867},
  doi          = {10.1109/IROS.1995.525867},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/ParkCY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/RenaultD94,
  author       = {Sophie Renault and
                  Pierre Deransart},
  title        = {Design of Redundant Formal Specifications by Logic Programming: Merging
                  Formal Text and Good Comments},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {4},
  number       = {3},
  pages        = {369--390},
  year         = {1994},
  url          = {https://doi.org/10.1142/S0218194094000180},
  doi          = {10.1142/S0218194094000180},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/RenaultD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/RenaultD94a,
  author       = {Sophie Renault and
                  Pierre Deransart},
  editor       = {Paolo Ciancarini and
                  Leon Sterling},
  title        = {Design of Redundant Formal Specifications by Logic programming: Merging
                  Formal Text and Good Comments},
  booktitle    = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software
                  Engineering, Santa Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/RenaultD94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}