IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

4.1 Contributo in Atti di convegno: [4679] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 941 a 960 di 4.679
Titolo Data di pubblicazione Autore(i) File
Spyware detection using temporal logic 1-gen-2019 Fasano, Fausto; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A
Parallel bug-finding in concurrent programs via reduced interleaving instances 1-gen-2017 Truc L., Nguyen; Peter, Schrammel; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 1-gen-2004 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
On the Complexity of Ltl Model-Checking of Recursive State Machines 1-gen-2007 SALVATORE LA, Torre; Parlato, G
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 1-gen-2012 La Torre, S; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 1-gen-2017 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C 1-gen-2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 1-gen-2017 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 1-gen-2014 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 1-gen-2009 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 1-gen-2013 Pranav, Garg; P., Madhusudan; Parlato, G
On Sequentializing Concurrent Programs 1-gen-2011 Bouajjani, A; Emmi, M; Parlato, G
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 1-gen-2015 Omar, Inverso; Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Analyzing temporal role based access control models 1-gen-2012 Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan
Verifying Concurrent Programs by Memory Unwinding 1-gen-2015 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages 1-gen-2007 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
The Language Theory of Bounded Context-Switching 1-gen-2010 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 1-gen-2017 Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools 1-gen-2013 Bernd, Fischer; Omar, Inverso; Parlato, G
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 941 a 960 di 4.679
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno (Proceeding)4679
Autore
  • FABBROCINO, Giovanni303
  • MERCALDO, Francesco165
  • OLIVETO, Rocco147
  • SANTONE, Antonella147
  • MARCHETTI, Marco123
  • RAINIERI, Carlo122
  • TREMATERRA, Pasquale122
  • SARCHIAPONE, Marco114
  • SANTUCCI DE MAGISTRIS, Filippo94
  • CATALANO, Pasquale85
Data di pubblicazione
  • In corso di stampa20
  • 2020 - 2025530
  • 2010 - 20191495
  • 2000 - 20091921
  • 1990 - 1999613
  • 1980 - 198998
  • 1978 - 19791
Editore
  • Institute of Electrical and Electronics Engineers Inc.106
  • IEEE66
  • Springer Science and Business Media Deutschland GmbH29
  • Springer28
  • Edizioni Scientifiche Italiane26
  • IEEE Computer Society25
  • SciTePress23
  • Giuffrè21
  • R. Cudabba, E. Marconi18
  • Chiriotti Editori17
Rivista
  • ISTISAN CONGRESSI15
  • PROCEDIA COMPUTER SCIENCE14
  • ATTI CONFERENZA NAZIONALE ASITA13
  • JOURNAL OF PHYSICS. CONFERENCE SERIES9
  • GIORNALE BOTANICO ITALIANO7
  • PANORAMA DELLA SANITÀ7
  • ACTA HORTICULTURAE6
  • ITALIAN JOURNAL OF ANIMAL SCIENCE6
  • THE FEBS JOURNAL5
  • ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE40
  • LECTURE NOTES IN CIVIL ENGINEERING20
  • PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
  • COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE7
  • CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE7
  • PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
  • CEUR WORKSHOP PROCEEDINGS6
  • PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
  • ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
  • IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
  • Android34
  • Security25
  • suicide21
  • Software20
  • Malware17
  • Machine Learning16
  • suicidio16
  • deep learning13
  • machine learning13
  • Machine learning12
Lingua
  • eng2210
  • ita1818
  • fre33
  • ger16
  • und15
  • spa14
  • por3
  • grc2
  • lat2
  • cze1
Accesso al fulltext
  • no fulltext4675
  • open2
  • reserved2
Appartenenza
  • DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1181
  • DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1773
  • DIPARTIMENTO DI ECONOMIA276
  • DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE908
  • DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE519
  • DIPARTIMENTO GIURIDICO133