Sound Non-interference Analysis for C/C++.

Daniel Kästner AbsInt, Saarbrücken, Germany https://www.absint.com/staff/dk.htm Daniel Kästner Laurent Mauborgne Sebastian Hahn 0001 Stephan Wilhelm Jörg Herter Christoph Cullmann Christian Ferdinand Sound Non-interference Analysis for C/C++. 267-282 2024 SAFECOMP https://doi.org/10.1007/978-3-031-68606-1_17 conf/safecomp/2024 db/conf/safecomp/safecomp2024.html#KastnerMHWHCF24 streams/conf/safecomp Daniel Kästner Reinhard Wilhelm Christian Ferdinand Abstract Interpretation in Industry - Experience and Lessons Learned. 10-27 2023 SAS https://doi.org/10.1007/978-3-031-44245-2_2 conf/sas/2023 db/conf/sas/sas2023.html#KastnerWF23 Yilin Ji Daniel Kästner Oliver Wirth Christian Wressnegger Randomness is the Root of All Evil: More Reliable Evaluation of Deep Active Learning. 3932-3941 2023 WACV https://doi.org/10.1109/WACV56688.2023.00393 conf/wacv/2023 db/conf/wacv/wacv2023.html#JiKWW23 Christian Bartsch 0001 Stephan Wilhelm Daniel Kästner Dominik Stoffel Wolfgang Kunz Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. 1-4 2022 MBMV https://ieeexplore.ieee.org/document/9788577 conf/mbmv/2022 db/conf/mbmv/mbmv2022.html#BartschWKSK22 Reinhard Wilhelm Markus Pister 0002 Gernot Gebhard Daniel Kästner Testing Implementation Soundness of a WCET Analysis Tool. 5-17 2021 A Journey of Embedded and Cyber-Physical Systems https://doi.org/10.1007/978-3-030-47487-4_2 conf/birthday/2021marwedel db/conf/birthday/marwedel2021.html#Wilhelm0GK21 Christian Bartsch 0001 Stephan Wilhelm Daniel Kästner Dominik Stoffel Wolfgang Kunz Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. 409-418 2021 ITC https://doi.org/10.1109/ITC50571.2021.00057 conf/itc/2021 db/conf/itc/itc2021.html#BartschWKSK21 Daniel Kästner Christoph Cullmann Gernot Gebhard Sebastian Hahn 0001 Thomas Karos Laurent Mauborgne Stephan Wilhelm Christian Ferdinand Safety-Critical Software Development in C++. 98-110 2020 SAFECOMP Workshops https://doi.org/10.1007/978-3-030-55583-2_7 conf/safecomp/2020w db/conf/safecomp/safecomp2020w.html#KastnerCG0KMWF20

Jörg Herter Daniel Kästner Christoph Mallon Reinhard Wilhelm Benchmarking static code analyzers. 336-346 2019 188 Reliab. Eng. Syst. Saf. https://doi.org/10.1016/j.ress.2019.03.031 db/journals/ress/ress188.html#HerterKMW19

Josselin Giet Laurent Mauborgne Daniel Kästner Christian Ferdinand Towards Zero Alarms in Sound Static Analysis of Finite State Machines. 3-18 2019 SAFECOMP https://doi.org/10.1007/978-3-030-26601-1_1 conf/safecomp/2019 db/conf/safecomp/safecomp2019.html#GietMKF19 Daniel Kästner Markus Pister 0002 Simon Wegener Christian Ferdinand TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis. 1:1-1:11 2019 WCET https://doi.org/10.4230/OASIcs.WCET.2019.1 conf/wcet/2019 db/conf/wcet/wcet2019.html#Kastner0WF19 Daniel Kästner Laurent Mauborgne Christian Ferdinand On Software Safety, Security, and Abstract Interpretation. 662-665 2018 FM https://doi.org/10.1007/978-3-319-95582-7_41 conf/fm/2018 db/conf/fm/fm2018.html#KastnerMF18 Jörg Herter Daniel Kästner Christoph Mallon Reinhard Wilhelm Benchmarking Static Code Analyzers. 197-212 2017 SAFECOMP https://doi.org/10.1007/978-3-319-66266-4_13 conf/safecomp/2017 db/conf/safecomp/safecomp2017.html#HerterKMW17 Daniel Kästner Christian Ferdinand Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. 191-202 2016 RSSRail https://doi.org/10.1007/978-3-319-33951-1_14 conf/rssrail/2016 db/conf/rssrail/rssrail2016.html#KastnerF16 Sayali Salvi Daniel Kästner Christian Ferdinand Tom Bienmüller Exploiting Synergies between Static Analysis and Model-Based Testing. 13-24 2015 EDCC https://doi.org/10.1109/EDCC.2015.20 https://doi.ieeecomputersociety.org/10.1109/EDCC.2015.20 conf/edcc/2015 db/conf/edcc/edcc2015.html#SalviKFB15 Sayali Salvi Daniel Kästner Tom Bienmüller Christian Ferdinand True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. 84-96 2014 SAFECOMP Workshops https://doi.org/10.1007/978-3-319-10557-4_12 conf/safecomp/2014w db/conf/safecomp/safecomp2014w.html#SalviKBF14 Daniel Kästner Christian Ferdinand Proving the Absence of Stack Overflows. 202-213 2014 SAFECOMP https://doi.org/10.1007/978-3-319-10506-2_14 conf/safecomp/2014 db/conf/safecomp/safecomp2014.html#KastnerF14

