Verimag

HAL Verimag Publications

Warning: that list of publications is generated from an RSS stream produced by HAL, but the date field of that stream is not the publication date, but the HAL upload date.

2017

  1. [tel-01432236] Power reduction in digital circuits
    by Jan Láník - 16 January 2017
  2. [hal-01423603] Counting Aliases
    by Marius Bozga, Radu Iosif, Yassine Lakhnech - 6 January 2017
  3. [hal-01418891] The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops
    by Marius Bozga, Radu Iosif, Filip Konečny - 4 January 2017

2016

  1. [hal-01418925] Automata-based Verification of Programs with Tree Updates
    by Peter Habermehl, Radu Iosif, Tomas Vojnar - 22 December 2016
  2. [hal-01418920] Flat Parametric Counter Automata
    by Marius Bozga, Radu Iosif, Yassine Lakhnech - 22 December 2016
  3. [hal-01418919] Programs with Lists are Counter Automata
    by Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro - 22 December 2016
  4. [hal-01418917] On Flat Programs with Lists
    by Marius Bozga, Radu Iosif - 22 December 2016
  5. [hal-01418916] Proving Termination of Tree Manipulating Programs
    by Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar - 22 December 2016
  6. [hal-01418915] A Logic of Singly Indexed Arrays
    by Peter Habermehl, Radu Iosif, Tomáš Vojnar - 22 December 2016
  7. [hal-01418914] What Else Is Decidable about Integer Arrays?
    by Peter Habermehl, Radu Iosif, Tomáš Vojnar - 22 December 2016
  8. [hal-01418913] Quantitative Separation Logic and Programs with Lists
    by Marius Bozga, Radu Iosif, Swann Perarnau - 22 December 2016
  9. [hal-01418912] Automata-Based Termination Proofs
    by Radu Iosif, Adam Rogalewicz - 22 December 2016
  10. [hal-01418910] Iterating Octagons
    by Dorel Marius Bozga, Codruta Girlea, Radu Iosif - 22 December 2016
  11. [hal-01418909] Automatic Verification of Integer Array Programs
    by Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konečny, Tomáš Vojnar - 22 December 2016
  12. [hal-01418908] Fast Acceleration of Ultimately Periodic Relations
    by Marius Bozga, Radu Iosif, Filip Konečny - 22 December 2016
  13. [hal-01418906] Deciding Conditional Termination
    by Marius Bozga, Radu Iosif, Filip Konečny - 22 December 2016
  14. [hal-01418901] A Verification Toolkit for Numerical Transition Systems Tool Paper ⋆
    by Hossein Hojjat, Florent Garnier, Radu Iosif, Filip Konečny, Viktor Kuncak - 22 December 2016
  15. [hal-01418900] Accelerating Interpolants
    by Hossein Hojjat, Radu Iosif, Filip Konečny, Viktor Kuncak, Philipp Rümmer - 22 December 2016
  16. [hal-01418898] Underapproximation of Procedure Summaries for Integer Programs ‹
    by Pierre Ganty, Radu Iosif, Filip Konečny - 22 December 2016
  17. [hal-01418897] The Tree Width of Separation Logic with Recursive Definitions
    by Radu Iosif, Adam Rogalewicz, Jiri Simacek - 22 December 2016
  18. [hal-01418889] Deciding Entailments in Inductive Separation Logic with Tree Automata
    by Radu Iosif, Adam Rogalewicz, Tomáš Vojnar - 22 December 2016
  19. [hal-01418886] Interprocedural Reachability for Flat Integer Programs
    by Pierre Ganty, Radu Iosif - 22 December 2016
  20. [hal-01418885] Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
    by Radu Iosif, Adam Rogalewicz, Tomáš Vojnar - 22 December 2016
  21. [hal-01418883] A Decision Procedure for Separation Logic in SMT
    by Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King - 22 December 2016
  22. [hal-01418881] How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
    by Radu Iosif, Arnaud Sangnier - 22 December 2016
  23. [hal-01418878] Symmetry reductions for model checking of concurrent dynamic software
    by Radu Iosif - 22 December 2016
  24. [hal-01418876] Flat Parametric Counter Automata
    by Marius Bozga, Radu Iosif, Yassine Lakhnech - 22 December 2016
  25. [hal-01418875] Automata-based Verification of Programs with Tree Updates
    by Peter Habermehl, Radu Iosif, Tomas Vojnar - 22 December 2016
  26. [hal-01418870] Quantitative Separation Logic and Programs with Lists
    by Radu Iosif, Dorel Marius Bozga, Swann Perarnau - 22 December 2016
  27. [hal-01418868] Programs with Lists are Counter Automata
    by Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro - 22 December 2016
  28. [hal-01418867] Automata-Based Termination Proofs
    by Radu Iosif, Adam Rogalewicz - 22 December 2016
  29. [hal-01418866] Deciding Conditional Termination
    by Radu Iosif, Filip Konecny, Marius Bozga - 22 December 2016
  30. [hal-01418863] Underapproximation of Procedure Summaries for Integer Programs
    by Pierre Ganty, Radu Iosif, Filip Konečný - 22 December 2016

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 745541