Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christina Jansen
@inproceedings{DBLP:conf/cav/ArndtJKMN18,
author = {Hannah Arndt and
Christina Jansen and
Joost{-}Pieter Katoen and
Christoph Matheja and
Thomas Noll},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer
Programs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {3--11},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_1},
doi = {10.1007/978-3-319-96142-2\_1},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArndtJKMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ArndtJMN18,
author = {Hannah Arndt and
Christina Jansen and
Christoph Matheja and
Thomas Noll},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Graph-Based Shape Analysis Beyond Context-Freeness},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {271--286},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_17},
doi = {10.1007/978-3-319-92970-5\_17},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ArndtJMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Jansen17,
author = {Christina Jansen},
title = {Static Analysis of Pointer Programs - Linking Graph Grammars and Separation
Logic},
school = {{RWTH} Aachen University, Germany},
year = {2017},
url = {http://publications.rwth-aachen.de/record/708116},
urn = {urn:nbn:de:101:1-2018062708294511224160},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Jansen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JansenKMNZ17,
author = {Christina Jansen and
Jens Katelaan and
Christoph Matheja and
Thomas Noll and
Florian Zuleger},
editor = {Hongseok Yang},
title = {Unified Reasoning About Robustness Properties of Symbolic-Heap Separation
Logic},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {611--638},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_23},
doi = {10.1007/978-3-662-54434-1\_23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JansenKMNZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArndtJMN17,
author = {Hannah Arndt and
Christina Jansen and
Christoph Matheja and
Thomas Noll},
title = {Heap Abstraction Beyond Context-Freeness},
journal = {CoRR},
volume = {abs/1705.03754},
year = {2017},
url = {http://arxiv.org/abs/1705.03754},
eprinttype = {arXiv},
eprint = {1705.03754},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArndtJMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JansenKMNZ16,
author = {Christina Jansen and
Jens Katelaan and
Christoph Matheja and
Thomas Noll and
Florian Zuleger},
title = {Unified Reasoning about Robustness Properties of Symbolic-Heap Separation
Logic},
journal = {CoRR},
volume = {abs/1610.07041},
year = {2016},
url = {http://arxiv.org/abs/1610.07041},
eprinttype = {arXiv},
eprint = {1610.07041},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JansenKMNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HeinenJKN15,
author = {Jonathan Heinen and
Christina Jansen and
Joost{-}Pieter Katoen and
Thomas Noll},
title = {Juggrnaut: using graph grammars for abstracting unbounded heap structures},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {2},
pages = {159--203},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0236-1},
doi = {10.1007/S10703-015-0236-1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HeinenJKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeinenJKN15,
author = {Jonathan Heinen and
Christina Jansen and
Joost{-}Pieter Katoen and
Thomas Noll},
title = {Verifying pointer programs using graph grammars},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {157--162},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.012},
doi = {10.1016/J.SCICO.2013.11.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeinenJKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MathejaJN15,
author = {Christoph Matheja and
Christina Jansen and
Thomas Noll},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Tree-Like Grammars and Separation Logic},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {90--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_6},
doi = {10.1007/978-3-319-26529-2\_6},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MathejaJN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/JansenN14,
author = {Christina Jansen and
Thomas Noll},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Generating Abstract Graph-Based Procedure Summaries for Pointer Programs},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {49--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_4},
doi = {10.1007/978-3-319-09108-2\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/JansenN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/JansenGN14,
author = {Christina Jansen and
Florian G{\"{o}}be and
Thomas Noll},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating
Programs},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {65--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_5},
doi = {10.1007/978-3-319-09108-2\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/JansenGN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BalsJN13,
author = {Markus Bals and
Christina Jansen and
Thomas Noll},
title = {Incremental Construction of Greibach Normal Form},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {165--168},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.42},
doi = {10.1109/TASE.2013.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BalsJN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/HeinenBJ11,
author = {Jonathan Heinen and
Henrik Barthels and
Christina Jansen},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Juggrnaut - An Abstract {JVM}},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {142--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_10},
doi = {10.1007/978-3-642-31762-0\_10},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/HeinenBJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JansenHKN11,
author = {Christina Jansen and
Jonathan Heinen and
Joost{-}Pieter Katoen and
Thomas Noll},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Local Greibach Normal Form for Hyperedge Replacement Grammars},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {323--335},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_25},
doi = {10.1007/978-3-642-21254-3\_25},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/JansenHKN11.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.
last updated on 2023-09-27 22:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
