Follow
J. Christian Attiogbé
J. Christian Attiogbé
University of Nantes - LS2N Lab (LINA+IRCCyN since 2017)
Verified email at univ-nantes.fr - Homepage
Title
Cited by
Cited by
Year
Search for anomalous Z→ γγγ events at LEP
M Acciarri, A Adam, O Adriani, M Aguilar-Benitez, S Ahlen, J Alcaraz, ...
Physics Letters B 345 (4), 609-616, 1995
1381995
Search for neutralinos in Z decays
M Acciarri, A Adam, O Adriani, M Aguilar-Benitez, S Ahlen, B Alpat, ...
Physics Letters B 350 (1), 109-119, 1995
911995
Checking component composability
C Attiogbé, P André, G Ardourel
Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006
812006
Integration of formal datatypes within state diagrams
C Attiogbé, P Poizat, G Salaün
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
392003
Composing components with shared services in the kmelia model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 125-140, 2008
252008
Using assertions to enhance the correctness of kmelia components and their assemblies
P André, G Ardourel, C Attiogbé, A Lanoix
Electronic Notes in Theoretical Computer Science 263, 5-30, 2010
212010
Partial test oracle in model transformation testing
O Finot, JM Mottu, G Sunyé, C Attiogbé
Theory and Practice of Model Transformations: 6th International Conference …, 2013
192013
Specification of an access control system with a formalism combining CCS and CASL
G Salaќn, M Allemand, C Attiogbщ, UN IRIN
Proceedings of the 7th International Workshop on Formal Methods for Parallel …, 2002
192002
Multilevel contracts for trusted components
M Messabihi, P André, C Attiogbé
arXiv preprint arXiv:1010.2827, 2010
182010
A formalism combining CCS and Casl
G Salaün, M Allemand, C Attiogbé
Technical Report 00.14, University of Nantes, December 2000, 2001
182001
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
P André, G Ardourel, C Attiogbé
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal …, 2007
172007
Semantic embedding of Petri nets into Event-B
C Attiogbé
arXiv preprint cs/0510073, 2005
172005
Spécification d'architectures en Kmelia: hiérarchie de connexion et composition.
P André, G Ardourel, JC Attiogbé
CAL, 101-118, 2006
142006
A Method for Business-IT Alignment of Legacy Systems.
J Pepin, P André, JC Attiogbé, E Breton
ICEIS (3), 229-237, 2015
132015
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview
G Salaun, MA Allemand, C Attiogbé
Proceedings Eighth Asia-Pacific Software Engineering Conference, 299-302, 2001
132001
Combining techniques to verify service-based components
P André, C Attiogbé, JM Mottu
MODELSWARD 2017-5th International Conference on Model-Driven Engineering and …, 2017
122017
An improved model facet method to support EA alignment
J Pepin, P André, C Attiogbé, E Breton
Complex Systems Informatics and Modeling Quarterly, 1-27, 2016
122016
Contributions aux approches formelles de développement de logiciels: Intégration de méthodes formelles et analyse multifacette
C Attiogbé
Université de Nantes, 2007
112007
Adaptation for hierarchical components and services
P André, G Ardourel, C Attiogbé
Electronic Notes in Theoretical Computer Science 189, 5-20, 2007
112007
A method to combine any process algebra with an algebraic specification language: the/spl pi/-calculus example
G Salaun, M Allemand, C Attiogbé
Proceedings 26th Annual International Computer Software and Applications …, 2002
112002
The system can't perform the operation now. Try again later.
Articles 1–20