Jean-Marc Jézéquel

Jörg Kienzle

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Feature subset selection for learning huge configuration spaces: the case of linux kernel size.

[BibT_eX]

[DOI]

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Global Decision Making Over Deep Variability in Feedback-Driven Software Development.

[BibT_eX]

[DOI]

Maximilian Schiedermeier

Eugene Syriani

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

HyperAST: Enabling Efficient Analysis of Software Histories at Scale.

[BibT_eX]

[DOI]

Quentin Le Dilavrec

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Scratching the Surface of ./configure: Learning the Effects of Compile-Time Options on Binary Size and Gadgets.

[BibT_eX]

[DOI]

Proceedings of the Reuse and Software Quality, 2022

2021

Empirical Assessment of Multimorphic Testing.

[BibT_eX]

[DOI]

Paul Temple

IEEE Trans. Software Eng., 2021

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems.

[BibT_eX]

[DOI]

IEEE Softw., 2021

Learning software configuration spaces: A systematic literature review.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Empirical assessment of generating adversarial configurations for software product lines.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

The Interaction between Inputs and Configurations fed to Software Systems: an Empirical Study.

[BibT_eX]

[DOI]

CoRR, 2021

Deep Software Variability: Towards Handling Cross-Layer Configuration.

[BibT_eX]

[DOI]

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

The interplay of compile-time and run-time options for performance prediction.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

A comparison of performance specialization learning for configurable systems.

[BibT_eX]

[DOI]

Hugo Martin

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

DataTime: a Framework to smoothly Integrate Past, Present and Future into Models.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Untangling Spaghetti of Evolutions in Software Histories to Identify Code and Test Co-evolutions.

[BibT_eX]

[DOI]

Quentin Le Dilavrec

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

On the Quality of Compositional Prediction for Prospective Analytics on Graphs.

[BibT_eX]

[DOI]

Gauthier Lyan

David Gross-Amblard

Proceedings of the Database and Expert Systems Applications - DEXA 2021 Workshops, 2021

Living with Uncertainty in Model-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Opportunities in intelligent modeling assistance.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

Comparing and classifying model transformation reuse approaches across metamodels.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

Sampling Effect on Performance Prediction of Configurable Systems: A Case Study.

[BibT_eX]

[DOI]

Hugo Martin

Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

Co-evolving code with evolving metamodels.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Towards quality assurance of software product lines with adversarial configurations.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

2018

Towards Adversarial Configurations for Software Product Lines.

[BibT_eX]

[DOI]

CoRR, 2018

Concern-oriented language development (COLD): Fostering reuse in language engineering.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

VaryLATEX: Learning Paper Variants That Meet Constraints.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Multimorphic testing.

[BibT_eX]

[DOI]

Paul Temple

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Learning Contextual-Variability Models.

[BibT_eX]

[DOI]

IEEE Softw., 2017

Model-Driven Analytics: Connecting Data, Domain Knowledge, and Learning.

[BibT_eX]

[DOI]

CoRR, 2017

Safe model polymorphism for flexible modeling.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

On Language Interfaces.

[BibT_eX]

[DOI]

Thomas Degueule

Benoît Combemale

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems.

[BibT_eX]

[DOI]

Inti Y. Gonzalez-Herrera

J. Syst. Softw., 2016

Using machine learning to infer constraints for product lines.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015

Mashup of metalanguages and its implementation in the Kermeta language workbench.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

On the Variability Secrets of an Online Video Generator.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Melange: a meta-language for modular and reusable development of DSLs.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Product lines can jeopardize their trade secrets.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

Model-based testing of global properties on large-scale distributed systems.

[BibT_eX]

[DOI]

Eduardo Cunha de Almeida

Inf. Softw. Technol., 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use.

[BibT_eX]

[DOI]

CoRR, 2014

Globalizing Modeling Languages.

[BibT_eX]

[DOI]

Computer, 2014

Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems.

[BibT_eX]

[DOI]

Inti Y. Gonzalez-Herrera

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Customization and 3D printing: a challenging playground for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Domain specific languages: from craft to engineering.

[BibT_eX]

[DOI]

Proceedings of the Fifth Symposium on Information and Communication Technology, 2014

When Model Driven Engineering meets virtual reality: Feedback from application to the Collaviz framework.

[BibT_eX]

[DOI]

Thierry Duval

Proceedings of the 7th IEEE Workshop on Software Engineering and Architectures for Realtime Interactive Systems, 2014

Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces.

[BibT_eX]

[DOI]

Julien Richard-Foy

Proceedings of the Web Engineering, 14th International Conference, 2014

A prediction-driven adaptation approach for self-adaptive sensor networks.

[BibT_eX]

[DOI]

Ivan Dario Paez Anaya

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

On the Globalization of Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

