2956 articles  [english version]
.:. Consultation > Liste par discipline > Génie logiciel .:.
12 documents classés par :
fulltext access Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques
Turki A.
Université d'Orléans (2012-03-08), Sébastien Limet (Dir.) [tel-00755306 - version 1]
fulltext access Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut Y., Boyer B., Genet T., Legay A.
Dans LNCS - ICFEM, Japon (2012) [hal-00759149 - version 1]
fulltext access Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut Y., Boyer B., Genet T., Legay A.
Research report (2010) [inria-00501487 - version 2]
fulltext access Systematic Development of Functional Bulk Synchronous Parallel Programs
Tesson J., Hu Z., Matsuzaki K., Loulergue F., Gesbert L.
Rapport de recherche (2010) 21 [inria-00465838 - version 2]
fulltext access How to Tackle Integer Weighted Automata Positivity
Boichut Y., Heam P.-C., Kouchnarenko O.
3rd InternationalWorkshop on Reachability Problems - RP 2009, France (2009) [inria-00428998 - version 1]
fulltext access Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
Boichut Y., Héam P.-C., Kouchnarenko O.
Electronic Notes in Theoretical Computer Science 239 (2009) 57--72 [hal-00561374 - version 1]
fulltext access Handling Non Left-Linear Rules When Completing Tree Automata
Boichut Y., Courbis R., Héam P.-C., Kouchnarenko O.
International Journal of Foundations of Computer Science 20, 5 (2009) 837--849 [hal-00561373 - version 1]
fulltext access Handling Left-Quadratic Rules When Completing Tree Automata
Boichut Y., Courbis R., Héam P.-C., Kouchnarenko O.
Dans RP'08 proceedings, Workshop on Reachability Problems in Computational Models - 2nd Workshop on Reachability Problems in Computational Models - RP'08, Royaume-Uni (2008) [hal-00563293 - version 1]
fulltext access Approximation based tree regular model checking
Boichut Y., Heam P.-C., Kouchnarenko O.
Nordic Journal of Computing 14 (2008) 216-241 [inria-00429345 - version 1]
fulltext access Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
Pillot P.
Université d'Orléans (2007-12-04), Pierre Réty (Dir.) [tel-00490819 - version 1]
fulltext access Home Healthcare Process: Challenges and Open Issues
Arbaoui S., Cislo N., Smith-Guerin N.
Dans Proceedings of the 33rd International Conference on Operational Research Applied to Health Service, ORAHS'2007 - Conference on Operational Research Applied to Health Service, ORAHS'2007, France (2007) [hal-00711151 - version 1]
fulltext access Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
Deransart P., Ducassé M., Ferrand G.
Rapport de recherche (2007) 54 [inria-00151285 - version 3]