default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Nowack
@phdthesis{DBLP:phd/dnb/Nowack24,
author = {Martin Nowack},
title = {Towards Effective Symbolic Execution},
school = {Dresden University of Technology, Germany},
year = {2024},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-906658},
urn = {urn:nbn:de:bsz:14-qucosa2-906658},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Nowack24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SchemmelBBNC23,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
Frank Busse and
Martin Nowack and
Cristian Cadar},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {KDAlloc: The {KLEE} Deterministic Allocator: Deterministic Memory
Allocation during Symbolic Execution and Test Case Replay},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1491--1494},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604921},
doi = {10.1145/3597926.3604921},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SchemmelBBNC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchemmelBBNC22,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
Frank Busse and
Martin Nowack and
Cristian Cadar},
title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {13:1--13:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.13},
doi = {10.4230/DARTS.8.2.13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchemmelBBNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchemmelBBNC22,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
Frank Busse and
Martin Nowack and
Cristian Cadar},
editor = {Karim Ali and
Jan Vitek},
title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {9:1--9:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.9},
doi = {10.4230/LIPICS.ECOOP.2022.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchemmelBBNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CadarN21,
author = {Cristian Cadar and
Martin Nowack},
title = {{KLEE} symbolic execution engine in 2019},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {867--870},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00570-3},
doi = {10.1007/S10009-020-00570-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CadarN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BusseNC20,
author = {Frank Busse and
Martin Nowack and
Cristian Cadar},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Running symbolic execution forever},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {63--74},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397360},
doi = {10.1145/3395363.3397360},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BusseNC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Nowack19,
author = {Martin Nowack},
title = {Fine-Grain Memory Object Representation in Symbolic Execution},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {912--923},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00089},
doi = {10.1109/ASE.2019.00089},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Nowack19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KapusNC19,
author = {Timotej Kapus and
Martin Nowack and
Cristian Cadar},
editor = {Dirk Beyer and
Chantal Keller},
title = {Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {41--54},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_3},
doi = {10.1007/978-3-030-31157-5\_3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/KapusNC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/NowackTF15,
author = {Martin Nowack and
Katja Tietze and
Christof Fetzer},
editor = {Nir Piterman},
title = {Parallel Symbolic Execution: Merging In-Flight Requests},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {120--135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_8},
doi = {10.1007/978-3-319-26287-1\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/NowackTF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cost/FelberFGHN15,
author = {Pascal Felber and
Christof Fetzer and
Vincent Gramoli and
Derin Harmanci and
Martin Nowack},
editor = {Rachid Guerraoui and
Paolo Romano},
title = {Safe Exception Handling with Transactional Memory},
booktitle = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
- {COST} Action Euro-TM {IC1001}},
series = {Lecture Notes in Computer Science},
volume = {8913},
pages = {245--267},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14720-8\_12},
doi = {10.1007/978-3-319-14720-8\_12},
timestamp = {Wed, 07 Dec 2022 23:14:03 +0100},
biburl = {https://dblp.org/rec/conf/cost/FelberFGHN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SmiljkovicNMHUCV13,
author = {Vesna Smiljkovic and
Martin Nowack and
Neboja Miletic and
Tim Harris and
Osman S. {\"{U}}nsal and
Adri{\'{a}}n Cristal and
Mateo Valero},
title = {TM-dietlibc: {A} TM-aware Real-World System Library},
booktitle = {27th {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2013, Cambridge, MA, USA, May 20-24, 2013},
pages = {1266--1274},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IPDPS.2013.45},
doi = {10.1109/IPDPS.2013.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SmiljkovicNMHUCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DiestelhorstNSF13,
author = {Stephan Diestelhorst and
Martin Nowack and
Michael F. Spear and
Christof Fetzer},
editor = {Guy E. Blelloch and
Berthold V{\"{o}}cking},
title = {Brief announcement: between all and nothing - versatile aborts in
hardware transactional memory},
booktitle = {25th {ACM} Symposium on Parallelism in Algorithms and Architectures,
{SPAA} '13, Montreal, QC, Canada - July 23 - 25, 2013},
pages = {108--110},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2486159.2486165},
doi = {10.1145/2486159.2486165},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/DiestelhorstNSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/RiegelMNFF11,
author = {Torvald Riegel and
Patrick Marlier and
Martin Nowack and
Pascal Felber and
Christof Fetzer},
editor = {Rajmohan Rajaraman and
Friedhelm Meyer auf der Heide},
title = {Optimizing hybrid transactional memory: the importance of nonspeculative
operations},
booktitle = {{SPAA} 2011: Proceedings of the 23rd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011
(Co-located with {FCRC} 2011)},
pages = {53--64},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989493.1989501},
doi = {10.1145/1989493.1989501},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/RiegelMNFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hmd/GuntherMWNDE10,
author = {Edeltraud G{\"{u}}nther and
Christian Manthey and
Gabriel Weber and
Martin Nowack and
Henry Dannenberg and
Wilfried Ehrenfeld},
title = {Klimarisikomanagement mit dem CO\({}_{\mbox{2}}\)-Navigator},
journal = {{HMD} Prax. Wirtsch.},
volume = {274},
pages = {74--83},
year = {2010},
url = {http://www.dpunkt.de/hmdissues/274/08.php},
doi = {10.1007/BF03340495},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/hmd/GuntherMWNDE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/AfekDFFGHRSUMHMDPCHDGKTKSNR10,
author = {Yehuda Afek and
Ulrich Drepper and
Pascal Felber and
Christof Fetzer and
Vincent Gramoli and
Michael Hohmuth and
Etienne Rivi{\`{e}}re and
Per Stenstr{\"{o}}m and
Osman S. Unsal and
Walther Maldonado and
Derin Harmanci and
Patrick Marlier and
Stephan Diestelhorst and
Martin Pohlack and
Adri{\'{a}}n Cristal and
Ibrahim Hur and
Aleksandar Dragojevic and
Rachid Guerraoui and
Michal Kapalka and
Sasa Tomic and
Guy Korland and
Nir Shavit and
Martin Nowack and
Torvald Riegel},
title = {The Velox Transactional Memory Stack},
journal = {{IEEE} Micro},
volume = {30},
number = {5},
pages = {76--87},
year = {2010},
url = {https://doi.org/10.1109/MM.2010.80},
doi = {10.1109/MM.2010.80},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/AfekDFFGHRSUMHMDPCHDGKTKSNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ChristieCDHPFNRFMR10,
author = {Dave Christie and
Jae{-}Woong Chung and
Stephan Diestelhorst and
Michael Hohmuth and
Martin Pohlack and
Christof Fetzer and
Martin Nowack and
Torvald Riegel and
Pascal Felber and
Patrick Marlier and
Etienne Rivi{\`{e}}re},
editor = {Christine Morin and
Gilles Muller},
title = {Evaluation of AMD's advanced synchronization facility within a complete
transactional memory stack},
booktitle = {European Conference on Computer Systems, Proceedings of the 5th European
conference on Computer systems, EuroSys 2010, Paris, France, April
13-16, 2010},
pages = {27--40},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755913.1755918},
doi = {10.1145/1755913.1755918},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ChristieCDHPFNRFMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FelberFMNR10,
author = {Pascal Felber and
Christof Fetzer and
Patrick Marlier and
Martin Nowack and
Torvald Riegel},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Brief Announcement: Hybrid Time-Based Transactional Memory},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {124--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_11},
doi = {10.1007/978-3-642-15763-9\_11},
timestamp = {Sun, 25 Jul 2021 11:53:35 +0200},
biburl = {https://dblp.org/rec/conf/wdag/FelberFMNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/SusskrautWSKNBF09,
author = {Martin S{\"{u}}{\ss}kraut and
Stefan Weigert and
Ute Schiffel and
Thomas Knauth and
Martin Nowack and
Diogo Becker de Brum and
Christof Fetzer},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Speculation for Parallelizing Runtime Checks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {698--710},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_48},
doi = {10.1007/978-3-642-05118-0\_48},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/SusskrautWSKNBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2024-08-05 21:21 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:
