Langages d'Aspects et de Composants
Home
Browse
By authors
Document list
By year
By document type
Search
Links
LINA-HAL
Website research group
Export a publication list
102 articles – 160 references
[version française]
.:.
Browse
> Document list .:.
262 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Transformations between Composite and Visitor implementations in Java
Ajouli A., Cohen J., Royer J.-C.
Dans
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)
-
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)
, Espagne (2013) [hal-00834149 - version 1]
Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling
Quesnel F., Lèbre A., Pastor J., Südholt M., Balouek D.
ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications
, Australie (2013) [hal-00817369 - version 1]
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]
Towards QoS-Oriented SLA Guarantees for Online Cloud Services
Serrano D., Bouchenak S., Kouki Y., Ledoux T., Lejeune J., Sopena J., Arantes L., Sens P.
In
IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013
-
IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013
, Netherlands (2013) [hal-00780000 - version 1]
Taming aspects with monads and membranes
Figueroa I., Tabareau N., Tanter E.
FOAL'13: Foundations of aspect-oriented languages
, Japon (2013) [hal-00808983 - version 1]
A Typed Monadic Embedding of Aspects
Tabareau N., Figueroa I., Tanter E.
AOSD'13
, Japon (2013) [hal-00763695 - version 1]
Practical use of static composition of refactoring operations
Cohen J., Ajouli A.
Dans
Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)
-
ACM Symposium on Applied Computing (SAC)
, Portugal (2013) [hal-00751304 - version 2]
SCAling : SLA-driven Cloud Auto-scaling
Kouki Y., Ledoux T.
In
ACM Symposium on Applied Computing, SAC 2013
-
ACM Symposium on Applied Computing, SAC 2013
, Portugal (2013) [hal-00780003 - version 1]
From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
Allam D., Grall H., Royer J.-C.
WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies
, Allemagne (2013) [hal-00800153 - version 1]
Aspectizing JavaScript Security
Marchand De Kerchove F., Noyé J., Südholt M.
MISS - 3rd Workshop on Modularity In Systems Software
, Japon (2013) [hal-00786258 - version 1]
Flexible and expressive aspect-based control over service compositions in the Cloud
Cherrueau R.-A., Chebaro O., Südholt M.
4th International Workshop on Variability & Composition
, Japan (2013) [hal-00782427 - version 1]
Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement
Quesnel F.
Ecole des Mines de Nantes (2013-02-20), Mario Sudholt (Dir.) [tel-00821103 - version 1]
Univalence for free
Sozeau M., Tabareau N.
[hal-00786589 - version 3] (21/03/2013)
Anti-Unification with Type Classes
Tabareau N., Tanter E., Figueroa I.
Journées Francophones des Langages Applicatifs (JFLA)
, France (2013) [hal-00765862 - version 1]
SLA et qualité de service pour le Cloud Computing
Kouki Y., Ledoux T., Serrano D., Bouchenak S., Lejeune J., Arantes L., Sopena J., Sens P.
Dans
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013
-
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013
, France (2013) [hal-00764951 - version 1]
Modular and Flexible Causality Control on the Web
Leger P., Tanter E., Douence R.
Science of Computer Programming
(2013) [hal-00755127 - version 1]
Accountability for Cloud and Other Future Internet Services
Pearson S., Tountopoulos V., Catteddu D., Südholt M., Molva R., Reich C.
The 4th IEEE Int. Conf. on Cloud Computing Technology and Science (CloudCom 2012) (2013) [hal-00778369 - version 1]
Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
Quesnel F., Lèbre A., Südholt M.
Concurrency and Computation: Practice and Experience
(2012) XX [hal-00675315 - version 1]
SLA-driven Capacity Planning for Cloud applications
Kouki Y., Ledoux T.
Dans
IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012
-
IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012
, Taïwan, Province De Chine (2012) [hal-00734417 - version 1]
Refactoring Composite to Visitor and Inverse Transformation in Java
Ajouli A., Cohen J.
Rapport de recherche [hal-00652872 - version 2]
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
Chebaro O., Delahaye M., Kosmatov N.
Dans
24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012)
-
24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012)
, France (2012) [hal-00724508 - version 1]
Un langage dédié à l'administration d'infrastructures virtualisées
Pottier R.
Ecole des Mines de Nantes (19/09/2012), Jean-Claude Royer (Dir.) [tel-00773703 - version 1]
Model-Driven and Software Product Line Engineering
Arboleda H., Royer J.-C.
(2012) 288 [hal-00734143 - version 1]
Adding Virtualization Capabilities to Grid'5000
Balouek D., Carpen Amarie A., Charrier G., Desprez F., Jeannot E., Jeanvoine E., Lèbre A., Margery D., Niclausse N., Nussbaum L. et al
Rapport de recherche (2012) 18 [hal-00720910 - version 2]
From Implicit to Explicit Pavings
Chabert G., Douence R.
Rapport de recherche (2012) [hal-00720739 - version 1]
Extending Type Theory with Forcing
Jaber G., Tabareau N., Sozeau M.
In
Proceedings of LICS'12
-
LICS 2012 : Logic In Computer Science
, Croatia (2012) [hal-00685150 - version 1]
An Automatic Reversible Transformation from Composite to Visitor in Java
Ajouli A.
CIEL 2012
(2012) [hal-00733182 - version 1]
E\(Java, CaesarJ, Scala\) : un exercice d'intégration de la programmation par objets, par aspects et par évènements
Noyé J.
Quatrièmes journées nationales du GDR GPL
, France (2012) [hal-00726618 - version 1]
Well-Typed Services Cannot Go Wrong
Allam D., Douence R., Grall H., Royer J.-C., Südholt M.
Rapport de recherche (2012) [hal-00700570 - version 2]
A Message-Passing Model for Service Oriented Computing
Allam D., Douence R., Grall H., Royer J.-C., Südholt M.
WEBIST, 8th International Conference on Web Information Systems and Technologies
, Portugal (2012) [hal-00668975 - version 1]