BibTeX records: Amalinda Post

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Amalinda Post

download as .bib file

@inproceedings{DBLP:conf/refsq/NayakTMPVP22,
  author       = {Anmol Nayak and
                  Hariprasad Timmapathini and
                  Vidhya Murali and
                  Karthikeyan Ponnalagu and
                  Vijendran Gopalan Venkoparao and
                  Amalinda Post},
  editor       = {Vincenzo Gervasi and
                  Andreas Vogelsang},
  title        = {Req2Spec: Transforming Software Requirements into Formal Specifications
                  Using Natural Language Processing},
  booktitle    = {Requirements Engineering: Foundation for Software Quality - 28th International
                  Working Conference, {REFSQ} 2022, Birmingham, UK, March 21-24, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13216},
  pages        = {87--95},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-98464-9\_8},
  doi          = {10.1007/978-3-030-98464-9\_8},
  timestamp    = {Thu, 10 Mar 2022 15:17:59 +0100},
  biburl       = {https://dblp.org/rec/conf/refsq/NayakTMPVP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refsq/Post021,
  author       = {Amalinda Post and
                  Thomas Fuhr},
  editor       = {Fatma Basak Aydemir and
                  Catarina Gralha and
                  Maya Daneva and
                  Eduard C. Groen and
                  Andrea Herrmann and
                  Patrick Mennig and
                  Sallam Abualhaija and
                  Alessio Ferrari and
                  Jin Guo and
                  Renata S. S. Guizzardi and
                  Jennifer Horkoff and
                  Anna Perini and
                  Angelo Susi and
                  Travis D. Breaux and
                  Xavier Franch and
                  Neil A. Ernst and
                  Elda Paja and
                  Norbert Seyff},
  title        = {Case study: How Well Can IBM's "Requirements Quality Assistant"
                  Review Automotive Requirements?},
  booktitle    = {Joint Proceedings of {REFSQ} 2021 Workshops, OpenRE, Poster and Tools
                  Track, and Doctoral Symposium co-located with the 27th International
                  Conference on Requirements Engineering: Foundation for Software Quality
                  {(REFSQ} 2021), Essen, Germany, April 12, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2857},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2857/nlp4re8.pdf},
  timestamp    = {Fri, 14 Apr 2023 23:05:44 +0200},
  biburl       = {https://dblp.org/rec/conf/refsq/Post021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/LangenfeldDWHP19,
  author       = {Vincent Langenfeld and
                  Daniel Dietsch and
                  Bernd Westphal and
                  Jochen Hoenicke and
                  Amalinda Post},
  editor       = {Daniela E. Damian and
                  Anna Perini and
                  Seok{-}Won Lee},
  title        = {Scalable Analysis of Real-Time Requirements},
  booktitle    = {27th {IEEE} International Requirements Engineering Conference, {RE}
                  2019, Jeju Island, Korea (South), September 23-27, 2019},
  pages        = {234--244},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/RE.2019.00033},
  doi          = {10.1109/RE.2019.00033},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/LangenfeldDWHP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refsq/LangenfeldPP16,
  author       = {Vincent Langenfeld and
                  Amalinda Post and
                  Andreas Podelski},
  editor       = {Maya Daneva and
                  Oscar Pastor},
  title        = {Requirements Defects over a Project Lifetime: An Empirical Analysis
                  of Defect Data from a 5-Year Automotive Project at Bosch},
  booktitle    = {Requirements Engineering: Foundation for Software Quality - 22nd International
                  Working Conference, {REFSQ} 2016, Gothenburg, Sweden, March 14-17,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9619},
  pages        = {145--160},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30282-9\_10},
  doi          = {10.1007/978-3-319-30282-9\_10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refsq/LangenfeldPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Post12,
  author       = {Amalinda Christina Post},
  title        = {Effective correctness criteria for real-time requirements},
  school       = {University of Freiburg},
  year         = {2012},
  url          = {https://nbn-resolving.org/urn:nbn:de:101:1-201503295491},
  urn          = {urn:nbn:de:101:1-201503295491},
  isbn         = {978-3-8440-0910-1},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Post12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/re/PostMHP12,
  author       = {Amalinda Post and
                  Igor Menzel and
                  Jochen Hoenicke and
                  Andreas Podelski},
  title        = {Automotive behavioral requirements expressed in a specification pattern
                  system: a case study at {BOSCH}},
  journal      = {Requir. Eng.},
  volume       = {17},
  number       = {1},
  pages        = {19--33},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00766-011-0145-9},
  doi          = {10.1007/S00766-011-0145-9},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/re/PostMHP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/PostH12,
  author       = {Amalinda Post and
                  Jochen Hoenicke},
  editor       = {Rajeev Joshi and
                  Peter M{\"{u}}ller and
                  Andreas Podelski},
  title        = {Formalization and Analysis of Real-Time Requirements: {A} Feasibility
                  Study at {BOSCH}},
  booktitle    = {Verified Software: Theories, Tools, Experiments - 4th International
                  Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7152},
  pages        = {225--240},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27705-4\_18},
  doi          = {10.1007/978-3-642-27705-4\_18},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/PostH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stt/PostP11,
  author       = {Amalinda Post and
                  Andreas Podelski},
  title        = {Automatische Validierung von Anforderungen},
  journal      = {Softwaretechnik-Trends},
  volume       = {31},
  number       = {1},
  year         = {2011},
  url          = {http://pi.informatik.uni-siegen.de/stt/31\_1/01\_Fachgruppenberichte/RE/GI2011\_Post.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/PostP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/PostHP11,
  author       = {Amalinda Post and
                  Jochen Hoenicke and
                  Andreas Podelski},
  editor       = {Dimitra Giannakopoulou and
                  Fernando Orejas},
  title        = {rt-Inconsistency: {A} New Property for Real-Time Requirements},
  booktitle    = {Fundamental Approaches to Software Engineering - 14th International
                  Conference, {FASE} 2011, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
                  Germany, March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6603},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19811-3\_4},
  doi          = {10.1007/978-3-642-19811-3\_4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/PostHP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/PostHP11,
  author       = {Amalinda Post and
                  Jochen Hoenicke and
                  Andreas Podelski},
  title        = {Vacuous real-time requirements},
  booktitle    = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
                  Trento, Italy, August 29 2011 - September 2, 2011},
  pages        = {153--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/RE.2011.6051657},
  doi          = {10.1109/RE.2011.6051657},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/PostHP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refsq/PostMP11,
  author       = {Amalinda Post and
                  Igor Menzel and
                  Andreas Podelski},
  editor       = {Daniel M. Berry and
                  Xavier Franch},
  title        = {Applying Restricted English Grammar on Automotive Requirements - Does
                  it Work? {A} Case Study},
  booktitle    = {Requirements Engineering: Foundation for Software Quality - 17th International
                  Working Conference, {REFSQ} 2011, Essen, Germany, March 28-30, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6606},
  pages        = {166--180},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19858-8\_17},
  doi          = {10.1007/978-3-642-19858-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/refsq/PostMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.