Jean-Marc Jézéquel

According to our database1, Jean-Marc Jézéquel
  • authored at least 196 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Learning Contextual-Variability Models.
IEEE Software, 2017

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

Safe model polymorphism for flexible modeling.
Computer Languages, Systems & Structures, 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.
Journal of Systems and Software, 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.
Software and System Modeling, 2015

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

Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.
Information & Software Technology, 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.
Information & Software Technology, 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.
IEEE 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

Domain Specific Languages: From Craft to Engineering.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 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.
Software Quality Journal, 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

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

2012
Reusable model transformations.
Software and System Modeling, 2012

Weaving variability into domain metamodels.
Software and System Modeling, 2012

Bridging the chasm between MDE and the world of compilation.
Software and System Modeling, 2012

Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches.
Journal of Software: Evolution and 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

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements.
Proceedings of the Model Driven Engineering Languages and Systems, 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.
Software and System Modeling, 2011

Une approche centrée exigences pour la composition de services web.
Ingénierie des Systèmes d'Information, 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.
Trans. Aspect-Oriented Software Development, 2010

Evaluation of Kermeta for solving graph-based problems.
STTT, 2010

Model-driven architecture of a maritime surveillance system simulator.
Systems Engineering, 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'Information, 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.
IEEE Computer, 2009

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

Weaving Variability into Domain Metamodels.
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.
Software and System Modeling, 2008

Model driven design and aspect weaving.
Software and System Modeling, 2008

Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits.
L'OBJET, 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

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.
Trans. Aspect-Oriented Software Development, 2007

On model typing.
Software and System Modeling, 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., Verif. Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.
IEEE Software, 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.
L'OBJET, 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 Software, 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. Reliability, 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.
IEEE Computer, 1999

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

A pattern for managing Quality of Service in Distributed Applications.
L'OBJET, 1999

Composants objets fiables : une approche pragmatique.
L'OBJET, 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.
IEEE 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.
Journal of Systems and Software, 1996

Building a global clock for observing computations in distributed memory parallel computers.
Concurrency - Practice and Experience, 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 Generation Comp. 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.
Concurrency - Practice and Experience, 1992

Programming Massively Parallel Architectures with Sequential Object Oriented Languages.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 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...