Globalized Domain Specific Language Engineering.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

When Systems Engineering Meets Software Language Engineering.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2014

2013

Automated measurement of models of requirements.

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

Soa Antipatterns: an Approach for their Specification and Detection.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2013

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench.

[BibT_eX]

[DOI]

CoRR, 2013

RELATE: a research training network on engineering and provisioning of service-based cloud applications.

[BibT_eX]

[DOI]

Stelios Pantelopoulos

Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Achieving Practical Genericity in Model Weaving through Extensibility.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2013

Efficient high-level abstractions for web programming.

[BibT_eX]

[DOI]

Julien Richard-Foy

Proceedings of the Generative Programming: Concepts and Experiences, 2013

Improving Reusability in Software Process Lines.

[BibT_eX]

[DOI]

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Integrating Software Process Reuse and Automation.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Reusable model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Weaving variability into domain metamodels.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Bridging the chasm between MDE and the world of compilation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches.

[BibT_eX]

[DOI]

Reda Bendraou

J. Softw. Evol. Process., 2012

Model-based product line evolution: an incremental growing by extension.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

A Model-Based Approach for Optimizing Power Consumption of IaaS.

[BibT_eX]

[DOI]

Tam Le Nhan

Proceedings of the Second Symposium on Network Cloud Computing and Applications, 2012

VARY 2012: VARiability for You.

[BibT_eX]

[DOI]

Øystein Haugen

João Bosco Ferreira Filho

Andrzej Wasowski

Birger Møller-Pedersen

Krzysztof Czarnecki

Proceedings of the VARiability for You Workshop, 2012

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Customizing the common variability language semantics for your domain models.

[BibT_eX]

[DOI]

Jérôme Le Noir

Proceedings of the VARiability for You Workshop, 2012

Specification and Detection of SOA Antipatterns.

[BibT_eX]

[DOI]

Naouel Moha

Francis Palma

Mathieu Nayrolles

Benjamin Joyen Conseil

Yann-Gaël Guéhéneuc

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Towards flexible evolution of Dynamically Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

A models@runtime framework for designing and managing Service-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing.

[BibT_eX]

[DOI]

Tam Le Nhan

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Specifying and running rich graphical components with Loa.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

On Model Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Dissemination of Reconfiguration Policies on Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2012

A dynamic component model for cyber physical systems.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Leveraging CVL to Manage Variability in Software Process Lines.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Relationships Formalization for Model-Based Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Model-driven generative development of measurement software.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Une approche centrée exigences pour la composition de services web.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2011

Comparing Six Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

A multi-perspective approach for web service composition.

[BibT_eX]

[DOI]

Maha Driss

Yassine Jamoussi

Henda Hajjami Ben Ghézala

Proceedings of the iiWAS'2011, 2011

Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Specifying and implementing UI data bindings with active operations.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

A Reference Architecture and Roadmap for Models@run.time Systems.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010

A Comparison of Six UML-Based Languages for Software Process Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Aspect-Oriented Design with Reusable Aspect Models.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2010

Evaluation of Kermeta for solving graph-based problems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Model-driven architecture of a maritime surveillance system simulator.

[BibT_eX]

[DOI]

Syst. Eng., 2010

Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information.

[BibT_eX]

[DOI]

Jacques Simonin

P. Picouet

Ingénierie des Systèmes d Inf., 2010

Contract Aware Components, 10 years after

[BibT_eX]

[DOI]

Antoine Beugnard

Henda Hajjami Ben Ghézala

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Flexible Model Element Introduction Policies for Aspect-Oriented Modeling.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Active Operations on Collections.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Security-driven model-based dynamic adaptation.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Business and Information System Alignment: A Formal Solution for Telecom Services.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Integrating legacy systems with MDE.

[BibT_eX]

[DOI]

Mickael Clavreul

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Integrating IoT and IoS with a Component-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Using model driven engineering technologies for building authoring applications.

[BibT_eX]

[DOI]

Olivier Beaudoux

Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

2009

Models@ Run.time to Support Dynamic Adaptation.

[BibT_eX]

[DOI]

Computer, 2009

Meta-model Pruning.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Generic Model Refactorings.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Aspect Model Unweaving.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.

[BibT_eX]

[DOI]

Reda Bendraou

Proceedings of the Trustworthy Software Development Processes, 2009

Taming Dynamically Adaptive Systems using models and aspects.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Model Driven Language Engineering with Kermeta.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

EnTiMid: un middleware au service de la maison.

[BibT_eX]

[DOI]

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

Unifying Runtime Adaptation and Design Evolution.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

Dynamic Software Product Lines for Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008

Model-driven analysis and synthesis of textual concrete syntax.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Model driven design and aspect weaving.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits.

[BibT_eX]

[DOI]

Gilles Perrouin

