• Aiuto
  • Sfoglia

    • 4.1 Contributo in Atti di convegno Home page tipologia

    Sfoglia AAA

    Iscriviti a questa tipologia per ricevere ogni giorno la notifica via e-mail di nuovi arrivi RSS Feed RSS Feed RSS Feed
    Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 3747
     successivo >
    TitoloData di depositoAutore(i)
    A systematic approach to choose the data warehouse architecture20-set-2019Venditti, Antonello; Fasano, Fausto
    Investigating mobile applications quality in official and third-party marketplaces20-set-2019Fasano, Fausto; Martinelli, Fabio; Mercaldo, Francesco; Santone, Antonella
    Spyware detection using temporal logic20-set-2019Fasano, Fausto; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A
    Parallel bug-finding in concurrent programs via reduced interleaving instances12-set-2019Truc L., Nguyen; Peter, Schrammel; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds12-set-2019Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
    Hierarchical and Recursive State Machines with Context-Dependent Properties12-set-2019SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
    On the Complexity of Ltl Model-Checking of Recursive State Machines12-set-2019SALVATORE LA, Torre; Parlato, G
    Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width12-set-2019La Torre, S; Parlato, G
    Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models11-set-2019Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    Lazy-CSeq: A Lazy Sequentialization Tool for C11-set-2019Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    Concurrent Program Verification with Lazy Sequentialization and Interval Analysis11-set-2019Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings11-set-2019Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    Reducing Context-bounded Concurrent Reachability to Sequential Reachability11-set-2019SALVATORE LA, Torre; P., Madhusudan; Parlato, G
    Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists11-set-2019Pranav, Garg; P., Madhusudan; Parlato, G
    On Sequentializing Concurrent Programs11-set-2019Bouajjani, A; Emmi, M; Parlato, G
    Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs11-set-2019Omar, Inverso; Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
    Analyzing temporal role based access control models11-set-2019Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Anna Lisa, Ferrara; Parthasarathy, Madhusudan
    Verifying Concurrent Programs by Memory Unwinding11-set-2019Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
    A Robust Class of Context-Sensitive Languages11-set-2019LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
    The Language Theory of Bounded Context-Switching11-set-2019SALVATORE LA, Torre; P., Madhusudan; Parlato, G
    Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 3747
     successivo >

    Scopri

    Per lingua
    Accesso al fulltext
     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2019