BibSonomy :: author  ::

bookmarks

publications

(18)

• Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.
  Edmund M. Clarke and James R. Faeder and Christopher James Langmead and Leonard A. Harris and Sumit Kumar Jha and Axel Legay CMSB 231-250 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• On (Omega-)Regular Model Checking
  Axel Legay and Pierre Wolper CoRR abs/0809.2214 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• µ-calculus Pushdown Module Checking with Imperfect State Information.
  Benjamin Aminof and Axel Legay and Aniello Murano and Olivier Serre IFIP TCS 333-348 (2008)
  to dblp by dblp on 2008-09-15 00:00:00
  | URL | BibTeX  
• Computing Convex Hulls by Automata Iteration.
  François Cantin and Axel Legay and Pierre Wolper CIAA 112-121 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Qualitative Logics and Equivalences for Probabilistic Systems.
  Luca de Alfaro and Krishnendu Chatterjee and Marco Faella and Axel Legay QEST 237-248 (2007)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• T(O)RMC: A Tool for (omega)-Regular Model Checking.
  Axel Legay CAV 548-551 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• An Introduction to the Tool Ticc.
  Axel Legay and Luca de Alfaro and Marco Faella Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• On Automated Verification of Probabilistic Programs.
  Axel Legay and Andrzej S. Murawski and Joël Ouaknine and James Worrell TACAS 173-187 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Tree regular model checking: A simulation-based approach.
  Parosh Aziz Abdulla and Axel Legay and Julien d'Orso and Ahmed Rezine J. Log. Algebr. Program. 69 93-121 (2006)
  to dblp by dblp on 2007-11-02 00:00:00
  | URL | BibTeX  
• Ticc: A Tool for Interface Compatibility and Composition.
  B. Thomas Adler and Luca de Alfaro and Leandro Dias da Silva and Marco Faella and Axel Legay and Vishwanath Raman and Pritam Roy CAV 59-62 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX