Jean-Marc Jézéquel

Affiliations:
  • IRISA Rennes, France


According to our database1, Jean-Marc Jézéquel authored at least 240 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learning input-aware performance models of configurable systems: An empirical evaluation.
J. Syst. Softw., February, 2024

2023
Reasoning over time into models with DataTime.
Softw. Syst. Model., October, 2023

Uncertainty-aware Simulation of Adaptive Systems.
ACM Trans. Model. Comput. Simul., July, 2023

Input sensitivity on the performance of configurable systems an empirical study.
J. Syst. Softw., July, 2023

On Programming Variability with Large Language Model-based Assistant.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

HyperDiff: Computing Source Code Diffs at Scale.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Model-Based DevOps: Foundations and Challenges.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Machine Learning for Feature Constraints Discovery.
Proceedings of the Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023

2022
Transfer Learning Across Variants and Versions: The Case of Linux Kernel Size.
IEEE Trans. Software Eng., 2022

Interacto: A Modern User Interaction Processing Model.
IEEE Trans. Software Eng., 2022

Impact of Data Cleansing for Urban Bus Commercial Speed Prediction.
SN Comput. Sci., 2022

Beware of the Interactions of Variability Layers When Reasoning about Evolution of MongoDB.
Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

Transferring Performance between Distinct Configurable Systems : A Case Study.
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

From feature models to feature toggles in practice.
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.
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.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

HyperAST: Enabling Efficient Analysis of Software Histories at Scale.
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.
Proceedings of the Reuse and Software Quality, 2022

2021
Empirical Assessment of Multimorphic Testing.
IEEE Trans. Software Eng., 2021

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems.
IEEE Softw., 2021

Learning software configuration spaces: A systematic literature review.
J. Syst. Softw., 2021

Empirical assessment of generating adversarial configurations for software product lines.
Empir. Softw. Eng., 2021

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

Deep Software Variability: Towards Handling Cross-Layer Configuration.
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.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

A comparison of performance specialization learning for configurable systems.
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.
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.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

On the Quality of Compositional Prediction for Prospective Analytics on Graphs.
Proceedings of the Database and Expert Systems Applications - DEXA 2021 Workshops, 2021

Living with Uncertainty in Model-Based Development.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Opportunities in intelligent modeling assistance.
Softw. Syst. Model., 2020

Comparing and classifying model transformation reuse approaches across metamodels.
Softw. Syst. Model., 2020

Sampling Effect on Performance Prediction of Configurable Systems: A Case Study.
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

Co-evolving code with evolving metamodels.
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.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Towards quality assurance of software product lines with adversarial configurations.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

2018
Towards Adversarial Configurations for Software Product Lines.
CoRR, 2018

Concern-oriented language development (COLD): Fostering reuse in language engineering.
Comput. Lang. Syst. Struct., 2018

VaryLATEX: Learning Paper Variants That Meet Constraints.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

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

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Learning Contextual-Variability Models.
IEEE Softw., 2017

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

Safe model polymorphism for flexible modeling.
Comput. Lang. Syst. Struct., 2017

On Language Interfaces.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems.
J. Syst. Softw., 2016

Using machine learning to infer constraints for product lines.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015
Mashup of metalanguages and its implementation in the Kermeta language workbench.
Softw. Syst. Model., 2015

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

Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.
Inf. Softw. Technol., 2015

On the Variability Secrets of an Online Video Generator.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Product lines can jeopardize their trade secrets.
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.
Inf. Softw. Technol., 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports, 2014

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

Globalizing Modeling Languages.
Computer, 2014

Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Customization and 3D printing: a challenging playground for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Domain specific languages: from craft to engineering.
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.
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.
Proceedings of the Web Engineering, 14th International Conference, 2014

A prediction-driven adaptation approach for self-adaptive sensor networks.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

On the Globalization of Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

Globalized Domain Specific Language Engineering.
Proceedings of the Globalizing Domain-Specific Languages, 2014

When Systems Engineering Meets Software Language Engineering.
Proceedings of the Complex Systems Design & Management, 2014

2013
Automated measurement of models of requirements.
Softw. Qual. J., 2013

Soa Antipatterns: an Approach for their Specification and Detection.
Int. J. Cooperative Inf. Syst., 2013

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

RELATE: a research training network on engineering and provisioning of service-based cloud applications.
Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Achieving Practical Genericity in Model Weaving through Extensibility.
Proceedings of the Theory and Practice of Model Transformations, 2013

Efficient high-level abstractions for web programming.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Improving Reusability in Software Process Lines.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

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


Integrating Software Process Reuse and Automation.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Reusable model transformations.
Softw. Syst. Model., 2012

Weaving variability into domain metamodels.
Softw. Syst. Model., 2012

Bridging the chasm between MDE and the world of compilation.
Softw. Syst. Model., 2012

Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches.
J. Softw. Evol. Process., 2012

Model-based product line evolution: an incremental growing by extension.
Proceedings of the 16th International Software Product Line Conference, 2012

A Model-Based Approach for Optimizing Power Consumption of IaaS.
Proceedings of the Second Symposium on Network Cloud Computing and Applications, 2012

