IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 76
Titolo Tipologia Data di pubblicazione Autore(i) File
A distributed architecture to integrate ontological knowledge into information extraction 1.1 Articolo in rivista 2016 Alicante, Anita; Benerecetti, Massimo; Corazza, Anna; Silvestri, Stefano
Timed recursive state machines: Expressiveness and complexity 1.1 Articolo in rivista 2016 Benerecetti, Massimo; Peron, Adriano
Improving Priority Promotion for Parity Games 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Modeling railway control systems in promela 2.1 Contributo in volume (Capitolo o Saggio) 2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
A Delayed Promotion Policy for Parity Games 4.1 Articoli in Atti di convegno 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Dynamic State Machines for Formalizing Railway Control System Specifications 4.1 Articoli in Atti di convegno 2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
Reasoning about substructures and games 1.1 Articolo in rivista 2015 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers 4.1 Articoli in Atti di convegno 2014 Anita, Alicante; Benerecetti, Massimo; Corazza, Anna; Stefano, Silvestri
Tracking differentiable trajectories across polyhedra boundaries 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Faella, Marco
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Timed protocol insecurity problem is NP-complete 1.1 Articolo in rivista 2013 Benerecetti, Massimo; Peron, Adriano
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 1.1 Articolo in rivista 2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Counterexample-guided abstraction refinement for linear programs with arrays 1.1 Articolo in rivista 2013 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
Reachability games for linear hybrid systems. 4.1 Articoli in Atti di convegno 2012 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Towards Efficient Exact Synthesis for Linear Hybrid Systems 4.1 Articoli in Atti di convegno 2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Revisiting synthesis of switching controllers for Linear Hybrid systems 4.1 Articoli in Atti di convegno 2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Analysis of Timed Recursive State Machines 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Mostrati risultati da 21 a 40 di 76
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