|
|
|
|
|
[BaGS09a] K. Bauer and R. Gentilini and K. Schneider Property Driven Three Valued Model Checking on Hybrid Automata Workshop on Logic, Language, Information and Computation (WoLLIC) |
|
|
|
|
|
[BaGS09b] K. Bauer and R. Gentilini and K. Schneider A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata International Haifa Verification Conference (HVC) |
|
|
|
|
[BaGS08] K. Bauer and R. Gentilini and K. Schneider Approximated Reachability on Hybrid Automata: Falsification meets Certification Electronic Notes in Theoretical Computer Science (ENTCS) |
|
|
|
|
|
[GePP08] R. Gentilini and C. Piazza and A. Policriti Symbolic Graphs: Linear Solutions to Some Connectivity Problems Algorithmica |
|
|
|
|
[GeSD07a] R. Gentilini and K. Schneider and A. Dreyer Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
|
|
|
|
|
[GeSD07b] R. Gentilini and K. Schneider and A. Dreyer Three-Valued Automated Reasoning on Analog Properties Great Lakes Symposium on VLSI (GLSVLSI) |
|
|
|
|
|
[GeSM07] R. Gentilini and K. Schneider and B. Mishra Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking International Symposium on Logical Foundations of Computer Science (LFCS) |
|
|
|
|
[Gent05] R. Gentilini Reachability Problems on Extended O-Minimal Hybrid Automata Formal Modeling and Analysis of Timed Systems (FORMATS) |
|
|
|
|
|
[Gent05a] R. Gentilini Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case Genome Informatics |
|
|
|
|
[Gent04] R. Gentilini Graph Algorithms for Massive Data-Sets PhD Thesis |
|
|
|
|
[GePP03] R. Gentilini and C. Piazza and A. Policriti Computing Strongly Connected Components in a Linear Number of Symbolic Steps Symposium on Discrete Algorithms (SODA) |
|
|
|
|
|
[GePP03a] R. Gentilini and C. Piazza and A. Policriti From Bisimulation to Simulation - Coarsest Partition Problems Journal of Automated Reasoning |
|
|
|
|
|
[GePo03] R. Gentilini and A. Policriti Biconnectivity on Symbolically Represented Graphs: A Linear Solution International Symposium on Algorithms and Computation (ISAAC) |
|
|
|
|
[DGPP02] A. Dovier and R. Gentilini and C. Piazza and A. Policriti Rank-Based Symbolic Bisimulation (and Model Checking) Electronic Notes in Theoretical Computer Science (ENTCS) |
|
|
|
|
|
[GePP02] R. Gentilini and C. Piazza and A. Policriti Simulation as Coarsest Partition Problem Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
|
|
|
|
|
[GePP02a] R. Gentilini and C. Piazza and A. Policriti Simulation Reduction as Constraint Electronic Notes in Theoretical Computer Science (ENTCS) |
|