VARY 2012: VARiability for You.
Proceedings of the VARiability for You Workshop, 2012

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Customizing the common variability language semantics for your domain models.
Proceedings of the VARiability for You Workshop, 2012

Specification and Detection of SOA Antipatterns.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Towards flexible evolution of Dynamically Adaptive Systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

A models@runtime framework for designing and managing Service-Based Applications.
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.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Specifying and running rich graphical components with Loa.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

On Model Subtyping.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Dissemination of Reconfiguration Policies on Mesh Networks.
Proceedings of the Distributed Applications and Interoperable Systems, 2012

A dynamic component model for cyber physical systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Leveraging CVL to Manage Variability in Software Process Lines.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Relationships Formalization for Model-Based Product Lines.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Model-driven generative development of measurement software.
Softw. Syst. Model., 2011

Une approche centrée exigences pour la composition de services web.
Ingénierie des Systèmes d Inf., 2011


A multi-perspective approach for web service composition.
Proceedings of the iiWAS'2011, 2011

Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Specifying and implementing UI data bindings with active operations.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

A Reference Architecture and Roadmap for Models@run.time Systems.
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.
IEEE Trans. Software Eng., 2010

Aspect-Oriented Design with Reusable Aspect Models.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Evaluation of Kermeta for solving graph-based problems.
Int. J. Softw. Tools Technol. Transf., 2010

Model-driven architecture of a maritime surveillance system simulator.
Syst. Eng., 2010

Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information.
Ingénierie des Systèmes d Inf., 2010

Contract Aware Components, 10 years after
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Flexible Model Element Introduction Policies for Aspect-Oriented Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Active Operations on Collections.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Security-driven model-based dynamic adaptation.
Proceedings of the ASE 2010, 2010

A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Business and Information System Alignment: A Formal Solution for Telecom Services.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Integrating legacy systems with MDE.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Integrating IoT and IoS with a Component-Based Approach.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Using model driven engineering technologies for building authoring applications.
Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

2009
Models@ Run.time to Support Dynamic Adaptation.
Computer, 2009

Meta-model Pruning.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Generic Model Refactorings.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Aspect Model Unweaving.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.
Proceedings of the Trustworthy Software Development Processes, 2009

Taming Dynamically Adaptive Systems using models and aspects.
Proceedings of the 31st International Conference on Software Engineering, 2009

Model Driven Language Engineering with Kermeta.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

EnTiMid: un middleware au service de la maison.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

Unifying Runtime Adaptation and Design Evolution.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

Dynamic Software Product Lines for Service-Based Systems.
Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008
Model-driven analysis and synthesis of textual concrete syntax.
Softw. Syst. Model., 2008

Model driven design and aspect weaving.
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.
Obj. Logiciel Base données Réseaux, 2008

Weaving Aspect Configurations for Managing System Variability.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Reconciling Automation and Flexibility in Product Derivation.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Modeling the Variability Space of Self-Adaptive Applications.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Using MDE to Build a Schizophrenic Middleware for Home/Building Automation.
Proceedings of the Towards a Service-Based Internet, 2008

Managing Variability Complexity in Aspect-Oriented Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

A Model-Driven Measurement Approach.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Modeling and Validating Dynamic Adaptation.
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.
Proceedings of the Langages et Modèles à Objets, 2008

Vers l'Exécutabilité des Modèles de Procédés Logiciels.
Proceedings of the Langages et Modèles à Objets, 2008

Composition of Qualitative Adaptation Policies.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A generic weaver for supporting product lines.
Proceedings of the 13th international workshop on Early Aspects, 2008

EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications.
Proceedings of the ECOWS 2008, 2008

Model-Driven Simulation of a Maritime Surveillance System.
Proceedings of the Model Driven Architecture, 2008

Expression qualitative de politiques d'adaptation pour Fractal.
Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2007
Test Synthesis from UML Models of Distributed Software.
IEEE Trans. Software Eng., 2007

Weaving Multiple Aspects in Sequence Diagrams.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

On model typing.
Softw. Syst. Model., 2007

Matching Model-Snippets.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Introducing Variability into Aspect-Oriented Modeling Approaches.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Model-Driven Engineering for Software Migration in a Large Industrial Context.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

An Enterprise Architecture Alignment Measure for Telecom Service Development.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
Design by Contract to Improve Software Vigilance.
IEEE Trans. Software Eng., 2006

Automatic Test Generation: A Use Case Driven Approach.
IEEE Trans. Software Eng., 2006

Software Product Line Engineering with the UML: Deriving Products.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

System Testing of Product Lines: From Requirements to Test Cases.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Model-Driven Analysis and Synthesis of Concrete Syntax.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Reifying the Semantic Domains of Component Contracts.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

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

Semantic-based weaving of scenarios.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005
From genetic to bacteriological algorithms for mutation-based testing.
Softw. Test. Verification Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.
IEEE Softw., 2005