Reinhold Heckmann Christian Ferdinand Daniel Kästner Stefana Nenova Architecture exploration and timing estimation during early design phases. 29-39 2013 15 Int. J. Softw. Tools Technol. Transf. 1 https://doi.org/10.1007/s10009-012-0248-8 db/journals/sttt/sttt15.html#HeckmannFKN13

Daniel Kästner Markus Pister 0002 Gernot Gebhard Marc Schlickling Christian Ferdinand Confidence in Timing. 2013 SASSUR@SAFECOMP http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848489 conf/safecomp/2013sassur db/conf/safecomp/sassur2013.html#KastnerPGSF13 Daniel Kästner Christian Ferdinand Static Verification of Non-Functional Software Requirements in the ISO-26262. 39-53 2012 Automotive - Safety & Security conf/automotiveSS/2012 db/conf/automotiveSS/automotiveSS2012.html#KastnerF12 https://dl.gi.de/handle/20.500.12116/17564 http://subs.emis.de/LNI/Proceedings/Proceedings210/article6840.html Daniel Kästner Marc Schlickling Markus Pister 0002 Christoph Cullmann Gernot Gebhard Reinhold Heckmann Christian Ferdinand Meeting Real-Time Requirements with Multi-core Processors. 117-131 2012 SAFECOMP Workshops https://doi.org/10.1007/978-3-642-33675-1_10 conf/safecomp/2012w db/conf/safecomp/safecomp2012w.html#KastnerSPCGHF12 Daniel Kästner Astrée: Design and Experience. 5 2011 SAS https://doi.org/10.1007/978-3-642-23702-7_4 conf/sas/2011 db/conf/sas/sas2011.html#Kastner11 Daniel Kästner Reinhold Heckmann Christian Ferdinand 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. 196-209 2010 SAFECOMP https://doi.org/10.1007/978-3-642-15651-9_15 conf/safecomp/2010 db/conf/safecomp/safecomp2010.html#KastnerHF10

Daniel Kästner Christian Ferdinand Stephan Wilhelm Stefana Nenova Olha Honcharova Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné Xavier Rival Élodie-Jane Sims Astree: Nachweis der Abwesenheit von Laufzeit. 2009 29 Softwaretechnik-Trends 3 http://pi.informatik.uni-siegen.de/stt/29_3/01_Fachgruppenberichte/FG_Ada_Regensburg/001_kaestner.pdf db/journals/stt/stt29.html#KastnerFWNHCCFMMRS09

Stefana Nenova Daniel Kästner Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. 2009 WCET http://drops.dagstuhl.de/opus/volltexte/2009/2280 conf/wcet/2009 db/conf/wcet/wcet2009.html#NenovaK09 Daniel Kästner Reinhard Wilhelm Reinhold Heckmann Marc Schlickling Markus Pister 0002 Marek Jersak Kai Richter 0001 Christian Ferdinand Timing Validation of Automotive Software. 93-107 2008 ISoLA https://doi.org/10.1007/978-3-540-88479-8_8 conf/isola/2008 db/conf/isola/isola2008.html#KastnerWHSPJRF08 Daniel Kästner Safe worst-case execution time analysis by abstract interpretation of executable code. 135 2007 conf/lctrts/2007 LCTES https://doi.org/10.1145/1254766.1254787 https://doi.org/10.1145/1273444.1254787 db/conf/lctrts/lctes2007.html#Kastner07 Daniel Kästner Markus Pister 0002 Generic Software Pipelining at the Assembly Level. 50-61 2005 conf/scopes/2005 SCOPES db/conf/scopes/scopes2005.html#KastnerP05 https://doi.org/10.1145/1140389.1140395

Bruno De Bus Daniel Kästner Dominique Chanet Ludo Van Put Bjorn De Sutter Post-pass compaction techniques. 41-46 2003 46 Commun. ACM 8 https://doi.org/10.1145/859670.859696 db/journals/cacm/cacm46.html#BusKCPS03

