Joël Champeau

Orcid: 0000-0002-4014-3191

According to our database1, Joël Champeau authored at least 43 papers between 1991 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
E-SCORE: A web-based tool for security requirements engineering.
SoftwareX, 2024

10 years of Model Federation with Openflexo: Challenges and Lessons Learned.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Security Contracts a Property-Based Approach to Support Security Patterns.
Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

2023
Monitoring Association Constraints in Model-Oriented Programming.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

Security Analysis: From Model to System Analysis.
Proceedings of the Risks and Security of Internet and Systems, 2022

2021
PAMELA: An annotation-based Java modeling framework.
Sci. Comput. Program., 2021

Security Property Modeling.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020
A Domain-specific Modeling Framework for Attack Surface Modeling.
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Contract-based design patterns: a design by contract approach to specify security patterns.
Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019
A Role Modeling Based Approach for Cyber Threat Analysis.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Model Federation based on Role Modeling.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Early Validation Framework for Critical and Complex Process-Centric Systems.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2015
Role Framework to Support Collaborative Virtual Prototyping of System of Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A role language to interpret multi-formalism System of systems models.
Proceedings of the Annual IEEE Systems Conference, 2015

A formal, model-driven design flow for system simulation and multi-core implementation.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration.
Proceedings of the Model-Driven Engineering and Software Development, 2015

Using Process Ontology Together with Process Editor - To Facilitate Tool Integration.
Proceedings of the MODELSWARD 2015, 2015

Towards a meta-language for the concurrency concern in DSLs.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Towards a Dynamic Infrastructure for Playing with Systems of Systems.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Flexible Model-Based Simulation as a System's Design Driver.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

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

A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

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

Towards Tool Integration through Artifacts and Roles.
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

Domain-specific Modelling Applied to Integration of Smart Sensors into an Information System.
Proceedings of the ICEIS 2011, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Integrating Design and Runtime Variability Support into a System ADL.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

An approach for describing concurrency and communication of heterogeneous systems.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

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

MODAL: A SPEM Extension to Improve Co-design Process Models.
Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

MoPCoM Methodology: Focus on Models of Computation.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis.
Proceedings of the Model Driven Architecture, 2009

A Definition of "Abstraction Level" for Metamodels.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

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

AADL Execution Semantics Transformation for Formal Verification.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

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

2001
Object Framework for Mission Control.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

1994
Reconfigurable technology: an innovative solution for parallel discrete event simulation support.
Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

Flexible Parallel FPGA-Based Architectures with ArMe.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1991
Implementing cellular automata on the ArMen machine.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991


  Loading...