Model Typing for Improving Reuse in Model-Driven Engineering.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Weaving Executability into Object-Oriented Meta-languages.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Code Generation from UML Models with Semantic Variation Points.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Revisiting Statechart Synthesis with an Algebraic Approach.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Panel MDA in Practice.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Applying CLP to Predict Extra-Functional Properties of Component-Based Models.
Proceedings of the Logic Programming, 20th International Conference, 2004

A MDA Approach to Model & Implement Transformations.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Extra-Functional Contract Support in Components.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
Modélisation de lignes de produits en UML.
Obj. Logiciel Base données Réseaux, 2003

Reflective Model Driven Engineering.
Proceedings of the «UML» 2003, 2003

Towards a UML Profile for Software Product Lines.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

A Requirement-Based Approach to Test Product Families.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Measuring and Improving Design Patterns Testability.
Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

Automated Requirements-based Generation of Test Cases for Product Families.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Requirements by Contracts allow Automated System Testing.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

An MDA Approach to Tame Component Based Software Development.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
Using UML Action Semantics for model execution and transformation.
Inf. Syst., 2002

Al analysis patterns as UML meta-model constructs.
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.
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.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

System Test Synthesis from UML Models of Distributed Software.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

An Architecture and a Process for Implementing Distributed Collaborations.
Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

A toolkit for weaving aspect oriented UML designs.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001
Reliable Objects: Lightweight Testing for OO Languages.
IEEE Softw., 2001

Refactoring UML Models.
Proceedings of the «UML» 2001, 2001

A UML-integrated Test Description Language for Component Testing.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Conformance Testing from UML Specifications. Experience Report.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

UML Reflections.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Robustness and Diagnosability of OO Systems Designed by Contracts.
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability.
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.
Proceedings of the ECOOP 2001, 2001

Using UML Action Semantics for Executable Modeling and Beyond.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

Increase Software Trustability with Self-Testable Classes in Java.
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000
Efficient object-oriented integration and regression testing.
IEEE Trans. Reliab., 2000

An object-oriented framework for data parallelism.
ACM Comput. Surv., 2000

Precise Modeling of Design Patterns.
Proceedings of the «UML» 2000, 2000

Building Trust into OO Components Using a Genetic Analogy.
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.
Proceedings of the 2000 International Workshop on Parallel Processing, 2000

Design Patterns Application in UML.
Proceedings of the ECOOP 2000, 2000

Design Patterns and Contracts.
Pearson / Prentice Hall, ISBN: 978-0-201-30959-1, 2000

1999
Reifying Variants in Configuration Management.
ACM Trans. Softw. Eng. Methodol., 1999

Making Components Contract Aware.
Computer, 1999

Protocol engineering using UML.
Ann. des Télécommunications, 1999

A pattern for managing Quality of Service in Distributed Applications.
Obj. Logiciel Base données Réseaux, 1999

Composants objets fiables : une approche pragmatique.
Obj. Logiciel Base données Réseaux, 1999

Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

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

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

UMLAUT: An Extendible UML Transformation Framework.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Efficient strategies for integration and regression testing of OO systems.
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.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998
Validating Distributed Software Modeled with the Unified Modeling Language.
Proceedings of the Unified Modeling Language, 1998

A Framework Managing Quality of Service Contracts in Distributed Applications.
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.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

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

Reifying Configuration Management for Object-Oriented Software.
Proceedings of the Forging New Links, 1998

1997
Design by Contract: The Lessons of Ariane.
Computer, 1997

A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features.
Proceedings of the 11th international conference on Supercomputing, 1997

Using Scalable Distributed Computers in Telecommunications.
Proceedings of the High-Performance Computing and Networking, 1997

1996
An object-oriented framework for supercomputing.
J. Syst. Softw., 1996

Building a global clock for observing computations in distributed memory parallel computers.
Concurr. Pract. Exp., 1996

Parallel Operators.
Proceedings of the ECOOP'96, 1996

Object-Oriented Software Engineering with Eiffel.
Addison-Wesley Eiffel in practice series, Pearson / Prentice Hall, ISBN: 978-0-201-63381-8, 1996

1995
Polymorphic Matrices in Paladin.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

Performance issues in implementing a portable SMDS server.
Proceedings of the High Performance Networking VI, 1995

1994
Programming massively parallel architectures with sequential object oriented languages.
Future Gener. Comput. Syst., 1994

A Multi-Paradigm Object Oriented Parallel Environment.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

Addressing and Routing in Heterogeneous Data Networks.
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.
Proceedings of the ECOOP'93, 1993

1992
Echidna, an estelle compiler to prototype protocols on distributed computers.
Concurr. Pract. Exp., 1992

A parallel execution environment for a sequential object oriented language.
Proceedings of the 6th international conference on Supercomputing, 1992

Analyzing a space-protocol: from specification, simulation to experimentation.
Proceedings of the Formal Description Techniques, 1992

EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1990
Experience in Validating Protocol Integration Using Estelle.
Proceedings of the Formal Description Techniques, 1990

1989
Building a Global Time on Parallel Machines.
Proceedings of the Distributed Algorithms, 1989

A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines.
Proceedings of the Protocol Specification, 1989


  Loading...