Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg Brauer
@inproceedings{DBLP:conf/birthday/Brauer23,
author = {J{\"{o}}rg Brauer},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Source-Code-to-Object-Code Traceability Analysis for Airborne Software:
{A} Case for Tool Support},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {257--271},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_16},
doi = {10.1007/978-3-031-40132-9\_16},
timestamp = {Wed, 20 Sep 2023 17:19:14 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Brauer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BrauerS18,
author = {J{\"{o}}rg Brauer and
Uwe Schulze},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Model-Based Testing for Avionics Systems},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {657--661},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_40},
doi = {10.1007/978-3-319-95582-7\_40},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BrauerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/0001BH18,
author = {Jan Peleska and
J{\"{o}}rg Brauer and
Wen{-}ling Huang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Based Testing for Avionic Systems Proven Benefits and Further
Challenges},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {82--103},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_11},
doi = {10.1007/978-3-030-03427-6\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/0001BH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrauerM018,
author = {J{\"{o}}rg Brauer and
Oliver M{\"{o}}ller and
Jan Peleska},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Testing Avionics Software: Is {FMI} up to the Task?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {477--487},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_32},
doi = {10.1007/978-3-030-03424-5\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BrauerM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ThuleGDLBV18,
author = {Casper Thule and
Cl{\'{a}}udio Gomes and
Julien Deantoni and
Peter Gorm Larsen and
J{\"{o}}rg Brauer and
Hans Vangheluwe},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Towards the Verification of Hybrid Co-simulation Algorithms},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {5--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_1},
doi = {10.1007/978-3-030-04771-9\_1},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/ThuleGDLBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cspdata/LarsenFWFBKLPGB16,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Jim Woodcock and
Peter Fritzson and
J{\"{o}}rg Brauer and
Christian Kleijn and
Thierry Lecomte and
Markus Pfeil and
Ole Green and
Stylianos Basagiannis and
Andrey Sadovykh},
title = {Integrated tool chain for model-based design of Cyber-Physical Systems:
The {INTO-CPS} project},
booktitle = {2016 2nd International Workshop on Modelling, Analysis, and Control
of Complex CPS, {CPS} Data 2016, Vienna, Austria, April 11, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSData.2016.7496424},
doi = {10.1109/CPSDATA.2016.7496424},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BrauerDPP15,
author = {J{\"{o}}rg Brauer and
Markus Dahlweid and
Tobias Pankrath and
Jan Peleska},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Source-Code-to-Object-Code Traceability Analysis for Avionics Software:
Don't Trust Your Compiler},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {427--440},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_31},
doi = {10.1007/978-3-319-24255-2\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BrauerDPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ReinbacherFB14,
author = {Thomas Reinbacher and
Matthias F{\"{u}}gger and
J{\"{o}}rg Brauer},
title = {Runtime verification of embedded real-time systems},
journal = {Formal Methods Syst. Des.},
volume = {44},
number = {3},
pages = {203--239},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0199-z},
doi = {10.1007/S10703-013-0199-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ReinbacherFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReinbacherBHSK14,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
title = {Runtime verification of microcontroller binary code},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {109--129},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.10.015},
doi = {10.1016/J.SCICO.2012.10.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReinbacherBHSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Brauer13,
author = {J{\"{o}}rg Brauer},
title = {Automatic abstraction for bit-vectors using decision procedures},
school = {{RWTH} Aachen University},
year = {2013},
url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2014/4836},
urn = {urn:nbn:de:hbz:82-opus-48361},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Brauer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrauerKK13,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
title = {Abstract interpretation of microcontroller code: Intervals meet congruences},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {862--883},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.06.001},
doi = {10.1016/J.SCICO.2012.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrauerKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KowalewskiPB13,
author = {Stefan Kowalewski and
Anna Philippou and
J{\"{o}}rg Brauer},
title = {Model checking and abstract interpretation as building blocks of advanced
program analysis techniques - Selected papers from {TACAS} 2009},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {4},
pages = {287--289},
year = {2013},
url = {https://doi.org/10.1007/s10009-013-0280-3},
doi = {10.1007/S10009-013-0280-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KowalewskiPB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4286,
author = {J{\"{o}}rg Brauer and
Andy King},
title = {Transfer Function Synthesis without Quantifier Elimination},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:17)2012},
doi = {10.2168/LMCS-8(3:17)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BiallasBK12,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Arcade.PLC: a verification platform for programmable logic controllers},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {338--341},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351741},
doi = {10.1145/2351676.2351741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BiallasBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrauerS12,
author = {J{\"{o}}rg Brauer and
Axel Simon},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Inferring Definite Counterexamples through Under-Approximation},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {54--69},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_7},
doi = {10.1007/978-3-642-28891-3\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrauerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BrauerPS12,
author = {J{\"{o}}rg Brauer and
Jan Peleska and
Uwe Schulze},
editor = {Brian Nielsen and
Carsten Weise},
title = {Efficient and Trustworthy Tool Qualification for Model-Based Testing
Tools},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {8--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_3},
doi = {10.1007/978-3-642-34691-0\_3},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/BrauerPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ReinbacherFB12,
author = {Thomas Reinbacher and
Matthias F{\"{u}}gger and
J{\"{o}}rg Brauer},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Real-Time Runtime Verification on Chip},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {110--125},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_13},
doi = {10.1007/978-3-642-35632-2\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/ReinbacherFB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BiallasBKK12,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Loop Leaping with Closures},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {214--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_16},
doi = {10.1007/978-3-642-33125-1\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BiallasBKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeckschulzeKB12,
author = {Eva Beckschulze and
Stefan Kowalewski and
J{\"{o}}rg Brauer},
editor = {Jan Midtgaard and
Matthew Might},
title = {Access-Based Localization for Octagons},
booktitle = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
pages = {29--40},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.09.004},
doi = {10.1016/J.ENTCS.2012.09.004},
timestamp = {Fri, 25 Nov 2022 14:31:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeckschulzeKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssv/2011,
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
isbn = {978-3-939897-36-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijitcc/ReinbacherHSBS11,
author = {Thomas Reinbacher and
Martin Horauer and
Bastian Schlich and
J{\"{o}}rg Brauer and
Florian Scheuer},
title = {Model checking embedded software of an industrial knitting machine},
journal = {Int. J. Inf. Technol. Commun. Convergence},
volume = {1},
number = {2},
pages = {186--205},
year = {2011},
url = {https://doi.org/10.1504/IJITCC.2011.039285},
doi = {10.1504/IJITCC.2011.039285},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijitcc/ReinbacherHSBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchlichBK11,
author = {Bastian Schlich and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
title = {Application of static analyses for state-space reduction to the microcontroller
binary code},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {100--118},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.006},
doi = {10.1016/J.SCICO.2010.03.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchlichBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrauerKK11,
author = {J{\"{o}}rg Brauer and
Andy King and
Jael Kriener},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Existential Quantification as Incremental {SAT}},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {191--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_17},
doi = {10.1007/978-3-642-22110-1\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrauerKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ReinbacherB11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Precise control flow reconstruction using boolean logic},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {117--126},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038662},
doi = {10.1145/2038642.2038662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ReinbacherB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BrauerK11,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Gilles Barthe},
title = {Transfer Function Synthesis without Quantifier Elimination},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 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 = {6602},
pages = {97--115},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_6},
doi = {10.1007/978-3-642-19718-5\_6},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/BrauerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ReinbacherBHSK11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Past Time {LTL} Runtime Verification for Microcontroller Binary Code},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {37--51},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_5},
doi = {10.1007/978-3-642-24431-5\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ReinbacherBHSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BeckschulzeBSK11,
author = {Eva Beckschulze and
J{\"{o}}rg Brauer and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski},
title = {Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid
Memory Representations},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.40},
doi = {10.1109/ISORCW.2011.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BeckschulzeBSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrauerK11,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Approximate Quantifier Elimination for Propositional Boolean Formulae},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {73--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_7},
doi = {10.1007/978-3-642-20398-5\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrauerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ReinbacherBSSK11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Daniel Schachinger and
Andreas Steininger and
Stefan Kowalewski},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Automated Test-Trace Inspection for Microcontroller Binary Code},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {239--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_18},
doi = {10.1007/978-3-642-29860-8\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ReinbacherBSSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BrauerHKLO11,
author = {J{\"{o}}rg Brauer and
Ren{\'{e}} Rydhof Hansen and
Stefan Kowalewski and
Kim G. Larsen and
Mads Chr. Olesen},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Adaptable Value-Set Analysis for Low-Level Code},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {32--43},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.32},
doi = {10.4230/OASICS.SSV.2011.32},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/ssv/BrauerHKLO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/GuckelSBK10,
author = {Dominique G{\"{u}}ckel and
Bastian Schlich and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Elena Gramatov{\'{a}} and
Zdenek Kot{\'{a}}sek and
Andreas Steininger and
Heinrich Theodor Vierhaus and
Horst Zimmermann},
title = {Synthesizing simulators for model checking microcontroller binary
code},
booktitle = {13th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits and Systems, {DDECS} 2010, Vienna, Austria, April 14-16,
2010},
pages = {313--316},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DDECS.2010.5491761},
doi = {10.1109/DDECS.2010.5491761},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/GuckelSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrauerKK10,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Range Analysis of Microcontroller Code Using Bit-Level Congruences},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {82--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_6},
doi = {10.1007/978-3-642-15898-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BrauerKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/BiallasBKS10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski and
Bastian Schlich},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Automatically Deriving Symbolic Invariants for {PLC} Programs Written
in {IL}},
booktitle = {{FORMS/FORMAT} 2010 - Formal Methods for Automation and Safety in
Railway and Automotive Systems [8th Symposium on Formal Methods for
Automation and Safety in Railway and Automotive Systems, Braunschweig,
Germany, December 2-3, 2010},
pages = {237--245},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_24},
doi = {10.1007/978-3-642-14261-1\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/BiallasBKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/ReinbacherBHSK10,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
editor = {Ludek Matyska and
Michal Kozubek and
Tom{\'{a}}s Vojnar and
Pavel Zemc{\'{\i}}k and
David Antos},
title = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
Mikulov, Czech Republic},
series = {OASIcs},
volume = {16},
pages = {101--108},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.MEMICS.2010.101},
doi = {10.4230/OASICS.MEMICS.2010.101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/ReinbacherBHSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrauerK10,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Automatic Abstraction for Intervals Using Boolean Formulae},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {167--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_11},
doi = {10.1007/978-3-642-15769-1\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BrauerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/BrauerNS10,
author = {J{\"{o}}rg Brauer and
Thomas Noll and
Bastian Schlich},
editor = {Ed F. Deprettere and
Todor P. Stefanov},
title = {Interval analysis of microcontroller code using abstract interpretation
of hardware and software},
booktitle = {13th International Workshop on Software and Compilers for Embedded
Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010},
pages = {3},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811212.1811216},
doi = {10.1145/1811212.1811216},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scopes/BrauerNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/GuckelBK10,
author = {Dominique G{\"{u}}ckel and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
title = {A system for synthesizing abstraction-enabled simulators for binary
code verification},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {118--127},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551382},
doi = {10.1109/SIES.2010.5551382},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/GuckelBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BiallasBK10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Counterexample-Guided Abstraction Refinement for PLCs},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/counterexample-guided-abstraction-refinement-plcs},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/ssv/BiallasBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiallasBGK11,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Dominique G{\"{u}}ckel and
Stefan Kowalewski},
editor = {Min Zhang and
Volker Stolz},
title = {On-The-Fly Path Reduction},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {3--16},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.003},
doi = {10.1016/J.ENTCS.2011.07.003},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiallasBGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/BrauerSRK09,
author = {J{\"{o}}rg Brauer and
Bastian Schlich and
Thomas Reinbacher and
Stefan Kowalewski},
editor = {Dimitrios N. Serpanos and
Wayne H. Wolf},
title = {Stack bounds analysis for microcontroller assembly code},
booktitle = {Proceedings of the 4th Workshop on Embedded Systems Security, {WESS}
2009, Grenoble, France, October 15, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1631716.1631721},
doi = {10.1145/1631716.1631721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/BrauerSRK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SchlichNBB09,
author = {Bastian Schlich and
Thomas Noll and
J{\"{o}}rg Brauer and
Lucas Brutschy},
editor = {Kedar S. Namjoshi and
Andreas Zeller and
Avi Ziv},
title = {Reduction of Interrupt Handler Executions for Model Checking Embedded
Software},
booktitle = {Hardware and Software: Verification and Testing - 5th International
Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
19-22, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6405},
pages = {5--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-19237-1\_5},
doi = {10.1007/978-3-642-19237-1\_5},
timestamp = {Sun, 25 Jul 2021 11:51:18 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SchlichNBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/ReinbacherBHS09,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Bastian Schlich},
title = {Refining assembly code static analysis for the Intel {MCS-51} microcontroller},
booktitle = {{IEEE} Fourth International Symposium on Industrial Embedded Systems,
{SIES} 2009, Ecole Polytechnique Federale de Lausanne, Switzerland,
July 8-10, 2009},
pages = {161--170},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/SIES.2009.5196212},
doi = {10.1109/SIES.2009.5196212},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/ReinbacherBHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrauerSK09,
author = {J{\"{o}}rg Brauer and
Bastian Schlich and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Parallel and Distributed Invariant Checking of Microcontroller Software},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {45--63},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.059},
doi = {10.1016/J.ENTCS.2009.09.059},
timestamp = {Fri, 17 Feb 2023 10:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrauerSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrauerHS09,
author = {J{\"{o}}rg Brauer and
Ralf Huuck and
Bastian Schlich},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Interprocedural Pointer Analysis in Goanna},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {65--83},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.060},
doi = {10.1016/J.ENTCS.2009.09.060},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrauerHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HuuckFSB08,
author = {Ralf Huuck and
Ansgar Fehnker and
Sean Seefried and
J{\"{o}}rg Brauer},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Goanna: Syntactic Software Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {216--221},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_17},
doi = {10.1007/978-3-540-88387-6\_17},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/HuuckFSB08.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 2024-04-21 17:12 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:
