Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Par domaine
Les 30 derniers dépôts
Par date de publication/rédaction
Par type de publication
Par collection
ArXiv
Rechercher
Recherche simple
Recherche avancée
Recherche par identifiant
Services
S'abonner
Exporter une liste de publication
Consulter les laboratoires connus de HAL
HalTools : Bib2Hal
HalTools : Export raweb
HalTools : créer sa page web
HalTools : gérer ses identités
Ajout de vignette, video ou annexe
Aide
Aide
FAQ
A propos
version française
english version
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/
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...