Joël Champeau

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Security Contracts a Property-Based Approach to Support Security Patterns.

Sylvain Guérin, Joël Champeau, Salvador Martínez, Raúl Mazo

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

2023

Monitoring Association Constraints in Model-Oriented Programming.

Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez Perez

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.

Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

Security Analysis: From Model to System Analysis.

Bastien Drouot, Valery Monthe, Sylvain Guérin, Joël Champeau

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

PAMELA: An annotation-based Java modeling framework.

Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard

Sci. Comput. Program., 2021

Security Property Modeling.

Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov

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

2020

A Domain-specific Modeling Framework for Attack Surface Modeling.

Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guérin, Luka Le Roux, Raúl Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis

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.

Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

A Role Modeling Based Approach for Cyber Threat Analysis.

Bastien Drouot, Fahad Rafique Golra, Joël Champeau

Proceedings of the Model-Driven Engineering and Software Development, 2019

Model Federation based on Role Modeling.

Bastien Drouot, Joël Champeau

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Early Validation Framework for Critical and Complex Process-Centric Systems.

Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019

2015

Role Framework to Support Collaborative Virtual Prototyping of System of Systems.

Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn

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.

Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec

Proceedings of the Annual IEEE Systems Conference, 2015

A formal, model-driven design flow for system simulation and multi-core implementation.

Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau, Johnny Öberg

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration.

Hanh Nhi Tran, Chanh Duc Ngo, Joël Champeau

Proceedings of the Model-Driven Engineering and Software Development, 2015

Using Process Ontology Together with Process Editor - To Facilitate Tool Integration.

Chanh Duc Ngo, Hanh Nhi Tran, Joël Champeau

Proceedings of the MODELSWARD 2015, 2015

Towards a meta-language for the concurrency concern in DSLs.

Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Towards a Dynamic Infrastructure for Playing with Systems of Systems.

Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Flexible Model-Based Simulation as a System's Design Driver.

Jean-Philippe Schneider, Eric Senn, Joël Champeau, Loïc Lagadec

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.

Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel

Softw. Qual. J., 2013

A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation.

Papa Issa Diallo, Joël Champeau, Loïc Lagadec

Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012

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

Stephen Creff, Joël Champeau, Jean-Marc Jézéquel, Arnaud Monégier

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

Towards Tool Integration through Artifacts and Roles.

Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard

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

Relationships Formalization for Model-Based Product Lines.

Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel

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

2011

Model-driven generative development of measurement software.

Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener

Softw. Syst. Model., 2011

Domain-specific Modelling Applied to Integration of Smart Sensors into an Information System.

Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean, Oussama Zein

Proceedings of the ICEIS 2011, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.

Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Integrating Design and Runtime Variability Support into a System ADL.

Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

An approach for describing concurrency and communication of heterogeneous systems.

Papa Issa Diallo, Joël Champeau, Vincent Leilde

Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010

Model-driven architecture of a maritime surveillance system simulator.

Martin Monperrus, B. Long, Joël Champeau, Brigitte Hoeltzener, Gabriel Marchalot, Jean-Marc Jézéquel

Syst. Eng., 2010

MODAL: A SPEM Extension to Improve Co-design Process Models.

Ali Koudri, Joël Champeau

Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

MoPCoM Methodology: Focus on Models of Computation.

Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis.

Ali Koudri, Joël Champeau, Denis Aulagnier, Philippe Soulard

Proceedings of the Model Driven Architecture, 2009

A Definition of "Abstraction Level" for Metamodels.

Martin Monperrus, Antoine Beugnard, Joël Champeau

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

A Model-Driven Measurement Approach.

Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener

Proceedings of the Model Driven Engineering Languages and Systems, 2008

AADL Execution Semantics Transformation for Formal Verification.

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger

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.

Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel

Proceedings of the Model Driven Architecture, 2008

2001

Object Framework for Mission Control.

Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

1994

Reconfigurable technology: an innovative solution for parallel discrete event simulation support.

Christophe Beaumont, Pablo Boronat, Joël Champeau, Jean Marie Filloque, Bernard Pottier

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

Flexible Parallel FPGA-Based Architectures with ArMe.

Joël Champeau, Luc Le Pape, Bernard Pottier, Stéphane Rubini, Eric Gautrin, Laurent Perraudeau

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1991

Implementing cellular automata on the ArMen machine.

K. Bouazza, Joël Champeau, Pius Ng, Bernard Pottier, Stéphane Rubini

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991