Obj. Logiciel Base données Réseaux, 2008

Weaving Aspect Configurations for Managing System Variability.

[BibT_eX]

[DOI]

Brice Morin

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Reconciling Automation and Flexibility in Product Derivation.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Modeling the Variability Space of Self-Adaptive Applications.

[BibT_eX]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Using MDE to Build a Schizophrenic Middleware for Home/Building Automation.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet, 2008

Managing Variability Complexity in Aspect-Oriented Modeling.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

A Model-Driven Measurement Approach.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Modeling and Validating Dynamic Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Expression qualitative de politiques d'adaptation pour les composants Fractal.

[BibT_eX]

[DOI]

Proceedings of the Langages et Modèles à Objets, 2008

Vers l'Exécutabilité des Modèles de Procédés Logiciels.

[BibT_eX]

[DOI]

Proceedings of the Langages et Modèles à Objets, 2008

Composition of Qualitative Adaptation Policies.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A generic weaver for supporting product lines.

[BibT_eX]

[DOI]

Proceedings of the 13th international workshop on Early Aspects, 2008

EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method.

[BibT_eX]

[DOI]

Jacques Simonin

Francis Alizon

Jean Pierre Deschrevel

Bertrand Nicolas

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications.

[BibT_eX]

[DOI]

Maha Driss

Yassine Jamoussi

Henda Hajjami Ben Ghézala

Proceedings of the ECOWS 2008, 2008

Model-Driven Simulation of a Maritime Surveillance System.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

Expression qualitative de politiques d'adaptation pour Fractal.

[BibT_eX]

[DOI]

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2007

Test Synthesis from UML Models of Distributed Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2007

Weaving Multiple Aspects in Sequence Diagrams.

[BibT_eX]

[DOI]

Jacques Klein

LNCS Trans. Aspect Oriented Softw. Dev., 2007

On model typing.

[BibT_eX]

[DOI]

Jim Steel

Softw. Syst. Model., 2007

Matching Model-Snippets.

[BibT_eX]

[DOI]

Rodrigo Ramos

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Introducing Variability into Aspect-Oriented Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Model-Driven Engineering for Software Migration in a Large Industrial Context.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

An Enterprise Architecture Alignment Measure for Telecom Service Development.

[BibT_eX]

[DOI]

Jacques Simonin

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006

Design by Contract to Improve Software Vigilance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Automatic Test Generation: A Use Case Driven Approach.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Software Product Line Engineering with the UML: Deriving Products.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

System Testing of Product Lines: From Requirements to Test Cases.

[BibT_eX]

[DOI]

Clémentine Nebut

Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Model-Driven Analysis and Synthesis of Concrete Syntax.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Reifying the Semantic Domains of Component Contracts.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Modeling and Aspect Weaving.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Semantic-based weaving of scenarios.

[BibT_eX]

[DOI]

Jacques Klein

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

From genetic to bacteriological algorithms for mutation-based testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.

[BibT_eX]

[DOI]

IEEE Softw., 2005

Model Typing for Improving Reuse in Model-Driven Engineering.

[BibT_eX]

[DOI]

Jim Steel

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Weaving Executability into Object-Oriented Meta-languages.

[BibT_eX]

[DOI]

Pierre-Alain Muller

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Code Generation from UML Models with Semantic Variation Points.

[BibT_eX]

[DOI]

Franck Chauvel

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.

[BibT_eX]

[DOI]

Simon Pickin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Revisiting Statechart Synthesis with an Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Panel MDA in Practice.

[BibT_eX]

[DOI]

Wolfgang Emmerich

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Applying CLP to Predict Extra-Functional Properties of Component-Based Models.

[BibT_eX]

[DOI]

Olivier Defour

Proceedings of the Logic Programming, 20th International Conference, 2004

A MDA Approach to Model & Implement Transformations.

[BibT_eX]

[DOI]

Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Extra-Functional Contract Support in Components.

[BibT_eX]

[DOI]

Olivier Defour

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

Modélisation de lignes de produits en UML.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2003

Reflective Model Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

Towards a UML Profile for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

A Requirement-Based Approach to Test Product Families.

[BibT_eX]

[DOI]

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Measuring and Improving Design Patterns Testability.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

Automated Requirements-based Generation of Test Cases for Product Families.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Requirements by Contracts allow Automated System Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

An MDA Approach to Tame Component Based Software Development.

[BibT_eX]

[DOI]

Olivier Defour

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Using UML Action Semantics for model execution and transformation.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Al analysis patterns as UML meta-model constructs.

[BibT_eX]

[DOI]

Angeles Manjarrés Riesco

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

System Test Synthesis from UML Models of Distributed Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

An Architecture and a Process for Implementing Distributed Collaborations.

[BibT_eX]

[DOI]

