.:. Browse > Domain list > Software Engineering .:.

1863 documents ordered by : Date Title first author name document type Submit date

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

Analyzing Flowgraphs with ATL Cosentino V., Tisi M., Büttner F. Dans Transformation Tool Contest (2013) [hal-00819075 - version 1]

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases Khalil Abbasi E., Hubaux A., Acher M., Boucher Q., Heymans P. Dans CAiSE'13 - 25th International Conference on Advanced Information Systems Engineering - 2013 (2013) [hal-00796555 - version 1]

Compositional Verification of Software Product Lines Millo J.-V., Ramesh S., Krishna S. Narayanan, Narwane G. Khandu Dans iFM 2013 - 10th International Conference on integrated Formal Methods (2013) [hal-00799108 - version 1]

Translating EB3 to LNT for verification with CADP Vekris D., Lang F., Dima C., Mateescu R. Dans iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00768310 - version 4]

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses Chebaro O., Cuoq P., Kosmatov N., Marre B., Pacalet A., Williams N. Nicky.Williams@cea.Fr, Yakobowski B. Automated Software Engineering (2013) http://www.springer.com/computer/ai/journal/10515 [hal-00818147 - version 1]

Improving Context-Awareness in Self-Adaptation Using the DYNAMICO Reference Model Tamura G., Villegas N., Muller H., Duchien L., Seinturier L. Dans 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2013) [hal-00796275 - version 1]

Snapshot Provisioning of Cloud Application Stacks to Face Traffic Surges Pewo Fouomene D., Rouvoy R., Seinturier L. N° RR-8299 (2013) [hal-00820959 - version 1]

Formal Verification of Distributed Branching Multiway Synchronization Protocols Evrard H., Lang F. Dans FORTE / FMOODS - 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) (2013) [hal-00818788 - version 1]

Towards Multi-Cloud Configurations Using Feature Models and Ontologies Quinton C., Haderer N., Rouvoy R., Duchien L. Dans 1st International Workshop on Multi-Cloud Applications and Federated Clouds (2013) [hal-00801702 - version 1]

Managing Elasticity Across Multiple Cloud Providers Paraiso F., Merle P., Seinturier L. Dans 1st International workshop on multi-cloud applications and federated clouds (2013) [hal-00790455 - version 1]