.:. Listes > Par laboratoire ENS Cachan et équipe associée > DISTRIBCOM .:.

129 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 ...

Generalized DEL-sequents Aucher G., Maubert B., Schwarzentruber F. Rapport de recherche (2012) 23 [hal-00716074 - version 1]

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations Kattepur A., Benveniste A., Jard C. 19th IEEE International Conference on Web Services, États-Unis (2012) [hal-00714057 - version 1]

Simulation-Based Abstractions for Software Product-Line Model Checking Cordy M., Classen A., Gilles P., Schobbens P.-Y., Heymans P., Legay A. 34th International Conference on Software Engineering, ICSE 2012, Switzerland (2012) [hal-00718047 - version 1]

Asynchronous Games over Tree Architectures Genest B., Gimbert H., Muscholl A., Walukiewicz I. [hal-00684223 - version 3] (15/02/2013)

A-sharp: a Distributed A-star for Factored Planning Jezequel L., Fabre E. Rapport de recherche (2012) [hal-00687434 - version 1]

Managing Evolution in Software Product Lines : A Model-Checking Perspective Cordy M., Classen A., Heymans P., Schobbens P.-Y., Legay A. 6th International Workshop on Variability Modelling of Software Intensive Systems, Germany (2012) [hal-00718216 - version 1]

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]

Modal event-clock specifications for timed component-based design Bertrand N., Legay A., Pinchinat S., Raclet J.-B. Science of Computer Programming, 77 (2012) 1212-1234 [hal-00752449 - version 1]

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic Bulychev P., David A., Larsen K. G., Legay A., Li G., Bogsten Poulsen D., Stainer A. Logic for Programming, Artificial Intelligence, and Reasoning, Venezuela, République Bolivarienne Du (2012) [hal-00744100 - version 1]

Statistical abstraction and model-checking of Large Heterogeneous Systems Basu A., Bensalem S., Bozga M., Delahaye B., Legay A. International Journal on Software Tools for Technology Transfer 14, 1 (2012) 53-72 [hal-00722489 - version 1]