References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Bielecki, Włodzimierz; Kraska, Krzysztof; Klimek, Tomasz: Using basis dependence distance vectors in the modified Floyd-Warshall algorithm (2015)
  2. Maisonneuve, Vivien; Hermant, Olivier; Irigoin, François: Computing invariants with transformers: experimental scalability and accuracy (2014)
  3. Bielecki, Wlodzimierz; Palkowski, Marek; Klimek, Tomasz: Free scheduling for statement instances of parameterized arbitrarily nested affine loops (2012)
  4. Bielecki, W.; Klimek, T.; Trifunovic, K.: Calculating exact transitive closure for a normalized affine integer tuple relation (2009)
  5. Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea: Widening operators for powerset domains (2006)
  6. Bigot, Céline; Faivre, Alain; Gaston, Christophe; Simon, Julien: Automatic test generation on a (U)SIM smart card (2006)
  7. Yavuz-Kahveci, Tuba; Bultan, Tevfik: A symbolic manipulator for automated verification of reactive systems with heterogeneous data types (2003)
  8. Lugato, David; Bigot, Céline; Valot, Yannick: Validation and automatic test generation on UML models: The AGATHA approach. (2002)
  9. Shashidhar, K.C.; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda: Geometric model checking: An automatic verification technique for loop and data reuse transformations. (2002)
  10. Rusu, Vlad; Zinovieva, Elena: Analyzing automata with presburger arithmetic and uninterpreted function symbols. (2001)
  11. Kelly, Wayne; Pugh, William: Using affine closure to find legal recordering transformations. (1995)