Christian Ferdinand Daniel Kästner Florian Martin 0001 Marc Langenbach Martin Sicks Stephan Wilhelm Reinhold Heckmann Nicolas Fritz Stephan Thesing Frank Fontaine Henrik Theiling Michael Schmidt 0007 Alexander A. Evstiougov-Babaev Reinhard Wilhelm Validierung des Zeitverhaltens von kritischer Echtzeit-Software. 335-339 2003 conf/gi/2003-1 GI Jahrestagung (1) db/conf/gi/gi2003-1.html#FerdinandKMLSWHFTFTSEW03 https://dl.gi.de/handle/20.500.12116/29793 http://subs.emis.de/LNI/Proceedings/Proceedings34/article943.html Daniel Kästner TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses. 18-36 https://doi.org/10.1007/978-3-540-39815-8_2 2003 conf/gpce/2003 GPCE db/conf/gpce/gpce2003.html#Kastner03 Björn Decker 0002 Daniel Kästner Reconstructing Control Flow from Predicated Assembly Code. 81-100 https://doi.org/10.1007/978-3-540-39920-9_7 2003 conf/scopes/2003 SCOPES db/conf/scopes/scopes2003.html#DeckerK03 Daniel Kästner Stephan Wilhelm Generic control flow reconstruction from assembly code. 46-55 2002 conf/lctrts/2002 LCTES-SCOPES https://doi.org/10.1145/513829.513839 https://doi.org/10.1145/566225.513839 db/conf/lctrts/lctes2002.html#KastnerW02 Daniel Kästner Sebastian Winkel ILP-based Instruction Scheduling for IA-64. 145-154 2001 conf/lctrts/2001 LCTES/OM db/conf/lctrts/lctes2001.html#KastnerW01 https://doi.org/10.1145/384197.384217 https://doi.org/10.1145/384196.384217 Daniel Kästner Sebastian Winkel ILP-based Instruction Scheduling for IA-64. 145-154 2001 OM@PLDI https://doi.org/10.1145/384198.384217 conf/pldi/2001om db/conf/pldi/om2001.html#KastnerW01 Daniel Kästner Retargetable postpass optimisation by integer linear programming. 2000 1-286 Pirrot Saarland University, Saarbrücken, Germany 978-3-930714-55-1 http://scidok.sulb.uni-saarland.de/volltexte/2004/199/index.html https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-1994 https://d-nb.info/961039434 https://d-nb.info/972330917 Daniel Kästner PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen. 197-215 2000 GI Jahrestagung https://doi.org/10.1007/978-3-642-58322-3_17 conf/gi/2000 db/conf/gi/gi2000.html#Kastner00 Daniel Kästner PROPAN: A Retargetable System for Postpass Optimisations and Analyses. 63-80 https://doi.org/10.1007/3-540-45245-1_5 2000 conf/lctrts/2000 LCTES db/conf/lctrts/lctes2000.html#Kastner00

Daniel Kästner Stephan Thesing Cache Aware Pre-Runtime Scheduling. 235-256 1999 17 Real Time Syst. 2-3 db/journals/rts/rts17.html#KastnerT99 https://doi.org/10.1023/A:1008142508047

Daniel Kästner Marc Langenbach Code Optimization by Integer Linear Programming. 122-136 1999 conf/cc/1999 CC db/conf/cc/cc99.html#KastnerL99 https://doi.org/10.1007/978-3-540-49051-7_9 Christian Ferdinand Daniel Kästner Marc Langenbach Florian Martin 0001 Michael Schmidt 0007 Jörn Schneider Henrik Theiling Stephan Thesing Reinhard Wilhelm Run-Time Guarantees for Real-Time Systems - The USES Approach. 410-419 1999 conf/gi/1999 GI Jahrestagung db/conf/gi/gi99.html#FerdinandKLMSSTTW99 https://doi.org/10.1007/978-3-662-01069-3_60 Daniel Kästner Stephan Thesing Cache-Sensitive Pre-runtime Scheduling. 131-145 1998 conf/lctrts/1998 LCTES https://doi.org/10.1007/BFb0057786 db/conf/lctrts/lctes1998.html#KastnerT98 Christian Bartsch 0001 Tom Bienmüller Bruno De Bus Dominique Chanet Patrick Cousot Radhia Cousot Christoph Cullmann Björn Decker 0002 Alexander A. Evstiougov-Babaev Christian Ferdinand Jérôme Feret Frank Fontaine Nicolas Fritz Gernot Gebhard Josselin Giet Sebastian Hahn 0001 Reinhold Heckmann Jörg Herter Olha Honcharova Marek Jersak Yilin Ji Thomas Karos Wolfgang Kunz Marc Langenbach Christoph Mallon Florian Martin 0001 Laurent Mauborgne Antoine Miné Stefana Nenova Markus Pister 0002 Ludo Van Put Kai Richter 0001 Xavier Rival Sayali Salvi Marc Schlickling Michael Schmidt 0007 Jörn Schneider Martin Sicks Élodie-Jane Sims Dominik Stoffel Bjorn De Sutter Henrik Theiling Stephan Thesing Simon Wegener Reinhard Wilhelm Stephan Wilhelm Sebastian Winkel Oliver Wirth Christian Wressnegger