IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 120
Titolo Data di pubblicazione Autore(i) File
Formalizing requirements with object models and temporal constraints 1-gen-2011 Cimatti, Alessandro; Susi, Angelo; Tonetta, Stefano; Roveri, Marco
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Model Checking and Safety Assessment of Altarica models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2011 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Efficient Scenario VeriFIcation for Hybrid Automata 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
An abstraction refinement approach combining precise and approximated techniques 1-gen-2012 N., Sharygina; Tonetta, Stefano; A., Tsitovich
Validation of Requirements for Hybrid Systems: a Formal Approach 1-gen-2012 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
A Property-Based Proof System for Contract-Based Design 1-gen-2012 Cimatti, Alessandro; Tonetta, Stefano
Quantifier-free encoding of hybrid systems with non-linear dynamics 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Verification of Hybrid Systems 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Time-aware Relational Abstractions for Hybrid Systems 1-gen-2013 Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano
OCRA: A tool for checking the refinement of temporal contracts 1-gen-2013 Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano
Formal Specification and Synthesis of FDI through an Example 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Parameter Synthesis with IC3 1-gen-2013 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Loop Summarization using State and Transition Invariants 1-gen-2013 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
SMT-based scenario verification for hybrid systems 1-gen-2013 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Mostrati risultati da 21 a 40 di 120
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