„static program analysis“

Suchergebnisse

227 Treffer

• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Integration of AI and OR Techniques in Constraint Programming – 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
  2014 Springer International Publishing
• Runtime Data Race Detection in Multi-Threaded Programs – Methods and Tools
  Mühlenfeld, Arndt 2012 AV Akademikerverlag
• Software Verification and Analysis – An Integrated, Hands-On Approach
  Laski, Janusz ; Stanley, William 2009 Springer London
• Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 17th international conference ; proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2011 Springer
• On the adequacy of static analysis warnings with respect to code smell prediction
  Pecorelli, Fabiano ; Lujan, Savanna ; Lenarduzzi, Valentina ; Palomba, Fabio ; De Lucia, Andrea
• A hierarchical model for quantifying software security based on static analysis alerts and software metrics
  Siavvas, Miltiadis ; Kehagias, Dionysios ; Tzovaras, Dimitrios ; Gelenbe, Erol
• Scaling static whole-program analysis to modern C and C++ software development – statically analyzing C and C++ software with PhASAR
  Schubert, Philipp Dominik 2024 Universitätsbibliothek
• Graph and Model Transformation – General Framework and Applications
  Ehrig, Hartmut ; Ermel, Claudia 2015 Springer Berlin
• Static analysis – third international workshop ; proceedings
  Cousot, Patrick 1993 Springer
• A new hybrid fuzzy-goal programming scheme for multi-objective topological optimization of static and dynamic structures under multiple loading conditions
  Luo, Zhen ; Yang, Jingzhou ; Chen, Li-Ping ; Zhang, Yun-Qing ; Abdel-Malek, Karim
• Static analysis driven enhancements for comprehension in machine learning notebooks
  Venkatesh, Ashwin Prasad Shivarpatna ; Sabu, Samkutty ; Chekkapalli, Mouli ; Wang, Jiawei ; Li, Li ; Bodden, Eric
• ITER: an ITERative approach for inter-core timing analysis in statically scheduled cyclic executive systems on COTS multicore platforms for CRTES
  Palomo, Xavier ; Molina, Carlos
• Applying static code analysis for domain-specific languages
  Ruiz, Iván ; Person, Tatiana ; Dodero, Juan Manuel ; Mota, José Miguel ; Merchán Sánchez-Jara, Javier F.
• Performance bounds on multiprocessor scheduling strategies for statically allocated programs
  Lundberg, Lars
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Static analysis – 10th international symposium ; proceedings
  Cousot, Radhia 2003 Springer***5108985
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
  Lesage, Benjamin ; Griffin, David ; Altmeyer, Sebastian ; Cucu-Grosjean, Liliana ; Davis, Robert I.