Sylvain Guérin

According to our database, Sylvain Guérin authored at least 16 papers between 1998 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

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

2018

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.

Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2016

Continuous Requirements Engineering Using Model Federation.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Using free modeling as an agile method for developing domain specific modeling languages.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Addressing modularity for heterogeneous multi-model systems using model federation.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Des situations de modélisation pour décrire un processus de modélisation.

Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

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

2014

Des situations de modélisation pour évaluer les outils de modélisation.

Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

2004

Compiler and System Techniques for soc Distributed Reconfigurable Accelerators.

Joel Cambonie, Sylvain Guérin, Ronan Keryell, Loïc Lagadec, Bernard Pottier, Olivier Sentieys, Bernt Weber, Samar Yazdani

Proceedings of the Computer Systems: Architectures, 2004

1998

Adaptive Agent-Driven Routing and Load Balancing in Communication Networks.

Martin Heusse, Dominique Snyers, Sylvain Guérin, Pascale Kuntz

Adv. Complex Syst., 1998

Routing in Telecommunications Networks with Ant-Like Agents.

Eric Bonabeau, Florian Hénaux, Sylvain Guérin, Dominique Snyers, Pascale Kuntz, Guy Theraulaz

Proceedings of the Intelligent Agents for Telecommunication Applications, 1998