Sfoglia per Autore
Algorithms for reducing structures in verification
2002 Gentilini, Raffaella; C., Piazza; A., Policriti
Simulation Reduction as Constraint
2002 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Rank-Based Symbolic Bisimulation (and Model Checking)
2002 Dovier, A.; Gentilini, Raffaella; Piazza, C.; Policriti, A.
Simulation as Coarsest Partition Problem
2002 Gentilini, Raffaella; Carla, Piazza; AND ALBERTO, Policriti
From Bisimulation to Simulation: Coarsest Partition Problems
2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Biconnectivity on Symbolically Represented Graphs: A Linear Solution.
2003 Gentilini, Raffaella; Policriti, A.
Computing strongly connected components in a linear number of symbolic steps
2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Toward integration of formalisms for system biology: The gene regulatory network case.
2005 Gentilini, Raffaella
Reachability Problems on Extended O-Minimal Hybrid Automata
2005 Gentilini, Raffaella
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems.
2007 Gentilini, Raffaella; K., Schneider; A., Dreyer
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking
2007 Gentilini, Raffaella; Schneider, K.; Mishra, B.
Three-valued automated reasoning on analog properties.
2007 Gentilini, Raffaella; K., Schneider; A., Dreyer
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
2007 Gentilini, Raffaella; K., Schneider; B., Mishra
Approximated Reachability on Hybrid Automata: Falsification meets Certification
2008 Bauer, K.; Gentilini, Raffaella; Schneider, K.
Symbolic Graphs: Linear Solutions to Connectivity Related Problems
2008 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Faster Pseudopolynomial Algorithms for Mean-Payoff Games
2009 L., Doyen; Gentilini, Raffaella; J. F., Raskin
Property Driven Three-Valued Model Checking on Hybrid Automata
2009 K., Bauer; Gentilini, Raffaella; K., Schneider
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata
2009 K., Bauer; Gentilini, Raffaella; K., Schneider
Energy and Mean-Payoff Games with Imperfect Information.
2010 A., Degorre; L., Doyen; Gentilini, Raffaella; J. F., Raskin; S., Torunczyk
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata.
2011 K., Bauer; Gentilini, Raffaella; K., Schneider
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