IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 168
Titolo Data di pubblicazione Autore(i) File
Computational Reflection via Mechanized Logical Deduction 1-gen-1996 Cimatti, Alessandro; Traverso, Paolo
Planning via Model Checking: A Decision Procedure for AR 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Strong Planning in Non-Deterministic Domains via Model Checking 1-gen-1998 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Applied Formal Methods - FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 (Proceedings) 1-gen-1998 D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Formal Verification of a Railway Interlocking System Using Model Checking 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Applied Formal Methods - FM-Trends 98 1-gen-1999 D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann
Formalizing Complex Reasoning 1-gen-1999 Traverso, Paolo
Formal Specification and Development of a Safety-Critical Train Management 1-gen-1999 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
JERRY - A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm 1-gen-1999 A., Cesta; P., Riccucci; M., Daniele; Traverso, Paolo; E., Giunchiglia; M., Piaggio; M., Shaerf
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 1-gen-1999 Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Strong Cyclic Planning Revisited 1-gen-1999 M., Daniele; Traverso, Paolo; M. Y., Vardi
Mostrati risultati da 41 a 60 di 168
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