Nombre de documents trouvés : 39 documents

1 - 2 - 3 - 4

Lumpability Abstractions of Rule-based Systems Feret J., Henzinger T., Koeppl H., Petrov T. Theoretical Computer Science 431 (2012) 137-164 [hal-00677894 - version 1]

Combinatorial complexity and compositional drift in protein interaction networks. Eric J. D., Krivine J., Feret J., Danos V., Fontana W. PLoS ONE 7, 3 (2012) [hal-00677889 - version 1]

Formal reduction for rule-based models Camporesi F., Feret J. Dans the 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011 276 (2011) 29-59 [inria-00636850 - version 1]

L'analyseur statique Astrée Bertrane J., Feret J., Cousot P., Cousot R., Miné A., Rival X., Mauborgne L. Dans Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier (Ed.) (2011) 67--114 [inria-00636877 - version 1]

Formal Model Reduction Feret J. Dans Static Analysis Symposium 6887 (2011) 6 [inria-00626640 - version 1]

Combining Model Reductions Camporesi F., Feret J., Koeppl H., Petrov T. Dans the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010 265 (2010) 73--96 [inria-00527536 - version 1]

Automatic reduction of stochastic rules-based models in a nutshell Camporesi F., Feret J., Koeppl H., Petrov T. Dans International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010 1281(2) (2010) 1330-1334 [inria-00527548 - version 1]

Static Analysis by Abstract Interpretation of Embedded Critical Software Bertrane J., Cousot P., Cousot R., Feret J., Mauborgne L., Miné A., Rival X. Dans the 3rd IEEE International workshop UML and Formal Methods (2010) [inria-00528632 - version 1]

Static Analysis and Verification of Aerospace Software by Abstract Interpretation Bertrane J., Cousot P., Cousot R., Feret J., Mauborgne L., Miné A., Rival X. Dans American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010 (2010) [inria-00528611 - version 1]

Astree: Proving the Absence of Runtime Errors Kästner D., Wilhelm S., Nenova S., Cousot P., Cousot R., Feret J., Mauborgne L., Miné A., Rival X. Dans Embedded real time software and systems - ERTS2 2010 (2010) [inria-00528600 - version 1]

1 - 2 - 3 - 4

L'URL de cette page est : http://hal.inria.fr/aut/jérôme feret/