Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 177
Titolo Data di pubblicazione Autore(i) File
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 1-gen-2005 Armando, Alessandro; L., Compagna; Ranise, Silvio
Decision Procedures for the Formal Analysis of Software 1-gen-2006 D., Déharbe; P., Fontaine; Ranise, Silvio; C., Ringeissen
Automatic Combinability of Rewriting-Based Satisfiability Procedures 1-gen-2006 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
Efficient theory combination via boolean search 1-gen-2006 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
A Theory of Singly-Linked Lists and its Extensible Decision Procedure 1-gen-2006 Ranise, Silvio; C. G., Zarba
Intelligent Systems and Formal Methods in Software Engineering 1-gen-2006 B., Beckert; T., Hoare; R., Hähnle; D. R., Smith; C., Green; Ranise, Silvio; C., Tinelli; T., Ball; S. K., Rajamani
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures 1-gen-2006 M. P., Bonacina; S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Decision Procedures for Extensions of the Theory of Arrays 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Noetherianity and Combination Problems 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Building Extended Canonizers by Graph-Based Deduction 1-gen-2007 Ranise, Silvio; C., Scharff
Combining Proof-Producing Decision Procedures 1-gen-2007 Ranise, Silvio; C., Ringeissen; D. K., Tran
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 1-gen-2007 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Towards SMT Model Checking of Array-Based Systems 1-gen-2008 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework 1-gen-2008 D., Déharbe; Ranise, Silvio; J., Vidal
New results on rewrite-based satisfiability procedures 1-gen-2009 Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz
Preface 1-gen-2009 Ranise, Silvio; U., Hustadt
Satisfiability solving for software verification 1-gen-2009 D., Deharbe; Ranise, Silvio
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 1-gen-2009 M., Barletta; Ranise, Silvio; L., Viganò:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories 1-gen-2009 S., Ghilardi; Ranise, Silvio
Mostrati risultati da 21 a 40 di 177
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