.:. Consultation > Liste des articles .:.

282 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B Aït-Sadoune I., Aït-Ameur Y. Dans Correct Software in Web Applications (2013) NC [hal-00831481 - version 1]

Stepwise development of formal models for web services compositions. Modeling and property verification Aït-Sadoune I., Aït-Ameur Y. Transactions on Large-Scale Data- and Knowledge-Centered Systems (2013) NC [hal-00831483 - version 1]

A Packing Problem Approach to Lightpath Assignment in an Optical Ring Poulain D., Tomasik J., Weisser M.-A., Barth D. The Computer Journal (2013) NC [hal-00831550 - version 1]

An Ambient Assisted Living Framework with Automatic Self-Diagnosis Jacquet C., Mohamed A., Bellik Y. International Journal On Advances in Life Sciences 5, 1 (2013) 10p. [hal-00829883 - version 1]

Spatial Frequency Reuse in a Novel Generation of PMR Networks Lamiable A., Tomasik J. Dans Proceedings of the WCNC - IEEE Wireless Communications and Networking Conference, Chine (2013) [hal-00817794 - version 1]

Contextual Query Using Bell Tests Barros J., Toffano Z., Meguebli Y., Doan B.-L. Computer Science (2013) 12 pages [hal-00827785 - version 1]

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool Dadeau F., Cabrera Castillos K., Ledru Y., Triki T., Vega G., Botella J., Taha S. Dans Proceedings of the 6th IEEE International Conference on Software Testing, Verification, and Validation - ICST2013, Luxembourg (2013) [hal-00831534 - version 1]

Inapproximability proof of DSTLB and USTLB in planar graphs Watel D., Weisser M.-A., Bentz C. Rapport de recherche [hal-00793424 - version 2]

Bridging the Chasm between Executable Metamodeling and Models of Computation Combemale B., Hardebolle C., Jacquet C., Boulanger F., Baudry B. Dans Software Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers - SLE 2012, 5th International Conference on Software Language Engineering, Allemagne (2012) [hal-00772089 - version 1]

Bin Packing with Fragmentable Items: Presentation and Approximations Lecun B., Mautor T., Quessette F., Weisser M.-A. [hal-00780434 - version 1] (23/01/2013)

A Compositional Automata-Based Semantics for Property Patterns Cabrera Castillos K., Dadeau F., Julliand J., Kanso B., Taha S. Dans Integrated Formal Methods - 10th International Conference on integrated Formal Methods - IFM 2013, Finlande (2013) [hal-00831526 - version 1]

Temporal Constraint Support for OCL Kanso B., Taha S. Dans Proceedings the 5th International Conference on Software Language Engineering - SLE2012 - SLE2012, Allemagne (2012) [hal-00762150 - version 1]

Testing of component-based systems Aiguier M., Kanso B., Boulanger F., Gaston C. Dans 19th Asia-Pacific Software Engineering Conference APSEC'12, IEEE Computer Society - 19th Asia-Pacific Software Engineering Conference APSEC'12, Hong-Kong (2012) [hal-00782889 - version 1]

Contribution à la mise-en-œuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes Abderraouf B. Supélec (26/11/2012), François Terrier (Dir.) [tel-00772712 - version 1]

A formal abstract framework for modeling and testing complex software systems Aiguier M., Boulanger F., Kanso B. Theoretical Computer Science 455, 12 (2012) 66-97 [hal-00802370 - version 1]

Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Ait-Ameur Y., Aït-Sadoune I. Dans Lecture Notes in Computer Science (LNCS) - 23rd International Conference on Database and Expert Systems Applications (DEXA), Autriche (2012) [hal-00726919 - version 1]

MoDeVVa 2012 workshop summary Boulanger F., Famelis M., Fondement F., Levi L., Weißleder S. Dans Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12, Autriche (2012) [hal-00783297 - version 1]

Approches hybrides pour la recherche sémantique de l'information : intégration des bases de connaissances et des ressources semi-structurées Mrabet Y. Université Paris Sud - Paris XI (12/07/2012), Chantal Reynaud (Dir.) [tel-00737282 - version 1]

Enrichissement contrôlé de bases de connaissances à partir de documents semi-structurés annotés Mrabet Y., Bennacer N., Pernelle N. Dans Actes des 23es Journées Francophones d'Ingénierie des Connaissances- IC 2012 - Actes des 23es Journées Francophones d'Ingénierie des Connaissances- IC 2012, France (2012) [hal-00713969 - version 1]

Optimal configuration of an optical network providing predefined multicast transmissions Reinhart V., Cohen J., Tomasik J., Barth D., Weisser M.-A. Computer Networks 56, 8 (2012) 2097-2106 [hal-00700082 - version 1]