Eric Cariou

Antoine Beugnard

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

A toolkit for weaving aspect oriented UML designs.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001

Reliable Objects: Lightweight Testing for OO Languages.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Refactoring UML Models.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

A UML-integrated Test Description Language for Component Testing.

[BibT_eX]

[DOI]

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Conformance Testing from UML Specifications. Experience Report.

[BibT_eX]

[DOI]

Lydie du Bousquet

Hugues Martin

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

UML Reflections.

[BibT_eX]

[DOI]

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Robustness and Diagnosability of OO Systems Designed by Contracts.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001, 2001

Using UML Action Semantics for Executable Modeling and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

Increase Software Trustability with Self-Testable Classes in Java.

[BibT_eX]

[DOI]

Patrice Frison

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

Efficient object-oriented integration and regression testing.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2000

An object-oriented framework for data parallelism.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2000

Precise Modeling of Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

Building Trust into OO Components Using a Genetic Analogy.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Implementing and Evaluating an Efficient Dynamic Load-Balancer for Distributed Molecular Dynamics Simulation.

[BibT_eX]

[DOI]

Naohito Sato

Proceedings of the 2000 International Workshop on Parallel Processing, 2000

Design Patterns Application in UML.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2000, 2000

Design Patterns and Contracts.

[BibT_eX]

Michel Train

Christine Mingins

Pearson / Prentice Hall, ISBN: 978-0-201-30959-1, 2000

1999

Reifying Variants in Configuration Management.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1999

Making Components Contract Aware.

[BibT_eX]

[DOI]

Antoine Beugnard

Computer, 1999

Protocol engineering using UML.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 1999

A pattern for managing Quality of Service in Distributed Applications.

[BibT_eX]

Stéphane Lorcy

Obj. Logiciel Base données Réseaux, 1999

Composants objets fiables : une approche pragmatique.

[BibT_eX]

Obj. Logiciel Base données Réseaux, 1999

Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Trusted Components.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Des classes autotestables.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 1999

UMLAUT: An Extendible UML Transformation Framework.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Efficient strategies for integration and regression testing of OO systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

A Simple Dynamic Load-Balancing Scheme for Parallel Molecular Dynamics Simulation on Distributed Memory Machines.

[BibT_eX]

[DOI]

Naohito Sato

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998

Validating Distributed Software Modeled with the Unified Modeling Language.

[BibT_eX]

[DOI]

François Pennaneac'h

Proceedings of the Unified Modeling Language, 1998

A Framework Managing Quality of Service Contracts in Distributed Applications.

[BibT_eX]

[DOI]

Stéphane Lorcy

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Validation and Test Generation for Object-Oriented Distributed Software.

[BibT_eX]

[DOI]

Thierry Jéron

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Object-Oriented Design of Real-Time Telecom Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Reifying Configuration Management for Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

1997

Design by Contract: The Lessons of Ariane.

[BibT_eX]

[DOI]

Bertrand Meyer

Computer, 1997

A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features.

[BibT_eX]

[DOI]

Proceedings of the 11th international conference on Supercomputing, 1997

Using Scalable Distributed Computers in Telecommunications.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 1997

1996

An object-oriented framework for supercomputing.

[BibT_eX]

[DOI]

Frédéric Guidec

Jean-Lin Pacherie

J. Syst. Softw., 1996

Building a global clock for observing computations in distributed memory parallel computers.

[BibT_eX]

[DOI]

Claude Jard

Concurr. Pract. Exp., 1996

Parallel Operators.

[BibT_eX]

[DOI]

Jean-Lin Pacherie

Proceedings of the ECOOP'96, 1996

Object-Oriented Software Engineering with Eiffel.

[BibT_eX]

Addison-Wesley Eiffel in practice series, Pearson / Prentice Hall, ISBN: 978-0-201-63381-8, 1996

1995

Polymorphic Matrices in Paladin.

[BibT_eX]

[DOI]

Frédéric Guidec

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

Performance issues in implementing a portable SMDS server.

[BibT_eX]

F. Guerber

Proceedings of the High Performance Networking VI, 1995

1994

Programming massively parallel architectures with sequential object oriented languages.

[BibT_eX]

[DOI]

F. Bergheul

Françoise André

Future Gener. Comput. Syst., 1994

A Multi-Paradigm Object Oriented Parallel Environment.

[BibT_eX]

[DOI]

F. Hamelin

Thierry Priol

Proceedings of the 8th International Symposium on Parallel Processing, 1994

Addressing and Routing in Heterogeneous Data Networks.

[BibT_eX]

Proceedings of the High Performance Networking V, Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June, 1994

1993

Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'93, 1993

1992

Echidna, an estelle compiler to prototype protocols on distributed computers.

[BibT_eX]

[DOI]

Claude Jard