„Abstract interpretation“

Suchergebnisse

218 Treffer

• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstract Interpretation, Symbolic Execution and Constraints
  Amadini, Roberto ; Gange, Graeme ; Schachte, Peter ; Søndergaard, Harald ; Stuckey, Peter J. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Static Performance Guarantees for Programs with Run-Time Checks
  Klemen, Maximiliano ; Stulova, Nataliia ; Lopez-Garcia, Pedro ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adaptable Value-Set Analysis for Low-Level Code
  Brauer, Jörg ; Hansen, René Rydhof ; Kowalewski, Stefan ; Larsen, Kim G. ; Olesen, Mads Chr. 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Toward Static Timing Analysis of Parallel Software
  Gustavsson, Andreas ; Gustafsson, Jan ; Lisper, Björn 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Same Block Relations for Relational Cache Analysis
  Wegener, Simon 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
  Wilhelm, Stephan ; Wachter, Björn 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis
  Ermedahl, Andreas ; Sandberg, Christer ; Gustafsson, Jan ; Bygde, Stefan ; Lisper, Björn 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithms for Infeasible Path Calculation
  Gustaffson, Jan ; Ermedahl, Andreas ; Lisper, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
  Souyris, Jean ; Le Pavec, Erwan ; Himbert, Guillaume ; Borios, Guillaume ; Jégu, Victor ; Heckmann, Reinhold 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
  Kroening, Daniel ; Reps, Thomas W. ; Seshia, Sanjit A. ; Thakur, Aditya
• ChemInform Abstract: Imaging of Self‐Assembled Structures: Interpretation of TEM and Cryo‐TEM Images
  Friedrich, Heiner ; Frederik, Peter M. ; de With, Gijsbertus ; Sommerdijk, Nico A. J. M.
• Verification, model checking, and abstract interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2016 Springer
• Verification, model checking, and abstract interpretation – 11th international conference ; proceedings
  Barthe, Gilles 2010 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Cook, Byron 2007 Springer
• Concrete Semantics – With Isabelle/HOL
  2014 Springer International Publishing
• Information Flow Security in Tree-Manipulating Processes – Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking
  Kovács, Máté 2014 Südwestdeutscher Verlag für Hochschulschriften
• Information flow security in tree-manipulating processes
  Kovács, Máté Amade
• Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code
  Blazy, Sandrine ; Laporte, Vincent ; Pichardie, David